En teoría de números , un número totiente perfecto es un número entero que es igual a la suma de sus totientes iterados . Es decir, se aplica la función totiente a un número n , se aplica nuevamente al totiente resultante, y así sucesivamente, hasta llegar al número 1, y se suman los números resultantes; si la suma es igual a n , entonces n es un número totiente perfecto.
Por ejemplo, hay seis números enteros positivos menores que 9 y primos entre sí, por lo que el tociente de 9 es 6; hay dos números menores que 6 y primos entre sí, por lo que el tociente de 6 es 2; y hay un número menor que 2 y primo entre sí, por lo que el tociente de 2 es 1; y 9 = 6 + 2 + 1 , por lo que 9 es un número tociente perfecto.
Los primeros números perfectos de pacientes son
En símbolos se escribe
para la función iterada totient. Entonces, si c es el entero tal que
Se tiene que n es un número totiente perfecto si
Se puede observar que muchos totientes perfectos son múltiplos de 3; de hecho, 4375 es el número totiente perfecto más pequeño que no es divisible por 3. Todas las potencias de 3 son números totientes perfectos, como se puede ver por inducción usando el hecho de que
Venkataraman (1975) encontró otra familia de números totientes perfectos: si p = 4 × 3 k + 1 es primo , entonces 3 p es un número totiente perfecto. Los valores de k que conducen a números totientes perfectos de esta manera son
En términos más generales, si p es un número primo mayor que 3 y 3 p es un número totiente perfecto, entonces p ≡ 1 ( mod 4) (Mohan y Suryanarayana 1982). No todos los p de esta forma conducen a números totientes perfectos; por ejemplo, 51 no es un número totiente perfecto. Iannucci et al. (2003) demostraron que si 9 p es un número totiente perfecto, entonces p es primo de una de las tres formas específicas enumeradas en su artículo. No se sabe si existen números totientes perfectos de la forma 3 k p donde p es primo y k > 3.
Este artículo incorpora material de Perfect Totient Number en PlanetMath , que está licenciado bajo la Licencia Creative Commons Atribución/Compartir-Igual .