Chapter 8.8, Problem 25E

Show that

$J_{1/2}\left(x\right)={\left(2/\pi x\right)}^{1/2}\sin x$ and

$J_{-1/2}\left(x\right)={\left(2/\pi x\right)}^{1/2}\cos x$.