ДОКАЗАТЕЛЬСТВО ГЕОМЕТРИЧЕСКИХ ТЕОРЕМ С ПОМОЩЬЮ КОМПЬЮТЕРНОЙ АЛГЕБРЫ
14 сентября 2018
204
| Предметная область | — |
| Выходные данные | — |
| Ключевые слова | — |
| Вид публикации | Статья |
| Контактные данные автора публикации | ТАРАСОВ ВЛАДИМИР НИКОЛАЕВИЧ, ПАВЛОВА ЛЮДМИЛА АЛЕКСАНДРОВНА |
| Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=18958080 |
Аннотация
Некоторые геометрические теоремы можно задавать в координатной форме как полиномы алгебры и доказывать алгоримическими методами. В статье с помощью компьютерной алгебры доказываются теоремы Паскаля и Паппа Александрийского, а также устанавливаются некоторые свойства точки Торричелли для произвольного тетраэдра.
Для того чтобы оставить комментарий необходимо авторизоваться.