用解析几何证明三角形三条高交于一点