Trigonometric identities (2), double angle formula (3), tan(2x) = (2tanx)/[(1- tan^2 (x)]

Let's first show that tanx = sinx/cosx, then we can derive the formula for tan2x by using the double angle formulas for sin2x and cos2x, that we have already proved.