Поворот точки вокруг начала координат

Рассмотрим на координатной плоскости окружность радиуса 1 с центром в начале координат. Ее называют единичной окружностью. Введем понятие поворота точки единичной окружности во круг начала координат на угол α радиан, где α – любое действительное число.

1.  1.  Пусть α>0. Предположим, что точка, двигаясь поединичной окружности от точки Р против часовой стрелки, прошла путь длиной α (рис. 1). Конечную точку пути обозначим М.

В этом случае будем говорить, что точка М получена из точки Р поворотом вокруг начала координат на угол α радиан.Пусть α

 Примеры.