
_START_ARTICLE_
折纸公理
_START_PARAGRAPH_
折纸公理，又称藤田－羽鸟公理或藤田－贾斯汀公理，是折纸数学的基本公理。假定所有折纸操作均在理想的平面上进行，并且所有折痕都是直线，那么这些公理描述了通过折纸可能达成的所有数学操作。_NEWLINE_折纸定理最早于1989年由雅克·贾斯汀（Jacques Justin）发现。截至目前为止，共推衍了6个公理，其中，公理1－6又于1991年由日裔意大利数学家藤田文章发现。定理7也于2001年由羽鸟公士郎发现。贾斯汀和罗伯特·朗（Robert J. Lang）也同样发现了公理7。
_START_SECTION_
公理 6
_START_PARAGRAPH_
给定两点 和  和两直线 和 ，可以一次将 、 分别折到 、 上。_NEWLINE_这个公理相当于找到同时与两条抛物线相切的直线，等价于解一个三次方程。两条抛物线的焦点分别是 和 ，准线分别是 和 。
_START_SECTION_
公理 7
_START_PARAGRAPH_
给定一点 和两直线 和 ，可以沿着 的垂线将 折到 上。_NEWLINE_过  点作 的平行线，交  于 ，这个公理就是要找出线段 的垂直平分线。沿着这条垂直平分线折，就可以将 折到 上。