معادلة تكعيبية

[تصغير|يسار|210px|منحنى دالة تكعيبية بثلاث [جذر دالة|جذور حقيقية (حيث يلتقي المنحنى بمحور الأفاصيل المعرف ب ). المنحنى المبين هنا له نقطتان حرجتان. الدالة التي تعرف هذا المنحنى هي .]]

في الجبر، **معادلة تكعيبية**  ذات متغير واحد هي معادلة تأخذ الشكل التالي :

:ax^3+bx^2+cx+d=0

حيث مختلف عن الصفر العددُ .

حل المعادلة التكعيبية يعني ايجاد جذور الدالة التكعيبية وهو ليس بالأمر السهل كما في معادلة الدرجة الثانية. وصل الأمر بالعلماء إلى أن اعتقدو بأنه ليس لهؤلاء المعادلات من حلحلة.

يمكن إثبات القانون العام لجذور معادلة الدرجة الثالثة باستخدام صيغة كاردانو أو باستعمال الحساب المثلثي أو باستعمال التحليل العددي وبالتحديد خوارزميات إيجاد جذور دالة، طريقة نيوتن مثالا على ذلك.

## التاريخ
كانت الدوال التكعيبية معروفة لدى البابليين القدامى والإغريق والصينيين والهنديين والمصريين.

انظر إلى مضاعفة المكعب.

في القرن الحادي عشر، قام عالم الرياضيات والشاعر الفارسي عمر الخيام (1048-1131) بتطورات مهمة في نظرية المعادلات التكعيبية، حيث برهن على إمكانية وجود أكثر من حل لمعادلة تكعيبية ما.

في القرن الثاني عشر، حاول عالم الرياضيات الهندي باسكارا حل المعادلة التكعيبية ولكن محاولته باءت بالفشل. ولكنه أعطى المثال  عن هؤلاء المعادلات.

في القرن الثاني عشر ذاته كتب عالم الرياضيات الفارسي شرف الدين الطوسي (1135-1213) كتابا سماه *المعادلات*، تطرق فيه إلى ثمانية أنواع من المعادلات التكعيبية ذات جذور موجبة وخمسة أنواع أخرى قد لا يكون لها جذور موجبة. استعمل من أجل ذلك ما أطلق عليه فيما بعد اسم طريقة روفيني-هورنر الممكنة من الاقتراب من جذور المعادلة حسابيا.

استطاع ليوناردو فيبوناتشي (1170-1250) في كتاب له أن يقترب من الحلول الموجبة للمعادلة  إلى حدود خطأ صغير جدا يُقدر بحوالي 10−9.

في بداية القرن السادس عشر، وجد عالم الرياضيات الإيطالي سيبيوني ديل فيرو (1465-1526) طريقة لحل المعادلات من الدرجة الثالثة من صنف خاص هو . فعليا، جميع المعادلات التكعيبية يمكن أن تُحول إلى هذا الشكل شرط أن يُقبل كون العددين m و n سالبين، ولكن الأعداد السالبة لم تكن معروفة لدى ديل فيرو في ذلك الزمان. يضاف إلى ذلك أن ديل فيرو ترك اكتشافه هذا سريا إلى حدود قُبيل وفاته، مخبرا بها تلميذا له يسمى أنطونيو فيور.

في عام 1539، أقنع جيرولامو كاردانو (1501-1576)، تارتاغليا أن يفشي له بسره حول المعادلات التكعيبية، شرط أن يمتنع كاردانو عن نشر هذه الحلحلة، وأن يعطيه الوقت أن ينشر هو هذا العمل. سنوات بعد ذلك، علم كاردانو بعمل ديل فيرو الذي سبق عمل تارتاغليا، فنشر طريقة ديل فيرو في كتاب لع عام 1545 عنوانه أرس ماغنا، معطيا بذلك لتارتاغليا فترة زمنية تقدر بست سنوات.

أشار كاردانو أن طريقة تارتاغليا قد تتطلب منه في بعض الأحيان اعتبار الجذور التربيعية للأعداد السالبة. كان ذلك أول بداية لظهور الأعداد المركبة. درس رافائيل بومبيلي هذه المسألة بدقة ليصبح عادة بذلك المكتشف الفعلي للأعداد المركبة

تمكن فرانسوا فييت (1540-1603) بشكل مستقل من ايجاد الحل باستعمال الحساب المثلثي لمعادلة تكعيبية جذورها أعداد حقيقية. أتم عملَ فييت وعممه العالم رينيه ديكارت (1596-1650).

[تصغير|160px|[نيكولو فونتانا تارتاغليا، أحد عالمي الرياضيات الإيطاليين اللذان حلا المعادلات التكعيبية]]

