Los enteros positivos $a$, $b$ y $n$ satisfacen\n\[\n\frac{a}{b}=\frac{a^2+n^2}{b^2+n^2}.\n\]\nDemuestra que $\sqrt{ab}$ es un entero.