Casi todos los valores de [math] m [/ math] y [math] n [/ math] satisfarán esto.
[matemática] m = 1 [/ matemática] o [matemática] n = 1 [/ matemática] están justo afuera.
Si [math] m = 2 [/ math], y [math] n [/ math] es impar, entonces [math] \ phi (2n) = \ phi (n) [/ math] para que eso tampoco funcione . Lo mismo con [matemática] n = 2 [/ matemática] y [matemática] m [/ matemática] impar.
Pero en cualquier otro caso, tenemos [math] \ phi (mn)> \ phi (n) [/ math]. ¿Por qué?
- ¿Qué debo saber para intentar resolver la hipótesis de Riemann?
- Cómo encontrar el valor de la función phi de Euler en cada uno de los siguientes enteros 256, -256, 1001, 101 y 10
- ¿Cómo crearía un matemático una función L con una hipótesis de Riemann?
- ¿Cuál es teóricamente la mayor brecha primaria posible en relación con un N y 2N dados en inglés simple, por favor?
- Si G es un grupo en el que (a * b) ^ I = a ^ I * b ^ I para tres enteros consecutivos I para todos a, b, ¿cómo podemos demostrar que G es abeliano?
Si [math] m [/ math] y [math] n [/ math] son números coprimos, esto es inmediatamente cierto porque [math] \ phi (mn) = \ phi (n) \ phi (m) [/ math] y [matemática] \ phi (m)> 1 [/ matemática] si [matemática] m> 2 [/ matemática].
Si [math] m [/ math] y [math] n [/ math] no son números coprimos, entonces [math] \ phi (mn) = mn (1 – 1 / p_1) (1- 1 / p_2) \ ldots ( 1–1 / p_k) [/ math] para los factores primos de [math] mn [/ math]. Seleccionemos los factores [matemática] q_i [/ matemática] exclusivos de [matemática] m [/ matemática] (es decir, aquellos que no están en [matemática] n [/ matemática]). Entonces debemos mostrar que [matemática] L = m (1 – 1 / q_1) (1–1 / q_2) \ ldots (1–1 / q_j) [/ math] es mayor que 1. Pero esto es cierto porque [math] L> \ phi (m) [/ math ], porque nos faltan los factores [matemática] (1–1 / p_i) [/ matemática] que corresponden a primos comunes con [matemática] n [/ matemática] y [matemática] \ phi (m)> 1 [/ matemática] si [matemática] m> 2 [/ matemática]. Entonces [math] \ phi (mn) = L \ phi (n)> \ phi (n) [/ math].
Debido a que el argumento es simétrico con respecto a [math] m [/ math] y [math] n [/ math], esto también muestra [math] \ phi (mn)> \ phi (m) [/ math]. Por lo tanto, no puede ser igual a ninguna de las alternativas.
Por ejemplo, [math] \ phi (3 \ times 5) = 6 [/ math], mientras que [math] \ phi (3) = 2 [/ math] y [math] \ phi (5) = 4 [/ math ]