✍️

Half angle and double angle identities