杜表置 へABC に対して右の図のように座
標軸を定めると, 3頂点 A, B, C
の座標は次のようになる。
A(0, 0), B(c, 0)
C(2cos4, 2sin4)
また, CHLAB とる8うな
ヶ軸上の点 H(2cos4, 0) をとる。
直角三角形 BCH を考えて
の ー BC* = HB?十HC2
である。点是の位置に記じて
HB =テc一cos4
まり半ま HB = 2cos4ーc
が成り立つ。
いずれの場合も
の ビー (c一2cos4)*十(2sin4)2
デー のー22ccos4十(cos?4 十sin24)
ーー ゲ十〆ー22ccos4
同様にして, 他の2つの式も得られる。