Фермагийн Их Теорем

17 дугаар зуун、Францын математик сонирхогч Ферма（1601 - 1665）нь Диофантын "Тооцооллын урлаг" хэмээх номын хоосон зайд "Би маш гайхалтай баталгааг нь олсон боловч энэ жижигхэн зай уг баталгааг бичихэд багадаж байна" хэмээн энэхүү теоремыг бичиж үлдээжээ. Түүний үлдээсэн таамаглалууд бүгд шийдэгдсэн боловч энэхүү теорем нь батлагдалгүй, эсрэг жишээ ч олдолгүй он удаан жилийг элээсэн тул Фермагийн их теорем хэмээн нэрлэгдэг болжээ. Үүнийг n=4 болон n нь анхны тоо үед батлахад л хангалттай. Учир нь, жишээлбэл n=6 үед ${\displaystyle (x^{2})^{3}+(y^{2})^{3}=(z^{2})^{3}}$  хэмээн өөр хэлбэрээр бичиж чадах билээ.

• n = 4: Ферма（1640 он）д баталсан.
• n = 3: Эйлер（1753～1770 он）Гэвч баталгаа нь дутуу байсан.
• n = 5: Лежандр、Ламэ（1825 он）
• n = 14: Дирихле（1832 он）
• n = 7: Ламэ（1839 он）
• Өөр олон алдаатай "баталгаанууд" зарлагдаж байжээ.
• Эрнст Куммер Идеал хэмээх ойлголтыг оруулж ирсэн.
• Фальтингс уг тэгшитгэлийн жинхэнэ шийд төгсгөлөг тоотой болохыг баталжээ.
• 1993 онд Эндрю Уайлс теоремын баталгааг олсноо зарлажээ. Гэвч харамсалтай нь дутуу баталсан байлаа.
• 1994 оны 10 дугаар сард мөнхүү Уайлс , Тэйлортой хамтран алдаагаа залруулснаар 360 жилийн түүхтэй уг теоремыг шийдэж математикчдийн урт удаан хугацааны хүсэл мөрөөдлийг биелүүлжээ.

Дэлгэрэнгүй түүх (st-and.ac.uk)

Эндрю Уайлс нь Фермагийн Их Теоремыг батлахаар оролдох болсон нь түүний судалж байсан салбар болох эллиптик муруйн тухай Герхарл Фрай хэрэв Фермагийн Их Теорем худлаа бол түүнээс гарах эллиптик муруй нь модуляр хэлбэртэйгээр оршин байхгүй гэж таамаглал (Фрайгийн таамаглал) гаргасныг Кэн Рибье баталснаас үүдэлтэй гэгддэг.

• Саймон Шин "Фермагийн Их Теорем - Пифагороос эхэлж, Уайлс батлах хүртэл" ISBN 4-10-539301-4
  • Бест селлер

• Фермагийн бага теорем
• Математик