cos2x=1/1+tan^2是怎样推出来的?