已知tana、tanb是方程X^2+6X+7=0的两个根求证sin(a+b)=cos(a+b)能有个过程..