P は僊BC の辺 CB の延長線上の点とする。
このとき
(1) PA が 僊BC の外接円の接線とすると
    PA2 = PB・PC である。
逆に
(2) PA2 = PB・PC とすると
    PA は 僊BC の外接円の接線である。
次は同値である。
(イ) PA が 僊BC の外接円の接線
(ロ) ∠PAB = ∠ACB
(ハ) 儕AB ∽ 儕CA
(二) PA : PB = PC : PA
(ホ) PA2 = PB・PC

(イ), (ロ) については 前の話参照
戻る