## المعادلات التكعيبية المبسطة
*المعادلات التكعيبية المبسطة* وقد تسمى *المعادلات التكعيبية منخفضة الضغط* هي معادلات تكعيبية تكتب على الشكل التالي.

:x^3+px+q

تغيير بسيط للمتغير يمكن من المرور من معادلة تكعيبية في شكلها العام إلى شكلها المبسط.

لتكن المعادلة التكعيبية التالية
:ax^3 + bx^2 + cx + d = 0
تغيير المتغير
:x=t-\frac b{3a}
يعطي معادلة تكعيبية معاملها منعدم في حدها . بعد القسمة على  يُحصل على المعادلة التكعيبية منخفضة الضغط*
:<math>t^3+pt+q=0,</math>
حيث
:<math>\begin{align}
t=&x+\frac b{3a}\\
p=&\frac{3ac-b^2}{3a^2} \\
q=&\frac{2b^3-9abc+27a^2d}{27a^3}.
\end{align}
</math>

[[جذر دالة|جذور]] المعادلة الأصلية <math>x_1, x_2, x_3</math> ترتبط بجذور المعادلة المبسطة <math>t_1,t_2,t_3</math> بالعلاقة
::<math>x_i=t_i-\frac b{3a},</math>
حيث <math>i = 1, 2, 3</math>.
== طبيعة جذور معادلة تكعيبية وحساب المميز ==
جذور معادلة تكعيبية تدخلن في إطار حالتين اثنتين لا ثالث لهما.
* الحالة الأولى هي أن يكون الجذر الأول [[عدد حقيقي|حقيقيا]] والجذران الآخران [[عدد مركب|عددين عقديين]]، الواحد منهما هو [[مرافق عدد مركب|مرافق]] الثاني.
* الحالة الثانية هي أن تكون الجذور الثلاثة كلهن حقيقية. وقد تتساوى مع بعضهن البعض وقد تختلف عن بعضهن البعض.

حالة جذرين حقيقيين وجذر ثالث عقدي حالة غير ممكنة للسبب التالي :
:إذا كان <math>z</math> حلحلة لمعادلة تكعيبية ما فإن <math>\overline{z}</math> هو أيضا حلحلة لهذه المعادلة، وإذا كان <math>z</math> غير حقيقي فإن <math>\overline{z}</math> هو أيضا غير حقيقي.

=== الحلحلة الجبرية ===
تعطى الصيغة العامة لجذور معادلة الدرجة الثالثة <math>a x^3 + b x^2 + c x + d = 0\,</math> بدلالة معاملاتها <math>a,b,c,d\,</math> كما يلي:

==== المميز ====
عدد جذور دالة تكعيبية الحقيقية والمركبة يحدد بحساب [[مميز]] المعادلة التكعيبية كما يلي:
:<math>\Delta = 18abcd - 4b^3d + b^2c^2 - 4ac^3 - 27a^2d^2.</math>

* إذا كان ، فإن للمعادلة ثلاثة جذور مختلفة الواحدة منها عن الأخريين.
* إذا كان ، فإن للمعادلة جذرا متكررا وأن جميع حلول المعادلة حقيقية.
* إذا كان ، فإن للمعادلة جذرا حقيقيا وجذرين أخريين مركبين الواحد منهما [[مرافق عدد مركب|مرافق]] للآخر.
تعطى الصيغة العامة لجذور معادلة الدرجة الثالثة، <math>a x^3 + b x^2 + c x + d = 0\,</math> بدلالة معاملاتها <math>a,b,c,d\,</math> كما يلي:

:<math>\begin{align}
x_1 =
&-\frac{b}{3 a}\\
&-\frac{1}{3 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d+\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}\\
&-\frac{1}{3 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d-\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}\\
x_2 =
&-\frac{b}{3 a}\\
&+\frac{1+i \sqrt{3}}{6 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d+\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}\\
&+\frac{1-i \sqrt{3}}{6 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d-\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}\\
x_3 =
&-\frac{b}{3 a}\\
&+\frac{1-i \sqrt{3}}{6 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d+\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}\\
&+\frac{1+i \sqrt{3}}{6 a} \sqrt[3]{\frac{2 b^3-9 a b c+27 a^2 d-\sqrt{\left(2 b^3-9 a b c+27 a^2 d\right)^2-4 \left(b^2-3 a c\right)^3}}{2}}
\end{align}</math>

== صيغة كاردانو ==
[[جيرولامو كاردانو|كاردانو]] هو عالم رياضيات وفيزيائي وفلكي إيطالي. نشر هذه الصيغة في كتابه [[أرس ماغنا (كتاب)|أرس ماغنا]] عام 1545 م.

