设原来直线与x轴正轴夹角为t,斜率为tant
则法线与x正轴夹角为90+t,斜率为tan（t+90）
tant*tan（t+90）=-tanttan(180-90-t)=-tant*tan(90-t)=-tant*cott=-1
得证