垂径定理：定义、证明和应用

垂径定理是一个重要的几何定理，它指出：如果一条线段垂直于一个圆的半径，那么它一定是该圆的弦。

更具体地说，如果在线段AB的中点M处作圆的半径CM，且CM与AB垂直相交，那么线段AB是以C为圆心的圆的弦。

证明

要证明垂径定理，我们需要利用以下两个事实：

1. 圆的半径长度相等。
2. 直角三角形中，斜边上的中线等于斜边的一半。

根据以上事实，我们可以得出以下证明过程：

1. 由于CM垂直于AB，因此三角形AMC和三角形BMC都是直角三角形。
2. 由于M是AB的中点，因此AM = BM。
3. 由于CM是圆的半径，因此CM = CM。
4. 根据直角三角形中斜边上的中线等于斜边的一半，我们可以得出AM = MC = BM。
5. 因此，AB = 2 * AM = 2 * CM = 2 * BM，也就是说AB是圆的弦。

应用

垂径定理在几何问题中有着广泛的应用，例如：

1. 求圆的直径或半径。
2. 判断一条线段是否为圆的弦。
3. 证明一些几何图形的性质，例如证明圆内接四边形的对角互补。

代码示例

以下Python代码使用matplotlib库绘制了一个圆和一个线段，其中线段AB在圆的中点M处与半径CM垂直相交，演示了垂径定理。

import matplotlib.pyplot as plt

# 圆心坐标
C = (0, 0)
# 半径长度
r = 5

# 线段的两个端点坐标
A = (-3, 4)
B = (3, -4)

# 绘制圆
circle = plt.Circle(C, r, fill=False)
fig, ax = plt.subplots()
ax.set_aspect('equal')
ax.add_artist(circle)

# 绘制线段
plt.plot([A[0], B[0]], [A[1], B[1]], 'b-')

# 绘制半径和垂直交点
M = ((A[0] + B[0]) / 2, (A[1] + B[1]) / 2)
plt.plot([C[0], M[0]], [C[1], M[1]], 'r--', label='Perpendicular')

# 添加标签
plt.text(*A, 'A', ha='right')
plt.text(*B, 'B', ha='left')
plt.text(*C, 'C', ha='right')
plt.text(*M, 'M', ha='right')

# 设置坐标轴范围
plt.xlim(-6, 6)
plt.ylim(-6, 6)

# 显示图形
plt.gca().set_aspect('equal', adjustable='box')
plt.legend()
plt.grid()
plt.show()

这段代码使用matplotlib库绘制了一个圆和一个线段，其中线段AB在圆的中点M处与半径CM垂直相交。运行代码后，可以看到线段AB是以C为圆心的圆的弦，符合垂径定理的要求。