怎样证明三角形垂心性质