jayrandom | плоское оригами как инструмент математического доказательства

Наткнулся в Википедии на Правила Худзиты. Это вместо знаменитых в геометрии "циркуля и линейки" - равномощный такой инструмент.

В связи с этим вспомнил, что однажды, довольно давно, я случайно воспользовался этим инструментом.

Мне в определённый момент нужно было определить (можно деструктивно), является ли лист бумаги формата А4 или нет. В Штатах есть близкие по размеру, но не по пропорциям листы формата Letter и Legal.

На рисунке по ссылке выше видно, что форматы линейки "А" (A5, A4, A3 и т.д.) получаются друг из дружки делением пополам. При этом пропорции сохраняются. Это возможно только если длины сторон относятся как корень-из-двух к единице. А это свойство легко проверить при помощи оригами: прикладываем короткую сторону к длинной и сгибаем между ними угол 45 градусов (с этого начинают, когда хотят отделить от неквадратной бумаги квадратную часть). Теперь получившуюся "диагональ" (длиной корень-из-двух помноженный на короткую сторону) прикладываем к оставшейся длинной стороне. Если они совпали - мы имеем дело с A4 (или любым форматом стандартной линейки "А").