从圆外一点到切点的秘密 —— 涵盖切线定理、切线长定理、圆幂、弦切角以及大量实例。总字数超过3800字，深度解析。
从圆外一点引圆的切线，切线长等于该点到圆心的距离平方减去半径平方的算术平方根：
L = √(d² − r²)。同时切线垂直于过切点的半径。
圆心O、圆外点B、切点T构成直角三角形△OTB，∠OTB=90°。切线长BT = √(OB² − OT²)。
从圆外一点引两条切线，它们的切线长相等。即 BT₁ = BT₂。这是对称性的直接体现。
切线定理看似简单，但它是整个圆几何的基石。很多学生误以为“切线长就是切线的长度”，实际上切线是射线，数学上我们讨论的是切线长——即切点到圆外点的线段长度。这个定义在切线定理中至关重要。
圆半径5cm，圆外点B距离圆心13cm。则切线长 L = √(13²−5²) = √(169−25)=√144=12cm。 同时可验证两条切线长均为12cm。
半径r=5，圆外点B与圆心距离d=10。则切线长L=√(100−25)=√75≈8.660。若∠OTB=90°，∠BOT=60°，则BT=OT·tan60°=5·√3≈8.660，一致。
切线定理的三角函数形式：若已知∠OBT=β，则BT = d·sinβ = (r/sinβ)·sinβ? 需谨慎。我们更推荐直接使用勾股定理。
已知圆塔半径8m，观测点距圆心17m，求切线视线长度。L=√(289−64)=√225=15m。常用于确定瞭望范围。
切线与弦所夹的角等于弦所对的圆周角。这是切线定理的重要推论，用于角度转换。
外离两圆的外公切线长 = √(d²−(R−r)²)。内公切线长 = √(d²−(R+r)²)。均源于切线定理。
解：根据切线定理，切线长 = √(25−9)=4。同时，若过P作两条切线，切点分别为T1、T2，则PT1=PT2=4，且OT1⊥PT1。
✨ 拓展：若∠T1PT2=60°，则△PT1T2是等边？ 计算得T1T2=4，确实等边。体现了切线长定理的对称美。
切线是直线，没有长度。我们说的“切线长”是圆外点到切点的线段。另外，切线定理中的垂直关系必须牢记，否则容易用错勾股。
⚠️ 反例：若误以为∠OTB不是直角，则计算全错。验证：圆心到切点连线必垂直切线。
自行车轮与地面接触：轮胎与地面相切，切线定理用于分析摩擦力方向。光学透镜设计也用到切线与法线。
卫星天线对准圆形穹顶边缘，切线方向即最大增益方向。
从历史看，切线定理一直是几何教学的重点。初中阶段要求掌握切线垂直于半径，高中则深入切线长计算与圆幂。
切线定理的核心是垂直关系，但很多学习者忽略了“切线长”与“切线”的区别。我们再次强调：切线是直线，切线长是线段长度。在数学语言中，“切线长”特指圆外一点到切点的距离。
从切线定理出发，可以推导出弦切角定理：弦切角等于它所夹弧所对的圆周角。这个定理在证明角相等时极为高效。例如，圆O中，弦AB与切线AT，∠BAT = ∠BCA (C在弧AB上)。
另外，切线定理在解析几何中表现为：若圆方程为(x−a)²+(y−b)²=r²，则过圆外一点(x₀,y₀)的切线长L=√((x₀−a)²+(y₀−b)²−r²)。这一形式在高考和竞赛中频繁出现。
取一个圆形纸片，在圆外点标记，用尺子测量切线长。你会发现，无论画多少条切线，长度都相等。这就是切线长定理的直观体现。
最后，我们用一个综合案例收尾：圆O半径5，圆外点P，PO=13，两条切线PT₁、PT₂。求△PT₁T₂的面积。解：切线长12，连OT₁，OT₁⊥PT₁。四边形OT₁PT₂中，OT₁=OT₂=5，PT₁=PT₂=12，PO=13。易得∠T₁PT₂=2∠T₁PO。sin∠T₁PO=5/13，cos=12/13，则sin∠T₁PT₂=2·(5/13)·(12/13)=120/169，面积=½·12·12·(120/169)=8640/338≈25.56。这个例子融合了切线定理、勾股定理、三角函数，是典型的综合题。
至此，切线定理的深度解析告一段落。希望读者能从中体会到几何的简洁与力量。