دستور ساروس

دستور ساروس: روشی گام‌به‌گام برای محاسبه دترمینان ماتریس‌های ۳×۳

دترمینان چیست و چرا در ماتریس ۳×۳ به روش ساده نیاز داریم؟

دترمینان¹ عددی است که از درون یک ماتریس مربعی به دست می‌آید و اطلاعات مهمی مانند معکوس‌پذیری ماتریس، حجم در تبدیلات خطی و حل دستگاه معادلات را نشان می‌دهد. برای ماتریس‌های $2 \times 2$ فرمول ساده‌ای داریم: $\det\begin{pmatrix} a & b \\ c & d \end{pmatrix} = ad - bc$. اما برای ماتریس $3 \times 3$، روش بسطِ لاپلاس² (که شامل محاسبه چند دترمینان ۲×۲ است) ممکن است زمان‌بر و مستعد خطا باشد.

دستور ساروس که توسط ریاضیدان فرانسوی پیر فردریک ساروس³ معرفی شد، یک الگوی دیداری و حافظه‌محور ارائه می‌دهد. در این روش، بدون نیاز به حفظ کردن علائم مثبت و منفی برای هر جمله، با یک الگوی ساده از تکرار ستون‌ها و جمع و تفریق حاصلضرب قطرها به جواب می‌رسیم.

الگوی گام‌به‌گام دستور ساروس (تکرار ستون‌ها و قطرها)

فرض کنید ماتریس $A$ به شکل زیر باشد:

مرحله ۱: دو ستون اول ماتریس را در سمت راست آن تکرار کنید. یعنی بنویسید:

مرحله ۲: سه قطر اصلی (از بالا چپ به پایین راست) را مشخص کنید. این قطرها عبارتند از:

• قطر اول: $a_{11} \cdot a_{22} \cdot a_{33}$
• قطر دوم: $a_{12} \cdot a_{23} \cdot a_{31}$
• قطر سوم: $a_{13} \cdot a_{21} \cdot a_{32}$

مرحله ۳: سه قطر فرعی (از بالا راست به پایین چپ) را مشخص کنید. این قطرها عبارتند از:

• قطر فرعی اول: $a_{13} \cdot a_{22} \cdot a_{31}$
• قطر فرعی دوم: $a_{11} \cdot a_{23} \cdot a_{32}$
• قطر فرعی سوم: $a_{12} \cdot a_{21} \cdot a_{33}$

مرحله ۴: مجموع حاصلضرب قطرهای اصلی را منهای مجموع حاصلضرب قطرهای فرعی کنید:

مثال عددی عینی: محاسبه دترمینان یک ماتریس ۳×۳ با اعداد حقیقی

ماتریس زیر را در نظر بگیرید:

گام اول: دو ستون اول را تکرار می‌کنیم:

$\begin{pmatrix} 1 & 2 & 3 & 1 & 2 \\ 0 & 4 & 5 & 0 & 4 \\ 1 & 0 & 6 & 1 & 0 \end{pmatrix}$

گام دوم: قطرهای اصلی (از بالا چپ به پایین راست):

• $1 \times 4 \times 6 = 24$
• $2 \times 5 \times 1 = 10$
• $3 \times 0 \times 0 = 0$

مجموع قطرهای اصلی = $24 + 10 + 0 = 34$

گام سوم: قطرهای فرعی (از بالا راست به پایین چپ):

• $3 \times 4 \times 1 = 12$
• $1 \times 5 \times 0 = 0$
• $2 \times 0 \times 6 = 0$

مجموع قطرهای فرعی = $12 + 0 + 0 = 12$

گام چهارم:$\det(B) = 34 - 12 = 22$

برای اطمینان، می‌توانیم با بسط لاپلاس روی سطر اول نیز بررسی کنیم: $1 \times (4 \times 6 - 5 \times 0) - 2 \times (0 \times 6 - 5 \times 1) + 3 \times (0 \times 0 - 4 \times 1) = 1 \times 24 - 2 \times (-5) + 3 \times (-4) = 24 + 10 - 12 = 22$ که نتیجه یکسان است.

