In exercise 4.2:3e, we studied the angle 34 and found that
Because tanx is defined as sinxcosx, we get immediately that