Solution to 8.3.45

sin(2x)/2*sin(x) =
(2*sin(x)*cos(x))/2*sin(x)=
(sin(x)*cos(x))/cos(x)=
cos(x)

hope that helps..