Единичная полуокружность

Единичная полуокружность – полуокружность с радиусом 1 и центром в начале координат. Для координат всех точек на окружности, согласно теореме Пифагора, выполняется равенство: