The Pythagorean trigonometric identity is a trigonometric identity expressing the Pythagorean theorem in terms of trigonometric functions.
Pythagorean trigonometric identity в английской Википедии) или просто теоремой Пифагора.