令(cos(pi/8))^2=A,
则 公式可以化简为:A^2-(1-A)^2=-1+2A
A=(cos(pi/8))^2=(1+cos(pi/4))/2
代入得结果为:(1+cos(pi/4))-1=cos(pi/4)=sqrt(2)