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