Программа Генератор Теорем. Ч 1. Теорема Морли (начало).

Описание: Приведено кратчайшее доказательство ТМ. Оценен вклад в него Конвея Джона Хортона.

Файл с бесплатной программой:
FindTh.zip
https://yadi.sk/d/azL8JO-Jx3uonA

Описание (неоконченное):
Help.doc
https://yadi.sk/i/dLAS7-LffEJ1lg

(краткое описание программы FindTh.exe)
Программа Findind "Theorems" (e. (1)cuts, (2)lines and (3)circles)
… 3. Часть «circles» (ищем «окружности»)
Поиск окружностей состоит из четырёх составных «частей».
6. Выбор Базовых точек
7. Нахождение окружностей
8. (Не обязательно). Переход по «индексу»
9. Рассматривание результата.
4. Выбор Базовых точек



Выберете на GroupBox “Роints 1” и “Роints 2” (закладка “Add”) нужные базовые точки.

5. Нахождение окружностей
Перейдите на закладку “Circles” и нажмите кнопку “Show circles”.
Следите за прохождением программы по числу в левом верхнем углу (на Status Bar). Оно меняется от числа «минус» количества линий (на рисунке -21) до самого количества линий (то есть до 21). Для восьми базовых точек время счёта программы (для обычного компьютера) составляет ~2 минуты. Далее при увеличении (уменьшении) числа точек на 1 время увеличивается (уменьшается) приблизительно в 7 раз.
N th в правом верхнем углу – число найденных «теорем» (окружностей). Их все можно «пролистать» и посмотреть.
В GroupBox с названием “Kind of theorems” дано разложение по числу Базовых Точек которые содержит данная окружность. «Теоремы» (окружности) делятся на «лежащие» (индекс-0; содержат 3 точки; в нашем случае их 3), «стоящие» (содержат 2 точки; в нашем случае их 11), «висящие» (содержат 1 точку; в нашем случае их 6) и «летящие» (не содержат точек; в нашем случае - 0). Справа от них число «тех же самых» но «симметричных» теорем (имеющих вид трапеции).

6. (Не обязательно). Переход по «индексу»
Можно совершить «переход» в данный индекс. Например посмотреть все «висящие» теоремы. Выбирайте Index= 2 и нажимайте кнопку Go to ind.
Эта кнопка отберёт все окружности с выбранным индексом. После чего все решения можно будет отдельно рассмотреть.
Все решения (вместе с условиями) записаны в файл data/TH_new.dat. Для возвращения в исходное состояние (до нажатия кнопки “Go no ind.”) нажмите кнопку “Read”.
При поставленном значке “All” будут одновременно отражаться все имеющиеся «теоремы» (окружности).

10. Рассматривание результата.
Вся картинка перемещается при нажатой левой клавишей мыши, либо кнопками в правом верхнем углу. Там же, кнопки «+» и «-»
масштабируют картинку.
Вершины обозначаются буквами А, В, С. (Вершина С – самая близкая к абсциссе х = 0). Кнопки под масштабированием перемещают вершины B и C вдоль осей. (Вершина А, по умолчанию, неподвижна).
Кнопки в левом нижнем углу включают (выключают) колебания вершины В вдоль соответствующих осей.
… … …

Поддержите, если можете:
Карта Сбербанка:
2202 2004 8259 7315

(Александр Ф.К.)