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