■球面上の幾何学(その54)

[Q]平面三角形ABC内に一点Pに対し,

  AB+AC>PB+PC

であることを証明せよ.

[A]三角不等式より,AB+AC>BC,AP+PB>AB,AP+PC>AC,PB+PC>BCとしてもうまくいかない.

 APの延長が辺BCと交わる点をXとする.線分AP上に任意の点Yをとると

  YB>PB,YC>PC,YB+YC>PB+PC

Y→Aとすれば

  AB+AC>PB+PC

が成り立つ.

===================================

[Q]3次元の四面体ABCD内に一点Pに対し,

  AB+AC+AD>PB+PC+PD

は成立するか?

[A]成立するなら証明し,成立しなければ反例を示さなければならない.

 APの延長が面BCDと交わる点をXとする.線分AP上に任意の点Yをとると

  YB>PB,YC>PC,YD>PD,YB+YC+YD>PB+PC+PD

Y→Aとすれば

  AB+AC+AD>PB+PC+PD

が成り立つ・・・こうすれば,前問同様,成立するように思われるかもしれない.

 しかし,それは手抜き?思い込み?疑ってみる気がない?であって,実は成立しないのだそうだ.

===================================

[まとめ]三角形では成り立っても,四面体では成立しない.反例として,正三角形に退化した正四面体を考えると,

  AB+AC+AD=(正三角形の中線の長さの2倍)

であるが,点PをBにとると

  PB+PC+PD=(正三角形の辺の長さの2倍)

===================================