Геометрия комплексных чисел: повороты, гомотетия и уравнения фигур на плоскости
Мы продолжаем наш курс «Комплексные числа: интенсивная подготовка к олимпиадам». В прошлых статьях мы научились складывать, умножать и извлекать корни из комплексных чисел. Теперь пришло время увидеть истинную красоту этого инструмента. Комплексные числа — это не просто алгебра, это геометрия, записанная на языке формул.
Для олимпиадника этот метод (часто называемый «методом комплексных чисел» или просто «комплексами») является супероружием. Задачи на повороты, правильные многоугольники и доказательства коллинеарности, которые в классической геометрии требуют дополнительных построений, здесь решаются простым алгебраическим счетом.
Векторная интерпретация и расстояние
Как мы помним, каждому комплексному числу соответствует точка на плоскости или вектор , идущий из начала координат в эту точку.
Сложение комплексных чисел геометрически соответствует сложению векторов по правилу параллелограмма. Но что насчет разности?
Разность двух комплексных чисел соответствует вектору, соединяющему точку с точкой .
где — вектор от точки к точке , а — разность соответствующих комплексных чисел.
Отсюда мгновенно следует формула расстояния между двумя точками. Расстояние — это длина вектора, а длина вектора в комплексных числах — это модуль.
где — расстояние между точками и , а — модуль их разности.
!Геометрический смысл разности двух комплексных чисел как вектора между точками.
Повороты: главное оружие
В декартовых координатах формула поворота точки на угол выглядит громоздко и требует матриц. В комплексных числах поворот — это просто умножение.
Поворот вокруг начала координат
Вспомним тригонометрическую форму. Умножение на число с модулем и аргументом не меняет длину вектора, но прибавляет к его аргументу. Это и есть поворот.
Чтобы повернуть точку вокруг начала координат на угол против часовой стрелки, нужно умножить её на .
где — новая точка после поворота, — исходная точка, — угол поворота, — поворотный множитель.
Поворот вокруг произвольной точки
Что делать, если центр поворота не в начале координат, а в некоторой точке ? Мы используем простой трюк: перенесем начало координат в , повернем, а затем вернем обратно.
Вектор, который нужно повернуть — это . После поворота он станет . Но этот новый вектор должен исходить из точки , поэтому мы прибавляем обратно.
где — образ точки, — центр поворота, — прообраз, — угол поворота.
Это формула, которую нужно знать наизусть. Она позволяет решать задачи про квадраты и правильные треугольники в одну строку.
> Пример: Если — квадрат с вершинами в порядке обхода против часовой стрелки, то вершина получается из поворотом вокруг на (ошибка, это даст или в зависимости от направления) — давайте точнее. Вектор переходит в вектор поворотом на (). Нет, переходит в поворотом на только если порядок вершин . Для стандартного : вектор получается из вектора поворотом на (). Значит, , откуда .
Гомотетия и спиральное подобие
Гомотетия с центром в начале координат и коэффициентом () — это просто умножение на .
где — образ, — коэффициент гомотетии (растяжения/сжатия), — исходная точка.
Если мы объединим поворот и гомотетию, мы получим поворотную гомотетию (или спиральное подобие). Это преобразование переводит точку в относительно центра с коэффициентом и углом .
где — вектор результата, — коэффициент растяжения, — оператор поворота, — исходный вектор.
!Иллюстрация спирального подобия: одновременный поворот и растяжение вектора.
Углы и коллинеарность
Как записать угол между прямыми или векторами? Угол между векторами и равен разности их аргументов.
где — ориентированный угол между векторами, — главное значение аргумента, а дробь представляет собой отношение двух комплексных чисел (векторов).
Условие коллинеарности трех точек
Три точки лежат на одной прямой тогда и только тогда, когда вектор коллинеарен вектору . Это значит, что угол между ними равен или . Следовательно, их отношение — чисто действительное число.
где означает принадлежность множеству действительных чисел, а черта сверху — операцию комплексного сопряжения. Равенство числа своему сопряженному — критерий его действительности.
Условие перпендикулярности
Отрезок перпендикулярен отрезку , если отношение соответствующих векторов — чисто мнимое число (аргумент ).
где — множество чисто мнимых чисел.
Уравнения фигур
В олимпиадных задачах часто нужно записать уравнение прямой или окружности не в координатах , а через и .
Уравнение окружности
Окружность — это множество точек , удаленных от центра на расстояние .
где — точка на окружности, — центр, — радиус.
Возведем обе части в квадрат, используя свойство :
где и — сопряженные значения для текущей точки и центра соответственно.
Раскрыв скобки, получаем общий вид уравнения окружности:
Уравнение прямой
Прямую можно задать параметрически, проходящую через точки и :
где — действительный параметр.
Однако чаще используется общее уравнение прямой в комплексных числах. Из условия коллинеарности точек можно вывести:
Это уравнение имеет структуру:
где — некоторое комплексное число (определяющее нормаль к прямой), — его сопряженное, — действительное число ().
Практическое применение: Теорема Наполеона
Чтобы продемонстрировать мощь метода, рассмотрим классическую задачу. На сторонах произвольного треугольника построены внешним образом правильные треугольники. Докажите, что их центры образуют правильный треугольник.
В классической геометрии это требует сложных построений. В комплексных числах мы просто обозначаем вершины исходного треугольника . Центры правильных треугольников можно выразить через поворот. Например, центр треугольника на стороне получается поворотом вокруг на и масштабированием, или проще — через корни из единицы третьей степени.
Пусть . Тогда вершины правильного треугольника связаны соотношением. Проведя выкладки (которые мы оставим для самостоятельного упражнения в качестве вызова), вы получите, что сумма векторов сторон итогового треугольника равна нулю с учетом поворота на , что и доказывает его правильность.
В следующей статье мы разберем дробно-линейные преобразования и инверсию — высший пилотаж в геометрии комплексных чисел.