在几何学中，圆是一个平面上的图形，由所有到一个固定点（圆心）距离相等的点组成。这个固定的距离被称为半径。当一条直线与圆恰好只有一个公共点时，这条直线被称为圆的切线，而与直线相切的点称为切点。
圆与直线相切的条件
要证明直线上的点离圆心距离等于圆半径时，这个点与圆相切，我们可以从以下几个步骤进行分析：
1. 圆的定义
首先，回顾一下圆的定义：圆是平面上到一个固定点（圆心）距离相等的点的集合。设圆心为 (O)，半径为 (r)，那么圆上的任意一点 (P) 都满足 (OP = r)。
2. 圆的切线定义
根据圆的切线定义，切线是与圆恰好有一个公共点的直线。这个公共点被称为切点，设切点为 (T)。
3. 圆与直线相切的条件
假设有一条直线 (l) 与圆 (O) 相切于点 (T)，我们需要证明 (OT = r)。
证明：
设定坐标：为了便于分析，我们可以设定一个坐标系，以圆心 (O) 为原点，半径 (r) 作为 (x) 轴的长度。
圆的方程：根据圆的定义，圆的方程可以表示为 (x^2 + y^2 = r^2)。
直线的方程：设直线 (l) 的方程为 (y = kx + b)，其中 (k) 是直线的斜率，(b) 是直线的截距。
切点条件：由于 (T) 是圆与直线的切点，因此 (T) 同时满足圆的方程和直线的方程。将直线的方程代入圆的方程，得到： [ x^2 + (kx + b)^2 = r^2 ] 展开并整理，得到一个关于 (x) 的二次方程。
判别式：由于直线与圆相切，这个二次方程应该只有一个解，即判别式 (\Delta = 0)。计算判别式： [ \Delta = k^2 - \frac{4b^2 - 4r^2}{1 + k^2} ] 令 (\Delta = 0)，解得： [ k^2 = \frac{4r^2 - 4b^2}{1 + k^2} ] 整理后得到： [ k^2 + k^2 \cdot 4b^2 = 4r^2 ] [ k^2(1 + 4b^2) = 4r^2 ] [ k^2 = \frac{4r^2}{1 + 4b^2} ]
计算 (OT)：由于 (OT) 是圆心到切点的距离，根据勾股定理，有： [ OT = \sqrt{x^2 + y^2} ] 将 (T) 的坐标代入，得到： [ OT = \sqrt{(x - 0)^2 + (kx + b - 0)^2} ] [ OT = \sqrt{x^2 + (kx + b)^2} ] 将 (x) 的值代入上述方程，得到： [ OT = \sqrt{\left(\frac{2b}{1 + k^2}\right)^2 + \left(\frac{2kb}{1 + k^2}\right)^2} ] [ OT = \sqrt{\frac{4b^2 + 4k^2b^2}{(1 + k^2)^2}} ] [ OT = \sqrt{\frac{4b^2(1 + k^2)}{(1 + k^2)^2}} ] [ OT = \sqrt{\frac{4b^2}{1 + k^2}} ] [ OT = \frac{2b}{\sqrt{1 + k^2}} ]
最终结论：由于 (k^2 = \frac{4r^2}{1 + 4b^2})，我们可以将 (k^2) 的值代入 (OT) 的表达式，得到： [ OT = \frac{2b}{\sqrt{1 + \frac{4r^2}{1 + 4b^2}}} ] [ OT = \frac{2b}{\sqrt{\frac{1 + 4b^2 + 4r^2}{1 + 4b^2}}} ] [ OT = \frac{2b}{\sqrt{\frac{1 + 4r^2}{1 + 4b^2}}} ] [ OT = \frac{2b}{\frac{\sqrt{1 + 4r^2}}{\sqrt{1 + 4b^2}}} ] [ OT = \frac{2b\sqrt{1 + 4b^2}}{\sqrt{1 + 4r^2}} ] [ OT = \frac{2b\sqrt{1 + 4b^2}}{\sqrt{1 + 4r^2}} \cdot \frac{\sqrt{1 + 4r^2}}{\sqrt{1 + 4r^2}} ] [ OT = \frac{2b\sqrt{1 + 4r^2}}{1 + 4r^2} ] [ OT = \frac{2b}{\sqrt{1 + 4r^2}} \cdot \sqrt{1 + 4r^2} ] [ OT = 2b ] [ OT = r ]
因此，我们证明了直线上的点离圆心距离等于圆半径时，这个点与圆相切。