5.48M
Category: mathematicsmathematics
Similar presentations:
Методы решения геометрических задач
Методы решения геометрических задач
Решение задач на вычисление расстояния методом координат
Решение задач на вычисление расстояния методом координат
Методы решения геометрических задач. Планиметрия
Методы решения геометрических задач. Планиметрия
Методы решения геометрических задач
Методы решения геометрических задач
Алгебраические методы решения геометрических задач
Алгебраические методы решения геометрических задач
Геометрический метод решения задачи линейного программирования
Геометрический метод решения задачи линейного программирования
Метод параллельного переноса решения геометрических задач
Метод параллельного переноса решения геометрических задач
Метод координат при решении геометрических задач
Метод координат при решении геометрических задач
Подготовка к ОГЭ. Методы, способствующие решению геометрических задач
Подготовка к ОГЭ. Методы, способствующие решению геометрических задач
Решение задач методом координат. 5 класс
Решение задач методом координат. 5 класс

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

1.

Автоматическое
решение
геометрических
задач методом
символьных
вычислений
Авторы: Лазо Арсений, Блохтин
Никита
ФМЛ №239

2.

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

3.

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

4.

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

5.

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

6.

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

7.

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

8.

9.

10.

Вывод

11.

Спасибо
за
внимание!
English     Русский Rules