Правила Худзита
Материал из Википедии — свободной энциклопедии
Правила Худзита — набор из семи правил формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки.
Фактически они описывают все возможные способы получения одной новой складки на листе бумаги, путем совмещения уже существующих различных элементов листа — точек и линий. Под линиями подразумеваются края листа или складки бумаги, под точками — пересечения линий. Существенным моментом является то, что сгиб формируется единственной складкой, причем в результате складывания фигура остается плоской.
Часто эти правила называют «аксиомами», хотя с формальной точки зрения аксиомами они не являются.
Содержание |
[править] Правила
Складки в этих правилах, существует не всегда, правило утверждает только, что если такая складка есть, то её «можно» найти.
[править] Правило 1
Пусть заданы две точки p1 и p2, тогда лист можно сложить так, что данные две точки будут лежать на складке.
[править] Правило 2
Пусть заданы две точки p1 и p2, тогда лист можно сложить так, что одна точка перейдёт в другую.
[править] Правило 3
Пусть заданы две прямые l1 и l2, тогда лист можно сложить так, что одна прямая перейдёт в другую.
[править] Правило 4
Пусть заданы прямая l1 и точка p1, тогда лист можно сложить так, что точка попадёт на складку, а прямая перейдёт сама в себя (т.е. линия складки будет ей перпендикулярна).
[править] Правило 5
Пусть заданы прямая l1 и две точки p1 и p2, тогда лист можно сложить так, что точка p2 попадёт на складку, а p1 на прямую l1.
[править] Правило 6
Пусть заданы две прямые l1 и l2 и две точки p1 и p2, тогда лист можно сложить так, что точка p1 попадёт на прямую l1, а точка p2 попадёт на прямую l2.
[править] Правило 7
Пусть заданы две прямые l1 и l2 и точка p, тогда лист можно сложить так, что точка p попадёт на прямую l1, а прямая l2 прейдёт сама в себя (т.е. линия складки будет ей перпендикулярна).
[править] Замечания
Складку в седьмом правиле, можно получить как результат последовательного применения остальных (например дважды применив правило 4 и потом правило 2). Также обстоит дело с некоторыми другими правилами из этого набора, т.е. для математика они ничего не добавляет, но оригамисты не мнут бумагу зря. Система из семи правил является полной, т.е. они описывают все возможные способы получения одной новой складки на листе бумаги, путем совмещения уже существующих различных элементов листа. Это последнее утверждение было доказано Лэнгом[1].
[править] Возможные и невозможные построения
Все построения являются ничем иным, как решениями какого-либо уравнения, причем коэффициенты этого уравнения связаны с длинами заданных отрезков. Поэтому удобно говорить о построении числа — графического решения уравнения определенного типа. В рамках вышеописанных требований, возможны следующие построения:
- Построение решений линейных уравнений.
- Построение решений квадратных уравнений.
- Построение решений кубических уравнений (правило 6).
Иначе говоря, возможно построить лишь числа равные арифметическим выражениям с использованием квадратного и кубиских корней из исходных чисел (длин отрезков).
В частности, при помощи таких построений можно осуществить удвоение куба, трисекцию угла, построение правильного семиугольника. Решение задачи о квадратуре круга однако остаётся невозможным, так как π — трансцендентное число.
[править] История
Впервые правила появляются в работе Жака Жустина[2], который познее также ссылался на Питера Мессера как на соавтора. Практически одновременно, правила 1—6 были сформулированы Хамяки Худзита[3]. Последнее седьмое правило добавил ещё позже Косиро Хатори[4].
[править] Вариации и обобщения
Список возможных построений можно значительно расширить, если позволить создание нескольких складок за один раз. Хотя человек, решивший провести несколько складок за одно действие на практике столкнется с трудностями физического порядка, тем не менее возможно вывести правила, аналогичные правилам Худзита и для этого случая[5]. При допущении таких дополнительных правил, возможно доказать следующую теорему:
- Любое алгебраическое уравнение степени n может быть решено n-2 одновременными складками
[править] См. также
[править] Литература
- А. Петрунин, Плоское оригами и построения.
[править] По-английски
- Huzita Axiomas на сайте Роберта Лэнга
- T. Hull Origami Geometric Constructions
- ↑ R. Lang Origami and Geometric Constructions
- ↑ Justin, Jacques, Resolution par le pliage de l'equation du troisieme degre et applications geometriques, reprinted in Proceedings of the First International Meeting of Origami Science and Technology, H. Huzita ed. (1989), 251—261.
- ↑ Humiaki Huzita, ”Axiomatic Development of Origami Geometry,” Proceedings of the First International Meeting of Origami Science and Technology, Humiaki Huzita, ed., 1989, pp 143–158.
- ↑ Koshiro Hatori, Origami Construction
- ↑ Roger C. Alperin and Robert J. Lang, "One-, Two-, and Multi-Fold Origami Axioms.
