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

رسم بياني لدالة تكعيبية لها ثلاثة جذور حقيقية (حيث يتقاطع المنحنى مع المحور الأفقي عند y = 0 ). تحتوي الحالة الموضحة على نقطتين حرجتين . هنا الدالة هيو(x)=14(x3+3x2-6x-8)=14(x-2)(x+1)(x+4){\displaystyle {\begin{aligned}f(x)&={\frac {1}{4}}\left(x^{3}+3x^{2}-6x-8\right)\\&={\frac {1}{4}}(x-2)(x+1)(x+4)\end{aligned}}} وبالتالي فإن الجذور الحقيقية الثلاثة هي 2 و -1 و -4.

في الجبر ، المعادلة التكعيبية في متغير واحد هي معادلة على الصورة التالية: أx3+بx2+جx+د=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} حيث لا تكون قيمة a صفرًا.

تُسمى حلول هذه المعادلة جذور الدالة التكعيبية المُعرَّفة بالطرف الأيسر من المعادلة. إذا كانت جميع معاملات المعادلة التكعيبية a و b و c و d أعدادًا حقيقية ، فإنها تمتلك جذرًا حقيقيًا واحدًا على الأقل (ينطبق هذا على جميع الدوال متعددة الحدود من الدرجة الفردية ). يمكن إيجاد جميع جذور المعادلة التكعيبية بالطرق التالية:

لا يشترط أن تكون المعاملات أعدادًا حقيقية. ينطبق معظم ما سيُغطى أدناه على المعاملات في أي حقل ذي خاصية غير 2 و3. لا تنتمي حلول المعادلة التكعيبية بالضرورة إلى نفس حقل المعاملات. على سبيل المثال، بعض المعادلات التكعيبية ذات المعاملات النسبية لها جذور عبارة عن أعداد مركبة غير نسبية (بل وحتى غير حقيقية) .

تاريخ

كانت المعادلات التكعيبية معروفة لدى البابليين واليونانيين والصينيين والهنود والمصريين القدماء. [ 1 ] [ 2 ] [ 3 ] وقد عُثر على ألواح مسمارية بابلية (من القرن العشرين إلى القرن السادس عشر قبل الميلاد) تحتوي على جداول لحساب المكعبات والجذور التكعيبية. [ 4 ] [ 5 ] ربما استخدم البابليون هذه الجداول لحل المعادلات التكعيبية، ولكن لا يوجد دليل يؤكد ذلك. [ 6 ] تُعدّ مسألة مضاعفة المكعب أبسط المعادلات التكعيبية وأقدمها دراسة، وهي معادلة لم يعتقد المصريون القدماء بوجود حل لها. [ 7 ] في القرن الخامس قبل الميلاد، اختزل أبقراط هذه المسألة إلى إيجاد متوسطين متناسبين بين خطين مستقيمين طولهما ضعف طول الخط الأول، لكنه لم يتمكن من حلها باستخدام الفرجار والمسطرة ، [ 8 ] وهي مهمة بات من المعروف الآن أنها مستحيلة. تظهر طرق حل المعادلات التكعيبية في كتاب "الفصول التسعة في الفن الرياضي" ، وهو نص رياضي صيني تم تجميعه حوالي القرن الثاني قبل الميلاد وعلق عليه ليو هوي في القرن الثالث. [ 2 ]

في القرن الثالث الميلادي، وجد عالم الرياضيات اليوناني ديوفانتوس حلولًا صحيحة أو نسبية لبعض المعادلات التكعيبية ذات المتغيرين ( المعادلات الديوفانتية ). [ 3 ] [ 9 ] يُعتقد أن أبقراط ومينايخموس وأرخميدس قد اقتربوا من حل مسألة مضاعفة المكعب باستخدام تقاطع القطوع المخروطية ، [ 8 ] على الرغم من أن مؤرخين مثل ريفيل نيتز يختلفون حول ما إذا كان اليونانيون يفكرون في المعادلات التكعيبية أم في مسائل يمكن أن تؤدي إلى معادلات تكعيبية. ويخالفهم في ذلك آخرون، مثل تي إل هيث ، الذي ترجم جميع أعمال أرخميدس، حيث يقدمون أدلة على أن أرخميدس قد حل بالفعل المعادلات التكعيبية باستخدام تقاطع قطعين مخروطيين ، لكنهم ناقشوا أيضًا الحالات التي تكون فيها الجذور 0 أو 1 أو 2. [ 10 ]

Graph of the cubic function f(x) = 2x3  3x2  3x + 2 = (x + 1) (2x  1) (x  2)

In the 7th century, the Tang dynasty astronomer mathematician Wang Xiaotong in his mathematical treatise titled Jigu Suanjing systematically established and solved numerically 25 cubic equations of the form x3 + px2 + qx = N, 23 of them with p, q ≠ 0, and two of them with q = 0.[11]

In the 11th century, the Persian poet-mathematician, Omar Khayyam (1048–1131), made significant progress in the theory of cubic equations. In an early paper, he discovered that a cubic equation can have more than one solution and stated that it cannot be solved using compass and straightedge constructions. He also found a geometric solution.[12][a] In his later work, the Treatise on Demonstration of Problems of Algebra, he wrote a complete classification of cubic equations with general geometric solutions found by means of intersecting conic sections.[13][14] Khayyam made an attempt to come up with an algebraic formula for extracting cubic roots. He wrote:

“We have tried to express these roots by algebra but have failed. It may be, however, that men who come after us will succeed.”[15]

في القرن الثاني عشر، حاول عالم الرياضيات الهندي بهاسكارا الثاني حل المعادلات التكعيبية، لكن دون نجاح يُذكر. مع ذلك، قدّم مثالًا واحدًا على معادلة تكعيبية: س³ + ١٢ س = ٦س² + ٣٥. [ ١٦ ] وفي القرن نفسه ، ألّف عالم الرياضيات الفارسي شرف الدين الطوسي (١١٣٥-١٢١٣) كتاب " المعادلات "، الذي تناول فيه ثمانية أنواع من المعادلات التكعيبية ذات الحلول الموجبة، وخمسة أنواع أخرى قد لا يكون لها حلول موجبة. استخدم الطوسي ما عُرف لاحقًا بطريقة هورنر-روفيني لتقريب جذر المعادلة التكعيبية عدديًا . كما استعان بمفهومي القيم العظمى والصغرى للمنحنيات لحل المعادلات التكعيبية التي قد لا يكون لها حلول موجبة. [ 17 ] لقد أدرك أهمية المميز للمعادلة التكعيبية لإيجاد حلول جبرية لأنواع معينة من المعادلات التكعيبية. [ 18 ]

في كتابه "فلوس" ، تمكن ليوناردو دي بيزا، المعروف أيضًا باسم فيبوناتشي (1170-1250)، من تقريب الحل الموجب للمعادلة التكعيبية + 2x² + 10x = 20 بدقة عالية . وباستخدام النظام العددي الستيني، أعطى النتيجة على النحو التالي: 1، 22، 7، 42، 33، 4، 40 (أي ما يعادل 1 + 22/60 + 7/60 2 + 42/60 3 + 33/60 4 + 4/60 5 + 40/60 6 ) ، والتي يبلغ خطأها النسبي حوالي 10⁻⁹ . [ 19 ]            

في أوائل القرن السادس عشر، اكتشف عالم الرياضيات الإيطالي سكيپيوني ديل فيرو (1465-1526) طريقةً لحل فئة من المعادلات التكعيبية، وتحديدًا تلك التي تأخذ الصيغة س³ + م س = ن . في الواقع، يمكن اختزال جميع المعادلات التكعيبية إلى هذه الصيغة إذا ما اعتبرنا م و ن سالبتين، لكن الأعداد السالبة لم تكن معروفةً له آنذاك. أبقى ديل فيرو إنجازه سرًا حتى قبيل وفاته، حين أخبر تلميذه أنطونيو فيور عنه.

نيكولو فونتانا تارتاليا

In 1535, Niccolò Tartaglia (1500–1557) received two problems in cubic equations from Zuanne da Coi and announced that he could solve them. He was soon challenged by Fior, which led to a famous contest between the two. Each contestant had to put up a certain amount of money and to propose a number of problems for his rival to solve. Whoever solved more problems within 30 days would get all the money. Tartaglia received questions in the form x3 + mx = n, for which he had worked out a general method. Fior received questions in the form x3 + mx2 = n, which proved to be too difficult for him to solve, and Tartaglia won the contest.

Later, Tartaglia was persuaded by Gerolamo Cardano (1501–1576) to reveal his secret for solving cubic equations. In 1539, Tartaglia did so only on the condition that Cardano would never reveal it and that if he did write a book about cubics, he would give Tartaglia time to publish. Some years later, Cardano learned about del Ferro's prior work and published del Ferro's method in his book Ars Magna in 1545, meaning Cardano gave Tartaglia six years to publish his results (with credit given to Tartaglia for an independent solution).

