About: 折り紙公理

折り紙公理（おりがみこうり、折紙公理）は折り紙幾何学の一連の規則であり、紙を折るときに理論上厳密に可能である、基本的な操作を記述している。紙の厚さは無いものとし、伸縮しないものとする。折りの操作は平面で完結し、全ての折り線は直線であると仮定する。折り紙公理は数学的な意味での公理の要件を満たすものではない。 公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された。その後公理1から6は藤田文章によって1991年に再度発見された。また、公理7は羽鳥公士郎によって2001年に再発見された。またロバート・J・ラングも公理7を再発見している。