折り紙公理（おりがみこうり、折紙公理）は折り紙幾何学の一連の規則であり、紙を折るときに理論上厳密に可能である、基本的な操作を記述している。紙の厚さは無いものとし、伸縮しないものとする。折りの操作は平面で完結し、全ての折り線は直線であると仮定する。折り紙公理は数学的な意味での公理の要件を満たすものではない。公理は最初、1989年にジャック・ジュスタン (Jacques Justin) によって発見された。その後公理1から6は藤田文章によって1991年に再度発見された。また、公理7は羽鳥公士郎によって2001年に再発見された。またも公理7を再発見している。公理1から6は藤田の折り紙公理として知られる。公理7は羽鳥公士郎によって再発見された。公理は以下である:注目すべき点は、折り紙公理5は0, 1, 2個の解を持つ場合があり、公理6は0, 1, 2, 3個の解を持つ場合があることである。これにより最大の解が2個であるコンパスと定規の幾何学よりも強力な公理である。よってコンパスと定規の作図は2次方程式を解くことができるのに対し、折り紙の幾何学（オリガメトリー、origametry）では3次方程式や、角の三等分や立方体倍積などの問題を解くことができる。しかし、公理6の折り方を実際に行う際には、紙の"滑らせ"、言い換えるとネイシス (, ) を必要とする。これは古典的なコンパスと定規による作図では認められていないものである。コンパスと定規による作図にもネイシスを導入すれば、任意の角の三等分が可能となる。2点"p

出典:wikipedia