- 374 名前：１３２人目の素数さん mailto:sage [2013/01/04(金) 13:49:25.25 ]
- >>360
正四面体の問題の定石として、外接する立方体に座標系を合わせて
座標やベクトルで考えると解きやすいことが多い。
立方体ABCD-EFGHに内接する正四面体ACFHについて、
内接球は平面AFHと平面CFHに接することより、
その中心は角の二等分面BDHF上にあることが分かる。
同様に平面ACGE、AFGD、BEHC、AHGB、DEFC上にあることも分かり、
それらの共有点である重心が内接球の中心であることが分かる。
重心が垂線上にあることの証明は略