Cardano's promise to Tartaglia said that he would not publish Tartaglia's work, and Cardano felt he was publishing del Ferro's, so as to get around the promise. Nevertheless, this led to a challenge to Cardano from Tartaglia, which Cardano denied. The challenge was eventually accepted by Cardano's student Lodovico Ferrari (1522–1565). Ferrari did better than Tartaglia in the competition, and Tartaglia lost both his prestige and his income.[20]

Cardano noticed that Tartaglia's method sometimes required him to extract the square root of a negative number. He even included a calculation with these complex numbers in Ars Magna, but he did not really understand it. Rafael Bombelli studied this issue in detail[21] and is therefore often considered as the discoverer of complex numbers.

François Viète (1540–1603) independently derived the trigonometric solution for the cubic with three real roots, and René Descartes (1596–1650) extended the work of Viète.[22]

Factorization

If the coefficients of a cubic equation are rational numbers, one can obtain an equivalent equation with integer coefficients, by multiplying all coefficients by a common multiple of their denominators. Such an equation أx3+بx2+جx+د=0،{\displaystyle ax^{3}+bx^{2}+cx+d=0,} يُقال إن المعادلة ذات المعاملات الصحيحة قابلة للاختزال إذا كان كثير الحدود في الطرف الأيسر هو حاصل ضرب كثيرات حدود من درجات أقل. وبحسب مبرهنة جاوس ، إذا كانت المعادلة قابلة للاختزال، فيمكن افتراض أن العوامل لها معاملات صحيحة.

إيجاد جذور معادلة تكعيبية قابلة للاختزال أسهل من حل الحالة العامة. في الواقع، إذا كانت المعادلة قابلة للاختزال، فلا بد أن يكون أحد العوامل من الدرجة الأولى، وبالتالي يكون على الصورة التالية: qx-ص،{\displaystyle qx-p,} حيث q و p عددان صحيحان أوليان فيما بينهما . يسمح اختبار الجذر النسبي بإيجاد q و p من خلال فحص عدد محدود من الحالات (لأن q يجب أن يكون قاسمًا لـ a ، و p يجب أن يكون قاسمًا لـ d ).

وبالتالي، فإن أحد الجذور هوx1=صq،{\displaystyle \textstyle x_{1}={\frac {p}{q}},}والجذور الأخرى هي جذور العامل الآخر، الذي يمكن إيجاده عن طريق القسمة المطولة لكثيرات الحدود . هذا العامل الآخر هو أqx2+بq+أصq2x+جq2+بصq+أص2q3.{\displaystyle {\frac {a}{q}}\,x^{2}+{\frac {bq+ap}{q^{2}}}\,x+{\frac {cq^{2}+bpq+ap^{2}}{q^{3}}}.} (يبدو أن المعاملات ليست أعدادًا صحيحة، ولكن يجب أن تكون أعدادًا صحيحة إذا ص/q{\displaystyle p/q}( جذر.)

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

مكعب منخفض

مكعبات على شكل ت3+صت+q{\displaystyle t^{3}+pt+q} يقال إنها معادلات تكعيبية منخفضة. وهي أبسط بكثير من المعادلات التكعيبية العامة، لكنها أساسية، لأن دراسة أي معادلة تكعيبية يمكن اختزالها بتغيير بسيط في المتغير إلى دراسة معادلة تكعيبية منخفضة.

يترك أx3+بx2+جx+د=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} معادلة تكعيبية. تغيير المتغير x=ت-ب3أ{\displaystyle x=t-{\frac {b}{3a}}} يعطي معادلة تكعيبية (في t ) ليس لها حد في . في الواقع،x=-ب3أ{\displaystyle x=-{\frac {b}{3a}}}هي نقطة الانعطاف للمكعب الأصلي (حيث يتغير اتجاه الانحناء)، لذا فإن التحويل ببساطة يركز المكعب حول نقطة الانعطاف.

بعد القسمة على واحد ، نحصل على المعادلة التكعيبية المختزلةت3+صت+q=0،{\displaystyle t^{3}+pt+q=0,} مع ت=x+ب3أص=3أج-ب23أ2q=2ب3-9أبج+27أ2د27أ3.{\displaystyle {\begin{aligned}t={}&x+{\frac {b}{3a}}\\p={}&{\frac {3ac-b^{2}}{3a^{2}}}\\q={}&{\frac {2b^{3}-9abc+27a^{2}d}{27a^{3}}}.\end{aligned}}}

الجذورx1،x2،x3{\displaystyle x_{1},x_{2},x_{3}}ترتبط أجزاء المعادلة الأصلية بجذورهات1،ت2،ت3{\displaystyle t_{1},t_{2},t_{3}}معادلة الاكتئاب بواسطة العلاقات xأنا=تأنا-ب3أ،{\displaystyle x_{i}=t_{i}-{\frac {b}{3a}},} لأنا=1،2،3{\displaystyle i=1,2,3}.

التمييز وطبيعة الجذور

يمكن تحديد طبيعة جذور المعادلة التكعيبية (حقيقية أم لا، متميزة أم لا) دون حسابها بشكل صريح، وذلك باستخدام المميز .

تمييزي

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

إذا كانت r1 و r2 و r3 هي الجذور الثلاثة ( ليست بالضرورة مختلفة أو حقيقية ) للمعادلة التكعيبيةأx3+بx2+جx+د،{\displaystyle ax^{3}+bx^{2}+cx+d,}إذن، يكون المميز هو أ4(ر1-ر2)2(ر1-ر3)2(ر2-ر3)2.{\displaystyle a^{4}(r_{1}-r_{2})^{2}(r_{1}-r_{3})^{2}(r_{2}-r_{3})^{2}.}

المميز للمعادلة التكعيبية المنخفضةت3+صت+q{\displaystyle t^{3}+pt+q}يكون -(4ص3+27q2).{\displaystyle -\left(4\,p^{3}+27\,q^{2}\right).}

المميز للمعادلة التكعيبية العامةأx3+بx2+جx+د{\displaystyle ax^{3}+bx^{2}+cx+d}يكون 18أبجد-4ب3د+ب2ج2-4أج3-27أ2د2.{\displaystyle 18\,abcd-4\,b^{3}d+b^{2}c^{2}-4\,ac^{3}-27\,a^{2}d^{2}.} إنه نتاجأ4{\displaystyle a^{4}}ومميز المعادلة التكعيبية المنخفضة المناظرة. باستخدام الصيغة التي تربط المعادلة التكعيبية العامة والمعادلة التكعيبية المنخفضة المرتبطة بها، فإن هذا يعني أنه يمكن كتابة مميز المعادلة التكعيبية العامة على النحو التالي: 4(ب2-3أج)3-(2ب3-9أبج+27أ2د)227أ2.{\displaystyle {\frac {4(b^{2}-3ac)^{3}-(2b^{3}-9abc+27a^{2}d)^{2}}{27a^{2}}}.}

يستنتج من ذلك أن أحد هذين المميزين يساوي صفرًا إذا وفقط إذا كان الآخر يساوي صفرًا أيضًا، وإذا كانت المعاملات حقيقية ، فإن المميزين لهما نفس الإشارة. باختصار، يمكن استنتاج نفس المعلومات من أيٍّ من هذين المميزين.

لإثبات الصيغ السابقة، يمكن استخدام صيغ فيتا للتعبير عن كل شيء كمتعددات حدود في r1 و r2 و r3 و a . ويؤدي البرهان بعد ذلك إلى التحقق من تساوي متعددتي الحدود.

طبيعة الجذور

إذا كانت معاملات كثيرة الحدود أعدادًا حقيقية ، ومميزهاΔ{\displaystyle \Delta }إذا لم يكن الصفر، فهناك حالتان:

يمكن إثبات ذلك كما يلي: أولًا، إذا كان r جذرًا لكثير حدود ذي معاملات حقيقية، فإن مرافقه المركب يكون جذرًا أيضًا. لذا، فإن الجذور غير الحقيقية، إن وجدت، تظهر على شكل أزواج من الجذور المركبة المترافقة. وبما أن لكثير الحدود التكعيبي ثلاثة جذور (ليست بالضرورة مختلفة) وفقًا للنظرية الأساسية في الجبر ، فلا بد أن يكون أحدها على الأقل حقيقيًا.

كما ذُكر أعلاه، إذا كانت r1 و r2 و r3 هي الجذور الثلاثة للمعادلة التكعيبيةأx3+بx2+جx+د{\displaystyle ax^{3}+bx^{2}+cx+d}إذن، يكون المميز هو Δ=أ4(ر1-ر2)2(ر1-ر3)2(ر2-ر3)2{\displaystyle \Delta =a^{4}(r_{1}-r_{2})^{2}(r_{1}-r_{3})^{2}(r_{2}-r_{3})^{2}}

إذا كانت الجذور الثلاثة حقيقية ومختلفة، فإن المميز يكون حاصل ضرب أعداد حقيقية موجبة، أيΔ>0.{\displaystyle \Delta >0.}

