★★【タイトル:完全直方体が存在しないことの証明】
吾輩は松中から高専(電気科)に進学したアマチュア数学者です。名前は「Madanai」と申します。趣味はPaizaです。
#### 証明の概要
モジュラー算術を用いて、完全直方体が存在しないことを証明します。直方体の辺の長さを a, b, c、面の対角線を A, B, C とします。
#### 証明のステップ
1. **初期定義**:「a, b, c を直方体の辺の長さとします」「A, B, C を面の対角線とします」
2. **モジュラー表現**:「数を3で割った余りで表現します。余りが2になる数を 2m、同様に 0m、1m と表します。」
3. **a, b, c の値の検討**:「まず、a, b, c のいずれも 0m ではない場合だけを考えます。すべてが 0m であれば、すべての辺を3で割ったより小さい直方体について考察したいと思う気持ちがあるからです。」
4. **モジュラー算術での平方値**:『3で割った余りでの平方値を考えます:「0m^2 = 0m」「1m^2 = 1m」「2m^2 = 1m」。よって、f^2 = 2m となる f は存在しません。(※1)』
5. **直角三角形の性質**:「直角に接する辺が 0m の場合のみ存在します。例えば、直角に接する辺が2つとも1mの場合、1m^2 + 1m^2 = 2m となり、ピタゴラスの定理および※1から不可能です。」
6. **辺の長さの組み合わせの検討**:
- 辺の長さ a, b, c のモジュラー3での可能な組み合わせは:「0m:0m:1m」「0m:0m:2m」「0m:1m:2m」
- しかし、これらの組み合わせもしかし、この3つもよくよく見ていくとf^2 = 2m が存在しないことから矛盾します。
#### 結論「モジュラー算術の性質と直角三角形の特性を考慮することで、完全直方体が存在しないことを証明しました。」