قاعده کرامر

در جبر خطی، قاعده کرامر روشی صریحی برای حل دستگاه معادلات خطی‌ای که تعداد معادلات با تعداد مجهولات برابر و دستگاه جواب منحصر بفرد دارد، است. این روش از دترمینان‌های ماتریس (مربع) ضرایب و ماتریس‌هایی که از جایگزینی یکی از ستون‌های ماتریس ضرایب با بردار سمت راست معادله بدست می‌آید، تعریف می‌گردد. این روش به نام گابریل کرامر (۱۷۰۴–۱۷۵۲) که این روش را برای تعداد دلخواهی از مجهولات در سال ۱۷۵۰ منتشر کرد . اگرچه کولین مک‌لورین نیز در سال ۱۷۴۸ برای موارد خاص این روش را منتشر کرده بود (و احتمالا در ۱۷۲۹ نیز این روش شناخته شده بود).
حالت کلی
دستگاهی با n معادله و n مجهول را نظر بگیرید، که بشکل ماتریسی زیر قابل نمایش است:
که در آن ماتریس ، n در n و دترمینانش مخالف صفر و بردار بردار ستونی متغیرها است.
قضیه بیان می‌کند که در این حالت معادله جواب منحصر بفردی دارد، که مقدار متغیرهایش از رابطه زیر بدست می‌آید:
که در آن ماتریس حاصل از جایگذاری بردار ستونی در ستون ام می‌باشد.
قاعده کرامر برای معادلات با ضرایب و مجهولات تنها برایاعداد حقیقی نیست و برای هرمیدان تعریف می‌گردد. اخیرا نشان داده شده‌است که قاعده کرامر را می‌توان در زمان پیاده‌سازی کرد، که قابل مقایسه با سایر روش‌های رایج برای حل دستگاه معادلات خطی مانند روش حذفی گاوسی می‌باشد.
اثبات
می‌دانیم که پس بنا به خواص دترمینان، ماتریس A معکوس دارد. از معکوس داشتن A نتیجه می‌گیریم که معادله جواب منحصر بفرد را دارد.
برای هر عدد صحیح را ستون iام ماتریس و را ستون i ام ماتریس همانی درنظر بگیرید و را ماریسی که از جایگذاری بردار ستونی در ستون iام ماتریس همانی بدست می‌آید، در نظر بگیرید.
می‌دانیم ستون kام حاصل ضرب برای هر ماتریس ، از ضرب ماتریس در ستون kام ماتریس بدست می‌آید. پس بطور مشابه بدست می‌آید بازای . بنابراین خواهیم داشت:
\begin{array{lll
AX_i - = - A (e_1,\ldots,e_{i-1,x,e_{i+1,\ldots,e_n) \\
- = - (Ae_1,\ldots,Ae_{i-1,Ax,Ae_{i+1,\ldots,Ae_n) \\
- = - (a_1,\ldots,a_{i-1,b,a_{i+1,\ldots,a_n) \\
- = - A_i
\end{array
می‌دانیم برابر ای که ستون iامش با بردار ستونی x تعویض شده‌است، می‌باشد. دترمینان ماتریس را بدست می‌آوریم:
سپس دترمینان ماتریس حاصل ضرب را بدست می‌آوریم:
که از اینجا خواهیم داشت:
یافتن ماتریس معکوس
ابتدا ماتریس A, n×n را در نظر می‌گیریم
(Adj(A ماتریس الحاقی ماتریس A است و (det(A قابل محاسبه است و I ماتریس همانی است. اگر دترمینان A در R مخالف صفر باشد، آنگاه معکوس ماتریس A برابر است با:
اگر R یک میدان باشد (مثل میدان اعداد حقیقی) در صورتی که det(A)≠۰ فرمولی برای محاسبه ماتریس معکوس بدست می‌آید. به شرطی که (det(A یکتا باشداین فرمول برای هر زمانی که R یک حلقه جابه جایی باشد برقرار است. اگر (det(A یکتا نباشد آنگاه A ماتریس معکوس ندارد.
کاربردها
فرمول صریح برای دستگاه‌های کوچک
دستگاه خطی را در نظر می‌گیریم که قالب ماتریسی آن به صورت است. فرض می‌کنیم ad-bc≠۰ باشد. سپس xو y را با قاعده کرامر میابیم:
و
این قانون در ماتریس‌های ۳×۳ مشابه است که دستگاه
فرم ماتریسی‌ای به صورت
دارد.
همچنین مقادیرxو y و z از روابط زیر به دست می‌آیند:
هندسه دیفرانسیل
قاعده کرامر برای حل مسائل هندسه دیفرانسیل بسیار مفید است. دو معادله و را در نظر می‌گیریم. زمانی که u و v دو متغیر مستقل باشند، x را و y را تعریف می‌کنیم.
پیدا کردن یک معادله برای یک برنامه بدیهی قاعده کرامر است.
ابتدا مشتقات F و G و x و y را محاسبه می‌کنیم.
dx و dy را در df وdg جایگزین می‌کنیم و به روابط زیر می‌رسیم:
تا زمانی که u و v دو متغیر مستقل باشند، ضرایب du و dv حتما باید صفر باشد. سپس ما می‌توانیم معادلات ضرایب را بنویسیم:
حالا با توجه به قاعده کرامر می‌بینیم که:
\frac{\partial x{\partial u = \frac{\begin{vmatrix -\frac{\partial F{\partial u - \frac{\partial F{\partial y \\ -\frac{\partial G{\partial u - \frac{\partial G{\partial y\end{vmatrix{\begin{vmatrix\frac{\partial F{\partial x - \frac{\partial F{\partial y \\ \frac{\partial G{\partial x - \frac{\partial G{\partial y\end{vmatrix
که این فرمول دو جمله از ماتریس ژاکوبی است.
همچنین این روابط را می‌توان برای ، ،
به دست آورد.
برنامه‌ریزی عدد صحیح
معادلات دیفرانسیل معمولی
قاعده کرامر برای به دست آوردن جواب عمومی معادله دیفرانسیل خطی ناهمگن با استفاده از روش تغییر پارامترها استفاده می‌شود.
تعبیر هندسی
تعبیر هندسی قاعده کرامر. مساحت‌های متواضی الاضلاع‌های هاشور خورده دوم و سوم یکسان هستند و متوازی‌الاضلاع دوم برابر اولی است. قاعده کرامر از این برابری‌ها استفاده می‌کند.
قاعده کرامر تعبیر هندسی دارد که می‌توان از آن برای اثبات یا ساده کردن تصور ماهیت هندسی قاعده کرامر استفاده کرد.
دستگاه معادلات داده شده زیر را در نظر بگیرید:
می‌توان دستگاه را بصورت معادله‌ای بین دو بردار در نظر گرفت.
مساحت متوازی‌الاضلاع‌هایی که از روابط و بدست می‌آیند، را می‌توان از دترمینان دستگاه معادلات بدست آورد:
بصورت کلی اگر تعداد متغیرها از معادلات بیشتر باشد، دترمینان بردار از طول حجم متوازی السطوح که از آن بردارها در فضای اقلیدسی بعدی ساخته می‌شود، را محاسبه می‌کند.
بنابراین مساحت متوازی‌الاضلاع ای که از و بدست می‌آید، باید برابر مساحت اولی باشد زیرا یکی از اضلاع آن توسط این تابع چند برابر شده‌است.
حال مسحات آخرین متوازی‌الاضلاع، با استفاده از اصل کاوالیری، مساحتی برابر با متوازی‌الاضلاعی است که از و بدست می‌آید.
برابر کردن مساحت‌های آخرین و دومین متوازی‌الاضلاع معادله
را می‌دهد که قاعده کرامر از آن استفاده می‌کند.
اثبات کوتاه
اثباتی کوتاه برای قاعده کرامر می‌توان ارئه داد. فرض می‌کنیم دترمینان ماتریس زیر باشد.
X_1=\begin{bmatrix
x_1 - 0 - 0 - \dots - 0\\
x_2 - 1 - 0 - \dots - 0\\
x_3 - 0 - 1 - \dots - 0\\
\vdots - \vdots - \vdots - \ddots -\vdots \\
x_n - 0 - 0 - \dots - 1
\end{bmatrix
از سوی دیگر، قرض کنید ماتریس اصلی ما معکوس پذیر باشد، ماتریس ستون‌های را دارد که -امین بردار ماتریس باشد. باید آورید که ستون‌های را دارا می‌باشد؛ بنابراین ما را خواهیم داشت که همان چیزی است که دنبالش می‌گشتیم. اثبات بقیه بطور مشابه می‌باشد.
موارد ناسازگار و نامعین
یک دستگاه معادله زمانی ناسازگار است که هیچ جوابی ندارد و زمانی نا مشخص است که بیش از یک جواب داشته باشد. برای معادلات خطی دستگاه نامعین بی‌شمار جواب خواهد داشت (اگر میدان نامحدود باشد). ار آنجاییکه جواب می‌تواند در جمله‌ای از یک یا چند پارامتر بیان شود پس می‌تواند مقادیر دلخواه بگیرد.
قاعده کرامر جایی که دترمینان مخالف صفر باشد روی مورد اعمال می‌شود. در مورد مقابل دستگاه بر اساس مقدار دترمینان برای دستگاه‌های ۲×۲ یا نامعین است یا ناسازگار.
برای دستگاه‌های ۳×۳ یا بالاتر باید به نکته‌ای اشاره کرد که اگر ماتریس ضریب دترمینان مساوی با صفر باشد اگر صورت کسر دترمینان مخالف صفر بود حتما این دستگاه ناسازگار است.
اگرچه این حرف اشتباه است که :دترمینان‌های مساوی صفر به اینکه دستگاه نامعین است اشاره ندارند. در مثال زیر دترمینان‌ها مساوی صفر هستند ولی دستگاه ۳×۳ هنوز نامعین است.
دستگاه معادلات خطی
معادله