إذا كان جذر واحد فقط، ولنقل r1 ، حقيقيًا، فإن r2 و r3 يكونان مترافقين مركبين، مما يعني أن r2 r3 عدد تخيلي بحت ، وبالتالي فإن ( r2r3 ) 2 عدد حقيقي وسالب. من جهة أخرى، فإن r1 r2 و r1 r3 يكونان مترافقين مركبين ، وحاصل ضربهما عدد حقيقي وموجب. [ 23 ] إذن ، المميز هو حاصل ضرب عدد سالب واحد في عدة أعداد موجبة .Δ<0.{\displaystyle \Delta <0.}

جذور متعددة

إذا كان مميز المعادلة التكعيبية يساوي صفرًا، فإن للمعادلة التكعيبية جذرًا متعددًا . وإذا كانت معاملاتها حقيقية، فإن جميع جذورها حقيقية.

المميز للمعادلة التكعيبية المنخفضةت3+صت+q{\displaystyle t^{3}+pt+q}يساوي صفرًا إذا4ص3+27q2=0.{\displaystyle 4p^{3}+27q^{2}=0.}إذا كانت قيمة p تساوي صفرًا أيضًا، فإن p = q = 0 ، ويكون الصفر جذرًا ثلاثيًا للدالة التكعيبية.4ص3+27q2=0،{\displaystyle 4p^{3}+27q^{2}=0,}وإذا كان p ≠ 0 ، فإن المعادلة التكعيبية لها جذر بسيط ت1=3qص{\displaystyle t_{1}={\frac {3q}{p}}}

وجذر مزدوج ت2=ت3=-3q2ص.{\displaystyle t_{2}=t_{3}=-{\frac {3q}{2p}}.}

بعبارة أخرى، ت3+صت+q=(ت-3qص)(ت+3q2ص)2.{\displaystyle t^{3}+pt+q=\left(t-{\frac {3q}{p}}\right)\left(t+{\frac {3q}{2p}}\right)^{2}.}

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

باستخدام اختزال المعادلة التكعيبية المخففة ، يمكن تعميم هذه النتائج على المعادلة التكعيبية العامة. وهذا يعطينا: إذا كان مميز المعادلة التكعيبيةأx3+بx2+جx+د{\displaystyle ax^{3}+bx^{2}+cx+d}إذا كانت القيمة صفرًا، فإن

  • أو إذاب2=3أج،{\displaystyle b^{2}=3ac,}للدالة التكعيبية جذر ثلاثيx1=x2=x3=-ب3أ،{\displaystyle x_{1}=x_{2}=x_{3}=-{\frac {b}{3a}},}وأx3+بx2+جx+د=أ(x+ب3أ)3{\displaystyle ax^{3}+bx^{2}+cx+d=a\left(x+{\frac {b}{3a}}\right)^{3}}
  • أو إذاب23أج،{\displaystyle b^{2}\neq 3ac,}للدالة التكعيبية جذر مزدوجx2=x3=9أد-بج2(ب2-3أج)،{\displaystyle x_{2}=x_{3}={\frac {9ad-bc}{2(b^{2}-3ac)}},}وجذر بسيط،x1=4أبج-9أ2د-ب3أ(ب2-3أج).{\displaystyle x_{1}={\frac {4abc-9a^{2}db^{3}}{a(b^{2}-3ac)}}.}وبالتاليأx3+بx2+جx+د=أ(x-x1)(x-x2)2.{\displaystyle ax^{3}+bx^{2}+cx+d=a(x-x_{1})(x-x_{2})^{2}.}

الخاصيتان 2 و3

تكون النتائج المذكورة أعلاه صالحة عندما تنتمي المعاملات إلى مجال من الخصائص غير 2 أو 3، ولكن يجب تعديلها للخصائص 2 أو 3، بسبب عمليات القسمة على 2 و 3.

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

يتمثل أحد الاختلافات مع الخصائص الأخرى في أنه في الخاصية 2، تتضمن صيغة الجذر المزدوج جذرًا تربيعيًا، وفي الخاصية 3، تتضمن صيغة الجذر الثلاثي جذرًا تكعيبيًا.

صيغة كاردانو

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

نتيجة كاردانو هي أنه إذا ت3+صت+q=0{\displaystyle t^{3}+pt+q=0} هي معادلة تكعيبية بحيث يكون كل من p و q عددين حقيقيين بحيثq24+ص327{\displaystyle {\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}إذا كانت قيمة موجبة (وهذا يعني أن مميز المعادلة سالب)، فإن المعادلة لها جذر حقيقي. u13+u23،{\displaystyle {\sqrt[{3}]{u_{1}}}+{\sqrt[{3}]{u_{2}}},} أينu1{\displaystyle u_{1}}وu2{\displaystyle u_{2}}هذان هما الرقمان-q2+q24+ص327{\displaystyle -{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}و-q2-q24+ص327{\displaystyle -{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}.

انظر قسم "  اشتقاق الجذور" أدناه للاطلاع على عدة طرق للحصول على هذه النتيجة.

كما هو موضح في قسم "  طبيعة الجذور" ، فإن الجذرين الآخرين في هذه الحالة هما عددان مركبان مترافقان غير حقيقيين . وقد تبين لاحقًا (مع العلم أن كاردانو لم يكن على دراية بالأعداد المركبة ) أن هذين الجذرين الآخرين يُستنتجان بضرب أحد الجذرين التكعيبيين في الجذر التكعيبي الأولي للواحد.ε1=-1+أنا32،{\displaystyle \varepsilon _{1}={\frac {-1+i{\sqrt {3}}}{2}},}والجذر التكعيبي الآخر مقسومًا على الجذر التكعيبي الأولي الآخر للوحدةε2=ε12=-1-أنا32.{\displaystyle \varepsilon _{2}=\varepsilon _{1}^{2}={\frac {-1-i{\sqrt {3}}}{2}}.}أي أن الجذور الأخرى للمعادلة هيε1u13+ε2u23{\displaystyle \varepsilon _{1}{\sqrt[{3}]{u_{1}}}+\varepsilon _{2}{\sqrt[{3}]{u_{2}}}}وε2u13+ε1u23.{\displaystyle \varepsilon _{2}{\sqrt[{3}]{u_{1}}}+\varepsilon _{1}{\sqrt[{3}]{u_{2}}}.}[ 24 ]

لو4ص3+27q2<0،{\displaystyle 4p^{3}+27q^{2}<0,}توجد ثلاثة جذور حقيقية، لكن نظرية غالوا تسمح بإثبات أنه في حال عدم وجود جذر نسبي، لا يمكن التعبير عن الجذور بتعبير جبري يتضمن أعدادًا حقيقية فقط. لذا، لا يمكن حل المعادلة في هذه الحالة بمعرفة زمن كاردانو. ولذلك، تُسمى هذه الحالة "casus irreducibilis" ، أي الحالة غير القابلة للاختزال باللاتينية.

في حالة عدم الاختزال ، لا يزال من الممكن استخدام صيغة كاردانو، ولكن يلزم توخي الحذر عند استخدام الجذور التكعيبية. تتمثل الطريقة الأولى في تعريف الرموز.  {\displaystyle {\sqrt {{~}^{~}}}}و  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}}باعتبارها تمثل القيم الرئيسية لدالة الجذر (أي الجذر الذي له أكبر جزء حقيقي). وبهذا الاصطلاح، تظل صيغة كاردانو للجذور الثلاثة صالحة، ولكنها ليست جبرية بحتة، لأن تعريف الجزء الرئيسي ليس جبريًا بحتًا، إذ يتضمن متباينات لمقارنة الأجزاء الحقيقية. كذلك، قد يؤدي استخدام الجذر التكعيبي الرئيسي إلى نتيجة خاطئة إذا كانت المعاملات أعدادًا مركبة غير حقيقية. علاوة على ذلك، إذا كانت المعاملات تنتمي إلى حقل آخر ، فإن الجذر التكعيبي الرئيسي غير مُعرَّف بشكل عام.

الطريقة الثانية لجعل صيغة كاردانو صحيحة دائمًا هي ملاحظة أن حاصل ضرب الجذرين التكعيبيين يجب أن يكون −p /3 . وينتج عن ذلك أن أحد جذور المعادلة هو ج-ص3جمعج=-q2+q24+ص3273.{\displaystyle C-{\frac {p}{3C}}\quad {\text{with}}\quad C={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.} في هذه الصيغة، الرموز  {\displaystyle {\sqrt {{~}^{~}}}}و  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}}يرمز إلى أي جذر تربيعي وأي جذر تكعيبي. أما الجذور الأخرى للمعادلة فتُحسب إما بتغيير الجذر التكعيبي أو، بصورة مكافئة، بضرب الجذر التكعيبي في جذر تكعيبي أولي يساوي واحدًا، أي-1±-32.{\displaystyle \textstyle {\frac {-1\pm {\sqrt {-3}}}{2}}.}

تكون هذه الصيغة للجذور صحيحة دائمًا باستثناء حالة p = q = 0 ، مع اشتراط أنه إذا كانت p = 0 ، يتم اختيار الجذر التربيعي بحيث يكون C ≠ 0. ومع ذلك، فإن صيغة كاردانو عديمة الفائدة إذاص=0،{\displaystyle p=0,}لأن الجذور هي الجذور التكعيبية لـ-q.{\displaystyle -q.}وبالمثل، فإن الصيغة عديمة الفائدة أيضًا في الحالات التي لا تكون فيها هناك حاجة إلى الجذر التكعيبي، أي عندما لا يكون كثير الحدود التكعيبي غير قابل للاختزال ؛ وهذا يشمل الحالة4ص3+27q2=0.{\displaystyle 4p^{3}+27q^{2}=0.}

