Bueno, la clave está en la factorización primaria. Supongamos que n = pqr, donde p < q son primos y r > 1 . Entonces p 2, q 3 y r 2 no necesariamente un primo. Por lo tanto, tenemos n2 np=pqrp5p>p , n2 nq=q(pr1)3q>q , n2 npr=pr(q1)2pr>pr , n2 nqr=qr(p1)qr .
Observe que p,q,pr,qr son todos distintos. Por lo tanto, su producto divide (n 2)! . Así, n^2 = p^2q^2r^2 divide (n 2)! en este caso. Concluimos que n = pq donde p,q son primos distintos o n = pk para algún primo p .
Caso 1. Supongamos que n = pq para algunos primos p,q, donde 2 < p < q . Entonces p 3 y q 5 . En este caso n2 > np=p(q1)4p , n2 > nq=q(p1)2q . Así, p,q,2p,2q son todos los números distintos del conjunto {1,2,3,... ,n 2}. Vemos que n^2 = p^2q^2 divide (n 2)! .
Concluimos que n = 2q para algún primo q 3 . Tenga en cuenta que n2=2q2<2q en este caso para que n^2 no divide (n2)! .
Caso 2. Supongamos que n = pk para algún primo p . Observamos que p,2p,3p,...(pk1 1)p todos se encuentran en el conjunto {1,2,3,... ,n 2} . Si pk1 1 2k, entonces hay al menos 2k múltiplos de p en el conjunto {1,2,3,... ,n 2}. Por lo tanto, n^2 = p^2k divide (n2)!. Así, pk1 1 < 2k. Si k 5 entonces pk1 1 2k1 1 2k , lo que se puede demostrar por una fácil inducción. Por lo tanto, k 4. Si k = 1 obtenemos n = p, un primo. Si k = 2, puis p1 < 4 para que p = 2 \ or \ 3 obtenemos n = 22 ,4 \ or n = 32 , 9 . Para k = 3 tenemos p^2 1 < 6 dando p = 2 ; n =23,8 en este caso. Finalmente, k = 4 da p^3 1 < 8 . De nuevo p = 2 y n = 24 , 16 . Sin embargo, n^2 = 28 divide 14! y por lo tanto no es una solución. Así, n = p,2p para algún primo p o n = 8,9 .
La respuesta habría sido más interesante y menos larga si op hubiera dado algunas condiciones adicionales. Pero, sin embargo, la pregunta era hermosa.
1 votos
No las he encontrado todas y estoy lejos de comprobarlo, pero tal vez ayude enumerar las que he encontrado para ver un patrón. En primer lugar, si n es primo, no puede dividir (n-2).
0 votos
Si n tiene una factorización de primos en la que cada primo tiene el exponente 1, entonces n debe ser menor que 2 veces el primo más grande + 2, porque si se supone que es mayor (n-2), tendría todos los factores primos dos veces en ellos y se podrían dividir
0 votos
Bueno, veamos. ¡Si n es compuesto y mayor que cuatro entonces todos los factores no triviales de n dividen a (n-2)! así que a menos que n = prime^2, ¡n divide a (n-2)! Así que para que n^2 no lo sea debe haber algunos factores de n que sólo aparezcan una vez en {1,...., n-2}. Tenemos que encontrar alguna forma de expresar y calcular eso.
0 votos
@SubhadeepDey Agawa se refería a un comentario que fue marcado y eliminado posteriormente.
0 votos
@RobertSoupe, Oh, ya veo. Lo siento.
0 votos
@SubhadeepDey No hay problema. A la pregunta le vendría bien una edición por otro motivo, aunque olvido si el mínimo de 6 caracteres en las ediciones se aplica en este caso.