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