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