Pythagorean trigonometric identity