Source: https://www.alamo.edu/contentassets/35e1aad11a064ee2ae161ba2ae3b2559/analytic/math2412-double-angle-power-reducing-half-angle-identities.pdf