Sabemos que $\frac{1}{4} - b^{2} n = z\in \mathbb Z$ , $n\in \mathbb{N}-\{0\}$ sin cuadrados y $b=\frac{c}{d}$ donde $c\in \mathbb{Z}$ , $d\in \mathbb{N}-\{0\}$ .
Ahora vamos a demostrar que $b \in \frac{1}{2}\mathbb Z$ sin utilizar el hecho de que $(c,d)=1$ .
$$\frac{c^2}{d^2}n=\frac{1}{4}-z$$ $$4c^2n=d^2(1-4z)$$ $$\left(2c\right)^2n=d^2(1-4z)$$
$d\ne1$ de hecho si $d=1$ entonces $4c^2n=1-4z$ y lleva a contradicción porque $1$ no es múltiplo de $4$ .
Si $p$ es cualquier factor primo de $d$ y $p^r$ es la mayor potencia de $p$ que divide $d$ entonces $p^{2r}$ divide $(2c)^2n$ y $p^{2r-1}$ divide $(2c)^2$ porque $n$ es libre de cuadrados. Se deduce que $p^r$ divide $2c$ también.
Por lo tanto $d$ divide $2c$ Así que $\frac{2c}{d}=2b\in \mathbb{Z}$ y significa que $b \in \frac{1}{2}\mathbb Z$ .