Estoy leyendo Stopple de Un manual de la Teoría Analítica de números:
Ejercicio 1.1.3: Que triangulares números también son cuadrados? Es decir, qué condiciones en $m$ $n$ va a garantizar que $t_n=s_m$? Mostrar que si esto sucede, entonces tenemos:
$$(2n+1)^2-8m^2=1,$$
una solución a la ecuación de Pell, que estudiaremos en más detalle en el Capítulo $11$.
Pensé acerca de lo siguiente:
$$\begin{eqnarray*} {t_n}&=&{s_n} \\ {\frac{n^2+n}{2}}&=&{m^2} \\ {n^2+n}&=&{m^2} \end{eqnarray*}$$
He resuelto para$n$$m$, pero todavía no tengo ni idea de cómo proceder. He mirado en el libro de la solución y la solución es la siguiente:
$$\begin{eqnarray*} {\frac{n(n+1)}{2}}&=&{m^2} \\ {n(n+1)}&=&{2m^2} \\ {\color{red}{4n(n+1)}}&\color{red}{=}&{\color{red}{8m^2}} \\ {4n^2+4n+1-1}&=&{8m^2} \\ {(2n+1)^2-1}&=&{8m^2} \\ \end{eqnarray*}$$
En la línea roja, se multiplica la ecuación por $4$, no entiendo por qué hacerlo ni cómo la condición se logra.