1. 外心定义
三角形的三条边的垂直平分线一定相交于一点,这点是三角形外接圆圆心,即外心。
证明中垂线相交于一点:
∵XX′,YY′分别是△ABC的BC边与AC边的中垂线,
∴XX′,YY′必相交于一点,设为O(否则,XX′∥YY′,那么∠C必等于180°,这是不可能的).
∵OB=OC,OC=OA,∴OB=OA,
∴O点必在AB的垂直平分线ZZ′上,∴XX′,YY′,ZZ′相交于一点。
2. 求外心
代码:
def triangle_csc(pts): # pts是一个3行2列的二维数组,存储着一个三角形的三个顶点
rows, cols = pts.shape
A = np.bmat([[2 * np.dot(pts, pts.T), np.ones((rows, 1))],
[np.ones((1, rows)), np.zeros((1, 1))]])
# np.bmat从数组建立矩阵,