那个是根据两线夹角45度的正切等于1得出的:即tan45°=(Ko-K)/(1+Ko*K)=1,Ko为原直线斜率(=2);
从而 (2-K)/(1+2K)=1(如果写成K-2则应取绝对值);
直线的斜率不就是其与X轴夹角的正切吗,参考下图。