垂心の存在の証明