因为tana,tanb是x^2+6x+7=0的两根
所以tana+tanb=-6,tanatanb=7
tan（a+b）=（tana+tanb）/（1-tanatanb）=-6/（1-7）=1
所以sin(a+b)=cos(a+b)