Intuitivamente, la solución es fácil: [math] (pk) [/ math] es un factor de [math] p [/ math]. Entonces [matemática] pk = f [/ matemática] (donde [matemática] f \ mid p [/ matemática]) [matemática] \ implica [/ matemática] [matemática] k = pf = p- \ dfrac {p} {f ‘} = p \ bigg (1- \ dfrac {1} {f’} \ bigg) [/ math] donde [math] f ‘\ mid p [/ math].
La prueba formal es básicamente la misma.
WLOG asume [matemáticas] p> k [/ matemáticas].
Ahora [math] (pk) \ mid p [/ math] [math] \ implica [/ math] [math] p = l (pk) [/ math] donde [math] l \ in \ mathbb {Z} ^ { +}, l \ mid p [/ math]
- Cómo demostrar por inducción que si [math] n_1, n_2, \ ldots, n_t [/ math] son números enteros, entonces [math] n_1 + n_2 + \ ldots + n_t [/ math] es par
- Cómo factorizar n ^ 2 + n +3
- ¿Cuáles son algunas de las pruebas de teoría de números más bellas?
- ¿Cuál es el comportamiento asintótico de [matemáticas] \ displaystyle \ sum_p p ^ {-1/2} [/ matemáticas] (para todos los números primos p) y por qué?
- ¿Qué ayanamsa funciona mejor, KP o NC Lahiri?
[math] \ implica lk = p (l-1) \ implica k = p \ bigg (1- \ dfrac {1} {l} \ bigg) [/ math], donde [math] l \ mid p [/ math ]
Entonces, tenemos la condición [math] k = p \ bigg (1- \ dfrac {1} {l} \ bigg) [/ math] [math] \ forall [/ math] [math] l [/ math] st [matemáticas] l \ mid p [/ matemáticas].
Espero que ayude 🙂