برهان مبرهنة فيرما الأخيرة بالنسبة لحالات خاصة للأس

برهنت مبرهنة فيرما الأخيرة بالنسبة لعدة قيم خاصة للأس.
## n = 4
[thumb|لوحة ل[بيير دي فيرما.]]

## n = 3
[thumb|لوحة ل[ليونهارت أويلر|ليونهارد أويلر رسمت من طرف جاكوب إيمانويل هاندمان.]]

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

يفترض البرهان حلحلة (*x*,&nbsp;*y*,&nbsp;*z*) للمعادلة *x*3 + *y*3 +  *z*3 = 0
حيث الأعداد الصحيحة غير المنعدمة x و y و z أولية فيما بينهن مثنى مثنى ولسن كلهن أعدادا موجبة. أحد هذه الأعداد ينبغي أن يكون زوجيا والآخرين فرديين. بدون فقدان للعمومية، يُفترض أن z زوجيا.

بما أن x و y فرديان، فإنهما مختلفان. إذا كانا متساويين، فإن 2*x*3&nbsp;=&nbsp;&minus;*z*3
هذا تناقض لأن هذه المعادلة تعني أن x زوجي.

بما أن كلا هذين العددين فردي فإن مجموعهما والفرق بينهما هما عددان زوجيان.
:2u = x + y
:2v = x - y

بتعويض x و y بقيمتهما، يحصل على ما يلي:
:-z^3 = (u + v)^3 + (u - v)^3 = 2u(u^2 + 3v^2)

### برهان للحالة الأولى
في هذه الحالة، فإن عاملي *z*3 هما عددين أوليين نسبيين. ويعني هذا أن ثلاثة لا تقسم *u* وأن العاملين عبارة عن مكعبين عددين أصغر، *r* و*s*

: 2*u* = *r*3
: *u*2 + 3*v*2 = *s*3

بما أن قيمة *u*2 + 3*v* 2 هي عدد فردي، وكذلك قيمة *s* المكافئة. توضح ليمة مهمة أنه إذا كانت *s* فردية وتتحقق  بالمعادلة التالية *s*3 = *u*2 + 3*v*2، فإننا نستطيع كتابتها باستخدام عددين صحيحين *e* و*f* على النحو التالي

: *s* = *e*2 + 3*f*2

بحيث أن

: *u* = *e* ( *e*2 &#x2212; 9*f*2)
: *v* = 3*f* ( *e*2 &#x2212; *f*2)

وبما أن *u* و*v* هما عددين أوليين نسبيين، فإن *e* و*f* هما  عددين أوليين نسبيين أيضًا. بما أن *u* زوجي و*v* فردي، فإن *e* زوجي و*f* فردي. لأن

: *r*3 = 2*u* = 2*e* (*e* &#x2212; 3*f*)(*e* + 3*f*)

العوامل 2*e* و(*e* – 3*f*) و(*e* + 3*f*) هي أعداد أولية نسبية لأن 3 لا تقسم *e*: إذا كانت *e* قابلة للقسمة على 3، فإن 3 ستقسم *u*، مما سيخل بتعريف *u* و*v* كأعداد أولية نسبية. ولأن العوامل الثلاثة الموجودة على الجانب الأيمن هي أعداد أولية نسبية، فسيصبح كل عدد مكعب عدد صحيح أصغر منه

: &#x2212;2*e* = *k*3
: *e* &#x2212; 3*f* = *l*3
: *e* + 3*f* = *m*3

لنصل للحل الصفري التالي *k*3 + *l*3 + *m*3 = 0. لذا باستخدام حجة النزول اللانهائي، نصل لاستحالة تحقق الحل الأصلي (*x* ،y ، z).

### برهان للحالة الثانية
في هذه الحالة، القاسم المشترك الأكبر لـ 2*u* و*u*2 + 3*v*2 هو 3. مما يعني أن 3 تقسم *u*، ويمكننا أن نكتب *u*=3w بدلالة عدد صحيح أصغر w. بما أن *u* تقبل القسمة على 4، كذا أيضًا *w*؛ وبالتالي فإن *w* تكون عددا زوجيا. ونظرًا لأن *u* و*v* هما أعداد أولية نسبية، بالتالي *v* و*w* هما أعداد أولية نسبية. وبالتالي لا تقبل v القسمة على 3 أو 4.

بالتعويض عن *u* بـ *w* في معادلة *z*3 نحصل على

: *z*3 = 6*w* (9*w*2 + 3*v*2) = 18*w* (3*w*2 + *v*2)&#x2212;

ولأن *v* و*w* هما أعداد أولية نسبية، ولأن *v* لا تقبل القسمة على 3، فإن 18*w* و3*w*2+*v*2 هي أيضًا أعداد أولية نسبية. ولأن حاصل ضربهم عبارة عن مكعب، فإن كلا منهم يمثل مكعب عدد صحيح أصغر، *r* و*s*

: 18*w* = *r*3
: 3*w*2 + *v*2 = *s*3

باستخدام الليما أعلاه، ولأن *s* فردية ومكعبها يساوي عددًا على الشكل التالي 3*w*2 + *v*2، يمكن أيضًا كتابتها بأستخدام عددين أوليين نسبيين أصغر، *e* و*f* على النحو التالي

: *s* = *e*2 + 3*f*2

لنصل للشكل التالي

: *v* = *e* (*e*2 &#x2212; 9*f*2)
: *w* = 3*f*  (*e*2 &#x2212; *f*2)

ومنه نصل إلى أن *e* عدد فردي و *f* عدد زوجي لأن *v* عدد فردي. وتصبح قيمة 18w على النحو التالي

: *r*3 = 18*w* = 54*f*  (*e*2 &#x2212; *f*2) = 54*f* (*e* + *f*) (*e* &#x2212; *f*) = 33×2*f* (*e* + *f*) (*e* &#x2212; *f*).

بما أن 33 تقسم *r*3 ونعرف أن 3 تقسم *r*، لذا تكون قيمة (*r*/3)3 هي عدد صحيح مساوي لـ 2*f* (*e* + *f*) (*e* &#x2212; *f*). بما أن *e* و *f* هما عددين أوليين نسبيين، فإن العوامل الثلاثة 2*f* و *e*+*f* و *e*&#x2212;*f* هي أيضا أعداد أولية نسبية؛ لذا فكل عدد منهم هو مكعب لعدد صحيح أصغر، *k* و*l* و*m*.

: &#x2212;2*f* = *k*3
: *e* + *f* = *l*3
: *e* &#x2212; *f* = *m*3

لنصل للحل الصفري التالي  *k*3 + *l*3 + *m*3 = 0. لذا باستخدام حجة النزول اللانهائي، نصل لاستحالة تحقق الحل الأصلي (*x* ،y ، z).

## n = 5
[thumb|لوحة ل[يوهان بيتر غوستاف لوجون دركليه|ديريشلت.]]

## n = 7
## n = , 10 , 14, 6

## مراجع

## وصلات خارجية

تصنيف:مبرهنة فيرما الأخيرة
تصنيف:مقالات تحوي براهين رياضية
تصنيف:نظرية الأعداد