無限降下法の例文

• 次の証明は、無限降下法と呼ばれる証明とほぼ同等である。
• フェルマー（1640年）自らが無限降下法によって証明した。
• 無限降下法（むげんこうかほう、英：Infinite descent）とは、数学の証明方法の一種。
• また、ワイルズによる最終的な証明に用いられた理論の大半はフェルマーの時代にはまだ発見?提唱されていないことから、「真に驚くべき証明を見つけた」という記述は、この無限降下法がすべての自然数に対して適用可能であるとの勘違いによるものとも考えられる。