Ферманың Ұлы теоремасы́ (немесе Ферманың соңғы теоремасы) — математикадағы ең әйгілі деуге болытын теоремасы; оның шарты орта мектеп білімі деңгейінде тұжырымдалғанымен, дәлелдеу үшін көптеген мықты математиктер ұзақ уақыт бастарын қатырды. Теорема былай дейді:
Кез келген бүтін
үшін теңдеуінің натурал , және шешуі болмайды.
Пьер Ферманың 1637 тұжырымдаған осы теоремасы Диофанттың «Арифметика» атты кітабы беттерінде "мен тапқан алғырлық дәлелдеме осы бетке сыйдыруға өте ұзақ болады" деген сөздермен басылып шығады. Кейін Ферма үшін шешуін жариялайды, алдыңғы алғырлық дәлелдеуі туралы осы жолы ол тіс жармағандықтан жалпы түрде дәлелдегені күмәнді.
Эйлер 1770 жылы теореманы үшін, ал Дирихле мен Лежандр 1825 жылы үшін дәлелдейді. Өз үлестерін дәлелдеуге Ламе, Софи Жермен, Куммер және т. б. көптеген алдыңғы қатарлы математиктер қосты. Теореманы дәлелдеуге деген талпыныс қазіргі сандар теориясының көптеген нәтижелерін табуға алып келді.
Фальтингстың 1983 жылы дәлелдеген Морделла гипотезасынан теңдеуінің болғанда тек шектеулі өзара жай шешуі болатындығы шығады.
Дәлелдеудің соңғы қадамын тек 1994 жылдың қыркүйегінде Уайлс Эндрю жасады. 130-беттік дәлелдеу «Annals of Mathematics» журналында жарыққа шығады.
Ферманың кіші теоремасы — сандар теориясының классикалық теоремасы былай дейді:
Егер p — жәй сан және a p-ға бөлінбесе, онда a p — 1 ≡ 1 (mod p) (немесе a p — 1 — 1 p-ға бөлінеді).
Басқаша тұжырымдасақ,
Кез келген жәй p мен бүтін a үшін a p — a p-ға бөлінеді.
Дәлелдеуі
Кез келген жәй p және бүтін теріс емес a үшін p-ға бөлінетіндігін көрсетейік. a бойынша индукциямен дәлелдейік.
Негізі a=0 үшін p-ға бөлінеді.
Көшу. Тұжырым a=k үшін орындалсын. a=k+1 үшін дәлелдейік.
Бірақ p-ға индукция жорамалы бойыншы бөлінеді. Басқа қосылғыштарды айтсақ, онда . үшін, осы бөлшектің алымы p-ға бөлінеді, ал бөлімі — бөлінбейді, олай болса, -ға бөлінеді. Сондықтан барлық қосылғыштар p-ға бөлінеді.
Теріс a және тақ p үшін теореманы b=-a деп қойып оңай дәлелдейді. Теріс a мен p=2 үшін теореманың растығы екендігінен шығады. Дәлелдеу керектігі де осы.
Теорема жалпыламасы
- Теореманың аздаған жалпыламасы мынадай: егер p жәй сан болса, ал m мен n — болатындай оң бүтін сандар болса, . Осы түрде теорема ашық кілтті шифрлеу RSA жүйесінде пайдаланылады.
- Ферманың кіші теоремасы Эйлер теоремасының жекеше түрі, ал Эйлер теоремасының өзі Кармайкл мен Лагранж теоремаларының жекеше түрі болып табылады.
- Ферманың кіші теоремасы шекті өрістер теориясында да жалпыламасы бар.
Викиден алынды.