1.一次函数k的乘积=-1
2.解题过程:
3.设原来直线与x轴正轴夹角为t,斜率为tant
4.则法线与x正轴夹角为90+t,斜率为tan(t+90)
5.tant*tan(t+90)=-tanttan(180-90-t)=-tant*tan(90-t)=-tant*cott=-1
6.得证。