把相交成90度的两条直线互相垂直改写成如果那么的形式