tan(π/4)==2tan(π/8)/[1-tan(π/8)^2]=1
2tan(π/8)=1-tan(π/8)^2
[tan(π/8)+1]^2=2
tan(π/8)=√2 - 1