三顶点为A,B,C
可求过A且与yBC垂直的直线方程y1
可求过B且与yAC垂直的直线方程y2
可求过C且与yAB垂直的直线方程y3
可解y1与y2交点(a,b)
证明(a,b)在y3上