எதிர்மறுப்பு நிறுவல்
'''முரண்பாட்டு நிறுவல்''' அல்லது '''எதிர்மறுப்பு நிறுவல்''' (''proof by contradiction'') என்பது [[கணித நிறுவல்]] முறைகளில் ஒருவகையாகும். இந்நிறுவல் முறையில், ஒரு கூற்று உண்மையானது என்பதை நிறுவ, அக்கூற்று உண்மையில்லை என எடுத்துக்கொண்டு, அதன் விளைவாக ஏற்கனவே நிறுவப்பட்ட வேறு கூற்றுகளில் முரண்பாடு ஏற்படுவதைச் சுட்டிக்காட்டுவதன் மூலம் கூற்று உண்மையாகத்தான் இருக்க வேண்டும் என நிறுவப்படுகிறது. இது '''மறைமுக நிறுவல்''' (''indirect proof'') எனவும் அழைக்கப்படுகிறது.
 
 ஆங்கிலக் கணிதவியலாளர் எதிர்மறுப்பு நிறுவலை சதுரங்க உத்தியைவிட அதிக நுண்மையானது என்கிறார்&lt;ref&gt;[[G. H. Hardy]],  ''[[A Mathematician's Apology]]; Cambridge University Press, 1992. {{ISBN|9780521427067}}.  ''[http://books.google.com/books?id=beImvXUGD-MC&amp;pg=PA94 p. 94 -&quot;It is a far finer gambit than any chess gambit: a chess player may offer the sacrifice of a pawn or even a piece, but a mathematician offers the game.&quot;].&lt;/ref&gt;
 
 ==எடுத்துக்காட்டுகள்==
 
 ===2 இன் வர்க்கமூலம் ஒரு விகிதமுறா எண்===
 ’2 இன் வர்க்கமூலம் ஒரு விகிதமுறா எண்’ என்ற கூற்றை நிறுவ பழங்காலத்திலிருந்தே எதிர்மறுப்பு நிறுவல் முறை பயன்படுத்தப்பட்டு வருகிறது.&lt;ref&gt;{{cite web|url=http://www.math.utah.edu/~pa/math/q1.html|title=Why is the square root of 2 irrational?|last=Alfeld|first=Peter|date=16 August 1996|work=Understanding Mathematics, a study guide|publisher=Department of Mathematics, University of Utah|accessdate=6 February 2013}}&lt;/ref&gt;
 
 ;நிறுவல்
 :2-இன் வர்க்கமூலம் ஒரு விகிதமுறா எண் அல்ல என எடுத்துக் கொள்ளப்படுகிறது.
 :இந்நிலையில் 2-இன் வர்க்கமூலம் ஒரு [[விகிதமுறு எண்]]ணாக இருக்க வேண்டும்.
 :விகிதமுறு எண் என்பதால், √{{overline|2}} = ''a''/''b'' என ([[சுருக்கவியலாப் பின்னம்|எளிய பின்ன]] வடிவில் எழுதலாம். 
 :இப்பின்ன வடிவில் உள்ள ''a'' , ''b'' இரண்டும் [[முழு எண்]]கள்; மேலும் எளிய வடிவ பின்னம் என்பதால், குறைந்தபட்சம் இரண்டில் ஒன்று [[ஒற்றை எண்]]ணாக இருக்கும்.
 :''a''/''b'' = √{{overline|2}} என்பதால், ''a''&lt;sup&gt;2&lt;/sup&gt; = 2''b''&lt;sup&gt;2&lt;/sup&gt;. 
 :அதாவது ''a''&lt;sup&gt;2&lt;/sup&gt; ஒரு இரட்டை எண். 
 :ஒரு ஒற்றை எண்ணின் [[வர்க்கம் (கணிதம்)|வர்க்கமும்]] ஒற்றை எண்ணாகவே இருக்க முடியும். எனவே, இரட்டை வர்க்க எண் கொண்ட ''a'' ஒரு இரட்டை எண்
 :a/b எளிய வடிவில் உள்ளது, மேலும் ''a'' ஒரு இரட்டை எண். எனவே '''''b'' ஒரு ஒற்றை எண்'''ணாகத்தான் இருக்க வேண்டும்
 
 மாறாக, 
 :''a'' இரட்டை எண்; அதனால் ''a''&lt;sup&gt;2&lt;/sup&gt; = 4 இன் மடங்கு. :''a''&lt;sup&gt;2&lt;/sup&gt; = 2''b''&lt;sup&gt;2&lt;/sup&gt; = 4 இன் மடங்கு 
 :இதனால் ''b''&lt;sup&gt;2&lt;/sup&gt; ஒரு இரட்டை எண். அதாவது '''''b'' ஒரு இரட்டை எண்'''.
 
 ''b'' ஒற்றை எண்ணாகவும் அதே சமயம் இரட்டை எண்ணாகவும் உள்ளது. இது ஒரு முரண்பாடு.
 
 எனவே √{{overline|2}} ஒரு விகிதமுறா எண் அல்ல; அது ஒரு விகிதமுறு எண்; அதனை இரு எளிய பின்ன வடிவில் எழுதலாம் என நிறுவலின் தொடக்கத்தில் எடுத்துக்கொள்ளப்பட்ட நிலை தவறு. √{{overline|2}} ஒரு விகிதமுறா எண்ணே.
 
 இவ்வாறு, ‘2-இன் வர்க்கமூலம் ஒரு விகிதமுறா எண்’ என்ற கூற்று எதிர்மறுப்பு நிறுவல் முறையில் நிறுவப்படுகிறது.
 
 ===செம்பக்கத்தின் நீளம்===
 ஒரு [[செங்கோண முக்கோணம்|செங்கோண முக்கோணத்தின்]] [[செம்பக்கம்|செம்பக்கத்தின்]] நீளம், மற்ற இரு பக்கங்களின் நீளங்களின் கூட்டுத்தொகையைவிட குறைவானதாக இருக்கும். எதிர்மறுப்பு நிறுவலைப் பயன்படுத்தி இக்கூற்றை நிறுவலாம்.&lt;ref&gt;{{cite web|url=http://www.cs.utexas.edu/~pstone/Courses/313Hfall12/resources/week2a-pp4.pdf|title=Logic, Sets, and Functions: Honors|last=Stone|first=Peter|work=Course materials|publisher=Department of Computer Sciences, The University of Texas at Austin|accessdate=6 February 2013|location=pp 14–23}}&lt;/ref&gt; இதற்குப் [[பித்தேகோரசு தேற்றம்]] பயன்படுத்தப்படுகிறது.
 
 ;நிறுவல்
 :செம்பக்கத்தின் நீளம் = ''c'' 
 :தாங்கு பக்கங்களின் நீளம் = ''a'' , ''b'' 
 :நிறுவ வேண்டிய கூற்று: ''a''&amp;nbsp;+&amp;nbsp;''b''&amp;nbsp;&gt;&amp;nbsp;''c''.
 
 எதிர்மறுப்பு முறையில் நிறுவ, இக்கூற்று உண்மையில்லை எனக் கொள்ள வேண்டும். அதாவது,
 : ''a''&amp;nbsp;+&amp;nbsp;''b''&amp;nbsp;≤&amp;nbsp;''c''. 
 இருபுறமும் வர்க்கம் காண 
 :(''a''&amp;nbsp;+&amp;nbsp;''b'')&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;≤&amp;nbsp;''c''&lt;sup&gt;2&lt;/sup&gt;
 :''a''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;+&amp;nbsp;2''ab''&amp;nbsp;+&amp;nbsp;''b''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;≤&amp;nbsp;''c''&lt;sup&gt;2&lt;/sup&gt;. 
 முக்கோணத்தின் பக்கங்களின் நீளங்களாக இருப்பதால், ''a'' , ''b'' இன் மதிப்புகள் [[சுழி|பூச்சியத்தைவிட]] பெரியதாக இருக்கும்.
 :ஃ ''a''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;+&amp;nbsp;''b''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;&lt;&amp;nbsp;''a''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;+&amp;nbsp;2''ab''&amp;nbsp;+&amp;nbsp;''b''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;≤&amp;nbsp;''c''&lt;sup&gt;2&lt;/sup&gt;. 
 இந்தக் [[கடப்பு உறவு|கடப்பு உறவை]]ப் பின்வருமாறு சுருக்கலாம்
 :'''''a''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;+&amp;nbsp;''b''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;&lt;&amp;nbsp;''c''&lt;sup&gt;2&lt;/sup&gt;'''.
 
 இக்கூற்று,  பித்தாகரசு தேற்ற முடிவான
 :'''''a''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;+&amp;nbsp;''b''&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;=&amp;nbsp;''c''&lt;sup&gt;2&lt;/sup&gt;''' உடன் முரண்படுகிறது.
 
 எனவே ''a''&amp;nbsp;+&amp;nbsp;''b''&amp;nbsp;≤&amp;nbsp;''c'' என்பது உண்மையில்லை, 
 ''a''&amp;nbsp;+&amp;nbsp;''b''&amp;nbsp;&gt;&amp;nbsp;''c'' என்பதே சரியானது.
 
 ==மேற்கோள்கள்==
 {{Reflist}}
 
 ==மேலும் படிப்பதற்கு==
 {{wikibooks|1=Mathematical Proof|2=Methods of Proof/Proof by Contradiction|3=Proof by Contradiction}}
 
 ==வெளியிணைப்புகள்==
 *[http://zimmer.csufresno.edu/~larryc/proofs/proofs.contradict.html Proof by Contradiction] from Larry W. Cusick's [http://zimmer.csufresno.edu/~larryc/proofs/proofs.html How To Write Proofs]