図において次が成り立つ PC2/PS + PC2/PT = 2PO PS + PT = 2PI なので PC2×PI = PS×PT×PO を示せばよい 補題 C から AB に引いた垂線の足を J, I から AC に引いた垂線の足を K, I から BC に引いた垂線の足を L とおく このとき、次が成り立つ ①　PC = PI ②　P, K, L は一直線上にある ③　I,J,K,L は同一円周上にある ④　PC2 = PJ×PO PC2×PI = PS×PT×PO の証明 戻る