Как известно, между множеством точек на Евклидовой плоскости и множеством комплексных чисел существует взаимно-однозначное соответствие. Оно позволяет рассматривать некоторые геометрические объекты, такие как прямая или окружность, как множество решений соответствующих уравнения в комплексных числах. Множества точек, соответствующие пересечениям таких объектов, будут описываться решениями систем уравнений. Также, функции комплексного аргумента позволяют в короткой алгебраической форме записывать представления преобразований Евклидовой плоскости. Данный набор инструментов позволяет подойти к записи условий геометрических задач с точки зрения символьной алгебры.
Лазо А.Д. Автоматическое решение геометрических задач методом символьных вычислений // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/9648