急求!两个一次函数夹角的所有三角函数值及证明