对的,可以用反证法证明
反设不垂直,那么推出原来的两条直线不平行,所以矛盾
那么就是垂直的