கணிதத் தொகுத்தறிதல்
[[Image:Dominoeffect.png|thumb|right|விழும் டோமினோக்கள் விளையாட்டின் தொடர் விளைவுகளுடன் ஒப்பிட்டு கணித்தத் தொகுத்தறிதல் முறையை விளங்கிக் கொள்ளலாம்.&lt;ref&gt;Matt DeVos, [https://www.sfu.ca/~mdevos/notes/graph/induction.pdf ''Mathematical Induction''], Simon Fraser University&lt;/ref&gt;&lt;ref&gt;Gerardo con Diaz, ''[http://www.math.harvard.edu/archive/23a_fall_05/Handouts/induction.pdf Mathematical Induction] {{Webarchive|url=https://web.archive.org/web/20130502163438/http://www.math.harvard.edu/archive/23a_fall_05/Handouts/induction.pdf |date=2013-05-02 }}'', [[ஆர்வர்டு பல்கலைக்கழகம்]]&lt;/ref&gt;]]
 
 '''கணிதத் தொகுத்தறிதல்''' (''Mathematical induction'') என்பது கணித நிறுவல் முறைகளுள் ஒன்றாகும். ஒரு பண்பு அல்லது கூற்று P(n) ஆனது அனைத்து [[இயல் எண்]]களுக்கும் (0, 1, 2, 3, ...) உண்மையாக இருக்கும் என்று நிறுவுவதற்குக் கணிதத் தொகுத்தறிதல் பயன்படுகிறது.  ஏணியில் ஏறுதல் அல்லது விழும் டோமினோக்கள் விளையாட்டு போன்றவற்றோடு ஒப்பிட்டு, கணிதத் தொகுத்தறிதலைப் புரிந்து கொள்ளலாம்.
 
 ஏணியில் ஏறுதலோடு ஒப்பீடு:
 {{quote 
 |text=ஏணியின் அடியிலுள்ள முதல் படியில் ஏறமுடிதல் வேண்டும்; ஒவ்வொரு படியிலிருந்தும் அடுத்த படிக்குஏறமுடிதல் வேண்டும். இவ்விரு செயற்களையும் செய்ய முடியுமானால் முழு ஏணியிலும் ஏறமுடியும்.
 |source=''Concrete Mathematics'', பக்கம் 3 ஓரக்கோடு.
 }}
 
 கணிதத் தொகுத்தறிதல் நிறுவல் முறையில் இரு நிலைகள் உள்ளன. 
 :முதல் நிலையான ''அடிநிலை''யில் கூற்றானது 0 க்கு உண்மையாகும் என நிறுவப்படுகிறது.
 :இரண்டாவது நிலையான ''தொகுத்தறிதல் நிலை''யில் கூற்றானது ஏதேனுமொரு இயல் எண் ''n'' க்கு உண்மையாகும் என எடுத்துக்கொள்ளப்பட்டு, அடுத்த இயல் எண் ''n+1'' க்கும் உண்மையென நிறுவப்படுகிறது.  
 :இவ்விரு நிலைகளின் நிறுவல் கூற்றானது (P(n)) n = 0, 1, 2, 3, ... ஆகிய அனைத்து இயல் எண்களுக்கும் உண்மையே என்பதை நிலைநிறுத்துகிறது.
 
 அடிநிலையில் எப்பொழுதும் 0 க்கு நிறுவ வேண்டுமென்பதில்லை; கூற்றின் தன்மையைப் பொறுத்து 1 அல்லது எந்தவொரு இயலெண்ணிலிருந்தும் அடிநிலை துவங்கப்படலாம். பெரும்பான்மையாக அடிநிலை 1 இலிருந்து துவங்கப்படுகிறது.
 
 == வரலாறு ==
 உள்ளுறைவான தொகுத்தறிதல் நிறுவலுக்குகான பழமையான எடுத்துக்காட்டு கிமு 370 இல் [[பிளேட்டோ]]வின் படைப்பிலும் (Parmenides (dialogue)),&lt;ref&gt;{{Cite journal|last=Acerbi|first=Fabio|title=Plato: Parmenides 149a7-c3. A Proof by Complete Induction?|url=https://www.academia.edu/8016024/Plato_Parmenides_149a7-c3._A_Proof_by_Complete_Induction|journal=Archive for History of Exact Sciences 55 (2000), 57–76}}&lt;/ref&gt; [[யூக்ளிடு|யூக்கிளிடின்]] பகாஎண்களின் எண்ணிக்கை முடிவிலி -என்பதற்கான நிறுவலிலும்,&lt;ref&gt;{{cite web|url=http://primes.utm.edu/notes/proofs/infinite/euclids.html|title=Euclid's Proof of the Infinitude of Primes (c. 300 BC)|author=Chris K. Caldwell|work=utm.edu|accessdate=2016-02-28}}&lt;/ref&gt; [[இரண்டாம் பாஸ்கரர்|இரண்டாம் பாஸ்கரரின்]] சுழற்சி முறையிலும் (&quot;Chakravala method-cyclic method&quot;)&lt;ref name=&quot;Induction Bussey&quot;&gt;{{harvp|Cajori|1918|p=197|ps=: 'The process of reasoning called &quot;Mathematical Induction&quot; has had several independent origins. It has been traced back to the Swiss Jakob (James) Bernoulli, the Frenchman B. Pascal and P. Fermat, and the Italian F. Maurolycus. [...] By reading a little between the lines one can find traces of mathematical induction still earlier, in the writings of the Hindus and the Greeks, as, for instance, in the &quot;cyclic method&quot; of Bhaskara, and in Euclid's proof that the number of primes is infinite.'}}&lt;/ref&gt; காணப்பட்டிருக்கலாம். நிறுவலில் கீழிருந்து மேல்நோக்கிச் செல்வதற்குப் பதிலாக, மேலிருந்து கீழ்நோக்கி இறங்கும் வகை &quot;சோரைடீசு முரண்தோற்றமெய்&quot; (Sorites paradox) இல் காணப்படுகிறது. 
 [[File:Tannin heap.jpeg|thumb|&quot;சோரைடீசு முரண்தோற்றமெய்&quot;]]
 &quot;சோரைடீசு முரண்தோற்றமெய்&quot;: 
 ::1,000,000 மண்துகள்கள் சேர்ந்து ஒரு மண்குவியலில் இருந்து ஒரு மண்துகளை நீக்கிய பின்னரும் குவியலானது குவியலாகவே இருக்கும். இவ்வாறு ஒவ்வொரு மண்துகளாக நீக்கிக் கொண்டிருந்தால் அது குவியலாகவே இருக்குமா? அப்படியென்றால் இறுதியில் மிஞ்சும் ஒரேயொரு மண்துகள் ஒரு குவியலாகுமா? இல்லையெனில் எந்நிலையில் அது குவியலாக இல்லாமல் போகும்?
 
 [[கூட்டுத் தொடர்|கூட்டுத் தொடருக்கு]] உள்ளுறைவான கணிதத் தொகுத்தறிதல் முறையில் [[கணித நிறுவல்|நிறுவலானது]], கிபி 1000 இல் அல்-கராஜ் எழுதிய அல்-பக்ரியில் அறிமுகப்படுத்தப்பட்டுள்ளது. அதனைப் பயன்படுத்தி அவர் [[ஈருறுப்புத் தேற்றம்]] மற்றும் [[பாஸ்கலின் முக்கோணம்|பாஸ்கலின் முக்கோணத்தின்]] பண்புகளை நிறுவியுள்ளார்.&lt;ref&gt;{{citation|title=The Development of Arabic Mathematics: Between Arithmetic and Algebra|volume=156|series=Boston Studies in the Philosophy of Science|publisher=Kluwer Academic Publishers|first=R.|last=Rashed|year=1994|isbn=9780792325659|pages=62–84|url=https://books.google.com/books?id=vSkClSvU_9AC&amp;pg=PA62|contribution=Mathematical induction: al-Karajī and al-Samawʾal}}&lt;/ref&gt;&lt;ref&gt;[https://books.google.fr/books?id=HGMXCgAAQBAJ&amp;pg=PA193&amp;lpg=PA193&amp;dq=Al-Karaji+binomial+theorem&amp;source=bl&amp;ots=MftTUxaHoM&amp;sig=4BBQVIkt7eALPJfJ_89MTuNGezY&amp;hl=fr&amp;sa=X&amp;ved=0ahUKEwjhoLuPnu3aAhXCXRQKHb2tBMM4ChDoAQhqMAk#v=onepage&amp;q=Al-Karaji%20binomial%20theorem&amp;f=false/ Mathematical Knowledge and the Interplay of Practices] &quot;The earliest implicit proof by mathematical induction was given around 1000 in a work by the Persian mathematician Al-Karaji&quot;&lt;/ref&gt; பண்டைய கணிதவியலாளர்கள் கணிதத் தொகுத்தறிதல் முறையில் நிறுவலை வெளிப்படையாகக் குறிப்பிடவில்லை.
 
 == விளக்கம் ==
 ''n'' என்ற இயல் எண் கொண்ட ஒரு கூற்றானது, ''n'' இன் அனைத்து இயலெண் மதிப்புகளுக்கும் உண்மையாகுமா இல்லையா என்பதை கணிதத் தொகுத்தல் முறை உறுதி செய்கிறது.
 
 தொகுத்தறிதல் முறையில் இரு படிநிலைகள் உள்ளன:
 # '''அடி நிலை''': இந்நிலையில் கூற்று முதல் இயலெண்ணுக்கு மெய்யென நிறுவப்படுகிறது. வழக்கமாக ''n'' = 0 அல்லது ''n'' = 1 என்ற மதிப்புகளே எடுத்துக்கொள்ளப்படுகிறது. சிலசமயங்களில் அவற்றை விடப் பெரிய இயலெண்ணுக்கும் அடிநிலையில் கூற்று மெய்யென நிறுவப்படலாம்.
 # தொகுப்பு நிலை: இந்த இரண்டாவது நிலையில் கூற்றானது ஏதாவதொரு இயலெண் ''n'' க்கு உண்மையென எடுத்துக்கொள்ளப்பட்டு, அதனைக்கொண்டு அடுத்த இயலெண்ணான ''n''&amp;nbsp;+&amp;nbsp;1 க்கு கூற்று உண்மையென நிறுவப்படுகிறது.
 
 == எடுத்துக்காட்டு==
 கீழ்வரும் கூற்று ''P''(''n'') அனைத்து இயலெண் மதிப்புகளுக்கும் உண்மையென தொகுத்தறிதல் முறையில் நிறுவுதல்:
 
 :''P''(''n''): &lt;math&gt;0 + 1 + 2 + \cdots + n = \frac{n(n + 1)}{2}&lt;/math&gt;.
 
 இங்கு ''P''(''n''), 1 முதல் ''n'' வரையிலான இயலெண்களின் கூடுதலுக்கான வாய்பாடாகும்.
 
 தொகுத்தறிதல் முறையில் நிறுவல்:
 
 '''அடிநிலை''':
 
 ''n'' = 0 க்கு கூற்று உண்மையென நிறுவ வேண்டும். &lt;br&gt;
 ''P''(0): &lt;math&gt;0 = \frac{0\cdot(0 + 1)}{2} = 0\,.&lt;/math&gt;
 
 '''தொகுப்பு நிலை''':
 
 ''P''(''k'') உண்மையெனில், {{nowrap|''P''(''k'' + 1)}} உண்மையென நிறுவ வேண்டும்
 
 :''P''(''k'') : &lt;math&gt;0 + 1 + 2 + \cdots + k  = \frac{(k)((k+1)}{2}.&lt;/math&gt; உண்மையெனக் கொள்ள வேண்டும்
 {{nowrap|''P''(''k'' + 1)}}: &lt;math&gt;(0 + 1 + 2 + \cdots + k )+ (k+1) = \frac{k(k + 1)}{2} + (k+1)\,.&lt;/math&gt;
 : &lt;math&gt;
 \begin{align}
 \frac{k(k + 1)}{2} + (k+1) &amp; = \frac {k(k+1)+2(k+1)} 2 \\
 &amp; = \frac{(k+1)(k+2)}{2} \\
 &amp; = \frac{(k+1)((k+1) + 1)}{2}
 \end{align}
 &lt;/math&gt;
 
 இதிலிருந்து {{nowrap|''P''(''k'' + 1)}} மெய்யென உறுதியாகிறது.
 
 எனவே எடுத்துக்கொள்ளப்பட்டக் கூற்றான ''P''(''n'') ஆனது  ''n'' இன் அனைத்து இயலெண் மதிப்புகளுக்கும் உண்மையெனக் கணிதத் தொகுத்தறிதல் முறையில் நிறுவப்படுகிறது.
 
 == மேற்கோள்கள் ==
 {{Reflist}}