The half angle cosine formula Abbreviation: bjcos \cos\dfrac{ \alpha}{2} = \pm \sqrt{\dfrac{1+\cos \alpha }{2} } or