「tsujimotterの29予想」の初等的証明

今日のテーマはこちらです:定理1(tsujimotterの29予想) を任意の素数とする。このとき、次が成り立つ: が なる整数解 を持たない 合同式に解がないのは なぜか と のときだけである という不思議な現象についての予想です。 この予想に関する経緯を少しだけ説明します。元々、Wikipedia で(ほぼ)上記の主張が証明抜…