गणितीय आगमन

गणितीय आगमन (Mathematical induction) गणितीय उपपत्ति (mathematical proof) प्रस्तुत करने की एक विधि है जिसका उपयोग प्रायः। यह दर्शाने के लिये किया जाता है कि कोई कथन (statement) सभी प्राकृतिक संख्याओं के लिये सत्य है।

यद्यपि इसके नाम में 'आगमन' (induction) शब्द आया है किन्तु सही बात यह है कि यह विधि एक निगमन विधि (deductive logic) है न कि आगमन विधि (inductive logic)।

इस विधि का सबसे पहला उल्लेख सन् १५७५ में फ्रांसेस्को माउरोलिको (Francesco Maurolico) द्वारा हुआ मिलता है।
यह पियानो के पाँचवें अभिग्रहीत से संबंधित है।पियानो का पाँचवा अभिग्रहीत ही आगमन अभिग्रहीत (Induction's Axiom) कहलाता है

उदाहरण 
गणितीय आगमन का उपयोग करके दिखाया जा सकता है कि निम्नलिखित कथन P(n), n के सभी प्राकृतिक मानों के लिये सत्य है।

(१): सर्वप्रथम यह दिखाएं कि यह कथन n = 0 के लिये सत्य है। 
P(0) का मतलब निम्नलिखित कथन होगा-

स्पष्टतः यह कथन सत्य है क्योंकि इसका दायां पक्ष और बांयां पक्ष दोनो ही शून्य हैं (अतः समान हैं)
अतः n = 0 के लिये कथन सत्य है (अर्थात् P(0) सत्य है।) 

(२): अब दिखाएं कि यदि P(k) सत्य मान लिया जाय तो सिद्ध कर सकते हैं कि  भी सत्य है। इसे निम्न प्रकार से दिखा सकते हैं-

माना,

अर्थात् P(k) सत्य है। बांया पक्ष को निम्नलिखित प्रकार से लिखिये-

अब, बीजगणित के अनुसार :
 

इससे प्रदर्शित हुआ कि वास्तव में  भी सत्य है।

इस प्रकार गणितीय आगमन से सिद्ध हुआ कि उपरोक्त कथन P(n), n के सभी मानों के लिये सत्य है। इतिसिद्धम

सन्दर्भ

बाहरी कड़ियाँ 
 अंकगणित का मूलभूत प्रमेय

गणितीय आगमन
गणितीय तर्कशास्त्र
उपपत्ति सिद्धान्त