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