- 652 名前：１３２人目の素数さん mailto:sage [2023/01/09(月) 02:18:44.10 ID:Wx/qLAd9.net]
- 正四面体のやつ
正四面体 H-ABCを平面で切断した切り口が
三角形のとき、最も大きい角は
HA, HB, HC に交点 D, E, F を作って
0＜HD≪HE≪HF のとき
∠DEF が 120° に限りなく近づく
HD/HE, HE/HF を 1万分の1, 1億分の1, ...
と限りなく小さくしても、∠DEF を
120°と等しくしたり、超えたりすることはできない
120°＜179° であるから、179° にもできない
以上、基本方針のみ
断面が四角形になる場合や
断面にならない場合の排除、
一般性を失わない範囲での値や大小の設定を
適当に付け加えれば、証明になるはず
