Sólo para ser diferente:
$\frac {(k+1)^2}{k^2} = \frac {k^2 + 2k + 1}{k^2} = 1 + \frac {2k + 1}{k^2}$
Así $\frac {(k+1)^2}{k^2} = 2\implies \frac {2k + 1}{k^2} = 1 \implies$
$2k + 1 =k^2$ y $k \ne 0$ (lo contrario $2 = 0$ que no es cierto)
$2 + \frac 1k = k$. Pero si $k \ne \pm 1$ $\frac 1k$ no es un entero.
Y si $k = \pm 1$ y $\frac 1k = k$ y $2 = k -\frac 1k = 0$ que es imposible.
....
Pero en serio...
$\frac {(k+1)^2}{k^2} = (\frac {k+1}{k})^2 = 2$ implica un número racional cuyo cuadrado es $2$ que es bien sabido que son falsos, si una prueba irrefutable y perfecta. Y probablemente el más fácil del absoluto.