两条直线夹角公式怎么来的

设直线l1、l2的斜率存在，分别为k1、k2，且夹角不是90度。l1到l2的转向角为α，则tanθ=(k2-k1)/(1+k1k2)l1与l2的夹角为α，则ta...