NetDolphin писал(а):
А вот это с учётом предыдущего странно. Выше предлагалось же намного более простое решение — любая окружность с центром в точке пересечения, и промерить дуги, на которые она рассекается прямыми. Если все хорды совпадают, то прямые перпендикулярны.
Мое решение - две окружности и ничего не надо мерить, твое решение - три окружности.
NetDolphin писал(а):
Грабли первые: нужно обосновывать, что для любой пары прямых существует совмещающая их складка. Фудзита в своё время плюнул и постулировал это аксиомой (№ 3 в его системе). 
Нам это не нужно, нам необходимо лишь доказать что прямая положившаяся сама на себя при складывании образует с линией перегиба прямой угол. Не такое сложное дело (на уровне школьной математики ессно!)
NetDolphin писал(а):
Грабли вторые: нужно доказать, что лист бумаги складывается ПО ПРЯМОЙ. Это кажется элементарным, но на самом деле далеко не просто.
Если руки кривые, то да, а так лист зажат в одной точке и от этой точки проводится к сгибу - геометрическое место точек равноудаленных от двух заданых есть прямая. Книжки когда ваял, я это хорошенько усвоил
чуть не того и сгиб кривой. Но если рассуждать так, то ведь и линейка имеет гибкость и циркуль люфт.Ок, еще задачка для особо продвинутых в геометрии
Есть отрезок лежащий вне окружности, есть окружность. Построить радиус скругления из конца отрезка к окружности (радиус перехода, по типу как прямая дорога в кольцевую вливается). Разумеется построить можно. Радиус скругления _неизвестен_. Тоесть отрезок, от него начинается радиус без излома и без излома вливается в окружность
