Me gustaría tener mi prueba verificada y si es posible, para ver otras soluciones que son interesantes.
Prueba: Supongamos $n(n+1)$ es un cuadrado. Luego de escribir $$n(n+1) = \prod_{p} p^{c(p)}$$ donde $c(p) = a(p) + b(p)$ son tales que \begin{align*} n &= \prod_p p^{a(p)} \\ n+1 &= \prod_p p^{b(p)} \end{align*} Ahora, por nuestra hipótesis, $c(p)$ es para todos los números primos $p$. Como $(n,n+1)=1$ todos los $n$, $a(p)$ $b(p)$ son para todos los números primos $p$ y por otra parte, $a(p) = 0$ siempre $b(p)>0$, y a la inversa.
Esto indica que tanto $n$ $n+1$ son cuadrados. Esto es imposible ya que no hay consecutivos cuadrados de los números naturales.