Автоматическое решение геометрических задач методом символьных вычислений

Август 12, 2022

Главная
Математика
Автоматическое решение геометрических задач методом символьных вычислений

Содержание

2. Постановка задачи
3. Математическая модель
4. Автоматическое доказательство
5. Динамическая геометрия
6. Допустимые геометрические построения: Возможные для доказательства утверждения:
7. Доказанные теоремы •Теорема Паппа •Прямая Обера •Лемма Мансиона •Прямая Нагеля •Окружность 9 точек •Эксетерская точка •Теорема
10. Вывод
12. Скачать презентацию

Слайд 2

Постановка задачи

Слайд 3

Математическая модель

Слайд 4

Автоматическое доказательство

Слайд 5

Динамическая геометрия

Слайд 6

Допустимые геометрические построения:
Возможные для доказательства утверждения:

Слайд 7

Доказанные теоремы
•Теорема Паппа
•Прямая Обера
•Лемма Мансиона
•Прямая Нагеля
•Окружность 9 точек
•Эксетерская точка
•Теорема Ньютона
•Теорема Ван

Обеля

•Теорема Паскаля
•Теорема Брианшона
•Лемма о бабочке
•Теорема Дезарга
•Теорема Дроз-Фарни
•Прямая Симсона
•Окружность Фурмана
•Теорема де Лоншана

Слайд 8

Слайд 9

Слайд 10

Вывод