Here we derive several cofunction identities, starting from the cosine difference identity.
No download links available.