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