數學歸納法帕斯卡是數學歸納法的主要發明人數學歸納法〔MathematicalInduction〕是用來證明某些與自然數n有關的數學命題的一種方法.它的步驟是：驗證n=1時命題成立〔這叫歸納的基礎,或遞推的基礎〕；假設n=k時命題成立〔這叫歸納假設,或叫遞推的根據〕,在這假設下證明n=k+1時命題成立.根據1、2可以斷定命題對一切自然數都成立.數學歸納法的思想可以遠推至歐幾里得〔前330-前275〕.嚴格的數學歸納法是在16世紀後期才引入的.1575年義大利數學家、物理學家莫洛克斯〔1494-1575〕在他的《算術》一書中明確提出了這一方法,並且用它證了1+3+……+(2n+1)=(n+1)2等；法國著名數學家帕斯卡〔1623-1662〕承認莫洛克斯引用了這方法,並在他的著作《三角陣算術》中運用了這一方法.因此,一般認為帕斯卡是數學歸納法的主要發明人.由於帕斯卡還沒有表示任意自然數的符號,因此組合公式及證明只能用敘述的方法,1686年J?伯努利首先採用了表示任意自然數的符號,在他的名著《猜度術》〔1713〕中包含運用數學歸納法證題的出色例子.『數學歸納法』這個名稱及數學歸納法的證題形式是德?摩根〔1806-1871〕所提出的.皮亞諾〔1858-1932〕的自然數公理中包含了歸納原理.
數學歸納法帕斯卡是數學歸納法的主要發明人數學歸納法〔MathematicalInduction〕是用來證明某些與自然數n有關的數學命題的一種方法.它的步驟是：驗證n=1時命題成立〔這叫歸納的基礎,或遞推的基礎〕；假設n=k時命題成立〔這叫歸納假設,或叫遞推的根據〕,在這假設下證明n=k+1時命題成立.根據1、2可以斷定命題對一切自然數都成立.數學歸納法的思想可以遠推至歐幾里得〔前330-前275〕.嚴格的數學歸納法是在16世紀後期才引入的.1575年義大利數學家、物理學家莫洛克斯〔1494-1575〕在他的《算術》一書中明確提出了這一方法,並且用它證了1+3+……+(2n+1)=(n+1)2等；法國著名數學家帕斯卡〔1623-1662〕承認莫洛克斯引用了這方法,並在他的著作《三角陣算術》中運用了這一方法.因此,一般認為帕斯卡是數學歸納法的主要發明人.由於帕斯卡還沒有表示任意自然數的符號,因此組合公式及證明只能用敘述的方法,1686年J?伯努利首先採用了表示任意自然數的符號,在他的名著《猜度術》〔1713〕中包含運用數學歸納法證題的出色例子.『數學歸納法』這個名稱及數學歸納法的證題形式是德?摩根〔1806-1871〕所提出的.皮亞諾〔1858-1932〕的自然數公理中包含了歸納原理.