فهم حل نظامك
يقع أي نظام خطي في واحدة فقط من ثلاث حالات، تحددها العلاقة الهندسية بين خطوط المعادلات (أو مستوياتها).
| الحالة | المعنى الهندسي (2×2) | عدد الحلول |
|---|---|---|
| مستقل ومتسق | الخطان يتقاطعان في نقطة واحدة فقط | حل وحيد واحد |
| متعلق | المعادلتان تصفان الخط نفسه | حلول لا نهائية |
| غير متسق | الخطان متوازيان ولا يلتقيان أبداً | لا يوجد حل |
- تعرض هذه الحاسبة حالتي التعلق وعدم الاتساق معاً بوصفهما 'لا يوجد حل وحيد'، لأن حذف غاوس وحده لا يميز بينهما دون اختزال إضافي لصفوف المصفوفة الموسعة؛ وكلتاهما نتيجة صحيحة تماماً عندما تكون مصفوفة المعاملات شاذة.
- تُقرَّب النتائج العددية إلى 6 منازل عشرية. وفي الأنظمة التي تكون معاملاتها أعداداً صحيحة أو كسوراً بسيطة، فإن ظهور كسور عشرية صغيرة غير صفرية في الناتج (مثل 1.999999 بدلاً من 2) يعكس التقريب المعتاد في حساب الفاصلة العائمة، ويمكن اعتباره مساوياً للقيمة الدقيقة القريبة منه.
- يُستخدم الارتكاز الجزئي لتقليل الخطأ العددي، لكن الأنظمة 'شبه الشاذة' (التي يقترب محددها كثيراً من الصفر) قد تظل تعطي نتائج شديدة الحساسية لأي تغير طفيف في المدخلات — وهي خاصية تُعرف بسوء التكييف في الجبر الخطي العددي.
ما هو نظام المعادلات الخطية؟
نظام المعادلات الخطية هو مجموعة مكوّنة من معادلتين خطيتين أو أكثر تشترك في المجموعة نفسها من المتغيرات. وحلّ النظام هو مجموعة من القيم — قيمة لكل متغير — تجعل جميع معادلات النظام صحيحة في وقت واحد. ومن الناحية الهندسية، تمثل المعادلة الخطية ذات المتغيرين خطاً مستقيماً، وحل نظام 2×2 يعني إيجاد نقطة تقاطع خطين. أما المعادلة الخطية ذات الثلاثة متغيرات فتمثل مستوى في الفضاء الثلاثي الأبعاد، ويحدد نظام 3×3 النقطة التي تلتقي عندها ثلاثة مستويات.
تمثّل هذه الحاسبة كل معادلة بصف من المصفوفة الموسعة: معاملات كل متغير يتبعها الحد الثابت الواقع على يمين إشارة المساواة. ففي نظام 2×2 تُدخَل ستة أعداد مرتبة صفاً صفاً — a₁, b₁, c₁, a₂, b₂, c₂ — لتمثيل a₁x + b₁y = c₁ وa₂x + b₂y = c₂. ويتبع نظام 3×3 النمط نفسه باثني عشر عدداً موزعة على ثلاثة صفوف، أربعة معاملات في كل صف.
يعتمد الحل على طريقة حذف غاوس مع الارتكاز الجزئي، وهي طريقة معيارية في الجبر الخطي العددي تحذف المتغيرات صفاً بعد صف بشكل منهجي حتى تختزل المصفوفة الموسعة إلى صورة يمكن قراءة قيمة كل مجهول منها مباشرة. ويؤدي الارتكاز الجزئي — أي اختيار الصف صاحب أكبر معامل بالقيمة المطلقة في كل عمود قبل الحذف — إلى تحسين الاستقرار العددي مقارنة بالحذف الساذج.
كيفية استخدام حاسبة نظام المعادلات
- اختر عدد المجاهيل: 2 لنظام من معادلتين بمتغيرين (x, y)، أو 3 لنظام من ثلاث معادلات بثلاثة متغيرات (x, y, z).
- أدخل المعاملات في قائمة مفصولة بفاصلة منقوطة ومرتبة صفاً صفاً. في نظام 2×2 أدخل a₁; b₁; c₁; a₂; b₂; c₂ للمعادلتين a₁x + b₁y = c₁ وa₂x + b₂y = c₂ — ستة أعداد إجمالاً.
- أما في نظام 3×3 فأدخل اثني عشر عدداً: a₁, b₁, c₁, d₁, a₂, b₂, c₂, d₂, a₃, b₃, c₃, d₃ للمعادلة a₁x + b₁y + c₁z = d₁ والمعادلتين التاليتين لها.
- اقرأ قيم x وy المحسوبة (وz في نظام 3×3). وإذا كان النظام شاذاً — أي أن معادلاته متعلقة أو متناقضة — فستعرض الحاسبة عبارة 'لا يوجد حل وحيد' بدلاً من القيم العددية.
الصيغة وراء حذف غاوس
يحوّل حذف غاوس المصفوفة الموسعة [A | b] إلى صورة مكافئة أسهل في الحل عبر تطبيق عمليات على الصفوف لا تغيّر مجموعة الحلول: تبديل صفين، وضرب صف في ثابت غير صفري، وإضافة مضاعف لصف إلى صف آخر. وتنفذ هذه الحاسبة الحذف حتى الصورة المختزلة ثم تقرأ الحل مباشرة من المصفوفة القطرية الناتجة، مستخدمة الارتكاز الجزئي (اختيار أكبر عنصر ارتكاز متاح في كل عمود) لتقليل خطأ التقريب في الفاصلة العائمة.
مثال محلول (2×2): حل 2x + y = 5 وx − y = 1. جمع المعادلتين يحذف y: 3x = 6، ومنه x = 2. وبالتعويض في المعادلة الثانية: 2 − y = 1، ومنه y = 1. التحقق: 2(2) + 1 = 5 ✓ و2 − 1 = 1 ✓.
يكون النظام شاذاً — أي لا يملك حلاً وحيداً — عندما يكون محدد مصفوفة معاملاته مساوياً للصفر، أي عندما ينتج حذف غاوس عموداً ارتكازياً كل عناصره أصفار (عددياً). والنظام الشاذ إما غير متسق (معادلاته متناقضة، مثل x + y = 2 وx + y = 5، فلا يوجد حل) أو متعلق (إحدى المعادلتين مضاعف للأخرى، مثل x + y = 2 و2x + 2y = 4، فتوجد حلول لا نهائية). ويتطلب تحديد أي الحالتين ينطبق فحص المعادلات مباشرة؛ أما هذه الحاسبة فتعرض كلتا الحالتين بوصفهما 'لا يوجد حل وحيد'.
أخطاء شائعة
- إدخال المعاملات بترتيب غير ترتيب الصفوف — إذ تتوقع الحاسبة معاملات كل معادلة يليها حدها الثابت، صفاً بعد صف، لا عموداً بعد عمود.
- نسيان أن نظام 3×3 يحتاج إلى اثني عشر عدداً (أربعة لكل صف) وليس تسعة — فلا بد من تضمين الحد الثابت الواقع على يمين كل معادلة.
- افتراض أن 'لا يوجد حل وحيد' تعني دائماً انعدام الحل — فقد تعني بالقدر نفسه وجود حلول لا نهائية (نظام متعلق)؛ والتمييز بين الحالتين يستلزم مراجعة المعادلات الأصلية يدوياً.
- الخلط في الجانب الذي ينتمي إليه الحد الثابت — إذ يجب نقل جميع حدود المتغيرات إلى الطرف الأيسر وكتابة المعادلة بالصيغة a₁x + b₁y (+ c₁z) = ثابت قبل إدخال المعاملات.
- توقع كسور دقيقة في الناتج — فالنتائج تقريبات عشرية مقرَّبة إلى ست منازل، لذا يظهر الحل الحقيقي 1/3 على هيئة 0.333333.
الأسئلة الشائعة
كيف تحل نظاماً من معادلتين خطيتين؟
من الطرق الشائعة طريقة الحذف: تجمع مضاعفات المعادلتين أو تطرحها لإلغاء أحد المتغيرين، ثم تحل للمتغير المتبقي وتعوّض للحصول على الآخر. ففي 2x + y = 5 وx − y = 1، يؤدي جمع المعادلتين إلى حذف y فينتج 3x = 6 ومنه x = 2، وبالتعويض نجد y = 1. وتؤتمت هذه الحاسبة العملية المكافئة — حذف غاوس — للأنظمة 2×2 و3×3 على حد سواء.
ماذا يعني أن النظام لا يملك حلاً وحيداً؟
يعني أن المعادلات لا تتقاطع في نقطة واحدة بالضبط. ويحدث ذلك بطريقتين مختلفتين: فقد تكون المعادلات غير متسقة (متناقضة، مثل x + y = 2 وx + y = 5) فلا يوجد حل على الإطلاق، أو متعلقة (إحداهما نسخة مضروبة في ثابت من الأخرى، مثل x + y = 2 و2x + 2y = 4) فتوجد حلول لا نهائية. وتقابل الحالتان معاً مصفوفة معاملات محددها يساوي صفراً.
كم معادلة يلزم لحل ثلاثة مجاهيل؟
بوجه عام، يحتاج النظام إلى عدد من المعادلات المستقلة لا يقل عن عدد المجاهيل ليملك حلاً وحيداً — أي ثلاث معادلات مستقلة لثلاثة مجاهيل (x, y, z). أما إذا قل عدد المعادلات المستقلة عن ذلك، فتبقى درجة حرية واحدة على الأقل، وينتج عدد لا نهائي من الحلول بدلاً من حل وحيد.
ما هو حذف غاوس؟
حذف غاوس طريقة منهجية لحل الأنظمة الخطية باستخدام عمليات على الصفوف — تبديل الصفوف، وضرب صف في ثابت، وإضافة مضاعف لصف إلى صف آخر — بهدف تحويل المصفوفة الموسعة إلى صورة مثلثية أو قطرية أبسط يمكن قراءة الحل منها مباشرة. وهي الطريقة المعيارية التي تُدرَّس في الجبر الخطي وتستخدمها داخلياً معظم برامج الحل العددي للمعادلات، ومنها هذه الحاسبة.
هل تستطيع هذه الحاسبة حل الأنظمة غير الخطية، كالمعادلات التي تحوي x²؟
لا. فهذه الحاسبة تحل الأنظمة الخطية فقط، أي التي يظهر فيها كل متغير مرفوعاً للقوة الأولى دون أي حاصل ضرب بين المتغيرات (لا حدود x² ولا xy). أما الأنظمة غير الخطية فتتطلب طرقاً مختلفة، مثل التعويض مقروناً بالقانون العام للمعادلة التربيعية، أو أساليب عددية لإيجاد الجذور.
لماذا تعرض الحاسبة كسوراً عشرية بدلاً من الكسور الدقيقة؟
لأن الحل يجري حذف غاوس بحساب الفاصلة العائمة (العشري)، وهو النهج المعياري في الجبر الخطي العددي، لا بحساب الكسور الرمزي. لذا يظهر الحل الحقيقي 1/3 على هيئة 0.333333 (مقرَّباً إلى ست منازل عشرية). وفي الأنظمة ذات المعاملات الصحيحة البسيطة، يستقر الناتج العشري عادة عند عدد صحيح دقيق أو شبه دقيق.
المراجع
- Strang G. Linear Algebra and Its Applications. 4th ed. Cengage Learning, 2006. (Gaussian elimination and matrix rank.)
- Lay DC, Lay SR, McDonald JJ. Linear Algebra and Its Applications. 5th ed. Pearson, 2015.
- Burden RL, Faires JD. Numerical Analysis. 9th ed. Cengage Learning, 2011. (Partial pivoting and numerical stability.)