تقتضي الطريقة :
* أولا تبسيط المعادلة القياسية لتصبح على الشكل
:<math>x^3 + ax^2 + bx +c =0 \qquad (1)</math>. قد يسمى هذا الشكل من الحدوديات [[متعددة حدود واحدية المدخل|متعددات حدود واحدية المدخل]].
* ثم التخلص من معامل الدرجة الثانية باستخدام التعويض المناسب <math>x = t - a/3\,</math> لتصبح المعادلة بالشكل الجديد:

:<math> t^3 + pt + q = 0\, \qquad (2)</math>
حيث
:<math>p = -\frac{a^2}3 + b \qquad \mbox{و} \qquad q = \frac{2a^3}{27}-\frac{ab}{3}+ c</math>
* وبتعويض مناسب :<math>t=u+v\,</math> في المعادلة (2) يمكن الحصول على:

:<math> u^3+v^3+(3uv+p)(u+v)+q=0 \qquad (3)\,</math>.
* وهنا افترض كاردان حدا جديدا للمتغيرات *u* و*v* بحيث <math> 3uv+p=0\,</math>
* عند دمج هذه في (3) بتعويض *v* نحصل على:

:<math> u^6 + qu^3 - {p^3\over 27} = 0\,.</math>
* هذه معادلة من الدرجة السادسة يمكن أن تبسط إلى الدرجة الثانية في *u*<sup>3</sup> وتحل مباشرة. مميزها هو <math>\Delta = {2} = e^{i \frac{2 \pi}{3}}</math>

=== Δ سالب قطعا ===
يوجد [[عدد مركب|عدد عقدي]] *u* الذي هو جذر مكعب ل <math>\frac{-27q + 3i\sqrt{3}\sqrt{-\Delta}}{2}</math>.

المعادلة تقبل ثلاث حلول حقيقية:
* <math> x_1 = \frac{1}{3}(u +\bar{u})</math>
* <math> x_2 = \frac{1}{3}(j u +\bar{j}\bar{u})</math>
* <math> x_3= \frac{1}{3}(j^2u +\bar{j^2}\bar{u})</math>

انظر إلى [[حالة غير قابلة للتبسيط (معادلات تكعيبية)]].

* ولما كانت *t* = *v* + *u*, *t* = *x* + *a*/3, و*v* = −*p*/3*u*, نجد
أن:
:<math>x=-\frac{p}{3u}+u-{a\over 3}.</math>

لاحظ أنه يوجد ثلاث حالات لحساب *u* في (4) وثلاث حالات لحساب *v*. ذلك لأن الجذر التكعيبي يحمل ثلاث احتمالات.

:أولا، إذا كانت *p*&nbsp;=&nbsp;*q*&nbsp;=&nbsp;0, فإنه لدينا ثلاثة جذور حقيقية
::<math>t=0.\,</math>
: ثانيا، إذا كانت *p*&nbsp;=&nbsp;0 و*q*&nbsp;≠&nbsp;0, فإن:
::<math>u=0 \text{ و } v =  -\sqrt[3]{q}.</math>
:ثالثا إذا كانت *p*&nbsp;≠&nbsp;0 و*q''&nbsp;=&nbsp;0 فإن:
::u=\sqrt \qquad \mbox{و} \qquad  v=-\sqrt,
:وفي أي من الحالات تكون الجذور الثلاثة هي:
::t=u+v=0 , \qquad t=\omega_1u-{p\over 3\omega_1u}=\sqrt{-p}, \qquad t={u\over  \omega_1}-{\omega_1p\over 3u}=-\sqrt{-p} ,
:حيث
::\omega_1=e^{i\frac{2\pi}{3}}=-\tfrac{1}{2} + i\tfrac{\sqrt{3}}{2}.

طريقة كاردان هي طريقة تمكن من حل جميع المعادلات من الدرجة الثالثة.

هذه الطريقة تكمن من استعمال صيغ كاردان المعطاة بدلالة \mathcal {}p و\mathcal {}q حلول المعادلة: \mathcal {}x^3+px + q= 0 ~. وهي تمكن من البرهنة على أن المعادلات من الدرجة 3 يمكن حلها جبريا.

### Δ مساو للصفر
قد تدمج هذه الحالة في حالة المميز الموجب. وقد تدمج أيضا في حالة الميز السالب. النتيجة لا تتغير.
بتعويض Δ بقيمته المساوية للصفر في المعادلات السابقة الذكر، يصير للمعادلة حلا حقيقيا بسيطا هو t1=2*u=2\sqrt[3]{-\tfrac{q}{2}} وحل حقيقيا مزدوجا هو t2=-u=-\sqrt[3]{-\tfrac{q}{2}}.

