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

[jayrandom]

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

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

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

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

Comments

[commentator40.livejournal.com]

В полиграфии этот принцип называется "модуль", в оригами, вероятно, можно тем же способом действовать. При этом модульный коэффициент выбирают как корень из 2-х (чтобы пропорции всякий раз сохранялись при складывании вдвое - серия форматов "А" как раз такова), корень из 3-х (тогда пропорции сохраняются при сложении втрое - это, например, некоторые рекламные фолдеры, которые рассылают в стандартных почтовых конвертах), 2 (т.е. корень из 4-х) и т.д.

[jayrandom.livejournal.com]

Интересно. Мне удалось найти "проверочное правило" для пропорции 1:sqrt(3) за 5 складываний листа. Может быть можно и за меньше?