How do you prove the identity tan(xπ4)=tanx11+tanx?