Точка данной окружности определяется углом, на который повернулся вектор единичной длины. Косинус
А теперь я совершу обещанное преобразование: умножу все точки плоскости на комплексное число cos φ +
Напомню, что при умножении комплексных чисел длина получаемого вектора равна произведению длин перемножаемых
Подставим слева в формулу cos
Ho cos2 φ + sin2 φ = 1 (основное тригонометрическое тождество, следствие теоремы Пифагора). Получаем
Мы домножаем на единицу, а значит, длина вектора не изменяется.