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