Компьютерное доказательство теоремы об инцентрах

В произвольном треугольнике провели биссектрисы и в каждый из шести образовавшихся треугольников вписали окружность. Теорема об инцентрах утверждает, что центры этих шести окружностей лежат на одной кривой второго порядка. В статье приводится вычислительное доказательство этой теоремы и её обобщения с использованием системы компьютерной алгебры Maple. Для эффективной реализации вычислений применяется алгебра комплексных чисел.