定理证明示意图（看上图）

欲证AC = AB，只需证△ABO≌ △ACO。

如图，OC、OB为圆的两条半径，又∠ABO = ∠ACO=90°

在Rt△ABO和Rt△ACO中

∴Rt△ABO ≌ Rt△ACO（H.L）

∴AB=AC，且∠AOB=∠AOC，且∠OAB=∠OAC。[3]

切线长定理推论：

①圆的外切四边形的两组对边的和相等；

②从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角。

证明：连结AC,BD,由圆周角定理的推论,得∠A＝∠D,∠C＝∠B.（圆周角推论2: 同(等)弧所对圆周角相等.） ∴△PAC∽△PDB,∴PA∶PD＝PC∶PB,PA·PB＝PC·PD