Ферманың кіші теоремасы — сандар теориясының классикалық теоремасы былай дейді:
Егер p — жәй сан және a p-ға бөлінбесе, онда a p — 1 ≡ 1 (mod p) (немесе a p — 1 — 1 p-ға бөлінеді).
Басқаша тұжырымдасақ,
Кез келген жәй p мен бүтін a үшін a p — a p-ға бөлінеді.
Дәлелдеуі.
Кез келген жәй p және бүтін теріс емес a үшін {\displaystyle a^{p}-a} p-ға бөлінетіндігін көрсетейік. a бойынша индукциямен дәлелдейік.
Негізі a=0 үшін {\displaystyle a^{p}-a=0} p-ға бөлінеді.
Көшу. Тұжырым a=k үшін орындалсын. a=k+1 үшін дәлелдейік.
{\displaystyle =k^{p}-k+\sum _{l=1}^{p-1}k^{l}{p \choose l}}
Бірақ {\displaystyle k^{p}-k} p-ға индукция жорамалы бойыншы бөлінеді. Басқа қосылғыштарды айтсақ, онда {\displaystyle {p \choose l}={p! \over l!(p-l)!}} . {\displaystyle 1\leq l\leq p-1} үшін, осы бөлшектің алымы p-ға бөлінеді, ал бөлімі — бөлінбейді, олай болса, {\displaystyle {p \choose l}} {\displaystyle p}р-ға бөлінеді. Сондықтан барлық қосылғыштар {\displaystyle k^{p}-k+\sum _{l=1}^{p-1}{p \choose l}} p-ға бөлінеді.
Теріс a және тақ p үшін теореманы b=-a деп қойып оңай дәлелдейді. Теріс a мен p=2 үшін теореманың растығы {\displaystyle a^{2}-a=a(a-1)} екендігінен шығады. Дәлелдеу керектігі де осы.
Теорема жалпыламасы
Теореманың аздаған жалпыламасы мынадай: егер p жәй сан болса, ал m мен n —{\displaystyle m\equiv n{\pmod {p-1}}} болатындай оң бүтін сандар болса, {\displaystyle a^{m}\equiv a^{n}{\pmod {p}}\quad \forall a\in \mathbb {Z} } . Осы түрде теорема ашық кілтті шифрлеу RSA жүйесінде пайдаланылады.
Ферманың кіші теоремасы Эйлер теоремасының жекеше түрі, ал Эйлер теоремасының өзі Кармайкл мен Лагранж теоремаларының жекеше түрі болып табылады.
Ферманың кіші теоремасы шекті өрістер теориясында да жалпыламасы бар[17].
Ролль теоремасы — дифференциалдық есептеудің негізгі теоремаларының бірі. Егер f(x) функциясы (x)axb аралығында үзіліссіз болып, осы аралықтың әрбір ішкі нүктесінде дифференциалданса және шеткі нүктелеріндегі мәндері тең болса, яғни f(a)=f(b), онда (a, b) интервалында f функциясы нөлге айналатын кем дегенде бір с нүктесі болады: a
Достарыңызбен бөлісу: |