-1
運用三角函數(shù)證明 k=tana tan(a+90)=-cota tana*(-cota)=-1
設(shè)原來直線與x軸正軸夾角為t,斜率為tant
則法線與x正軸夾角為90+t,斜率為tan（t+90）
tant*tan（t+90）=-tanttan(180-90-t)=-tant*tan(90-t)=-tant*cott=-1
得證
或者
證明：設(shè)(x1,y1)為平面直角坐標系中直線l1上一點,l1斜率k1= y1/ x1,對于與l1垂直的直線l2的斜率k2(=y2/x2)而言,y2可用 x1,x2可用 -y1、或y2可用-x1,x2可用y1替換,
∴k1 k2=( y1/ x1)•( y2/x2) =( y1/ x1)•( x1/ -y1)= -1; 或者
k1 k2=( y1/ x1)•( y2/x2) =( y1/ x1)•( -x1/ y1)= -1 證畢.