How do you prove #cos 2x = (1-tan^2x)/(1+tan^2x)#?

Redirected from "Question #19ea3"