一、 切线长公式的推导公式详解

在平面几何中，切线长是指从圆外一点到切点的线段长度。理解切线长公式的推导公式是解决圆与直线位置关系问题的基础。以下我们通过严格的几何作图和代数运算来推导这一公式。

1. 建立几何模型

设圆的方程为 ，圆心 ，半径为 。设圆外一点 ，且 。

我们需要求点 到圆的切线长 。

2. 利用切线性质

设切点为 。根据切线的性质，半径 垂直于切线 。即 。

因此， 是一个直角三角形，其中：

  • 直角边 (半径)
  • 直角边 (切线长，待求)
  • 斜边 (点P到圆心的距离)

3. 应用勾股定理

在 Rt 中，根据勾股定理：

OA² + PA² = OP²

代入已知量：

r² + L² = OP²

4. 求解切线长公式

移项解得 ：

L² = OP² - r²

因此，切线长公式的推导公式最终结果为：

L = √(OP² - r²)

若点 的坐标为 ，则 ，故：

L = √(x₀² + y₀² - r²)

二、 切线长定理及其证明

除了计算切线长，切线长定理本身也是几何证明中的核心工具。该定理描述了从圆外一点引两条切线的性质。

切线长定理内容

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

证明过程

已知：、 是 的两条切线，、 为切点。

求证：，。

  1. 连接 、、。
  2. 因为 、 是切线，所以 ，。
  3. 在 Rt 和 Rt 中：
    • (半径相等)
    • (公共边)
  4. 根据 HL 定理（斜边、直角边对应相等），Rt Rt。
  5. 因此，，且 。

三、 切线长公式的实战应用

掌握切线长公式的推导公式后，我们需要将其应用于解决实际问题。以下是几种常见的应用场景。

示例：已知条件求切线长

题目：已知 的半径为 ，点 到圆心 的距离为 ，求点 到 的切线长。

解析：

根据切线长公式：

代入数据：。

答案：切线长为 。

示例：三角形内切圆与切线长

题目：在 中，。求 内切圆切点在 边上的切线长（即从顶点 到切点的距离）。

解析：

设切点在 上的切线长分别为 。

根据切线长定理：

三式相加： (半周长 )。

所以 。

结论：顶点到切点的距离等于半周长减去对边长。

示例：动点轨迹问题

题目：点 在直线 上运动，。求点 到 的切线长的最小值。

解析：

设 ，则 。

切线长 。

当 时， 取得最小值 。

五、 常见问题解答 (FAQ)

Q1: 切线长公式的推导公式是否适用于椭圆？

A: 不直接适用。椭圆没有简单的“切线长”概念，因为从一点到椭圆可以有两条切线，但长度不一定相等，且没有统一的简单公式。但对于圆，这是基本性质。

Q2: 如何快速判断点与圆的位置关系？

A: 计算点到圆心的距离 与半径 的关系。若 ，点在圆外，有两条切线；若 ，点在圆上，有一条切线；若 ，点在圆内，无切线。

Q3: 切线长定理在中考中常考吗？

A: 非常常见。常与全等三角形、勾股定理、三角函数结合考查，尤其是在解答题的最后几问中，作为辅助线构造的关键依据。