набор из семи правил формально описывающие геометрические построения с помощью плоского оригами, подобным построениям с помощью циркуля и линейки.
Фактически они описывают все возможные способы получения одной новой складки на листе бумаги, путём совмещения уже существующих различных элементов листа точек и линий. Под линиями подразумеваются края листа или складки бумаги, под точками пересечения линий. Существенным моментом является то, что сгиб формируется единственной складкой, причём в результате складывания фигура остается плоской.
Часто эти правила называют «аксиомами», хотя с формальной точки зрения аксиомами они не являются.
Складки в этих правилах существуют не всегда, правило утверждает только, что если такая складка есть, то её «можно» найти.

Пусть заданы две точки p1 и p2, тогда лист можно сложить так, что данные две точки будут лежать на складке.

Пусть заданы две точки p1 и p2, тогда лист можно сложить так, что одна точка перейдёт в другую.

Пусть заданы две прямые l1 и l2, тогда лист можно сложить так, что одна прямая перейдёт в другую.

Пусть заданы прямая l1 и точка p1, тогда лист можно сложить так, что точка попадёт на складку, а прямая перейдёт сама в себя.

Пусть заданы прямая l1 и две точки p1 и p2, тогда лист можно сложить так, что точка p2 попадёт на складку, а p1 — на прямую l1.

Пусть заданы две прямые l1 и l2 и две точки p1 и p2, тогда лист можно сложить так, что точка p1 попадёт на прямую l1, а точка p2 попадёт на прямую l2.

Пусть заданы две прямые l1 и l2 и точка p, тогда лист можно сложить так, что точка p попадёт на прямую l1, а прямая l2 перейдёт сама в себя.
Все складки в этом списке можно получить как результат последовательного применения правила номер 6. То есть для математика они ничего не добавляют, однако позволяют уменьшить количество сгибов. Система из семи правил является полной, то есть они описывают все возможные способы получения одной новой складки на листе бумаги, путём совмещения уже существующих различных элементов листа. Это последнее утверждение было доказано Лэнгом.
|
|