Definition: Assume $p$ is a prime. $l(\sqrt{p})=$ length of period in simple continued fraction expansion of $\sqrt{p}$.
The standard proof of this uses the following:
- $p$ is a prime implies $p \equiv 1 \bmod 4$ iff $x^2-py^2=-1$ has integer solutions.
- $p$ is a prime implies $x^2-py^2=-1$ has integer solutions iff $l(\sqrt{p})$ is odd.
I have proofs of (1) and (2) so that I have a proof of the stated question. What I would like is a proof that does not use any equivalences. That is,
Assume $p \equiv 1 \bmod 4$. Show that $l(\sqrt{p})$ is odd.
I will accept contradiction or contrapositive as well. I know this may seem strange but I think there is a lot to learn from this proof.
Also, I asked this on mathoverflow link but got no definative answer. I think a proof may exist using Farey graphs and/or Ford Circles.