في الجبر الخطي، قاعدة كرامر (Cramer's rule) هي مبرهنة تعطي حلحلة لنظام معادلات خطية (أو ما قد يدعى جملة المعادلات الخطية) بدلالة المحددات .[1][2][3]
سميت هذه القاعدة هكذا نسبة إلى عالم الرياضيات السويسري غابرييل كرامر (1704-1752)م.
حسابيا تعتبر هذه الطريقة غير فعالة جدا لذلك فهي نادرة الاستخدام سيما في التطبيقات التي تتضمن العديد من المعادلات . ولذلك تستخدم طريقة غاوس عادة في حل جمل المعادلات المتعددة بدلا من قاعدة كرامر.
الحالة العامة
ليكن نظاما من n معادلة خطية عدد مجاهيله n، مُثل باستعمال المصوففات كما يلي:
![{\displaystyle Ax=b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c294fb03a23c833d5b3cc6b3cbe40f25f0005745)
حيت A مصفوفة مربعة بُعدها هو n × n وحيث محددها غير مساو للصفر وحيث المتجهة
هي المتجهة المعبرة عن متغيرات هذا النظام. تنص قاعدة كرامر على هذا النظام يقبل حلحلة وحيدة تعطي لكل متغير من متغيراته القيمة التالية:
![{\displaystyle x_{i}={\frac {\det(A_{i})}{\det(A)}}\qquad i=1,\ldots ,n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39364326c745c93758b2a762e1e25e6e185e2fa7)
حيث المصفوفة
حُصل عليها بتعويض العمود i من المصفوفة A بالمتجهة b.
البرهان
![{\displaystyle {\begin{matrix}a_{11}x_{1}+a_{12}x_{2}+\cdots +a_{1n}x_{n}&=&b_{1}\\a_{21}x_{1}+a_{22}x_{2}+\cdots +a_{2n}x_{n}&=&b_{2}\\\vdots &\vdots &\vdots \\a_{n1}x_{1}+a_{n2}x_{2}+\cdots +a_{nn}x_{n}&=&b_{n}.\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21f122f5557a8cc283f209a49a1842b4b47a5946)
![{\displaystyle x_{j}={\frac {L_{(j)}\cdot \mathbf {b} }{\det(A)}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84e506141ff1b2ff94564c4922511f9604ca9007)
![{\displaystyle {\frac {1}{\det(A)}}M=A^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d766718827b60d574311a2e3127d138d7152539b)
مثال
ليكن نظام المعادلات الخطية التالي، مكونا من ثلاث معادلات:
![{\displaystyle -2x+2y-3z=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a73eb2afe0481401d890faed5913ce4efa857910)
![{\displaystyle -x+y+3z=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f68a3f24abf692cda34dbacbebf0c76bcbc7048)
![{\displaystyle 2x-z=-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cd381b3490603275a8a655adb7ea488c5bfcd4a)
مصفوفة المعاملات هي كما يلي:
![{\displaystyle A={\begin{bmatrix}-2&2&-3\\-1&1&3\\2&0&-1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/550a3279320140ec3739d7a494ece55692a32825)
أما الجانب الأيمن من هذه المعالات الثلات، فقد يمثل بالمتجهة التالية
![{\displaystyle b={\begin{bmatrix}2\\1\\-1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd3a841a6e6ab8602d0aa2b45426ec6293d39cb4)
نظام المعادلات الثلاث أعلاه قد يكتب إذن كما يلي:
![{\displaystyle AX=b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62839c1f88f359647907f55670292753234dc71e)
حيث
![{\displaystyle X={\begin{bmatrix}x\\y\\z\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e0ce759a36464073f2f5ae2bf664c9186b90a0b)
من أجل حساب قيمة x أو y أو z، ينبغي حساب محدد المصفوفة A. يتم هذا الحساب كما يلي رجوعا إلى صيغة لابلاص :
![{\displaystyle det(A)={\begin{vmatrix}-2&2&-3\\-1&1&3\\2&0&-1\end{vmatrix}}=-2{\begin{vmatrix}1&3\\0&-1\end{vmatrix}}-2{\begin{vmatrix}-1&3\\2&-1\end{vmatrix}}+-3{\begin{vmatrix}-1&1\\2&0\end{vmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1dd36323573c0404b898253d70e8fb86ce084d1)
إذن
![{\displaystyle det(A)=18}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33c90d551351230dafe1544790e87d67930b03ce)
من أجل حساب قيمة x، يحصل على المصفوفة التالية (بتعويض العمود الأول بالمتجهة b):
![{\displaystyle A_{x}={\begin{bmatrix}2&2&-3\\1&1&3\\-1&0&-1\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc97681e41487721fcad5ec3fc02e322fa880531)
ينبغي حساب محدد
كما يلي :
![{\displaystyle x={\frac {\det(A_{x})}{\det(A)}}=-9/18=-1/2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb9c55bc20b8dd21bdc30e964d62ee69d9b9a78)
بنفس الطريقة تحسب y و z.
ايجاد المصفوفة العكسية
تطبيقات
تفسير هندسي
براهين اخرى
الحالات غير المتناسقة وغير المنتهية
مقالات ذات صلة
مراجع
- Hedman, Bruce A. (1999). "An Earlier Date for "Cramer's Rule" ( كتاب إلكتروني PDF ). Historia Mathematica. 26 (4): 365–368. doi:10.1006/hmat.1999.2247. مؤرشف من الأصل ( كتاب إلكتروني PDF ) في 21 يوليو 2018.
- David Poole (2014). Linear Algebra: A Modern Introduction. Cengage Learning. صفحة 276. .
- Levi-Civita, Tullio (1926). The Absolute Differential Calculus (Calculus of Tensors). Dover. صفحات 111–112. .
وصلات خارجية
موسوعات ذات صلة :