【１】シェレルの定理

　　ｎ≧５，ｎ≠６のとき，Ｚ^3内の格子正ｎ角形は存在しない（シェレルの定理，１９４６年）

　証明は驚くほど簡単である．

　　前原潤，桑田孝泰「知っておきたい幾何の定理」共立出版

　　桑田孝泰，前原潤，「整数と平方格子の数学」共立出版

を参照されたい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】格子正三角形の場合

　　「Ｚ^2上で格子正三角形は存在しない」

（証）格子正三角形の頂点を（ａ，ｂ），（０，０），（ｃ，ｄ）としても一般性は失われない．

　　［ｃ］＝［ｃｏｓπ／６，−ｓｉｎπ／６］［ａ］

　　［ｄ］　［ｓｉｎπ／６，　ｃｏｓπ／６］［ｂ］

　ｃｏｓπ／６＝１／２，ｓｉｎπ／６＝√３／２．（ａ，ｂ）は整数より，（ｃ，ｄ）のいずれかは無理数となり矛盾．

（別証）正三角形の面積は無理数．しかし，ピックの定理より格子三角形の面積は有理数→矛盾．

　　系「Ｚ^2上で格子正六角形は存在しない」

　　系「Ｚ^2で格子正ｎ角形は正方形に限る」（正多角形定理）

　ところが，

　　　「Ｚ^3上で格子正六角形が存在する」

（証）１辺の長さが２の立方体の６辺の中点を結ぶと格子正六角形が得られる．

　　系「Ｚ^3上で格子正三角形が存在する」

シェレルの定理より

　　系「Ｚ^3上の格子正ｎ角形は正三角形，正方形，正六角形だけである」

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