证明三垂线交于一点