المعادلات متعددة الأسطر

لماذا لا تُكدَّس الصيغ المنفصلة

رأينا في الدرس المخصّص للصيغ ضمن السطر والصيغ المعروضة أن الصيغة المعروضة تُكتب بين \[ و\]، أو في البيئة equation إن كانت تحمل رقمًا. وكلتاهما تصفّ سطرًا واحدًا في الوسط. غير أن جزءًا كبيرًا من الرياضيات المكتوبة لا يتّسع له سطر واحد ولا يتألف من علاقة واحدة: فالحساب يتقدّم عبر سلسلة من المساواات، والنظام يجمع عدة معادلات، والتعريف يميّز بين حالات. وفي ذلك كله يحتاج القارئ إلى أن يرى، واحدةً تحت الأخرى، العلامات التي تمفصل الاستدلال، ومن ثَمّ يلزم أن يحاذيها الصفّ.

والإغراء الأول هو تكديس عدة صيغ معروضة، صيغة لكل خطوة. فكل واحدة تتوسّط بمفردها، فتقع علامات المساواة حيثما يضعها عرض كل سطر، ويبقى بينها الفراغ الذي يناسب صيغتين معروضتين منفصلتين لا صيغة واحدة. والإغراء الثاني هو البيئة eqnarray، التي يملكها LaTeX منذ بداياته وما زالت تظهر في كتيّبات كثيرة: فهي تحاذي، لكنها تصفّ العلامة الوسطى عمودًا مستقلًّا تفصله مسافة جدول أوسع من المسافة التي تناسب العلاقة، فتبدو المساواات نفسها مفكّكة. والمثال الآتي يصفّ الحساب نفسه بثلاث طرق. وفي السطرين اللذين يقدّمان البيئتين يجعل \textdir TLT اسمَ البيئة يُنضَّد من اليسار إلى اليمين، وإلا انتقلت النجمة إلى أوله في الفقرة العربية.

مثالحساب واحد بثلاث طرق في الصفّ

شيفرة LaTeX

صيغ معروضة مكدّسة:\[ (a+b)^2 = (a+b)(a+b) \]\[ = a^2 + ab + ba + b^2 \]\[ = a^2 + 2ab + b^2 \]باستعمال \texttt{\textdir TLT eqnarray*}:\begin{eqnarray*}(a+b)^2 &=& (a+b)(a+b) \\        &=& a^2 + 2ab + b^2\end{eqnarray*}باستعمال \texttt{\textdir TLT align*}:\begin{align*}(a+b)^2 &= (a+b)(a+b) \\        &= a^2 + 2ab + b^2\end{align*}

النتيجة

في الطريقة الأولى لا تقع علامات المساواة واحدةً تحت الأخرى، وتفصل بين الأسطر فراغات كبيرة؛ وفي الثانية تنعزل علامة المساواة بين فجوتين؛ والثالثة وحدها تصفّها علاقاتٍ في سلسلة واحدة. والحزمة amsmath، التي يحمّلها المقرر دائمًا، تقدّم align وأقاربها لتحلّ محلّ eqnarray تحديدًا، وهي بيئة لا ينبغي استعمالها في أي مستند جديد.