Testwiki:Lumiére dessus…/Petiôt tèorèmo de Fèrmat

Pierro de Fèrmat propôse en 1640 lo tèorèmo sen aduire de dèmonstracion.

En matèmatiques, lo petiôt tèorèmo de Fèrmat Modèlo:AFE est un rèsultat de l’aritmètica modulèra, que sè pôt asse-ben dèmontrar avouéc los outils de l’aritmètica èlèmentèra.

S’ènonce d’ense : « se Modèlo:Mvar est un nombro premiér et se Modèlo:Mvar est un entiér pas divisiblo per Modèlo:Mvar, adonc Modèlo:Math est un multiplo de Modèlo:Mvar », ôtrament dét (desot les mémes condicions sus Modèlo:Mvar et Modèlo:Mvar), Modèlo:Math est [[Congruence sus los entiérs|congru a 1 modulo Modèlo:Mvar]] :

Un ènonciê pariér est : « se Modèlo:Mvar est un nombro premiér et se Modèlo:Mvar est un entiér quin que seye, adonc Modèlo:Mvar est un multiplo de Modèlo:Mvar » :

Dêt son nom a Pierro de Fèrmat, que l’ènonce por lo premiér côp en Modèlo:Dâta-.

Il at tot plen d’aplicacions, a côp en aritmètica modulèra et en criptografia.

Liére la suita