切线长定理及推论
切线长定理是初等平面几何中的一个重要定理，它描述了从圆外一点引出的两条切线段长度的关系。以下是切线长定理及其推论的概述：
切线长定理
定理 ：从圆外一点引圆的两条切线，它们的切线长相等。
切线长定理的推论
1. 圆的外切四边形的两组对边的和相等 。
2. 圆心和圆外一点的连线平分两条切线的夹角 。
3. 过圆心垂直于切线的直线必过切点 。
4. 过切点垂直于切线的直线必过圆心 。
5. 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等 。
证明过程简述
证明切线长相等可以通过证明两个直角三角形全等来实现。设圆心为O，圆外一点为P，切点分别为A和C，连接OA和OC，由于OA和OC是半径，所以OA = OC。又因为∠OAP和∠OCP都是直角，根据HL全等条件，我们可以得出ΔOAP ≌ ΔOCP，从而得出AP = CP，即切线长AC = AB。
应用
切线长定理及其推论在解决与圆相关的问题时非常有用，例如在计算圆内接四边形的面积、解决与圆和切线相关的几何问题时。
其他小伙伴的相似问题：
切线长定理在实际问题中的应用案例有哪些？
如何用切线长定理求解几何图形？
切线长定理的几何语言表述是什么？
