Основное тригонометрическое тождество.

Единичная полуокружность — дуга окружности с центром в точке O(0, 0) и радиусом равным 1, уравнение которой x^2 + y^2 = 1. Поэтому для любого угла α верно cos^2 α + sin^2 α = 1.