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