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