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/