CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
SITEMAP
Audiobooks by Valerio Di Stefano: Single Download - Complete Download [TAR] [WIM] [ZIP] [RAR] - Alphabetical Download  [TAR] [WIM] [ZIP] [RAR] - Download Instructions

Make a donation: IBAN: IT36M0708677020000000008016 - BIC/SWIFT:  ICRAITRRU60 - VALERIO DI STEFANO or
Privacy Policy Cookie Policy Terms and Conditions
Petit théorème de Fermat - Wikipédia

Petit théorème de Fermat

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff ?).

En mathématiques, le petit théorème de Fermat affirme que si p est un nombre premier, alors pour tout entier a,

a^p \equiv a \pmod{p}

Cela signifie que si on considère un entier a, et qu'on le multiplie par lui-même p fois et qu'on lui soustrait a, le résultat est divisible par p (voir arithmétique modulaire). Il s'appelle le petit théorème de Fermat pour le différencier du dernier théorème de Fermat. Pierre de Fermat trouva le théorème en 1636 ; il apparut dans l'une de ses lettres, envoyée le 18 octobre 1640 à son confident Bernard Frénicle de Bessy sous la forme équivalente suivante  : p divise ap-1 - 1 lorsque p est premier et a est premier avec p. Le cas a = 2 était connu des anciens chinois.

Le petit théorème de Fermat est à la base du test de primalité de Fermat.

Voici quelques exemples du théorème :

  • 43 − 4 = 60 est divisible par 3.
  • 72 − 7 = 42 est divisible par 2.
  • 63 − 6 = 210 est divisible par 3.
  • (−3)7 − (−3) = −(2 184) est divisible par 7.
  • 297 − 2 = 158 456 325 028 528 675 187 087 900 670 est divisible par 97.

Sommaire

[modifier] Démonstrations

Fermat expliqua son théorème sans preuve. Le premier qui donna une démonstration fut Gottfried Wilhelm Leibniz dans un manuscrit non daté, dans lequel il écrivit aussi qu'il connaissait déjà une preuve avant 1683 :

Et cette proposition est généralement vraie en toutes progressions et en tous nombres premiers; de quoi je vous envoierois la démonstration, si je n'appréhendois d'être trop long.

La locution "Petit théorème de Fermat" a été utilisée la première fois en 1913 dans l'ouvrage de Kurt Hensel Zahlentheorie :

Für jede endliche Gruppe besteht nun ein Fundamentalsatz, welcher der kleine Fermatsche Satz genannt zu werden pflegt, weil ein ganz spezieller Teil desselben zuerst von Fermat bewiesen worden ist."
(Il existe un théorème fondamental qui est valable dans chaque groupe fini, habituellement appelé le Petit théorème de Fermat parceque Fermat a été le premier a démontrer une partie très particulière de celui-ci).

Elle fut utilisée en anglais en premier dans un article d'Irving Kaplansky, Lucas's Tests for Mersenne Numbers, American Mathematical Monthly, 52 (Avril 1945).

[modifier] Davantage d'histoire

Les mathématiciens chinois ont, de manière indépendante, fait l'hypothèse reliée (quelquefois appelée l'hypothèse chinoise) que p est un nombre premier si et seulement si 2^p \equiv 2 \pmod{p}\,. Ceci est vrai si p est premier, alors 2^p \equiv 2 \pmod{p}\, (c'est un cas particulier du petit théorème de Fermat). Par contre, la réciproque (si \,2^p \equiv 2 \pmod{p} alors p est premier), et par conséquent l'hypothèse dans son entier, est fausse (par ex. 341=11×31 est un pseudopremier, voir ci-dessous).

[modifier] Généralisations

Une légère généralisation du théorème, qui découle immédiatement de celui-ci, s'énonce de la manière suivante  : si p est un nombre premier et si m et n sont des entiers strictement positifs tels que mn (mod p-1), alors pour tous entiers a, aman (mod p). Sous cette forme, le théorème est utilisé pour justifier l'algorithme de chiffrage RSA à clé publique.

Le petit théorème de Fermat est généralisé par le théorème d'Euler : pour tout entier naturel non nul n et tout entier a premier avec n, on a

a^{\varphi (n)} \equiv 1 \pmod{n}

où φ(n) désigne la fonction φ d'Euler comptant les entiers entre 1 et n qui sont premiers avec n. Cette proposition représente vraiment une généralisation, parce que si n = p est un nombre premier, alors φ(p) = p - 1. Cela peut encore être généralisé en le théorème de Carmichaël.

Voir la démonstration dans l'article groupe cyclique et anneau.

[modifier] Pseudo-premiers

Si a et p sont premiers entre eux, il arrive que ap-1 - 1 soit divisible par p, sans pour autant que p soit premier. Si c'est le cas, alors p est appelé un nombre pseudo-premier de base a. Si, pour tout entier a, premier avec p, tel que 1 < a < p, l'entier p est pseudo-premier de base a, alors l'entier p est appelé un nombre de Carmichaël ou nombre absolument pseudo-premier.

Attention, la condition « a premier avec p » est nécessaire : si p est pseudo-premier dans toute base a tel que 1 < a < p, c'est-à-dire, si pour tout a tel que 1 < a < p, ap − 1 − 1 est divisible par p, alors p est premier.

Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.
Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Sub-domains

CDRoms - Magnatune - Librivox - Liber Liber - Encyclopaedia Britannica - Project Gutenberg - Wikipedia 2008 - Wikipedia 2007 - Wikipedia 2006 -

Other Domains

https://www.classicistranieri.it - https://www.ebooksgratis.com - https://www.gutenbergaustralia.com - https://www.englishwikipedia.com - https://www.wikipediazim.com - https://www.wikisourcezim.com - https://www.projectgutenberg.net - https://www.projectgutenberg.es - https://www.radioascolto.com - https://www.debitoformtivo.it - https://www.wikipediaforschools.org - https://www.projectgutenbergzim.com