到角公式，解析几何术语，若称将直线l₁逆时针方向旋转，到与l₂第一次重合时所转的角为θ，则tanθ=(k₂-k₁)/(1+k₁·k₂)。主要用于解决两直线对称的问题。
到角公式，解析几何术语，若称将直线l₁逆时针方向旋转，到与l₂第一次重合时所转的角为θ，则tanθ=(k₂-k₁)/(1+k₁·k₂)。主要用于解决两直线对称的问题。
证明。如图1，把上面的图放到坐标平面内，并设直线
的倾斜角为，直线的倾斜角为， 。
若直线
的斜率为，直线的斜率为，则有：证毕。
“到角”是带有方向的角，故叫有向角。公式的分子部分是逆时针方向箭头所指的直线斜率减去另一斜率，与夹角公式不同。
与到角相类似的夹角是只是大小，只是两角之差的绝对值。应用于求对称直线的斜率。
已知直线
的斜率为 ，又知道直线 的斜率为 ，为了求直线 关于直线 的对称直线 的斜率
温馨提示：