تكون هذه الصيغة صحيحة أيضًا عندما ينتمي p و q إلى أي مجال من الخصائص بخلاف 2 أو 3.

الصيغة التكعيبية العامة

صيغة تكعيبية لجذور المعادلة التكعيبية العامة (مع a ≠ 0 ) أx3+بx2+جx+د=0{\displaystyle ax^{3}+bx^{2}+cx+d=0} يمكن استنتاج ذلك من كل صيغة من صيغ كاردانو عن طريق اختزالها إلى معادلة تكعيبية منخفضة . الصيغة المعروضة هنا صالحة ليس فقط للمعاملات المركبة، بل أيضًا للمعاملات a و b و c و d التي تنتمي إلى أي حقل مغلق جبريًا ذي خاصية غير 2 أو 3. إذا كانت المعاملات أعدادًا حقيقية، فإن الصيغة تشمل جميع الحلول المركبة، وليس فقط الحلول الحقيقية.

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

يترك Δ0=ب2-3أج،Δ1=2ب3-9أبج+27أ2د.{\displaystyle {\begin{aligned}\Delta _{0}&=b^{2}-3ac,\\\Delta _{1}&=2b^{3}-9abc+27a^{2}d.\end{aligned}}}

(كلاهماΔ0{\displaystyle \Delta _{0}}وΔ1{\displaystyle \Delta _{1}}يمكن التعبير عنها كحاصل ضرب الدالة التكعيبية ومشتقاتها:Δ1{\displaystyle \Delta _{1}}يساوي -1/8 مضروبًا في محصلة المعادلة التكعيبية ومشتقتها الثانية، وΔ0{\displaystyle \Delta _{0}}( وهو −1 / 12 a مضروبًا في محصلة المشتقة الأولى والثانية لكثير الحدود التكعيبي.)

ثم دع ج=Δ1±Δ12-4Δ0323،{\displaystyle C={\sqrt[{3}]{\frac {\Delta _{1}\pm {\sqrt {\Delta _{1}^{2}-4\Delta _{0}^{3}}}}{2}}},} حيث الرموز  {\displaystyle {\sqrt {{~}^{~}}}}و  3{\displaystyle {\sqrt[{3}]{{~}^{~}}}} are interpreted as any square root and any cube root, respectively (every nonzero complex number has two square roots and three cubic roots). The sign "±" before the square root is either "+" or ""; the choice is almost arbitrary, and changing it amounts to choosing a different square root. However, if a choice yields C = 0 (this occurs if Δ0=0{\displaystyle \Delta _{0}=0}), then the other sign must be selected instead. If both choices yield C = 0, that is, if Δ0=Δ1=0,{\displaystyle \Delta _{0}=\Delta _{1}=0,} a fraction 0/0 occurs in following formulas; this fraction must be interpreted as equal to zero (see the end of this section). With these conventions, one of the roots is x=13a(b+C+Δ0C).{\displaystyle x=-{\frac {1}{3a}}\left(b+C+{\frac {\Delta _{0}}{C}}\right).}

The other two roots can be obtained by changing the choice of the cube root in the definition of C, or, equivalently by multiplying C by a primitive cube root of unity, that is –1 ± –3/2. In other words, the three roots are xk=13a(b+ξkC+Δ0ξkC),k{0,1,2},{\displaystyle x_{k}=-{\frac {1}{3a}}\left(b+\xi ^{k}C+{\frac {\Delta _{0}}{\xi ^{k}C}}\right),\qquad k\in \{0,1,2\}{\text{,}}} where ξ = –1 + –3/2.

As for the special case of a depressed cubic, this formula applies but is useless when the roots can be expressed without cube roots. In particular, if Δ0=Δ1=0,{\displaystyle \Delta _{0}=\Delta _{1}=0,} the formula gives that the three roots equal b3a,{\displaystyle {\frac {-b}{3a}},} which means that the cubic polynomial can be factored as a(x+b3a)3.{\displaystyle \textstyle a(x+{\frac {b}{3a}})^{3}.} A straightforward computation allows verifying that the existence of this factorization is equivalent with Δ0=Δ1=0.{\displaystyle \Delta _{0}=\Delta _{1}=0.}

Trigonometric and hyperbolic solutions

Trigonometric solution for three real roots

When a cubic equation with real coefficients has three real roots, the formulas expressing these roots in terms of radicals involve complex numbers. Galois theory allows proving that when the three roots are real, and none is rational (casus irreducibilis), one cannot express the roots in terms of real radicals. Nevertheless, purely real expressions of the solutions may be obtained using trigonometric functions, specifically in terms of cosines and arccosines.[25] More precisely, the roots of the depressed cubict3+pt+q=0{\displaystyle t^{3}+pt+q=0} are[26]tk=2p3cos[13arccos(3q2p3p)2πk3]for k=0,1,2.{\displaystyle t_{k}=2\,{\sqrt {-{\frac {p}{3}}}}\,\cos \left[\,{\frac {1}{3}}\arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\,\right)-{\frac {2\pi k}{3}}\,\right]\qquad {\text{for }}k=0,1,2.}

This formula is due to François Viète.[22] It is purely real when the equation has three real roots (that is 4p3+27q2<0{\displaystyle 4p^{3}+27q^{2}<0}). وإلا، فإنه لا يزال صحيحًا ولكنه يتضمن جيوب تمام معقدة وجيب تمام معكوس عندما يكون هناك جذر حقيقي واحد فقط، وهو غير منطقي ( القسمة على صفر ) عندما يكون p = 0 .

يمكن تحويل هذه الصيغة بسهولة إلى صيغة لجذور معادلة تكعيبية عامة، باستخدام التعويض العكسي الموصوف في §  التكعيبية المنخفضة .

يمكن إثبات الصيغة كما يلي: انطلاقًا من المعادلة + pt + q = 0 ، لنضع t = u cos θ . الفكرة هي اختيار u بحيث تتطابق المعادلة مع المتطابقة . 4كوس3θ-3كوسθ-كوس(3θ)=0.{\displaystyle 4\cos ^{3}\theta -3\cos \theta -\cos(3\theta )=0.} لذلك، اخترu=2-ص3،{\displaystyle u=2\,{\sqrt {-{\frac {p}{3}}}}\,,}واقسم المعادلة علىu34.{\displaystyle {\frac {u^{3}}{4}}.}هذا يعطي 4كوس3θ-3كوسθ-3q2ص-3ص=0.{\displaystyle 4\cos ^{3}\theta -3\cos \theta -{\frac {3q}{2p}}\,{\sqrt {\frac {-3}{p}}}=0.} وبدمج ذلك مع الهوية المذكورة أعلاه، نحصل على كوس(3θ)=3q2ص-3ص،{\displaystyle \cos(3\theta )={\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\,,} وبالتالي فإن الجذور تك=2-ص3كوس[13أركوس(3q2ص-3ص)-2πك3]ل ك=0،1،2.{\displaystyle t_{k}=2\,{\sqrt {-{\frac {p}{3}}}}\,\cos \left[{\frac {1}{3}}\arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\right)-{\frac {2\pi k}{3}}\right]\qquad {\text{for }}k=0,1,2.}

الحل الزائدي لجذر حقيقي واحد

عندما يكون هناك جذر حقيقي واحد فقط (و p ≠ 0 )، يمكن تمثيل هذا الجذر بشكل مماثل باستخدام الدوال الزائدية ، كما في [ 27 ] [ 28 ]ت0=-2|q|q-ص3ضرب بالعصا[13أركوش(-3|q|2ص-3ص)]لو  4ص3+27q2>0  و  ص<0،ت0=-2ص3سينه[13أرسينه(3q2ص3ص)]لو  ص>0.{\displaystyle {\begin{aligned}t_{0}&=-2{\frac {|q|}{q}}{\sqrt {-{\frac {p}{3}}}}\cosh \left[{\frac {1}{3}}\operatorname {arcosh} \left({\frac {-3|q|}{2p}}{\sqrt {\frac {-3}{p}}}\right)\right]\qquad {\text{if }}~4p^{3}+27q^{2}>0~{\text{ and }}~p<0,\\t_{0}&=-2{\sqrt {\frac {p}{3}}}\sinh \left[{\frac {1}{3}}\operatorname {arsinh} \left({\frac {3q}{2p}}{\sqrt {\frac {3}{p}}}\right)\right]\qquad {\text{if }}~p>0.\end{aligned}}} إذا كانت قيمة p ≠ 0 ولم يتم استيفاء المتباينات الموجودة على اليمين (حالة ثلاثة جذور حقيقية)، فإن الصيغ تظل صالحة ولكنها تتضمن كميات مركبة.

