证明三角形三边上的高三线共点