已知tana tanb是方程x^2+6x+7=0的两个根,求证sin(a+b)=cos(a+b)