عندما تكون قيمة p تساوي ±3 ، تُسمى القيم المذكورة أعلاه لـ t₀ أحيانًا بجذر تشيبيشيف التكعيبي. [ 29 ] وبشكل أدق، تُعرّف القيم التي تتضمن جيوب التمام وجيوب التمام الزائدية، عندما تكون p = −3 ، نفس الدالة التحليلية التي يُرمز لها بـ C 1/3 ( q ) ، وهي جذر تشيبيشيف التكعيبي الصحيح. وبالمثل، يُرمز للقيمة التي تتضمن الجيوب الزائدية بـ S 1/3 ( q ) ، عندما تكون p = 3 .

الحلول الهندسية

حل عمر الخيام

الحل الهندسي لعمر الخيام لمعادلة تكعيبية، في حالة m = 2 و n = 16 ، يعطي الجذر 2. تقاطع الخط الرأسي على المحور السيني في مركز الدائرة هو مصادفة في المثال الموضح.

لحل المعادلة التكعيبية x³ + m²x = n حيث n > 0 ، أنشأ عمر الخيام القطع المكافئ y = x²/m، والدائرة التي قطرها القطعة المستقيمة [0, n/m²] على المحور x الموجب ، وخطًا رأسيًا يمر بنقطة تقاطع الدائرة والقطع المكافئ فوق المحور x . ويُعطى الحل بطول القطعة المستقيمة الأفقية من نقطة الأصل إلى نقطة تقاطع الخط الرأسي مع المحور x (انظر الشكل).

يُمكن تقديم برهان حديث بسيط كما يلي. بضرب المعادلة في x / m 2 وإعادة تجميع الحدود، نحصل على x4م2=x(نم2-x).{\displaystyle {\frac {x^{4}}{m^{2}}}=x\left({\frac {n}{m^{2}}}-x\right).} يمثل الطرف الأيسر قيمة y² على القطع المكافئ. وبما أن معادلة الدائرة هي + x ( x - n / ) = 0 ، فإن الطرف الأيمن يمثل قيمة على الدائرة .

الحل باستخدام منصف الزاوية

يمكن حل معادلة تكعيبية ذات معاملات حقيقية هندسيًا باستخدام الفرجار والمسطرة ومنصف الزاوية إذا وفقط إذا كان لها ثلاثة جذور حقيقية. [ 30 ] : نظرية 1

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

التفسير الهندسي للجذور

ثلاثة جذور حقيقية

بالنسبة للمعادلة التكعيبية ( 1 ) ذات الجذور الحقيقية الثلاثة، فإن هذه الجذور هي إسقاط رؤوس المثلث المتساوي الأضلاع A و B و C على المحور السيني . ويتطابق الإحداثي السيني لمركز المثلث مع إحداثي نقطة الانعطاف .

يُتيح التعبير المثلثي لفييت عن الجذور في حالة الجذور الثلاثة الحقيقية تفسيرًا هندسيًا باستخدام الدائرة. [ 22 ] [ 31 ] عندما تُكتب المعادلة التكعيبية في صورتها المُختزلة ( 2 ) ، + pt + q = 0 ، كما هو موضح أعلاه، يُمكن التعبير عن الحل على النحو التالي :

تك=2-ص3كوس(13أركوس(3q2ص-3ص)-ك2π3)لك=0،1،2.{\displaystyle 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)\quad {\text{for}}\quad k=0,1,2\,.}

هناأركوس(3q2ص-3ص){\displaystyle \arccos \left({\frac {3q}{2p}}{\sqrt {\frac {-3}{p}}}\right)}هي زاوية في دائرة الوحدة ؛ أخذ 1/3 من تلك الزاوية يقابل أخذ الجذر التكعيبي لعدد مركب؛ إضافة −k 2π/3 لـ k = 1 ، 2 يجد الجذور التكعيبية الأخرى ؛ وضرب جيوب تمام هذه الزوايا الناتجة في2-ص3{\displaystyle 2{\sqrt {-{\frac {p}{3}}}}}يُصحح المقياس.

في حالة عدم الاكتئاب ( 1 ) (الموضحة في الرسم البياني المرفق)، تُحسب حالة الاكتئاب، كما ذُكر سابقًا، بتعريف t بحيث يكون x = t − b / 3 a، وبالتالي t = x + b / 3 a . بيانيًا ، يُقابل هذا ببساطة إزاحة الرسم البياني أفقيًا عند التغيير بين المتغيرين t و x ، دون تغيير علاقات الزوايا . تُنقل هذه الإزاحة نقطة الانعطاف ومركز الدائرة إلى المحور y . ونتيجةً لذلك، يكون مجموع جذور المعادلة في t مساويًا للصفر.

جذر حقيقي واحد

في المستوى الديكارتي

ميل الخط RA يساوي ضعف ميل الخط RH. إذا رمزنا للجذور المركبة للمعادلة التكعيبية بـ g ± hi ، فإن g = OM (سالبة هنا) و h = tan ORH = ميل الخط RH = BE = DA .

عند تمثيل دالة تكعيبية بيانيًا في المستوى الديكارتي ، إذا كان لها جذر حقيقي واحد فقط، فإنه يمثل إحداثي السينات ( x ) لنقطة تقاطع المنحنى مع المحور الأفقي (النقطة R في الشكل). علاوة على ذلك، [ 32 ] [ 33 ] [ 34 ] إذا كُتبت الجذور المركبة المترافقة على الصورة g ± hi ، فإن الجزء الحقيقي g يمثل إحداثي السينات لنقطة التماس H للمماس للدالة التكعيبية الذي يمر بنقطة تقاطع المنحنى مع المحور الأفقي R (أي الطول OM، سالب في الشكل). أما الأجزاء التخيلية ±h فهي الجذور التربيعية لظل الزاوية بين هذا المماس والمحور الأفقي.

في المستوى المركب

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

تمثل النقاط في المستوى المركب التي تُمثل الجذور الثلاثة رؤوس مثلث متساوي الساقين . (المثلث متساوي الساقين لأن أحد الجذور يقع على المحور الأفقي (الحقيقي)، بينما يظهر الجذران الآخران، كونهما مترافقين مركبين، بشكل متناظر أعلى وأسفل المحور الحقيقي). تنص نظرية ماردن على أن النقاط التي تُمثل جذور مشتقة المعادلة التكعيبية هي بؤرتا القطع الناقص شتاينر للمثلث - وهو القطع الناقص الوحيد الذي يمس المثلث عند منتصفات أضلاعه. إذا كانت الزاوية عند رأس القطع الناقص على المحور الحقيقي أقل من π / 3 ، فإن المحور الأكبر للقطع الناقص يقع على المحور الحقيقي، وكذلك بؤرتاه، وبالتالي جذور المشتقة. أما إذا كانت هذه الزاوية أكبر من π / 3 ، فإن المحور الأكبر يكون رأسيًا، وتكون بؤرتاه، أي جذور المشتقة، مترافقين مركبين. وإذا كانت تلك الزاوية π / 3 ، فإن المثلث متساوي الأضلاع، والقطع الناقص لستاينر هو ببساطة الدائرة الداخلية للمثلث، وتتطابق بؤرتاه مع بعضهما البعض عند المركز الداخلي، الذي يقع على المحور الحقيقي، وبالتالي فإن للمشتقة جذورًا حقيقية مكررة.

مجموعة غالوا

بفرض وجود متعددة حدود تكعيبية غير قابلة للاختزال على حقل K ذي خاصية مختلفة عن 2 و3، فإن زمرة غالوا على K هي زمرة التشاكلات الذاتية للحقل التي تثبت K لأصغر امتداد لـ K ( حقل التقسيم ). وبما أن هذه التشاكلات الذاتية يجب أن تبدل جذور متعددة الحدود، فإن هذه الزمرة إما أن تكون الزمرة لجميع التبديلات الستة للجذور الثلاثة، أو الزمرة للتبديلات الدائرية الثلاثة.

المميز Δ للمعادلة التكعيبية هو مربع Δ=أ2(ر1-ر2)(ر1-ر3)(ر2-ر3)،{\displaystyle {\sqrt {\Delta }}=a^{2}(r_{1}-r_{2})(r_{1}-r_{3})(r_{2}-r_{3}),} حيث a هو المعامل الرئيسي للمعادلة التكعيبية، و r1 و r2 و r3 هي الجذور الثلاثة للمعادلة التكعيبية .Δ{\displaystyle {\sqrt {\Delta }}}يتغير الإشارة إذا تم تبديل جذرين،Δ{\displaystyle {\sqrt {\Delta }}}لا يكون العنصر محددًا بواسطة زمرة غالوا إلا إذا كانت زمرة غالوا من النوع A3 . بعبارة أخرى، تكون زمرة غالوا من النوع A3 إذا وفقط إذا كان المميز هو مربع عنصر من K.

بما أن معظم الأعداد الصحيحة ليست مربعات، فعند العمل على حقل الأعداد النسبية Q ، تكون زمرة غالوا لمعظم كثيرات الحدود التكعيبية غير القابلة للاختزال هي الزمرة ذات الستة عناصر. مثال على زمرة غالوا ذات الثلاثة عناصر هو p ( x ) = - 3x - 1 ، ومميزها هو 81 = .

