مبرهنة فيرما الأخيرة
تنص مبرهنة فيرما الأخيرة على أنه لا توجد أعداد صحيحة طبيعية x و y و z حيث:
مع n أكبر قطعا من 2.
حدست هاته الحدسية لأول مرة من طرف بيير دي فيرما عام 1637، كما اشتهر، على هامش نسخة من كتاب للحسابيات، حيث زعم أن له برهانا أكبر من أن يسعه ذلك الهامش.
لم ينشر لهاته الحدسية برهان صحيح حتى عام 1995، رغم جهود عدد غير منته من علماء الرياضيات خلال 358 سنة مرت على حدسها. هذه المعضلة المستعصية على الحلحلة حثت على تطور نظرية الأعداد الجبرية خلال القرن التاسع عشر كما أدت إلى البرهان على مبرهنة النمطية خلال القرن العشرين.
تعد واحدة من أكثر المبرهنات شهرة في تاريخ الرياضيات، وكانت قبل برهان وايلز عليها عام 1995، مسجلة في موسوعة غينيس للأرقام القياسية تحت عنوان : أصعب معضلة في الرياضيات.
حدسية فيرما (التاريخ) [عدل]
لم يترك فيرما أي برهان لهاته الحدسية بالنسبة لأي عدد n، ولكنه برهن على الحالة الخاصة n = 4. هاته الخطوة اختصرت المعضلة في البرهان على المبرهنة بالنسبة لقيم أولية للأس n. خلال القرنين التاليين (1637-1839)، الحدسية بُرهن عليها بالنسبة للأعداد الأولية 3 و5 و 7 فقط، رغم أن صوفي جرمين برهنت على حالة خاصة بالنسبة لجميع الأعداد الأولية الأصغر من المائة. في منتصف القرن التاسع عشر، برهن إرنشت كومر على المبرهنة بالنسبة للأعداد الأولية النظامية. اعتمادا على عمل كومر وباستعمال دراسات حاسوبية معقدة، استطاع علماء رياضيات آخرون البرهان على الحدسية بالنسبة لجميع القيم الأولية للأس إلى حدود أربعة ملايين.
جاء البرهان على الحدسية بالنسبة لجميع قيم n في نهاية القرن العشرين. اقترح جيرار فراي المقاربة التي تتمثل في البرهان على الحدسية من خلال البرهان على مبرهنة النمطية بالنسبة للمنحنيات الإهليلجية.
انظر ريتشارد تايلور.
السياق العام في الرياضيات [عدل]
الثلاثيات الفيثاغورسية [عدل]
مقال تفصيلي :ثلاثية فيثاغورسالمعادلات الديوفانتية [عدل]
مقال تفصيلي :معادلة ديوفانتيةحدسية فيرما [عدل]
تنص المبرهنة على ما يلي:
من المستحيل فصل مكعب إلى مكعبين، ولا عدد مرفوع للقوة الرابعة إلى عددين مرفوعين للقوة الرابعة. وعموماً لا يمكن لأي عدد مرفوع لقوة أعلى من القوة الثانية أن يكون مجموع عددين لهما نفس القوة. ولا توجد أعداد صحيحة طبيعية x,y وz بحيث 
مع n أكبر من 2.
البراهين بالنسبة لقيم خاصة للأس [عدل]
صوفي جرمين [عدل]
مقال تفصيلي :صوفي جرمينارنست كومر ونظرية المثاليين [عدل]
انظر غابرييل لامي.
حدسية مورديل [عدل]
في عشرينيات القرن العشرين، وضع لويس مورديل حدسية تنص على أن معادلة فيرما تقبل على الأكثر عددا منتهيا من الحلول الطبيعية الأولية وغير البديهية عندما يكون الأس n أكبر قطعا من 2. بُرهن على هاته الحدسية عام 1983 من طف عالم الرياضيات غيلد فالتينغز، وحاليا، تعرف باسم مبرهنة فالتينغز.
دراسات حسابية [عدل]
في النصف الثاني من القرن العشرين، استعملت طرق حسابية من أجل تمديد مقاربة كومر (نسبة إلى إرنشت كومر) للأعداد الأولية غير المنتظمة.
العلاقة مع المنحنيات الإهليلجية [عدل]
الاستراتيجية النهائية والناجحة في البرهان على مبرهنة فيرما الأخيرة، تمثلت في البران على مبرهنة النمطية. وصفت هاته الاستراتيجية في البداية من طرف جيرار فراي، وكان ذلك عام 1984.
برهان وايلز العام [عدل]
مقال تفصيلي :برهان وايلز على مبرهنة فيرما الأخيرةعندما يكون الأس سالبا [عدل]
هل كان لفيرما برهانا عاما ؟ [عدل]
التقنيات الرياضية المستعملة من طرف فيرما في برهانه العجيب ليست معروفة. برهان مفصل واحد فقط لفيرما قاوم النسيان، والذي ينص على عدم وجود أعداد أولية فيما بينها (x, y, z) حيث تتحق المعادلة x4 − y4 = z4.
برهان وايلز وتايلور اعتمد على تقنيات رياضية طورت في القرن العشرين. وقد تكون هاته التقنيات صعبة المنال حتى بالنسبة لعلماء الرياضيات الذين عملوا على مبرهنة فيرما والذين عاشوا قرنا من الزمان من قبل.
الحدسية الكبرى لهارفي فريدمان تعنى أنه من الممكن البرهان على مبرهنة فيرما الأخيرة باستعمال الحسابيات الابتدائية.
جوائز مالية [عدل]
في عام 1816، وفي عام 1850 أيضا، اقترحت الأكاديمية الفرنسية للعلوم جائزة مالية لمن يعطي حلحلة عامة لمعادلة فيرما الأخيرة. في عام 1875، منحت الأكاديمية ثلاثة آلاف فرنكا وميدالية ذهبية لكومر لأبحاثه في هذا المجال رغم أنه لم يطلب ذلك. منحت أيضا جائزة مالية أيضا عام 1883 من طرف أكاديمية بروكسل.
في الثقافة الشعبية [عدل]
انظر أيضا [عدل]
- حدسية أويلر حول مجموع القوى،
- أعداد صوفي جرمين الأولية،
- عدد وول-سان-سان الأولي،
- حدسية بيل،
- مبرنة فيرما الأخيرة في الخيال،
- ديوفانتوس 2-8:
