因?yàn)閠an(a+b)=2tanb；
3sina=sin(a+2b),即
3sin[(a+b)-b]=sin[(a+b)+b];
展開得3[sin(a+b)cosb-cos(a+b)sinb]=sin(a+b)cosb+cos(a+b)sinb;
2sin(a+b)cosb=4cos(a+b)sinb;
tan(a+b)=2tanb;
知等式成立.