اشتقاق الجذور

يجمع هذا القسم عدة طرق لاستنتاج صيغة كاردانو .

طريقة كاردانو

يعود الفضل في هذه الطريقة إلى سكيبيوني ديل فيرو وتارتاليا ، ولكنها سميت على اسم جيرولامو كاردانو الذي نشرها لأول مرة في كتابه آرس ماجنا (1545).

تُطبَّق هذه الطريقة على معادلة تكعيبية منخفضة + pt + q = 0. وتتلخص الفكرة في إدخال متغيرين u وv{\displaystyle v}بحيثu+v=ت{\displaystyle u+v=t}ولاستبدال هذا في المعادلة التكعيبية المنخفضة، مما يعطي u3+v3+(3uv+ص)(u+v)+q=0.{\displaystyle u^{3}+v^{3}+(3uv+p)(u+v)+q=0.}

عند هذه النقطة، فرضت كاردانو الشرط3uv+ص=0.{\displaystyle 3uv+p=0.}يؤدي هذا إلى إزالة الحد الثالث في المساواة السابقة، مما يؤدي إلى نظام المعادلات u3+v3=-quv=-ص3.{\displaystyle {\begin{aligned}u^{3}+v^{3}&=-q\\uv&=-{\frac {p}{3}}.\end{aligned}}}

