视频字幕
中垂线是几何学中的一个重要概念。它是指通过一条线段的中点，并且垂直于这条线段的直线。如图所示，线段AB的中点是M，通过点M并垂直于线段AB的直线就是线段AB的中垂线。
中垂线有一个重要性质：中垂线上任意一点到线段两个端点的距离相等。如图所示，点P在线段AB的中垂线上，那么点P到点A的距离等于点P到点B的距离，即d1等于d2。这个性质是中垂线的定义性质。
我们可以用圆规和直尺来作中垂线。首先以点A为圆心，任意长度为半径画圆弧。然后以点B为圆心，用相同的半径画圆弧，使两个圆弧相交于两点。最后连接这两个交点，得到的直线就是线段AB的中垂线。
中垂线在几何学中有重要应用。最典型的是确定三角形的外心。三角形三边的中垂线相交于一点，这个点就是外心，它到三个顶点的距离相等。以外心为圆心，到任一顶点的距离为半径，可以画出三角形的外接圆。
总结一下，中垂线是通过线段中点且垂直于该线段的直线。它具有重要性质：中垂线上任意一点到线段两端点的距离相等。中垂线在几何学中有广泛应用，特别是在确定三角形外心和解决几何作图问题中发挥重要作用。