两直线夹角公式是怎么推导的?

题目

两直线夹角公式是怎么推导的?
就是这个公式：tanα=|k1-k2/1+k1k2|绝对值

答案

直线顷斜角a,b的tan值为：k1,k2
他们的夹角为α＝｜a-b｜
tanα=tan(|a-b|)
=|tan(a-b)|
=|(tana-tanb)/[1+tana tanb]|
=|k1-k2/1+k1k2|