|
Математическое просвещение, сер. 3, 2014, выпуск 18, страницы 205–216
(Mi mp827)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 3 статьях)
Наш семинар: математические сюжеты
Компьютерное доказательство теоремы об инцентрах
Н. Н. Осипов Сибирский федеральный университет (Красноярск)
Аннотация:
В произвольном треугольнике провели биссектрисы и в каждый из шести образовавшихся треугольников вписали окружность. Теорема об инцентрах утверждает, что центры этих шести окружностей лежат на одной кривой второго порядка. В статье приводится вычислительное доказательство этой теоремы и её обобщения с использованием системы компьютерной алгебры Maple. Для эффективной реализации вычислений применяется алгебра комплексных чисел.
Образец цитирования:
Н. Н. Осипов, “Компьютерное доказательство теоремы об инцентрах”, Матем. просв., сер. 3, 18, Изд-во МЦНМО, М., 2014, 205–216
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mp827 https://www.mathnet.ru/rus/mp/v18/s3/p205
|
Статистика просмотров: |
Страница аннотации: | 190 | PDF полного текста: | 208 |
|