 Hypergeometric cosine identity

For compatible local branches near $x=0$,It follows by transforming the harmonic oscillator equation $y^{\prime \prime }+k^{2}y=0$ into the Gauss hypergeometric equation and selecting the solution with value one and derivative zero at the origin.