
円の半径 = r PA = a PB = b PC = c PD = d とすると、次の式が成り立ちます。
4r2 = a2 + b2 + c2 + d2
(証明)
-
ABに平行な直径 と CDに平行な直径 を作図します。

OC = r FO = PE ∠CFO = ∠APD = 90°
PA+PB = 2×(PA+PE) → PE = (PB−PA)/2
PC+PD = 2×CF → CF = (PC+PD)/2
方べきの定理:
円周角の定理より ∠DAB = ∠DCB ∠ADC = ∠ABC
よって、 △PAD と △PCB は相似。
よって、 PA : PC = PD : PB → PA×PB = PC×PD
OC2 = CF2 + OF2 より、 r2 = (PC+PD)2/4 + (PB−PA)2/4
よって、 4 r2 = PC2 + PD2 + PB2 + PA2 + 2×(PC×PD−PA×PB)
よって、 4 r2 = PC2 + PD2 + PB2 + PA2
よって、 4r2 = a2 + b2 + c2 + d2
幾何学 へ戻る