Derived from the Reduction Identity which was also derived from the Double Angle Identity

used if you have a trigonometric function where you have half of a Unit Circle angle

Note that these identities are in form. You will have to manually determine which quadrant the angle is in, and validate these sine values. You cannot have 2 sine values, find which one is the fake.