無限降下法
数学における無限降下法(むげんこうかほう、英: infinite descent, 仏: méthode de descente infinie、羅: la descente infinie)とは、自然数が整列集合であるという性質を利用した、証明の一手法である。背理法の一種であり、数学的帰納法の一型とも見なせる。17世紀の数学者ピエール・ド・フェルマーによって始められたとされ、彼はこの証明法を好んで用いた。最も古い使用例は『原論』にある。典型的な例は『原論』第7巻 命題31の証明で、ユークリッドは「すべての合成数は素数で割り切れる(『原論』の用語では「通約できる」)」ことを無限降下法で示した。