کاربرد عملی: حل دستگاه سه معادله سه مجهول با قاعده کرامر

یکی از کاربردهای مهم دترمینان، حل دستگاه معادلات خطی با قاعده کرامر⁴ است. فرض کنید دستگاه زیر را داریم:

ماتریس ضرایب عبارت است از: $C = \begin{pmatrix} 2 & 1 & -1 \\ 1 & -1 & 2 \\ 3 & 2 & 1 \end{pmatrix}$ ابتدا دترمینان $C$ را با دستور ساروس محاسبه می‌کنیم. با تکرار دو ستون اول:

$\begin{pmatrix} 2 & 1 & -1 & 2 & 1 \\ 1 & -1 & 2 & 1 & -1 \\ 3 & 2 & 1 & 3 & 2 \end{pmatrix}$

قطرهای اصلی: $2 \times (-1) \times 1 = -2$ ، $1 \times 2 \times 3 = 6$ ، $(-1) \times 1 \times 2 = -2$ → مجموع = $-2 + 6 - 2 = 2$

قطرهای فرعی: $(-1) \times (-1) \times 3 = 3$ ، $2 \times 2 \times 2 = 8$ ، $1 \times 1 \times 1 = 1$ → مجموع = $3 + 8 + 1 = 12$

$\det(C) = 2 - 12 = -10$. از آنجا که دترمینان غیرصفر است، دستگاه جواب یکتا دارد و می‌توان از قاعده کرامر استفاده کرد.

چالش‌های مفهومی در استفاده از دستور ساروس

نکته‌های کلیدی برای جلوگیری از اشتباهات رایج

بسیاری از دانش‌آموزان هنگام استفاده از دستور ساروس، فراموش می‌کنند که ستون‌های تکرار شده را فقط برای رسم قطرها به کار ببرند و آن‌ها را جزئی از ماتریس اصلی حساب کنند. همچنین گاهی به جای سه قطر اصلی، چهار قطر رسم می‌کنند. برای جلوگیری از این اشتباه، همیشه پس از تکرار دو ستون، با انگشت خود روی کاغذ شش خط مورب بکشید: سه خط از بالا چپ به پایین راست و سه خط از بالا راست به پایین چپ.

یک روش جایگزین برای به خاطر سپاری: می‌توانید سه جمله اول را به صورت $a_{11}a_{22}a_{33} + a_{12}a_{23}a_{31} + a_{13}a_{21}a_{32}$ بنویسید و سه جمله دوم را با علامت منفی: $ - (a_{13}a_{22}a_{31} + a_{11}a_{23}a_{32} + a_{12}a_{21}a_{33})$. دقت کنید که اندیس‌ها در جمله دوم جابه‌جا شده‌اند.

پاورقی

¹ دترمینان (Determinant): تابعی از درایه‌های یک ماتریس مربعی که مقدار عددی آن نشان‌دهنده ویژگی‌هایی مانند معکوس‌پذیری و مقیاس حجم در تبدیلات خطی است.

² بسط لاپلاس (Laplace expansion): روشی برای محاسبه دترمینان با تجزیه ماتریس به ماتریس‌های کوچک‌تر و استفاده از علامت‌های متناوب.

³ پیر فردریک ساروس (Pierre Frédéric Sarrus): ریاضیدان فرانسوی (۱۷۹۸ – ۱۸۶۱) که قاعده ساروس را برای ماتریس‌های ۳×۳ معرفی کرد.

⁴ قاعده کرامر (Cramer's rule): روش حل دستگاه معادلات خطی که در آن هر مجهول برابر است با کسر دو دترمینان (دترمینان ماتریس با جایگزینی ستون جواب‌ها بر دترمینان ماتریس ضرایب).