切线定理-切线定理

切线定理，说白了就是画圆时切线那种“一擦就掉”的特性。别被那些数学课本里堆叠了一堆严密推导吓到，实际上就一句话：圆外一点引出的切线长度，等于它半径做垂线切出来的那段线段。想象一下，你手里有一个圆，站在外面，割断了它。
要是你往圆心那方向剪一刀，把圆心正对的那个点切下来，这段线段的长度，一辈子等于你从圆心到切点上那个小直角三角形的直角边。至于那条切线本身，它是个无限可长的射线，数学上一般不聊聊它的长度，要不就我们要算切线长定理，这时候才需求用到勾股定理。 咱们不整那些虚头巴脑的“起初其次”，直接看画面。画个图吧，一个圆，圆心在 O，你在 B 点站着，B 点离 O 有一段距离。你从 B 点往旁边画一条线，跟圆只接触一个点，叫 T，这就叫切线。
那这条线是从哪儿来的呢？得先画一条线段 OT，垂直于切线 T，垂足就是 T。
这时候，BE 的长度，就是 OT 的长度。
这个结论听起来挺好办，但中间那层逻辑，实际上 кроch 里全是绕。 本来当作要证明圆心到切点的距离等于切线长，结局发现这是废话。切线本身就是从圆心出发延伸出去的，自然的，圆心到它起点的距离，就是切线长。难题在于如何证明这条切线垂直于半径。初中课本上，要是让你在圆上找点，让你证垂直，那简直是找死。你得用圆幂定理要么相似三角形才能证出来。
实际上更直观的，是用三角函数。设圆心角是 $alpha$，半径是 $r$，切线长是 $x$。根据圆的对称性，三角形 OTT'（假设另一条切线）和三角形 OBT 是全等的直角三角形。
那 $tan(alpha/2)$ 这个角，它把切线分成了两半，每半就是 $x$。而 $tan(alpha/2)$ 正好等于 $x/r$。
故此 $x = r tan(alpha/2)$。
这玩意儿如何算都绕，要不就你有计算器，否则就是死循环。 举个具体例子吧，假设圆半径是 5 厘米，你在圆外站了 10 厘米远。
这时候，圆心到切点的距离就是 5 厘米。切线长如何算？$tan(alpha/2) = 5 / 10 = 0.5$。切线长就是 $5 times 0.5 = 2.5$ 厘米。
这就对了，勾股定理算出来也是 $5^2 + 2.5^2 = 25 + 6.25 = 31.25$，开根号约等于 5.59，这是斜边 OB 的长度，而 $10^2 + 2.5^2 = 122.5$，不对，什么的，我刚刚的模型错了。 得重新理一下。设圆心为 O，B 为圆外点，BT 为切线，T 为切点，OT 垂直于 BT。连接 OB。根据切线性质，$triangle OTB$ 是直角三角形，$angle OTB = 90^circ$。
那切线长就是 $BT$，半径是 $OT$。我们需求的是 $BT$ 的长度。在直角 $triangle OTB$ 中，$OB$ 是斜边，$OT$ 是直角边，$BT$ 也是直角边。
什么的，切线长定理说的是：从圆外一点引圆的两条切线，它们的切线长相等。
这意味着 $BT = BT'$，其中 $T'$ 是另一条切线的切点。 那如何算出 $BT$ 的具体数值呢？你得知道圆心角 $angle TOB$ 的度数。假设这个角是 $120^circ$。
那这就费事了，出于圆外角公式是 $frac{1}{2} |360 - 120| = 120^circ$，还是没法直接算出边长。
要不就... 你还知道 $angle B$ 的度数。
比方说，要是你站在 B 点，视线刚好看到圆的边缘，那 $angle OBT = 30^circ$。
这时候，$angle BOT = 60^circ$（出于 $angle BTO = 90^circ$）。
那么，在直角 $triangle OTB$ 中，$OT = OB cdot cos(30^circ) = 10 cdot frac{sqrt{3}}{2} = 5sqrt{3}$。
那切线长 $BT = OB cdot sin(30^circ) = 10 cdot frac{1}{2} = 5$。
哎，如此一算，切线长居然等于圆心到 B 点的距离的一半？ 这说明啥？说明你的站位角度挺特殊。
一般情况，$BT = sqrt{OB^2 - OT^2}$。
要是 $OB = 10$，$OT = 5sqrt{3}$，那 $BT = sqrt{100 - 75} = sqrt{25} = 5$。确实如此。
故此这个结论不是瞎蒙的，而是几何推导出来的必然。 不过，要是你想知道切线倾斜角的正切值是多少，那还得用那个 $frac{90 - alpha/2}{1 + tan(90 - alpha/2)}$ 的公式。
这玩意儿忒复杂了，直接写个程序算了。假设 $alpha = 120^circ$，那 $alpha/2 = 60^circ$，$tan(60^circ) = sqrt{3}$。
那倾斜角的正切就是 $frac{90 - 60}{1 + sqrt{3}} = frac{30}{1 + sqrt{3}} = frac{30(sqrt{3}-1)}{2} = 15sqrt{3} - 15$。
这个数大约是 $1.5 times 1.732 - 1.5 approx 2.6 - 1.5 = 1.1$。
故此切线大约是 1 水平，1 斜一点点。 再讲个反例，要么说是特殊情况。
要是你站在圆心正上方，那切线就是水平的。
这时候圆心角是 $180^circ$，切线长就是半径，也就是垂直距离。
要么说，要是你画一条线，让它和切线重合，那圆心角是 $0^circ$，那切线长就是无穷大。
这在几何上是有意义的，但在实际测量中，你就没法画出一条既等于半径又等于无限长的线了。
故此数学上一般只聊聊有限长度的情况。 还有个小细节，切线定理里，那个直角符号 $alpha$ 到底指代哪个角。有些教材会画成 $alpha$ 是圆心角，那么切线长 $l = r tan(alpha/2)$。有的教材可能把 $alpha$ 当作切线与过圆心的线的夹角，那公式就变成 $l = r tan(alpha/2)$ 的变体，要么直接用 $cot$。
反正都有理，就是习惯不同。 不过，要是你非要问切线长和圆心距的关系，那肯定得用勾股定理。设 $d$ 是圆心距，$r$ 是半径，$L$ 是切线长。$L = sqrt{d^2 - r^2}$。
这就忒干脆了，不需求任何余弦定理的复杂表达，就是一个平方的运算。 最终总结一下，切线定理就是告诉你，圆外一点切线的长度，等于圆心到该点的连线在切线上的投影长度。
这听起来挺抽象，实际上就是一条直线的几何性质。别被那些复杂的证明过程绕晕了，画个图，量个数据，就知道它有多好办了。