Prove the following identities: sin 2x /(1 + cos 2x) = tan x