§A5.12ヴィヴィアーニの定理

最終更新

正三角形の内部の点から3辺へ下ろした垂線の長さの和は、点の位置によらず正三角形の高さに等しい。

定理 1 (ヴィヴィアーニの定理). 一辺の長さがssの正三角形△ABC\triangle ABCの内部点PPから、辺BC,CA,ABBC,CA,ABへ下ろした垂線の長さをそれぞれx,y,zx,y,zとする。このとき

x+y+z=32s.x+y+z=\frac{\sqrt3}{2}s.

証明の方針。△ABC\triangle ABCを3つの小三角形に分け、それぞれの面積を「底辺×高さ÷2」で表す。3つの面積の和は正三角形全体の面積なので、距離の和が決まる。

証明. 正三角形の面積を、点PPと各頂点を結んでできる3三角形に分ける。△PBC,△PCA,△PAB\triangle PBC,\triangle PCA,\triangle PABの底辺はすべて長さssで、それぞれの高さはx,y,zx,y,zである。したがって

[PBC]=12sx,[PCA]=12sy,[PAB]=12sz.[PBC]=\frac12sx,\qquad [PCA]=\frac12sy,\qquad [PAB]=\frac12sz.

点PPが内部にあるので、これら3つの三角形は重なりなく正三角形全体を覆う。正三角形の高さをhhとすると、全体の面積はsh/2sh/2だから、

12s(x+y+z)=12sh.\frac12s(x+y+z)=\frac12sh.

s>0s>0よりx+y+z=hx+y+z=h。正三角形を高さで二分すると、30°-60°-90°の直角三角形からh=3s/2h=\sqrt3s/2である。よって主張が得られる。▨

境界上の点では距離の1つが0になるが、同じ面積計算で等式は成り立つ。三角形の外部では符号付き距離を導入しない限り、この形の等式は一般には成り立たない。

1 つまずいたら

  • 3つの距離はそれぞれ対応する辺への垂直距離である。
  • 面積の底辺は3本ともss。正三角形であることを使っている。
  • 点が外部に出ると小三角形の面積の和が全体の面積にならない。

前提記事