// 副豆 前の記事では\(x^2+y^2 \) の形に表せる素数は必ず4n+1型であることを知りました。 実は逆が成り立ちます。つまり4n+1型の素数は必ず \(x^2+y^2 \) の形に表すことができます。フェルマーはこの事実を彼の得意な無限降下法と呼ばれる技法を使って証…