视频字幕
圆的切线是数学中的重要概念。切线是与圆只有一个公共点的直线，这个公共点叫做切点。切线有两个重要特点：第一，切线与圆只有一个公共点；第二，过切点的半径垂直于切线，这是切线最重要的性质。
证明一条直线是圆的切线有两种主要方法。第一种是垂直法，这是最常用的方法，需要证明直线垂直于过该点的半径。第二种是距离法，需要证明圆心到直线的距离等于圆的半径。这两种方法都基于切线的基本性质。
现在我们来看第一个例题，使用垂直法证明切线。已知圆O，点A在圆上，线段AB，其中OA等于3，OB等于5，AB等于4。我们要证明AB是圆O的切线。首先连接OA，然后计算OA的平方加AB的平方等于9加16等于25，再计算OB的平方等于25。由于OA的平方加AB的平方等于OB的平方，根据勾股定理的逆定理，角OAB等于90度，因此AB垂直于半径OA，所以AB是圆O的切线。
现在我们来看第二个例题，使用距离法证明切线。已知圆O的圆心在原点，半径等于5，直线L的方程为3x加4y减25等于0。我们要证明直线L是圆O的切线。使用点到直线的距离公式，圆心到直线的距离等于绝对值3乘0加4乘0减25除以根号下3的平方加4的平方，计算得到距离等于25除以5等于5。由于圆心到直线的距离等于半径5，所以直线L是圆O的切线。
通过今天的学习，我们掌握了圆的切线的重要特点和证明方法。切线与圆只有一个公共点，过切点的半径垂直于切线。证明切线主要有两种方法：垂直法和距离法。垂直法需要证明直线垂直于过该点的半径，距离法需要证明圆心到直线的距离等于半径。这些切线性质在几何证明中有着广泛的应用。