## الصيغة العامة
يمكن استنتاج الصيغة التكعيبية لجذور المعادلة التكعيبية العامة (مع ):
:ax^3+bx^2+cx+d=0 من كل شكل من أشكال صيغة كاردانو عن طريق الاختزال إلى شكل تكعيبي مبسط.

الصيغة معقدة إلى حد ما، يجدر تقسيمها إلى صيغ أصغر.

لتكن
:\begin{align}
\Delta_0 &= b^2 - 3ac,\\
\Delta_1 &= 2b^3 - 9abc + 27a^2d,
\end{align}
و
:C = \sqrt[3]{\frac{\Delta_1 \pm \sqrt{\Delta_1^2 - 4 \Delta_0^3}}2},
حيث يشير الرمز \sqrt[3] إلى جذر تكعيبي لعدد ما.

الإشارة "±" قبل الجذر التربيعي تعني إما "+" أو "-"؛ الخيار قد يكون اختيارياً، وتغييره يؤدي إلى تغيير الجذر التربيعي. ومع ذلك، إذا أدى أحد الخيارات إلى C = 0، فيجب تحديد الإشارة الأخرى. ثم، أحد الجذور هي:

:x = - \frac{1}{3a}\left(b+C+\frac{\Delta_0}{C}\right)\text{.}

يمكن الحصول على الجذرين الآخرين عن طريق تغيير اختيار الجذر التكعيبي في تعريف C، أو مكافئًا بضرب C في الجذر التكعيبي للوحدة البدائي، أي . وبعبارة أخرى، فإن الجذور الثلاثة هي:

:x_k = - \frac{1}{3a}\left(b+\xi^kC+\frac{\Delta_0}{\xi^kC}\right), \qquad k \in \{0,1,2\} \text{,}
حيث .

## الحلحلة الهندسية
### حلحلة عمر الخيام
تصغير|يسار|200px|الحل الهندسي لمعادلة تكعيبية، قام به عمر الخيام عندما يتوفر   ، موجدا الجذر . تقاطع المستقيم العمودي مع محور الأفاصيل يعطي حل للمعادلة.

من أجل حل المعادلة  حيث ، أنشأ عمر الخيام قطعا مكافئا معادلته  وأنشأ دائرة قطرها القطعة ، مرسوما على محور السينات. بعد ذلك رسم المستقيم العمودي الذي يمر من تقاطع الدائرة والقطع المكافئ. حل المعادلة هو المسافة بين أصل المعلم وتقاطع هذا المستقيم العمودي مع محور السينات. انظر الشكل وبالتحديد إلى القطعة الأفقية الحمراء على محور الأفاصيل.

## التفسير الهندسي لجذور دالة تكعيبية
### حالة ثلاث جذور حقيقية
[تصغير|يسار|150px|بالنسبة إلى معادلة تعكيبية ذات ثلاث جذور حقيقية، الجذور هي إسقاطات على محور الأفاصيل للرؤوس الثلاث [مثلث متساوي الأضلاع|لمثلث متساوي الأضلاع، رُسم على دائرة مركزها له نفس أفصول نقطة انعطاف هذه الدالة التكعيبية.]]

:t_k=2\sqrt{-\frac{p}{3}}\cos\left(\frac{1}{3}\arccos\left(\frac{3q}{2p}\sqrt{\frac{-3}{p}}\right)-k\frac{2\pi}{3}\right)
حيث k=0,1,2

## تطبيقات
### في الرياضيات
* تثليث زاوية ومضاعفة المكعب معضلتان قديمتان في الهندسة، بُرهن على استحالة حلحلتهما باستعمال المسطرة والفرجار لأنها يكافئان حلحلة المعادلات من الدرجة الثالثة.
* جيب التمام لثُلث زاوية، حيث جيب التمام لهذه الزاوية ذاتها معلوم، هو حلحلة لمعادلة تكعيبية. تبقى هذا الخاصية صحيحة إذا بُدل الجيب التمام بدالة مثلثية أخرى.

### في العلوم الأخرى
انظر إلى  في الكيمياء.

## انظر أيضًا
* معادلة من الدرجة الأولى
* معادلة حدودية
* التكامل الوظيفي

## هوامش وملاحظات

## مراجع

## وصلات خارجية
* طريقة كاردانو لحل المعادلات التكعيبية على شبكة الرياضيات رمز

تصنيف:جبر ابتدائي
تصنيف:حساب التفاضل والتكامل
تصنيف:متعددات الحدود
تصنيف:معادلات