Tenía mi propia prueba para ello, pero realmente no me gusta (¡no se siente nada intuitivo porque requiere la factorización!) y siento que debe haber una manera más directa de hacerlo mediante un argumento de conteo diferente.
Si alguien tiene uno, se lo agradecerá mucho.
Mi "prueba":
Recuerdo:
$\phi(N) = $ el número de elementos que son relativamente primos a $N$ (es decir, tienen un mod inverso)
$N = pq$ donde $p$ y $q$ son primos.
Contemos el número de elementos entre $1$ a $N-1$ que NO son relativamente primordiales para $p$ y $q$ . Estos elementos deben tener al menos $p$ o $q$ como uno de sus factores. Así que incluyamos todos los números que tienen $p$ como factor y $q$ como factor y están en el rango dado.
así:
$0p, 1p, 2p, ..., kp, ..., p(q-1)$
y
$0q,1q,2q,...,jq,...,q(p-1)$
Eso da una cuenta de:
$N - p - q + 1 = pq - p - q + 1 = (p -1)(q-1)$
QED según sea necesario.
La razón por la que no estoy contento con este argumento es que me parece que debería haber una forma clara e intuitiva de hacerlo sin tener que factorizar o sustituir la definición de $N$ . Esto parece claro porque al multiplicar $(p-1)$ por $(q-1)$ parece ser una fórmula muy bonita y me sorprendería que fuera una coincidencia porque $(p-1)$ y $(q-1)$ también tienen interpretaciones claras. Estoy buscando un razonamiento claro más intuitivo, porque parece evidente por la forma de la fórmula que debe existir.