Espero que esto sea un poco más intuitivo (aunque bastante más largo) que las otras respuestas aquí arriba.
Empecemos por afirmar un hecho simple: (1) cuando se factoriza en su factorización prima, cualquier cuadrado perfecto tendrá un número par de cada factor primo.
Si n es un número primo, entonces n no se repetirá en ninguno de los otros factores de n! , lo que significa que n! no puede ser un cuadrado perfecto (1). Considere si n es compuesto. n! contendrá al menos dos factores primos ( n=4 es el número compuesto más pequeño que califica las restricciones), así que llamemos a p el mayor factor primo de n!
La única manera de que n! puede ser un cuadrado perfecto es si n! contiene p y un segundo múltiplo de p (1). Obviamente, este múltiplo debe ser mayor que p y menos de n.
Utilizando el postulado de Bertrand, sabemos que existe un número primo adicional, digamos p′ , de tal manera que p<p′<2p . Porque p es el mayor factor primo de n! sabemos que p′>n (Si fuera lo contrario, entonces llegaríamos a una contradicción).
De ello se desprende que 2p>p′>n . Porque 2p es el menor múltiplo de p y 2p>n entonces n! sólo contiene un factor de p . Por lo tanto, es imposible que n! para ser un cuadrado perfecto.
2 votos
Ver este .
0 votos
@J.M.: La resolución me pareció muy compleja. Sinceramente, no pude entenderla.
1 votos
En realidad, el enlace al que apuntó J. M. tiene la respuesta en el primer párrafo, y es la misma que las dos respuestas publicadas a continuación. El resto de la página es una prueba del propio postulado de Bertrand.
0 votos
@ShreevatsaR: Tienes razón. Gracias por participar. Gracias a todos.
4 votos
¿Hay alguna prueba de este hecho que no utilice el postulado de Bertrand?
0 votos
Otra pregunta relacionada: math.stackexchange.com/questions/1812580/