Doppelte Verneinung ist Bejahung:
Zeige: Es gibt Primzahlen der Form 4n+1 (n∈ℕ), die sich als Hypotenusenlänge eines pythagoreischen Dreiecks eignet.
\(4n+1\) mit \(n=1\) \(x^2+y^2=1\)
\(4n+1\) mit \(n=3\) \(x^2+y^2=(\frac{13}{2})^2\)
\(4n+1\) mit \(n=4\) \(x^2+y^2=(\frac{17}{2})^2\)
\(4n+1\) mit \(n=7\) \(x^2+y^2=(\frac{29}{2})^2\)
\(4n+1\) mit \(n=9\) \(x^2+y^2=(\frac{37}{2})^2\)
\(4n+1\) mit \(n=10\) \(x^2+y^2=(\frac{41}{2})^2\)
u.s.w.