用a代替
即f(a/2)
=tan(a+π/4)=2cos2a
(tana+tanπ/4)/(1-tanatanπ/4)=2(cos²a-sin²a)
(tana+1)/(1-tana)=2(cos²a-sin²a)
上下乘cosa
且tanacosa=sina
所以(sina+cosa)/(cosa-sina)=2(cosa-sina)(cosa+sina)
显然sina+cosa≠0
所以(cosa-sina)²=1/2
cosa-sina=√2/2
-√2sin(a-π/4)=√2/2
a-π/4=-π/6
a=π/12