La fun

ión de Euler
Deni ión. Se dene la apli a ión ϕ : N −→ N, que denominaremos fun ión de Euler, omo
ϕ(n) = card ({m ∈ N : 1 ≤ m ≤ n ∧ mcd (m, n) = 1})

Lema 1. Sean a, b, c ∈ N, se umple que mcd (a, bc) = 1 sii mcd (a, b) = 1 y mcd (a, c) = 1.
Demostra ión:
En primer lugar, re ordemos que para dos naturales ualesquiera n, m se umple que

mcd (a, b) = 1 ←→ ∃x, y ∈ Z : xm + yn = 1

Por tanto, si mcd (a, bc) = 1 existen x, y enteros tal que xa + y(bc) = 1 on lo ual, podemos
expresar xa + (yc)b = 1 y xa + (yb)c = 1 quedando demostrado que mcd (a, b) = 1 y
mcd (a, c) = 1.
Re ipro amente, si mcd (a, b) = 1 y mcd (a, c) = 1, existen x, y, z, w enteros tales que
xa + yb = 1 = za + wc. Multipli ando ambas expresiones obtenemos

(xza + yzb + xwc)a + (yw)bc = 1

on lo que mcd (a, bc) = 1. 

Lema 2. Sean n, p, k ∈ N, p primo y tal que 1 ≤ n ≤ pk , enton es mcd n, pk = 1 sii p no

divide a n.

Demostra ión:
En primer lugar, si mcd n, pk = 1, enton es n no tiene divisores omunes on pk y, omo p es

divisor de pk , on luimos que p no divide a n.

Re ipro amente, tenemos que los divisores de pk son {1, p, p2 , · · · , pk }, luego si p no es un
divisor de n, tampo o lo son ninguna poten ia de éste, on lo que p y n no tienen más divisores
omunes que la unidad y on luimos la prueba. 

Lema 3. Sean a, b, n ∈ Z, n > 1, si a ≡ b (mod n) se umple que mcd (a, n) = mcd (b, n)
Demostra ión:
Sabemos que si a ≡ b (mod n), enton es podemos expresar a = nq1 + r , b = nq2 + r on
0 ≤ r ≤ n − 1.
Por el lema de redu ión de Eu lides on luimos que mcd (a, n) = mcd (r, n) = mcd (b, n). 

Lema 4. Sean r, n, m ∈ N tal que mcd (n, m) = 1, enton es en el onjunto

T = {r, r + m, r + 2m, · · · , r + (n − 1)m}

hay exa tamente ϕ(n) elementos relativamente primos on n.

Demostra ión:
En primer lugar veamos que {[r]n , [r + m]n , [r + 2m]n , · · · , [r + (n − 1)m]n } = Zn
Dado que tenemos n elementos y card (Zn ) = n basta ver que [r + pm]n 6= [r + qm]n para ada
q, p ∈ {0, 1, · · · , n − 1} on p 6= q .
Supongamos, sin pérdida de generalidad que p > q , y omen emos viendo el aso uando q = 0.
Por redu ión al absurdo supongamos que [r]n = [r + pm]n , enton es r ≡ r + pm (mod n) y
podemos expresar r + pm = nq1 + s, r = nq2 + s on 0 ≤ s ≤ n − 1.

1
Restando ambas expresiones obtenemos
pm = r + pm − r = n(q1 − q2 ) −→ n|pm −−−−−−−−→ n|p
mcd(n,m)=1

y obtenemos así una ontradi ión pues n > p.

Ahora, onsideremos q > 0 y de nuevo, por redu ión al absurdo, supongamos que
[r + mq]n = [r + pm]n , es de ir, r + mp ≡ r + mq (mod n) y así,

pm ≡ qm (mod n) −−−−−−−−→ p ≡ q (mod n) −→ p − q = kn, k ≥ 0 −−−−−−→ p = q

mcd(n,m)=1 p−q<n−1

y obtenemos así la ontradi ión pues hemos supuesto que p > q .

Con lo visto sabemos pues que existe una biye ión f : T −→ {1, · · · , n} tal que
x ≡ f (x) (mod n) para ada x ∈ T .
Por tanto, por el lema 3 tenemos que mcd (x, n) = mcd (f (x), n) para ada x en T luego,
mcd (x, n) = 1 sii mcd (f (x), n) = 1.
Con esta última arma ión podemos estable er una biye ión entre los onjuntos
A = {x ∈ T : mcd (x, n) = 1} y B = {x ∈ N : 1 ≤ x ≤ n ∧ mcd (x, n) = 1}

(basta tomar g : A −→ B dada por g(x) = f |A (x)) y on ello on luimos pues el número
bus ado en el teorema es el ardinal de A y es laro que card (A) = card (B) = ϕ(n). 

Proposi ión. Sean m, n, p ∈ N, p primo, se umplen:

(i) ϕ(p) = p − 1

(ii) ϕ(pk ) = (p − 1)pk−1 para ualquier k ≥ 1

