设原来直线与x轴正轴夹角为t,斜率为tant。
则法线与x正轴夹角为90+t,斜率为tan(t+90)。
tant*tan(t+90)=-tanttan(180-90-t)=-tant*tan(90-t)=-tant*cott=-1。
得证。
斜率
又称“角系数”,是一条直线对于横坐标轴正向夹角的正切,反映直线对水平面的倾斜度。一条直线与某平面直角坐标系横坐标轴正半轴方向所成的角的正切值即该直线相对于该坐标系的斜率。如果直线与x轴互相垂直,直角的正切值为tan90°,故此直线不存在斜率(也可以说直线的斜率为无穷大)。当直线L的斜率存在时,对于一次函数y=kx+b(斜截式),k即该函数图像的斜率。