Prove the following: 19. sin x + sin 3x / cos x + cos 3x = tan 2x