ДОКАЗАТЕЛЬСТВО ГЕОМЕТРИЧЕСКИХ ТЕОРЕМ С ПОМОЩЬЮ КОМПЬЮТЕРНОЙ АЛГЕБРЫ

14 сентября 2018
130
Предметная область
Выходные данные
Ключевые слова
Вид публикации Статья
Контактные данные автора публикации ТАРАСОВ ВЛАДИМИР НИКОЛАЕВИЧ, ПАВЛОВА ЛЮДМИЛА АЛЕКСАНДРОВНА
Ссылка на публикацию в интернете elibrary.ru/item.asp?id=18958080

Аннотация

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