質問: 対辺が互いに垂直な四面体 3組の対辺が互いに垂直であるような四面体vがある。このとき各辺の中点は、vの重心を中心とするある1つの球面上にあることを示せ。 この問題を解こうと思っているのですが、何をやるのかが全く見えてきません・・・。 何の分野なのかも見当がつきません。 「対辺が互いに垂直」というのは四面体が直方体の中に描けるということなのでしょうか? 回答いただければ幸いです。 よろしくお願いいたします
回答: このような考えはどうでしょうか?(参考までに) 文字ばかりで読みにくいかもしれませんが・・ 四面体の頂点をo(0,0,0),a(a,0,0),b(b1,b2,0),c(c1,c2,c3)とする。 対辺が垂直なので、 (ベクトルoa)・(ベクトルbc)=0より、 (a,0,0)・(c1-b1,c2-b2,c3)=a(c1-b1)=0・・・(1) (ベクトルob)・(ベクトルac)=0より、 (b1,b2,0)・(c1-a,c2,c3)=b1(c1-a)+b2c2=0・・・(2) (ベクトルoc)・(ベクトルab)=0より、 (c1.c2.c3)・(b1-a,b2,0)=c1(b1-a)+c2b2=0・・・(3) 対辺の中点を結んだ線分の中点は3本とも一致し、それが四面体の 重心。(参考urlのページ中段付近、■単体のn次元幾何から、の 後半部分を参考に) たとえば、oaの中点(a/2,0,0)とbcの中点((b1+c1)/2,(b2+c2)/2,c3/2) を結んだ線分の中点は((a+b1+c1)/4,(b2+c2)/4,c3/4) あとは、3組の対辺の中点を結んだ線分の長さを式で表し、最初の関係式 を利用すれば、すべて等しいことがいえそうです。 oaの中点(a/2,0,0)とbcの中点((b1+c1)/2,(b2+c2)/2,c3/2)でやってみる と、(長さの2乗で計算) ((b1+c1-a)^2+(b2+c2)^2+c3^2)/4・・・☆ (1)式からb1=c1、(2)式からb2c2=-b1(c1-a)=-b1(b1-a)なので、☆は {(2b1-a)^2+b2^2+c2^2-2b1(b1-a)+c3^2}/4 ={(a^2+2b1^2-2ab1)+(b2^2+c2^2)+c3^2}/4 ocの中点(c1/2,c2/2,c3/2)とab((a+b1)/2,b2/2,0)の中点では ((a+b1-c1)^2+(b2-c2)^2+c3^2)/4 =(a^2+(b2-c2)^2+c3^2)/4 =(a^2+b2^2+c2^2-2b2c2+c3^2)/4 ={a^2+b2^2+c2^2+2b1(b1-a)+c3^2}/4 ={(a^2+2b1^2-2ab1)+(b2^2+c2^2)+c3^2}/4 ・・・・ 参考url:http://www.geocities.jp/ikuro_kotaro/koramu/kika.htm