بمعرفة مجموع وحاصل ضرب u 3 وv3،{\displaystyle v^{3},}يستنتج المرء أنهما الحلان للمعادلة التربيعية0=(x-u3)(x-v3)=x2-(u3+v3)x+u3v3=x2-(u3+v3)x+(uv)3{\displaystyle {\begin{aligned}0&=(x-u^{3})(x-v^{3})\\&=x^{2}-(u^{3}+v^{3})x+u^{3}v^{3}\\&=x^{2}-(u^{3}+v^{3})x+(uv)^{3}\end{aligned}}} لذا x2+qx-ص327=0.{\displaystyle x^{2}+qx-{\frac {p^{3}}{27}}=0.} المميز في هذه المعادلة هوΔ=q2+4ص327{\displaystyle \Delta =q^{2}+{\frac {4p^{3}}{27}}}وبافتراض أن القيمة موجبة، فإن الحلول الحقيقية لهذه المعادلة هي (بعد طي القسمة على 4 تحت الجذر التربيعي): -q2±q24+ص327.{\displaystyle -{\frac {q}{2}}\pm {\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}.} لذا ( دون فقدان للعمومية في اختيار u أوv{\displaystyle v}): u=-q2+q24+ص3273.{\displaystyle u={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.}v=-q2-q24+ص3273.{\displaystyle v={\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {{\frac {q^{2}}{4}}+{\frac {p^{3}}{27}}}}}}.} مثلu+v=ت،{\displaystyle u+v=t,}مجموع الجذور التكعيبية لهذه الحلول هو جذر للمعادلة. ت=-q2+q24+ص3273+-q2-q24+ص3273{\displaystyle t={\sqrt[{3}]{-{q \over 2}+{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}+{\sqrt[{3}]{-{q \over 2}-{\sqrt {{q^{2} \over 4}+{p^{3} \over 27}}}}}} هو جذر المعادلة؛ هذه هي صيغة كاردانو.

هذا يعمل بشكل جيد عندما4ص3+27q2>0،{\displaystyle 4p^{3}+27q^{2}>0,}لكن، إذا4ص3+27q2<0،{\displaystyle 4p^{3}+27q^{2}<0,}الجذر التربيعي الظاهر في الصيغة ليس حقيقيًا. ولأن العدد المركب له ثلاثة جذور تكعيبية، فإن استخدام صيغة كاردانو دون دقة سيعطي تسعة جذور، بينما لا يمكن أن يكون للمعادلة التكعيبية أكثر من ثلاثة جذور. وقد أوضح رافائيل بومبيلي هذا الأمر لأول مرة في كتابه "الجبر" (1572). والحل يكمن في استخدام حقيقة أنuv=-ص3،{\displaystyle uv=-{\frac {p}{3}},}إنه،v=-ص3u.{\displaystyle v={\frac {-p}{3u}}.}وهذا يعني أنه لا يلزم حساب سوى جذر تكعيبي واحد، ويؤدي إلى الصيغة الثانية الواردة في §  صيغة كاردانو .

يمكن الحصول على الجذور الأخرى للمعادلة عن طريق تغيير الجذر التكعيبي، أو بشكل مكافئ، عن طريق ضرب الجذر التكعيبي في كل من الجذرين التكعيبيين الأوليين للوحدة ، وهما-1±-32.{\displaystyle {\frac {-1\pm {\sqrt {-3}}}{2}}.}

عندما يكون جذر واحد فقط حقيقيًا، فإن u و v سيكونان المرافقين المركبين لبعضهما البعض، مما يعني أن الجذر الحقيقي الوحيد يجب أن يكونت=2Rهـ(u){\displaystyle t=2\mathrm {Re} (u)}.

استبدال فييتا

طريقة فييتا للاستبدال هي طريقة قدمها فرانسوا فييت (فييتا هو اسمه اللاتيني) في نص نُشر بعد وفاته عام 1615، وهي توفر مباشرة الصيغة الثانية من طريقة كاردانو ،  وتتجنب مشكلة حساب جذرين تكعيبيين مختلفين. [ 35 ]

انطلاقاً من المعادلة التكعيبية المنخفضة t 3 + pt + q = 0 ، يكون استبدال فييتا هو t = wp / 3 w . [ b ]

يُحوّل الاستبدال t = wp / 3 w المعادلة التكعيبية المنخفضة إلى w3+q-ص327w3=0.{\displaystyle w^{3}+q-{\frac {p^{3}}{27w^{3}}}=0.}

هذه معادلة تربيعية فيw3{\displaystyle w^{3}}إذن، هناك ستة حلول لـw{\displaystyle w}في عملية الاستبدال، لكل قيمة منت{\displaystyle t}هناك قيمتان محتملتان لـw{\displaystyle w}يتم إيجاد كل جذر من جذور المعادلة التكعيبية مرتين.

بضرب المعادلة في w 3 ، نحصل على معادلة تربيعية في w 3 : (w3)2+q(w3)-ص327=0.{\displaystyle (w^{3})^{2}+q(w^{3})-{\frac {p^{3}}{27}}=0.}

يترك دبليو=-q2±ص327+q24{\displaystyle W=-{\frac {q}{2}}\pm {\sqrt {{\frac {p^{3}}{27}}+{\frac {q^{2}}{4}}}}}ليكن أي جذر غير صفري لهذه المعادلة التربيعية. إذا كانت w₁ و w₂ و w₃ هي الجذور التكعيبية الثلاثة لـ W ، فإن جذور المعادلة التكعيبية الأصلية المخفضة هي w₁ - p / 3w₁ و w₂ - p / 3w₂ و w₃ - p / 3w₃ . أما الجذر الآخر للمعادلة التربيعية فهو-ص327دبليو.{\displaystyle \textstyle -{\frac {p^{3}}{27W}}.}هذا يعني أن تغيير إشارة الجذر التربيعي يبدل بين wᵢ و −⁠p / 3wiᵢ ، حيث i = 1 ، 2، 3 ، وبالتالي لا يغير الجذور. تفشل هذه الطريقة فقط عندما يكون كلا جذري المعادلة التربيعية صفرًا، أي عندما p = q = 0 ، وفي هذه الحالة يكون الجذر الوحيد للمعادلة التكعيبية المنخفضة هو 0 .

طريقة لاغرانج

في بحثه "تأملات حول الحل الجبري للمعادلات " [ 36 ] ، قدّم جوزيف لويس لاغرانج طريقة جديدة لحل المعادلات منخفضة الدرجة بطريقة موحدة، على أمل تعميمها لتشمل درجات أعلى. نجحت هذه الطريقة مع المعادلات التكعيبية والرباعية ، لكن لاغرانج لم ينجح في تطبيقها على المعادلات الخماسية ، لأنها تتطلب حل متعددة حدود من الدرجة السادسة على الأقل. [ 37 ] [ 38 ] [ 39 ] وبغض النظر عن عدم نجاح أي شخص سابقًا في ذلك، فقد كان هذا أول مؤشر على عدم وجود صيغة جبرية للدرجات 5 وما فوق، كما أثبتت لاحقًا نظرية أبيل-روفيني . ومع ذلك، تعتمد الطرق الحديثة لحل المعادلات الخماسية القابلة للحل بشكل أساسي على طريقة لاغرانج. [ 39 ]

في حالة المعادلات التكعيبية، تعطي طريقة لاغرانج نفس حل طريقة كاردانو. يمكن تطبيق طريقة لاغرانج مباشرةً على المعادلة التكعيبية العامة ax³ + bx² + cx + d = 0 ، ولكن الحساب أبسط مع المعادلة التكعيبية المختزلة + pt + q = 0 .

كانت فكرة لاغرانج الرئيسية هي التعامل مع تحويل فورييه المنفصل للجذور بدلاً من التعامل مع الجذور نفسها. بتعبير أدق، ليكن ξ جذرًا ثالثًا أوليًا للوحدة ، أي عددًا بحيث يكون ξ³ = 1 و ξ² + ξ + 1 = 0 (عند العمل في فضاء الأعداد المركبة ، يكون لديناξ=-1±أنا32=هـ2أناπ/3،{\displaystyle \textstyle \xi ={\frac {-1\pm i{\sqrt {3}}}{2}}=e^{2i\pi /3},}( لكن هذا التفسير المعقد غير مستخدم هنا). لنرمز إلى x₀ و x₁ و x₂ بالجذور الثلاثة للمعادلة التكعيبية المطلوب حلها، وs0=x0+x1+x2،s1=x0+ξx1+ξ2x2،s2=x0+ξ2x1+ξx2،{\displaystyle {\begin{aligned}s_{0}&=x_{0}+x_{1}+x_{2},\\s_{1}&=x_{0}+\xi x_{1}+\xi ^{2}x_{2},\\s_{2}&=x_{0}+\xi ^{2}x_{1}+\xi x_{2},\end{aligned}}} ليكن التحويل المتقطع لفورييه للجذور. إذا كانت قيم s0 و s1 و s2 معروفة ، فيمكن استعادة الجذور منها باستخدام التحويل العكسي لفورييه الذي يتكون من عكس هذا التحويل الخطي؛ أي ،x0=13(s0+s1+s2)،x1=13(s0+ξ2s1+ξs2)،x2=13(s0+ξs1+ξ2s2).{\displaystyle {\begin{aligned}x_{0}&={\tfrac {1}{3}}(s_{0}+s_{1}+s_{2}),\\x_{1}&={\tfrac {1}{3}}(s_{0}+\xi ^{2}s_{1}+\xi s_{2}),\\x_{2}&={\tfrac {1}{3}}(s_{0}+\xi s_{1}+\xi ^{2}s_{2}).\end{aligned}}}

بحسب صيغ فييتا ، يُعرف أن s₀ يساوي صفرًا في حالة المعادلة التكعيبية المُخفَّضة، و− b / a في حالة المعادلة التكعيبية العامة. لذا، يكفي حساب s₁ وs₂ فقط. وهما ليسا دالتين متناظرتين للجذور ( تبديل x₁ و x₂ يُبدِّل أيضًا s₁ و s₂ ) ، ولكن بعض الدوال المتناظرة البسيطة لـ s₁ و s₂ تكون متناظرة أيضًا في جذور المعادلة التكعيبية المراد حلها . وبالتالي ، يمكن التعبير عن هذه الدوال المتناظرة بدلالة معاملات المعادلة التكعيبية الأصلية (المعروفة)، وهذا يسمح في النهاية بالتعبير عن sᵢ كجذور لكثير حدود بمعاملات معروفة. ينجح هذا الأسلوب مع جميع الدرجات، ولكن في الدرجات الأعلى من الرابعة، تكون درجة كثير الحدود الناتج الذي تكون جذوره sᵢ أعلى من درجة كثير الحدود الأصلي، وبالتالي لا يُفيد في الحل. وهذا هو السبب في فشل طريقة لاغرانج في الدرجات الخامسة وما فوق.

في حالة المعادلة التكعيبية،P=s1s2،{\displaystyle P=s_{1}s_{2},}وS=s13+s23{\displaystyle S=s_{1}^{3}+s_{2}^{3}}هي كثيرات حدود متناظرة (انظر أدناه). ويترتب على ذلك أنs13{\displaystyle s_{1}^{3}}وs23{\displaystyle s_{2}^{3}}هما الجذران للمعادلة التربيعيةz2-Sz+P3=0.{\displaystyle z^{2}-Sz+P^{3}=0.}وبالتالي، يمكن إتمام حل المعادلة تمامًا كما هو الحال مع طريقة كاردانو، معs1{\displaystyle s_{1}}وs2{\displaystyle s_{2}}بدلاً من u وv.{\displaystyle v.}

في حالة التكعيبية المنخفضة، يكون لدى المرءx0=13(s1+s2){\displaystyle x_{0}={\tfrac {1}{3}}(s_{1}+s_{2})}وs1s2=-3ص،{\displaystyle s_{1}s_{2}=-3p,}بينما في طريقة كاردانو قمنا بتعيينx0=u+v{\displaystyle x_{0}=u+v}وuv=-13ص.{\displaystyle uv=-{\tfrac {1}{3}}p.}وبالتالي، حتى تبادل u وv،{\displaystyle v,}لديناs1=3u{\displaystyle s_{1}=3u}وs2=3v.{\displaystyle s_{2}=3v.}بمعنى آخر، في هذه الحالة، تحسب طريقة كاردانو وطريقة لاغرانج نفس الأشياء تمامًا، حتى عامل ثلاثة في المتغيرات المساعدة، والفرق الرئيسي هو أن طريقة لاغرانج تشرح سبب ظهور هذه المتغيرات المساعدة في المشكلة.

حساب S و P

وبإجراء حساب مباشر باستخدام العلاقتين ξ 3 = 1 و ξ 2 + ξ + 1 = 0 نحصل على P=s1s2=x02+x12+x22-(x0x1+x1x2+x2x0)،S=s13+s23=2(x03+x13+x23)-3(x02x1+x12x2+x22x0+x0x12+x1x22+x2x02)+12x0x1x2.{\displaystyle {\begin{aligned}P&=s_{1}s_{2}=x_{0}^{2}+x_{1}^{2}+x_{2}^{2}-(x_{0}x_{1}+x_{1}x_{2}+x_{2}x_{0}),\\S&=s_{1}^{3}+s_{2}^{3}=2(x_{0}^{3}+x_{1}^{3}+x_{2}^{3})-3(x_{0}^{2}x_{1}+x_{1}^{2}x_{2}+x_{2}^{2}x_{0}+x_{0}x_{1}^{2}+x_{1}x_{2}^{2}+x_{2}x_{0}^{2})+12x_{0}x_{1}x_{2}.\end{aligned}}} يُظهر هذا أن P و S دالتان متناظرتان للجذور. وباستخدام متطابقات نيوتن ، من السهل التعبير عنهما بدلالة الدوال المتناظرة الأولية للجذور، مما يُعطي P=هـ12-3هـ2،S=2هـ13-9هـ1هـ2+27هـ3،{\displaystyle {\begin{aligned}P&=e_{1}^{2}-3e_{2},\\S&=2e_{1}^{3}-9e_{1}e_{2}+27e_{3},\end{aligned}}} مع e 1 = 0 ، e 2 = p و e 3 = − q في حالة التكعيب المنخفض، و e 1 = − b / a ، e 2 = c / a و e 3 = − d / a ، في الحالة العامة.

التطبيقات

تظهر المعادلات التكعيبية في سياقات أخرى متنوعة.

في الرياضيات

In other sciences

See also

Notes

  1. في: أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "عمر الخيام" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروزيمكن للمرء أن يقرأ: قادت هذه المشكلة بدورها الخيام إلى حل المعادلة التكعيبية + 200x = 20x² + 2000، ووجد جذرًا موجبًا لهذه المعادلة التكعيبية من خلال النظر في تقاطع قطع زائد قائم مع دائرة. ثم تم إيجاد حل عددي تقريبي عن طريق الاستيفاء في جداول الدوال المثلثية . كان البناء الهندسي مناسبًا تمامًا لعمر الخيام، كما هو الحال في حل مسائل البناء الهندسي. في نهاية مقاله، يذكر فقط أنه بالنسبة لهذه المسألة الهندسية، إذا كانت التقريبات كافية، فيمكن الحصول على حل أبسط بالرجوع إلى جداول الدوال المثلثية . نصيًا: إذا اقتنع الباحث بالتقدير، فعليه أن ينظر في جدول أوتار المجسطي، أو جدول الجيوب والجيوب المعكوسة لمرصد محمد. يتبع ذلك وصف موجز لهذه الطريقة البديلة (سبعة أسطر).
  2. ↑ بتعبير أدق ، أدخل فييتا متغيرًا جديدًا w وفرض الشرط w ( t + w ) = p / 3 . وهذا يكافئ الاستبدال t = p / 3 w - w ، ويختلف عن الاستبدال المستخدم هنا فقط بتغيير إشارة w . يسمح هذا التغيير في الإشارة بالحصول مباشرةً على صيغ §  صيغة كاردانو .

مراجع

  1. هويروب، ينس (1992)، "نص القبو البابلي BM 85200 + VAT 6599: إعادة ترجمة وتحليل"، أمفورا: كتاب تذكاري لهانز فوسينغ بمناسبة عيد ميلاده الخامس والستين ، بيركهاوزر ، ص 315-358 ، doi : 10.1007/978-3-0348-8599-7_16 ، ISBN  978-3-0348-8599-7
  2. 1 2 كروسلي، جون؛ و. س. لون، أنتوني (1999). الفصول التسعة في الفن الرياضي: دليل وتعليق . مطبعة جامعة أكسفورد. ص 176. ISBN  978-0-19-853936-0.
  3. 1 2 فان دير فايردن، الهندسة والجبر في الحضارات القديمة، الفصل الرابع، زيورخ 1983 ISBN 0-387-12159-5
  4. كوك، روجر (8 نوفمبر 2012). تاريخ الرياضيات . جون وايلي وأولاده. ص 63. ISBN  978-1-118-46029-0.
  5. نيميت-نجات، كارين ريا (1998). الحياة اليومية في بلاد ما بين النهرين القديمة . دار غرينوود للنشر. ص 306. ISBN  978-0-313-29497-6.
  6. كوك، روجر (2008). الجبر الكلاسيكي: طبيعته، أصوله، واستخداماته . جون وايلي وأولاده. ص 64. ISBN  978-0-470-27797-3.
  7. يذكر غيلبو (1930 ، ص 8) أن "المصريين اعتبروا الحل مستحيلاً، لكن اليونانيين اقتربوا من الحل". 
  8. 1 2 جيلبو (1930 ، الصفحات من 8 إلى 9) 
  9. ^ هيث ، توماس ل. (30 أبريل 2009). ديوفانتوس السكندري: دراسة في تاريخ الجبر اليوناني . حانة مارتينو. ص 87 – 91. رقم ISBN  978-1578987542.
  10. أرخميدس (8 أكتوبر 2007). أعمال أرخميدس . ترجمة تي إل هيث. طبعة مسودة أولية. رقم ISBN 978-1603860512.
  11. ميكامي، يوشيو (1974) [1913]، "الفصل 8: وانغ شياو تونغ والمعادلات التكعيبية"، تطور الرياضيات في الصين واليابان (الطبعة الثانية )، نيويورك: دار تشيلسي للنشر، الصفحات 53-56 ، ISBN   978-0-8284-0149-4
  12. ورقة عمر الخيام، Scripta Math. 26 (1963)، الصفحات 323-337
  13. يذكر JJ O'Connor و EF Robertson (1999)، عمر الخيام ، أرشيف MacTutor لتاريخ الرياضيات ، "يبدو أن الخيام نفسه كان أول من تصور نظرية عامة للمعادلات التكعيبية".
  14. يذكر غيلبو (1930 ، ص 9) أن "عمر الحي من خرسان، حوالي عام 1079 م، بذل قصارى جهده للارتقاء بحل المعادلات الجبرية عن طريق تقاطع القطوع المخروطية إلى طريقة". 
  15. ^ بيرجرين ، جي إل (2017/01/18). حلقات في رياضيات الإسلام في العصور الوسطى . سبرينغر. رقم ISBN 978-1-4939-3780-6.
  16. ^ داتا، بيبوتيبهوشان ؛ Singh، Avadhesh Narayan (2004)، “معادلة الدرجة العليا”، تاريخ الرياضيات الهندوسية: كتاب مصدر ، المجلد. 2، دلهي، الهند: بهاراتيا كالا براكاشان، ص. 76، ردمك   81-86050-86-8
  17. ^ أوكونور، جون ج. روبرتسون، إدموند ف. ، “شرف الدين المظفر الطوسي” ، أرشيف MacTutor لتاريخ الرياضيات ، جامعة سانت أندروز
  18. ^ Berggren، JL (1990)، “الابتكار والتقليد في معادلة شرف الدين الطوسي”، مجلة الجمعية الشرقية الأمريكية ، 110 (2): 304– 309، دوى : 10.2307/604533 ، JSTOR 604533 
  19. أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "فيوناشي" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
  20. ↑ كاتز ، فيكتور (2004). تاريخ الرياضيات . بوسطن: أديسون ويسلي. ص 220. ISBN  9780321016188.
  21. لا ناف، فيديريكا؛ مازور، باري (2002)، "قراءة بومبيلي"، مجلة الرياضيات الذكية ، 24 (1): 12-21 ، doi : 10.1007/BF03025306 ، S2CID 189888034 
  22. 1 2 3 نيكالز، ر. و. د. (يوليو 2006). "فييت، ديكارت، والمعادلة التكعيبية" (ملف PDF) . المجلة الرياضية . 90 (518): 203-208 . doi : 10.1017/S0025557200179598 . S2CID 124980170 . 
  23. برات، أورسون (1866). طريقة جديدة وسهلة لحل المعادلات التكعيبية والتربيعية: تتضمن عدة صيغ جديدة، مما يبسط هذا الفرع من العلوم الرياضية بشكل كبير . لونغمانز، غرين، ريدر، وداير. ص 13. ISBN  9781974130924... إذا كان الجذران تخيليين، فإن حاصل ضربهما يكون موجباً...{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )
  24. "حل معادلة تكعيبية منخفضة" . حلول رياضية . تم الاطلاع عليه بتاريخ 23-11-2022 .
  25. زوكر، آي جيه (يوليو 2008). "المعادلة التكعيبية - نظرة جديدة على الحالة غير القابلة للاختزال". المجلة الرياضية . 92 : 264-268 . doi : 10.1017/S0025557200183135 . S2CID 125986006 . 
  26. شيلبي، صموئيل، محرر. (1975). جداول الرياضيات القياسية من سي آر سي . مطبعة سي آر سي. رقم ISBN 0-87819-622-6.
  27. هذه هي الصيغتان (80) و(83) من كتاب "الصيغة التكعيبية" لإريك وايسشتاين. من موقع MathWorld - وهو مورد ويب تابع لشركة Wolfram. https://mathworld.wolfram.com/CubicFormula.html ، وقد أُعيدت كتابتهما لتوحيد الترميز.
  28. هولمز، جي سي، "استخدام جيوب التمام الزائدية في حل كثيرات الحدود التكعيبية"، المجلة الرياضية 86. نوفمبر 2002، 473-477.
  29. أبراموفيتز، ميلتون؛ ستيجون، إيرين أ.، محرران. دليل الدوال الرياضية مع الصيغ والرسوم البيانية والجداول الرياضية ، دوفر (1965)، الفصل 22، صفحة 773
  30. غليسون، أندرو ماتي (مارس 1988). "تقسيم الزاوية إلى ثلاثة أجزاء، والمضلع السباعي، والمضلع ذو الثلاثة عشر ضلعًا" (ملف PDF) . المجلة الرياضية الأمريكية الشهرية . 95 (3): 185-194 . doi : 10.2307/2323624 . JSTOR 2323624. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 19 ديسمبر 2015. 
  31. نيكالز، آر دبليو دي (نوفمبر 1993)، "نهج جديد لحل المعادلة التكعيبية: الكشف عن حل كاردان" (ملف PDF) ، مجلة الرياضيات ، 77 (480): 354-359 ، doi : 10.2307/3619777 ، ISSN 0025-5572 ، JSTOR 3619777 ، S2CID 172730765   انظر بشكل خاص إلى الشكل 2.
  32. هنريكيز، غارسيا (يونيو-يوليو 1935)، "التفسير البياني للجذور المركبة للمعادلات التكعيبية"، المجلة الرياضية الأمريكية الشهرية ، 42 (6): 383-384 ، doi : 10.2307/2301359 ، JSTOR 2301359 
  33. بار، سي إف (1918)، "مناقشات: تتعلق برسم بياني لمعادلة تكعيبية ذات جذور مركبة"، المجلة الرياضية الأمريكية الشهرية ، 25 (6): 268-269 ، doi : 10.2307/2972885 ، JSTOR 2972885 
  34. إيروين، فرانك؛ رايت، إتش إن (1917)، "بعض خصائص المنحنيات متعددة الحدود"، حوليات الرياضيات ، 19 (2): 152-158 ، doi : 10.2307/1967772 ، JSTOR 1967772 
  35. ^ فان دير وايردن، بارتل لينرت (1985)، “من فييت إلى ديكارت”، تاريخ الجبر: من الخوارزمي إلى إيمي نويثر ، Springer-Verlag ، ISBN 3-540-13610-X
  36. ^ لاغرانج، جوزيف لويس (1869) [1771]، “Réflexions sur la résolution algébrique des équations”، in Serret، Joseph-Alfred (ed.)، Œuvres de Lagrange ، المجلد. الثالث، غوتييه فيلار، ص 205 – 421  
  37. براسولوف، فيكتور؛ سولوفييف، يوري (1997)، الدوال الإهليلجية والتكاملات الإهليلجية ، مكتبة AMS، رقم ISBN 978-0-8218-0587-9، §6.2، ص 134
  38. كلاين، موريس (1990)، الفكر الرياضي من العصور القديمة إلى الحديثة ، مطبعة جامعة أكسفورد، الولايات المتحدة الأمريكية، رقم ISBN 978-0-19-506136-9الجبر في القرن الثامن عشر: نظرية المعادلات
  39. 1 2 دانييل لازارد ، “حل الخماسيات في الجذور”، في أولاف أرنفين لودال ، راجني بيني ، تراث نيلز هنريك أبيل ، ص 207-225، برلين، 2004. ISBN 3-540-43826-2
  • غيلبو، لوسي (1930)، "تاريخ حل المعادلة التكعيبية"، رسالة أخبار الرياضيات ، 5 (4): 8-12 ، doi : 10.2307/3027812 ، JSTOR 3027812 

للمزيد من القراءة