夹角与到角的区别就是，夹角为锐角，而到角顺时针为负角，逆时针为正角，这两个公式的证明需要结合倾斜角以及三家函数公式得到。不懂追问。
有些东西你记住就可以了，何必再去浪费精力证明也不难就是运算量有点大，利用斜率
