设 θ=arctg(1/(2^0.5))
tan θ=1/(2^0.5)
tan2θ=2*(2^0.5)
tan2θ=2tanθ/（1-(tan θ)^2)
得证