sin(2x) = (2*tan(x))/(1+tan(x)^2)有这个公式吗?求证明