معادلة ديفونتية

في الرياضيات، المعادلة الديوفنتية (بالإنجليزية: Diophantine equation)‏ هي معادلة حدودية في متغيرات عدَّة تكون حلولها أعدادا صحيحة أو يبرهن على استحالة ذلك.[1][2][3] المعادلة الديوفنتية الخطية هي معادلة في مجموع من وحيدات حد من الدرجة الأولى أو الصفرية. يرجع أصل الكلمة ديوفنتية إلى العالم اليوناني ديوفنتس والذي عاش في القرن الثالث قبل الميلاد في الإسكندرية، حيث قام بدراسة هذه المعادلات وكان من العلماء الأوائل الذين أضافوا الرموز الرياضية للجبر[بحاجة لمصدر]. رغم أن المعادلات الديوفنتية المفردة درست على مر التاريخ، فلم تصغ نظريات شاملة حولها حتى القرن العشرين.

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

أمثلة للمعادلات الديوفانتيةعدل

في المعادلات الديوفانتية التالية x و y و z مجاهيل والحروف الأخرى تمثل ثوابت:

  هذه معادلة ديوفانتية خطية (انظر فقرة "المعادلات الديوفانتية الخطية" أسفله).
  إذا كان n = 2 فإن لهذه المعادلة عدداً غير منته من الحلول حيث (x،y،z) هي مثلوثات فيثاغورية. عندما يصير n أكبر قطعا من 2، تنص مبرهنة فيرما الأخيرة على أنه لا توجد أية مثلوثات من أعداد موجبة طبيعية (x،y،z) تحققها.
  (معادلة بيل) سميت هكذا نسبة إلى عالم الرياضيات الإنجليزي جون بيل. درست من طرف براهماغوبتا في القرن السابع كما درست من طرف فيرما في القرن السابع عشر.
  حدسية إيردوس–ستروس تنص على أنه لكل عدد طبيعي n، أكبر من أو يساوي 2، يوجد حل لهذه المعادلة حيث x و y و z أعداد موجبة طبيعية. رغم أن هذه المعادلة عادة ما لا تطرح على شكل متعددة للحدود، فإنها تكافئ المعادلة الحدودية (4xyz = yzn + xzn + xyn = n(yz + xz + xy.

المعادلات الديوفانتية الخطيةعدل

معادلة واحدةعدل

تكتب أبسط معادلة ديوفانتية خطية على الصيغة ax + by = c ، حيث a و b و c أعداد صحيحة معطاة. تعطى جميع حلول المعادلة في المبرهنة التالية: يوجد للمعادلة الديوفانتية حلول (حيث x و y أعداد صحيحة) إذا وفقط إذا كان c مضاعفاً للقاسم المشترك الأكبر لـa و b. بالإضافة إلى أنه إذا كان (x,y) حل، فإن الحلول الأخرى تكتب على الصيغة (x + kv, y - ku) ، حيث k عدد صحيح، و u و v بواقي قسمة a و b على القاسم المشترك الأكبر لـa و b.

مبرهنة الباقي الصينيعدل

تصف مبرهنة الباقي الصيني صنفاً مهماً من المعادلات الديوفانتية الخطية: لتكن n1, ..., nk k أعداداً صحيحة أولية نسبياً أكبر من 1، a1, ..., ak k عدد صحيح، و N حاصل ضرب n1 ··· nk. تنص مبرهنة الباقي الصيني على أن نظام المعادلات الديوفانتية الخطي التالي له حل واحد بالضبط (x, x1, ..., xk) بحيث 0 ≤ N ≥ x ، و أن الحلول الأخرى توجد بإضافة x مضاعف لـN:

 

التحليل الديوفانتيعدل

القرنان السابع عشر والثامن عشرعدل

في عام 1637، أشار بيير دي فيرما في هامش صفحة من كتاب أريثميتيكا إلى أنه لا يمكن فصل مكعب إلى مكعبين ولا قوة رابعة إلى قوتين رابعتين ولا قوة خامسة إلى قوتين خامستين، وهكذا. بتعبير عصري، فالمعادلة xn + yn = zn لا تقبل حلولا صحيحة إذا ما جاوز n الاثنين. أضاف بعد ذلك: لقد اكتشفت برهانا عجيبا لهذه الحقيقة، ولكن الهامش أضيق من أن يحتويه.

مسألة هيلبرت العاشرةعدل

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

الأبحاث المعاصرةعدل

مراجععدل

  1. ^ "معلومات عن معادلة ديوفنتية على موقع catalogue.bnf.fr". مؤرشف من الأصل في 3 يونيو 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. ^ "معلومات عن معادلة ديوفنتية على موقع thes.bncf.firenze.sbn.it". مؤرشف من الأصل في 13 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)
  3. ^ "معلومات عن معادلة ديوفنتية على موقع id.loc.gov". مؤرشف من الأصل في 13 ديسمبر 2019. الوسيط |CitationClass= تم تجاهله (مساعدة)


وصلات خارجيةعدل