Petiôt tèorèmo de Fèrmat
Quél[V 1] articllo est ècrit en arpetan forésien / ORB lârge. |
En matèmatiques, lo petiôt tèorèmo de Fèrmat [pə.ˈtju te.ɔ.ˈreː.mo də far.ˈma] 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 p est un nombro premiér et se a est un entiér pas divisiblo per p, adonc ap–1 – 1 est un multiplo de p », ôtrament dét (desot les mémes condicions sus a et p), ap–1 est congru a 1 modulo p :
Un ènonciê pariér est : « se p est un nombro premiér et se a est un entiér quin que seye[V 2], adonc ap – a est un multiplo de p » :
Dêt son nom a Pierro de Fèrmat, que l’ènonce por lo premiér côp en .
Il at tot plen d’aplicacions, a côp en aritmètica modulèra et en criptografia.
Dèmonstracions
changiérUna dèmonstracion aritmètica èlèmentèra
changiérUn’ôtra dèmonstracion du premiér ènonciê est pariére (per dessus simpla) a una prôva du lèmo de Gauss : la combina ique est d’èstimar modulo p, de doves façons, lo produit
La prôva est prod rapida en fassent los carculs dens l’anél ℤ/pℤ[1], mas la pôvont adés dètalyér en empleyent solament la division euclidièna, lo lèmo d’Euclido, et una propriètât algèbrica de la congruence sus los entiérs.
Notes et rèferences
changiérNotes
changiérVocabulèro
changiér- Varianta forésièna [ko] ou [ke] (devant una voyèla [kə.l‿]) de « cél » a dèm m.
- Varianta forésièna [kỹ kə sej] ou ben [kỹ kə saːj] de « quint que seye » loc a m.
- Varianta forésièna [ỹ.ˈkɔr] ou ben [ĩ.ˈkɔr] de « oncor » adv.
- Varianta forésièna [ˈku.ma] ou ben [ˈkɔ.ma] de « coment » ou « ’ment » prèp.
- Varianta forésièna [ˈkə.lu] ou ben [ˈkə.ly] de « celos » pron dèm mpl.
Rèferences
changiér- Vêre per ègzemplo (en) Sanjoy Dasgupta, Christos Papadimitriou et Umesh Vazirani, Algorithms, McGraw-Hill, p. 23-25[rèf. a confirmar], ou ben .