(iii) Si mcd (m, n) = 1 enton es ϕ(mn) = ϕ(m)ϕ(n)

(iv) Sea pk11 · · · pkr r la des omposi ión en fa tores primos de n, enton es podemos expresar
ϕ(n) = (p1 − 1)pk11 −1 · · · (pr − 1)pkr r −1
En forma redu ida,
Y 1

ϕ(n) = n 1−
p
p|n

Demostra ión:

(i) Si p es primo enton es mcd (a, p) = 1 para ada 1 ≤ a < p, por tanto ϕ(p) = p − 1.

(ii) En primer lugar veamos que para ualquier k ∈ N, ϕ(pk+1 ) = ϕ(pk ) + (p − 1)2 pk−1 .
Consideremos dos asos.
En el primero veamos que si 1 ≤ a ≤ pk , el número de naturales tal que mcd
a, pk+1 = 1

es ϕ(pk ), para lo ual bastará demostrar que mcd a, pk = 1 sii mcd a, pk+1 = 1.

Ésto último es inmediato pues, a partir del lema 2

   
mcd a, pk = 1 ←→ p6 |a ←→ mcd a, pk+1 = 1

En el segundo aso

onsideremos pk ≤ a ≤ pk+1 , y veamos que el número de naturales tal
que mcd a, p k+1 = 1 es p (p − 1)2 .
k−1

Expresemos a = pk + b on 1 ≤ b ≤ pk (p − 1) y así tenemos que

2
 p|a ←→ p|pk + b ←→ p|b ←→ b = pq, 1 ≤ q ≤ pk−1 (p − 1)

Luego, de nuevo por el lema 2, el número de elementos tal que mcd a, pk+1 > 1 es

pk−1 (p − 1) y el número bus ado será

pk (p − 1) − pk−1 (p − 1) = pk−1 (p − 1)2

Con luimos así que efe tivamente ϕ(pk+1 ) = ϕ(pk ) + (p − 1)2 pk−1.
Ahora, por indu ión sobre k, tenemos que el aso para k = 1 se redu e a (i) y, si
suponemos la proposi ión ierta para k, junto a lo visto,
ϕ(pk+1 ) = ϕ(pk ) + pk−1 (p − 1)2 = pk−1 (p − 1) + pk−1 (p − 1)2 = pk (p − 1)
HI

y on luimos la demostra ión.

(iii) Por el lema 1, para ada 1 ≤ a ≤ mn se umple que mcd (a, mn) = 1 sii mcd (a, m) = 1 y
mcd (a, n). Así, tenemos que son iguales los onjuntos
{x ∈ N : 1 ≤ x ≤ mn ∧ mcd (x, mn) = 1} y {x ∈ N : 1 ≤ x ≤ mn ∧ mcd (x, m) = 1 ∧ mcd (x, n) = 1}
Así, ϕ(mn) es igual al ardinal del segundo onjunto, el ual veremos a ontinua ión que
es ϕ(m)ϕ(n).
Para ello, tomemos 0 ≤ a ≤ mn1 , podemos expresar a = mq + r on 0 ≤ q ≤ n − 1 y
0 ≤ r ≤ m − 1. Denotando por R = {r ∈ N : 1 ≤ r ≤ m − 1 ∧ mcd (r, m) = 1} tenemos
que, de nuevo empleando el lema de redu ión de Eu lides,
mcd (a, m) = mcd (r, m) = 1 ←→ r ∈ R
Luego on luimos que existen ϕ(m) restos r ∈ {0, 1, · · · , m − 1} tal que
mcd (mq + r, m) = 1.
Sea ahora r0 ∈ R, a = qm + r0 on 0 ≤ q ≤ n − 1. Apli ando el lema 4 existen ϕ(n)
elementos de la forma a = qm + r0 tal que mcd (a, n) = 1.
En on lusión, tenemos que existen ϕ(m)ϕ(n) elementos a en {1, 2, · · · , mn} tales que
mcd (a, m) = mcd (a, n) = 1 y on luimos pues la prueba.
(iv) Dado que pk11 , · · · , pkr r son todos oprimos entre si, por (iii) podemos expresar
ϕ(n) = ϕ(pk11 · · · pkr r ) = ϕ(pk11 ) · · · ϕ(pkr r )
y ahora, por (ii),
ϕ(pk11 ) · · · ϕ(pkr r ) = pk11 −1 (p1 − 1) · · · pkr r −1 (pr − 1)
Con lo que
ϕ(n) = pk11 −1 (p1 − 1) · · · pkr r −1 (pr − 1)
Reagrupando los términos tenemos que
    Y 
1 1 1
ϕ(n) = pk11 −1 (p1 −1) · · · pkr r −1 (pr −1) = pk11 · · · pkr r 1− ··· 1 − =n 1−
p1 pr p
p|n


1
Tenemos que mcd (mn, 0) = mn luego in luir el ero no afe ta a los onjuntos, pues éste no será un elemento

de éstos.