用坐标法证明三角形的三条高线相交于一点