证明直角三角形斜边中点是外接圆圆心