How do you show that #2 \sin x \cos x = \sin 2x#? is true for #(5pi)/6#?