Euler-Fermat-tétel
A Wikipédiából, a szabad lexikonból.
A kis Fermat-tétel általánosítása. Ha n>1 természetes szám, a hozzá relatív prím természetes szám, akkor aφ(n)≡1 mod n, ahol φ(n) az Euler-féle φ-függvény.
[szerkesztés] Bizonyítása
Leonhard Euler közölte a bizonyítást 1736-ban. Egy rövid, frappáns bizonyítását modern (csoportelméleti) megfogalmazásban a következőképp vázolhatjuk: az n-hez relatív prím maradékosztályok csoportot alkotnak a mod n szerinti szorzásra nézve. Ennek φ(n) eleme van, és így a tétel a Lagrange-tételből következik.