Pythagorean trigonometric identities