Digamos que escribimos [math] \ sum_ {k = 1} ^ {N} \ frac {k} {\ gcd (k, N)} [/ math] reemplazando [math] k [/ math] con [math] Nk [/ math] para obtener
[matemáticas] \ sum_ {k = 1} ^ {N} \ frac {N – k} {\ gcd (N – k, N)} [/ matemáticas]
y como [math] gcd (N – k, N) = \ gcd (k, N) [/ math] nos damos cuenta de que nuestra respuesta es
[matemáticas] \ frac {N} {2} \ sum_ {k = 1} ^ {N} \ frac {1} {\ mcd (k, N)} [/ matemáticas].
- ¿Cuántos conjuntos de dos factores de N = 360 serán coprimos entre sí?
- ¿Cómo explicarías la hipótesis de Riemann y la función zeta como lo harías con un estudiante de décimo grado?
- ¿La divisibilidad se define solo para enteros o también se define para racionales e irracionales?
- ¿Cómo se puede probar que [math] (\ forall k \ in \ mathbb {Z}, \ exist r, s \ in \ mathbb {Z}) \ left (22 r + 18 s = 2 k \ right) [/ math ]?
- Cómo hacer un programa en C ++ para demostrar que la suma de dos números primos es un número par
Ahora, tratemos de encontrar [math] \ sum_ {k = 1} ^ {N} \ frac {1} {\ gcd (k, N)} [/ math].
Podemos escribirlo como [matemáticas] \ sum_ {g | N} ^ {} \ varphi (\ frac {N} {g}) * \ frac {1} {g} [/ math],
porque [math] \ varphi (\ frac {N} {g}) [/ math] básicamente cuenta cuántos elementos entre 1 y [math] N [/ math] tienen un mcd con [math] N [/ math] igual a [matemáticas] g [/ matemáticas].
Ahora, puede reemplazar fácilmente [matemática] g [/ matemática] por [matemática] \ frac {N} {g} [/ matemática] en la ecuación anterior para obtener [matemática] \ frac {1} {N} \ sum_ {g El | N} ^ {} \ varphi (g) * g [/ math].
Por lo tanto, atravesamos todos los factores de [matemáticas] N [/ matemáticas] y calcular [matemáticas] \ varphi (N) [/ matemáticas] incluso para grandes [matemáticas] N [/ matemáticas] es fácil usar propiedades.