PC.37.c: Use the Pythagorean and double angle identities to prove other simple identities.