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 nn es un número primo, entonces nn no se repetirá en ninguno de los otros factores de n!n! , lo que significa que n!n! no puede ser un cuadrado perfecto (1). Considere si nn es compuesto. n!n! contendrá al menos dos factores primos ( n=4n=4 es el número compuesto más pequeño que califica las restricciones), así que llamemos a pp el mayor factor primo de n!n!
La única manera de que n!n! puede ser un cuadrado perfecto es si n!n! contiene pp y un segundo múltiplo de pp (1). Obviamente, este múltiplo debe ser mayor que pp y menos de n.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/