证明在直角三角形中，斜边是外接圆的直径（泰勒斯定理）。