الدالة الخماسية

في الرياضيات ، الدالة من الدرجة الخامسة هي دالة على الصورة التالية:
حيث a و b و c و d و e و f عناصر من حقل ، عادةً ما يكون حقل الأعداد النسبية أو الأعداد الحقيقية أو الأعداد المركبة ، و a قيمة غير صفرية. بعبارة أخرى، تُعرَّف الدالة الخماسية بواسطة متعددة حدود من الدرجة الخامسة.
نظرًا لأن درجتها فردية، فإن الدوال الخماسية العادية تبدو مشابهة للدوال التكعيبية العادية عند تمثيلها بيانيًا، باستثناء أنها قد تحتوي على قيمة عظمى محلية إضافية وقيمة صغرى محلية إضافية. مشتقة الدالة الخماسية هي دالة رباعية .
بوضع g ( x ) = 0 وافتراض أن a ≠ 0 ينتج معادلة من الدرجة الخامسة على الشكل التالي:
كان حل المعادلات من الدرجة الخامسة بدلالة الجذور ( الجذور النونية ) مشكلة رئيسية في الجبر منذ القرن السادس عشر، عندما تم حل المعادلات من الدرجة الثالثة والرابعة ، وحتى النصف الأول من القرن التاسع عشر، عندما تم إثبات استحالة وجود مثل هذا الحل العام باستخدام نظرية أبيل-روفيني .
إيجاد جذور متعددة الحدود من الدرجة الخامسة
يُعد إيجاد جذور (أصفار) متعددة الحدود المعطاة مشكلة رياضية بارزة.
يمكن دائمًا حل المعادلات الخطية والتربيعية والتكعيبية والرباعية بدلالة الجذور والعمليات الحسابية الأساسية على المعاملات، بغض النظر عما إذا كانت الجذور نسبية أو غير نسبية ، حقيقية أو مركبة؛ إذ توجد صيغ رياضية تُعطي الحلول المطلوبة. مع ذلك، لا يوجد تعبير جبري (أي بدلالة الجذور) لحلول المعادلات الخماسية العامة التي تعتمد على الأعداد النسبية؛ تُعرف هذه الحقيقة بنظرية أبيل-روفيني ، التي طُرحت لأول مرة عام 1799 وأُثبتت بالكامل عام 1824. تنطبق هذه النتيجة أيضًا على المعادلات من الدرجات الأعلى. مثال على معادلة خماسية لا يمكن التعبير عن جذورها بدلالة الجذور هو x⁵ - x + 1 = 0 .
يمكن حساب التقريبات العددية لجذور المعادلات من الدرجة الخامسة باستخدام خوارزميات إيجاد جذور كثيرات الحدود . على الرغم من إمكانية حل بعض المعادلات من الدرجة الخامسة بدلالة الجذور، إلا أن الحل يكون معقدًا للغاية بحيث لا يمكن استخدامه عمليًا.
المعادلات الخماسية القابلة للحل
يمكن حل بعض المعادلات من الدرجة الخامسة باستخدام الجذور. وتشمل هذه المعادلات المعادلات من الدرجة الخامسة المعرفة بواسطة متعددة حدود قابلة للاختزال ، مثل x⁵ - x⁴ - x + 1 = ( x² + 1)( x + 1)( x - 1) ² . على سبيل المثال، لقد تم إثبات [ 1 ] أن
يكون لها حلول في الجذور إذا وفقط إذا كان لها حل صحيح أو كان r أحد القيم ±15 أو ±22440 أو ±2759640، وفي هذه الحالات تكون متعددة الحدود قابلة للاختزال.
بما أن حل المعادلات الخماسية القابلة للاختزال يختزل مباشرةً إلى حل كثيرات حدود من درجة أقل، فإن ما تبقى من هذا القسم سيقتصر على دراسة المعادلات الخماسية غير القابلة للاختزال، وسيشير مصطلح "خماسي" فقط إلى المعادلات الخماسية غير القابلة للاختزال. وبالتالي، فإن المعادلة الخماسية القابلة للحل هي كثيرة حدود خماسية غير قابلة للاختزال يمكن التعبير عن جذورها بدلالة الجذور.
لتوصيف المعادلات الخماسية القابلة للحل، وبشكل أعم، كثيرات الحدود القابلة للحل من الدرجات الأعلى، طور إيفاريست غالوا تقنيات أدت إلى ظهور نظرية الزمر ونظرية غالوا . وبتطبيق هذه التقنيات، وجد آرثر كايلي معيارًا عامًا لتحديد ما إذا كانت أي معادلة خماسية معطاة قابلة للحل. [ 2 ] هذا المعيار هو التالي. [ 3 ]
بالنظر إلى المعادلة
يُعطي تحويل تشيرنهاوس x = y − b / 5 a ، الذي يُخفّض الحدّ الخامس (أي يُزيل الحدّ من الدرجة الرابعة)، المعادلة
أين
يمكن حل كلتا المعادلتين من الدرجة الخامسة باستخدام الجذور إذا وفقط إذا كانتا قابلتين للتحليل إلى معادلات من درجات أقل بمعاملات نسبية أو إلى متعددة الحدود P 2 − 1024 z Δ ، والتي تسمىللمُحلِّل الخاص بكايلي جذر نسبي فيz، حيث
و
تُمكّننا نتيجة كايلي من اختبار ما إذا كانت المعادلة من الدرجة الخامسة قابلة للحل. إذا كانت كذلك، فإن إيجاد جذورها يُعدّ مسألة أكثر صعوبة، وتتمثل في التعبير عن الجذور بدلالة الجذور التي تتضمن معاملات المعادلة من الدرجة الخامسة والجذر النسبي لمُحلِّل كايلي.
في عام 1888، وصف جورج باكستون يونغ كيفية حل معادلة من الدرجة الخامسة قابلة للحل، دون تقديم صيغة صريحة؛ [ 4 ] وفي عام 2004، كتب دانيال لازارد صيغة من ثلاث صفحات. [ 5 ]
كوينتيكس على طريقة برينغ-جيرارد
هناك العديد من التمثيلات البارامترية للمعادلات الخماسية القابلة للحل من الشكل x 5 + ax + b = 0 ، والتي تسمى شكل برينغ-جيرارد .
خلال النصف الثاني من القرن التاسع عشر، قدم جون ستيوارت غلاشين وجورج باكستون يونغ وكارل رونج هذا التوصيف البارامتري: معادلة من الدرجة الخامسة غير قابلة للاختزال ذات معاملات نسبية في صيغة برينغ-جيرارد قابلة للحل إذا وفقط إذا كان a = 0 أو يمكن كتابتها
حيث μ و ν أعداد نسبية.
في عام 1994، قدم بلير سبيرمان وكينيث إس. ويليامز بديلاً،
يمكن ملاحظة العلاقة بين معلمات عامي 1885 و1994 من خلال تعريف التعبير
أين . استخدام الحالة السالبة للجذر التربيعي ينتج، بعد تغيير مقياس المتغيرات، المعلمة الأولى بينما الحالة الموجبة تعطي الثانية.
الاستبدال في نموذج سبيرمان -ويليامز، يسمح هذا النموذج بعدم استبعاد الحالة الخاصة a = 0 ، مما يعطي النتيجة التالية:
إذا كان a و b عددين نسبيين، فإن المعادلة x⁵ + ax + b = 0 قابلة للحل باستخدام الجذور إذا كان طرفها الأيسر ناتج ضرب كثيرات حدود من الدرجة أقل من 5 بمعاملات نسبية، أو إذا وُجد عددان نسبيان ℓ و m بحيث
جذور معادلة خماسية قابلة للحل
تكون معادلة متعددة الحدود قابلة للحل باستخدام الجذور إذا كانت زمرة غالوا الخاصة بها زمرة قابلة للحل . في حالة المعادلات الخماسية غير القابلة للاختزال، تكون زمرة غالوا زمرة جزئية من الزمرة المتناظرة S⁵ لجميع تباديل مجموعة مكونة من خمسة عناصر، وهي قابلة للحل إذا وفقط إذا كانت زمرة جزئية من الزمرة F⁵ ، من الرتبة 20 ، المولدة بواسطة التباديل الدورية (1 2 3 4 5) و (1 2 4 3) .
إذا كانت المعادلة من الدرجة الخامسة قابلة للحل، فيمكن تمثيل أحد الحلول بتعبير جبري يتضمن جذرًا خامسًا وجذرين تربيعيين على الأكثر، وعادةً ما يكونان متداخلين . ويمكن الحصول على الحلول الأخرى إما بتغيير الجذر الخامس أو بضرب جميع مرات ظهور الجذر الخامس بنفس قوة جذر خامس أولي للوحدة ، مثل
في الواقع، يمكن الحصول على جميع الجذور الخماسية الأولية الأربعة للوحدة عن طريق تغيير إشارات الجذور التربيعية بشكل مناسب؛ أي التعبير
أين، ينتج عنه الجذور الخمسة الأولية الأربعة المتميزة للوحدة.
يستنتج من ذلك أنه قد يلزم أربعة جذور تربيعية مختلفة لكتابة جميع جذور معادلة من الدرجة الخامسة قابلة للحل. حتى بالنسبة للجذر الأول الذي يتضمن على الأكثر جذرين تربيعيين، فإن التعبير عن الحلول بدلالة الجذور يكون عادةً معقدًا للغاية. ومع ذلك، عندما لا يكون هناك حاجة إلى جذر تربيعي، قد يكون شكل الحل الأول بسيطًا نسبيًا، كما هو الحال في المعادلة x⁵ - 5x⁴ + 30x³ - 50x² + 55x - 21 = 0 ، والتي يكون حلها الحقيقي الوحيد هو
مثال على حل أكثر تعقيدًا (وإن كان بسيطًا بما يكفي لذكره هنا) هو الجذر الحقيقي الوحيد للمعادلة x⁵ - 5x + 12 = 0. لنفترض أن a = √2φ⁻¹ ، و b = √2φ ، و c = 4√5 ، حيث φ = 1 + √5 / 2 هي النسبة الذهبية . إذن ، الحل الحقيقي الوحيد x = -1.84208... يُعطى بالعلاقة التالية :
أو، على نحو مماثل، عن طريق
حيث تمثل yᵢ الجذور الأربعة للمعادلة الرباعية
بشكلٍ أعم، إذا كانت المعادلة P ( x ) = 0 من الدرجة الأولية p ذات المعاملات النسبية قابلةً للحل باستخدام الجذور، فإنه يُمكن تعريف معادلة مساعدة Q ( y ) = 0 من الدرجة p - 1 ، ذات معاملات نسبية أيضًا، بحيث يكون كل جذر من جذور P هو مجموع الجذور من الرتبة p لجذور Q. وقد قدّم جوزيف لويس لاغرانج هذه الجذور من الرتبة p ، وتُسمى نواتج ضربها في p عادةً بمُحَلِّلات لاغرانج . يُمكن استخدام حساب Q وجذورها لحل P ( x ) = 0. مع ذلك، قد لا يُمكن حساب هذه الجذور من الرتبة p بشكلٍ مستقل (إذ سيُنتج ذلك p p - 1 جذرًا بدلًا من p ). لذا، يتطلب الحل الصحيح التعبير عن جميع هذه الجذور من الرتبة p بدلالة أحدها. تُبيّن نظرية غالوا أن هذا ممكنٌ نظريًا دائمًا، حتى لو كانت الصيغة الناتجة كبيرةً جدًا بحيث لا تُفيد.
من الممكن أن تكون بعض جذور المعادلة Q أعدادًا نسبية (كما في المثال الأول من هذا القسم) أو أن يكون بعضها الآخر صفرًا. في هذه الحالات، تكون صيغة حساب الجذور أبسط بكثير، كما هو الحال بالنسبة للمعادلة الخماسية القابلة للحل من نوع دي موافر .
حيث تحتوي المعادلة المساعدة على جذرين صفريين، وتختزل، بتحليلهما إلى عامل مشترك، إلى المعادلة التربيعية.
بحيث تُعطى الجذور الخمسة للمعادلة الخماسية لـ de Moivre بواسطة
حيث يمثل yᵢ أي جذر للمعادلة التربيعية المساعدة، و ω أي من الجذور الخمسة الأولية الأربعة للوحدة . ويمكن تعميم ذلك بسهولة لإنشاء معادلة تربيعية قابلة للحل ، ومعادلة أخرى من الدرجات الفردية، وليست بالضرورة أولية.
مسائل خماسية أخرى قابلة للحل
هناك عدد لا نهائي من المعادلات الخماسية القابلة للحل في شكل برينغ-جيرارد والتي تم تحديد معالمها في قسم سابق.
باستثناء تغيير حجم المتغير، يوجد بالضبط خمس معادلات خماسية قابلة للحل من الشكل، وهي [ 6 ] (حيث s هو عامل قياس):
قدم باكسون يونغ (1888) عدداً من الأمثلة على المعادلات الخماسية القابلة للحل:
جذر:
يمكن إنشاء سلسلة لانهائية من المعادلات الخماسية القابلة للحل، والتي تكون جذورها عبارة عن مجموع الجذور النونية للوحدة ، حيث n = 10 k + 1 هو عدد أولي :
الجذور: جذر: جذر: جذر: جذر:
يوجد أيضاً نوعان من المعادلات الخماسية القابلة للحل ذات المعاملات: معادلة كوندو-برومر الخماسية،
وتعتمد الأسرة على المعايير
أين
السبب غير القابل للاختزال
على غرار المعادلات التكعيبية ، توجد معادلات خماسية قابلة للحل لها خمسة جذور حقيقية، وجميع حلولها الجذرية تتضمن جذورًا لأعداد مركبة. هذا هو السبب غير القابل للاختزال للمعادلة الخماسية، والذي نوقش في كتاب دوميت. [ 7 ] : ص 17. في الواقع، إذا كانت جميع جذور المعادلة الخماسية غير القابلة للاختزال حقيقية، فلا يمكن التعبير عن أي جذر بدلالة الجذور الحقيقية فقط (كما هو الحال بالنسبة لجميع درجات كثيرات الحدود التي ليست قوى للعدد 2).
ما وراء الراديكاليين
في حوالي عام 1835، برهن جيرارد على إمكانية حل المعادلات الخماسية باستخدام الجذور الفائقة (المعروفة أيضًا بجذور برينغ )، وهي الجذر الحقيقي الوحيد للمعادلة t⁵ + t - a = 0 للأعداد الحقيقية a . وفي عام 1858، أظهر شارل هيرميت إمكانية وصف جذر برينغ بدلالة دوال جاكوبي ثيتا ودوالها الإهليلجية النمطية المرتبطة بها ، وذلك باستخدام منهج مشابه للمنهج الأكثر شيوعًا لحل المعادلات التكعيبية باستخدام الدوال المثلثية . وفي نفس الفترة تقريبًا، طور ليوبولد كرونكر ، باستخدام نظرية الزمر ، طريقة أبسط لاستنتاج نتيجة هيرميت، كما فعل فرانشيسكو بريوشي . لاحقًا، ابتكر فيليكس كلاين طريقة تربط بين تناظرات المجسم العشري الوجوه ، ونظرية غالوا ، والدوال النمطية الإهليلجية التي تظهر في حل هيرميت، مُقدمًا تفسيرًا لسبب ظهورها أصلًا، وطوّر حله الخاص بدلالة الدوال الهندسية الفائقة المعممة . [ 8 ] وتحدث ظواهر مماثلة في الدرجة 7 ( المعادلات السداسية ) و 11 ، كما درسها كلاين وناقشها في تناظر المجسم العشري الوجوه § الهندسات ذات الصلة .
حل باستخدام جذور برينغ
يُختزل تحويل تشيرنهاوس ، الذي يمكن حسابه عن طريق حل معادلة من الدرجة الرابعة ، المعادلة العامة من الدرجة الخامسة على النحو التالي:
إلى الشكل الطبيعي برينغ-جيرارد x 5 − x + t = 0 .
لا يمكن التعبير عن جذور هذه المعادلة باستخدام الجذور. مع ذلك، في عام 1858، نشر تشارلز هيرميت أول حل معروف لهذه المعادلة بدلالة الدوال الإهليلجية . [ 9 ] وفي نفس الفترة تقريبًا، توصل فرانشيسكو بريوشي [ 10 ] وليوبولد كرونكر [ 11 ] إلى حلول مكافئة.
انظر إلى "Bring radical" للحصول على تفاصيل حول هذه الحلول وبعض الحلول ذات الصلة.
تطبيق على الميكانيكا السماوية
إن إيجاد مواقع نقاط لاغرانج لمدار فلكي تكون فيه كتل كلا الجسمين غير مهملة يتطلب حل معادلة من الدرجة الخامسة.
وبشكل أدق، فإن مواقع L 2 و L 1 هي حلول للمعادلات التالية، حيث توفر قوى الجاذبية لكتلتين على كتلة ثالثة (على سبيل المثال، الشمس والأرض على أقمار صناعية مثل جايا وتلسكوب جيمس ويب الفضائي عند L 2 وسوهو عند L 1 ) قوة الجذب المركزي للقمر الصناعي اللازمة ليكون في مدار متزامن مع الأرض حول الشمس :
تشير علامة ± إلى L 2 و L 1 على التوالي؛ G هو ثابت الجاذبية ، ω هي السرعة الزاوية ، r هي المسافة بين القمر الصناعي والأرض، R هي المسافة بين الشمس والأرض (أي المحور شبه الرئيسي لمدار الأرض)، و m و M E و M S هي الكتل على التوالي للقمر الصناعي والأرض والشمس .
باستخدام قانون كبلر الثالثوإعادة ترتيب جميع الحدود ينتج عنه الدرجة الخامسة
مع:
بحل هاتين المعادلتين من الدرجة الخامسة، نحصل على r = 1.501 × 10⁹ م لـ L₂ و r = 1.491 × 10⁹ م لـ L₁ . عادةً ما تُعطى نقاط لاغرانج بين الشمس والأرض L₂ و L₁ على بُعد 1.5 مليون كيلومتر من الأرض .
إذا كانت كتلة الجسم الأصغر ( ME ) أصغر بكثير من كتلة الجسم الأكبر ( MS )، فإنه يمكن اختزال المعادلة من الدرجة الخامسة بشكل كبير، ويكون L1 و L2 عند نصف قطر كرة هيل تقريبًا ، كما هو موضح في:
وهذا يعطي أيضًا r = 1.5 × 10 9 م للأقمار الصناعية عند L 1 و L 2 في نظام الشمس والأرض.
انظر أيضاً
ملحوظات
- ↑ إيليا، م.؛ فيليبوني، ب. (1998). "معادلات شكل برينغ-جيرارد، والنسبة الذهبية، وأعداد فيبوناتشي المربعة" (ملف PDF) . مجلة فيبوناتشي الفصلية . 36 (3): 282-286 .
- ↑ أ. كايلي، "حول معادلة مساعدة جديدة في نظرية المعادلات من الرتبة الخامسة"، المعاملات الفلسفية للجمعية الملكية في لندن 151 : 263-276 (1861) doi : 10.1098/rstl.1861.0014
- ↑ تم استخلاص هذه الصيغة لنتيجة كايلي من ورقة لازارد (2004).
- ↑ جورج باكستون يونغ، "معادلات من الدرجة الخامسة قابلة للحل بمعاملات قابلة للقياس"، المجلة الأمريكية للرياضيات 10 : 99-130 (1888)، JSTOR 2369502
- ↑ لازارد (2004 ، ص 207)
- ↑ إلكيز، نوام. "ثلاثيات الحدود ax n + bx + c مع مجموعات غالوا مثيرة للاهتمام" . جامعة هارفارد .
- ↑ ديفيد س. دوميت، حل المعادلات الخماسية القابلة للحل، مؤرشف بتاريخ 7 مارس 2012 في أرشيف الإنترنت
- ↑ ( Klein 1888 ) ؛ تم تقديم شرح حديث في ( Tóth 2002 ، القسم 1.6، موضوع إضافي: نظرية كلاين عن المجسم العشري الوجوه، ص 66 )
- ^ هيرميت ، تشارلز (1858). "حول دقة المعادلة الخمس درجات". Comptes Rendus de l'Académie des Sciences . السادس والأربعون (الأول): 508-515 .
- ^ بريوشي ، فرانشيسكو (1858). "طريقة كرونيكر لحل المعادلات الخمس". اتي دلي. R. Istituto Lombardo di Scienze، Lettere ed Arti . ط : 275 - 282.
- ^ كرونيكر ، ليوبولد (1858). "حول حل معادلة الدرجة الخامسة، ملحق برسالة موجهة إلى M. Hermite". Comptes Rendus de l'Académie des Sciences . السادس والأربعون (الأول): 1150- 1152.
مراجع
- تشارلز هيرميت، "حول حل معادلة الخمس درجات"، أعمال تشارلز هيرميت ، 2 :5–21، غوتييه فيلار، 1908.
- كلاين، فيليكس (1888). محاضرات حول المجسم العشري الوجوه وحل معادلات الدرجة الخامسة . ترجمة جورج جافين موريس. تروبنر وشركاه. ISBN 0-486-49528-0.
{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة ) - ليوبولد كرونيكر، "Sur la résolution de l'equation du cinquième degré، extrait d'une letter adressée à M. Hermite"، Comptes Rendus de l'Académie des Sciences ، 46 :1:1150–1152 1858.
- بلير سبيرمان وكينيث إس. ويليامز، "توصيف الخماسيات القابلة للحل x 5 + ax + b ، المجلة الرياضية الأمريكية الشهرية ، 101 : 986-992 (1994).
- إيان ستيوارت، نظرية غالوا، الطبعة الثانية، تشابمان وهول، 1989. ISBN 0-412-34550-1يناقش نظرية غالوا بشكل عام بما في ذلك إثبات عدم قابلية حل المعادلة الخماسية العامة.
- يورغ بيورزدورف ، نظرية غالوا للمبتدئين: منظور تاريخي ، الجمعية الأمريكية للرياضيات، 2006. ISBN 0-8218-3817-2يقدم الفصل 8 ( حل المعادلات من الدرجة الخامسة في Wayback Machine (تمت أرشفته في 31 مارس 2010) ) وصفًا لحل المعادلات الخماسية القابلة للحل x 5 + cx + d .
- فيكتور إس. أدامتشيك وديفيد جيه. جيفري، "التحويلات متعددة الحدود لتشيرنهاوس، وبرينغ وجيرارد"، نشرة ACM SIGSAM ، المجلد 37، العدد 3، سبتمبر 2003، الصفحات 90-94.
- إهرنفريد والتر فون تشيرنهاوس، "طريقة لإزالة جميع الحدود الوسيطة من معادلة معينة،" نشرة ACM SIGSAM ، المجلد. 37، العدد 1، مارس 2003، الصفحات من 1 إلى 3.
- لازارد ، دانيال (2004). “حل الخماسيات في الجذور”. في أولاف أرنفين لاودال ؛ راجني بيني (محرران). تراث نيلز هنريك أبيل . برلين. ص 207 – 225. ISBN 3-540-43826-2تمت أرشفة هذا النص من المصدر الأصلي في 6 يناير 2005.
{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط ) - توث، غابور (2002)، مجموعات موبيوس المحدودة، والغمر الأدنى للكرات، والمعاملات
روابط خارجية
- Mathworld - المعادلة الخماسية - مزيد من التفاصيل حول طرق حل المعادلات الخماسية.
- حل المعادلات الخماسية القابلة للحل مؤرشف في 2012-03-07 في Wayback Machine - طريقة لحل المعادلات الخماسية القابلة للحل من ابتكار ديفيد إس. دوميت.
- طريقة لإزالة جميع الحدود الوسيطة من معادلة معينة - ترجمة إنجليزية حديثة لورقة تشيرنهاوس البحثية لعام 1683.
- بروس بارتليت: المنحنى الخماسي، والمجسم العشري الوجوه، والمنحنيات الإهليلجية ، إشعارات الجمعية الأمريكية للرياضيات (أبريل 2024)
- المعادلات
- نظرية غالوا
- الدوال متعددة الحدود
