已知tanx,tany是方程x^2+6x+7=0的两个根,求证sin(x+y)=cos(x+y).