假设直线1,斜率k1,与x夹角为a
那么直线2与直线1垂直,与x轴夹角为a 90°
tana=k1
k2=tan(a 90)=tan(a-90°)=- tan(90°-a)= -1/tana
所以k1*k2=-1