Դիտել Մաթեմատիկական ապացույց էջի վիքիկոդը

[[Պատկեր:Oxyrhynchus papyrus with Euclid's Elements.jpg|right|thumb|250px|[[Papyrus Oxyrhynchus 29|P. Oxy. 29]], Հազարամյակների օգտագործվող Էվկլիդյան ''Տարրեր'', դասագրքի պահպանված մի ֆրագմենտ։<ref>{{Cite web |author=[[Bill Casselman (mathematician)|Bill Casselman]] |title=One of the Oldest Extant Diagrams from Euclid |url=http://www.math.ubc.ca/~cass/Euclid/papyrus/papyrus.html |accessdate=2008 թ․ սեպտեմբերի 26 |publisher=University of British Columbia}}</ref>]]
'''Մաթեմատիկական ապացույցը''' մաթեմատիկական պնդման համար [[Տրամաբանություն|տրամաբանական]] փաստարկ է, որը ցույց է տալիս, որ նշված [[դատողություն]]ները տրամաբանորեն երաշխավորում են եզրակացությունը։ Փաստարկը կարող է օգտագործել նախկինում դուրս բերված այլ պնդումներ, ինչպիսիք [[թեորեմ]]ներն են, սակայն յուրաքանչյուր ապացույց սկզբունքորեն, կարող է կառուցվել՝ օգտագործելով միայն որոշ հիմնական կամ նախնական ենթադրություններ, որոնք հայտնի են որպես [[Աքսիոմա|աքսիոմներ]]<ref>{{Cite book |author1=Clapham, C. |title=The Concise Oxford Dictionary of Mathematics, Fourth edition |author2=Nicholson, JN. |quote=A statement whose truth is either to be taken as self-evident or to be assumed. Certain areas of mathematics involve choosing a set of axioms and discovering what results can be derived from them, providing proofs for the theorems that are obtained. |name-list-style=yes}}</ref><ref name="nutsandbolts">{{Cite book |last=Cupillari |first=Antonella |title=The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs |publisher=[[Academic Press]] |year=2005 |isbn=978-0-12-088509-1 |edition=Third |page=3 |orig-year=2001}}</ref><ref>{{Cite book |last=Gossett |first=Eric |title=Discrete Mathematics with Proof |date=2009 թ․ հուլիս |publisher=[[Wiley (publisher)|John Wiley & Sons]] |isbn=978-0470457931 |page=86 |quote=Definition 3.1. Proof: An Informal Definition}}</ref>, մտահանգման ընդունելի կանոններով։ Ապացույցները ողջամիտ ակնկալիքը հաստատող, սպառիչ դեդուկտիվ հիմնավորման օրինակներ են, որոնք տրամաբանական որոշակիություն են ստեղծում, որոնք տարբերվում են էմպիրիկ փաստարկներից կամ ոչ սպառիչ ինդուկտիվ պատճառաբանությունից։ Չհաստատված ենթադրությունը, որի վերաբերյալ կարծիք կա, որ ճիշտ է, հայտնի է որպես վարկած, կամ հիպոթեզ, հետագա մաթեմատիկական մտահանգումների համար, հաճախ օգտագործվում է որպես ենթադրություն<ref name=":0">{{Cite web |date=2019 թ․ օգոստոսի 1 |title=The Definitive Glossary of Higher Mathematical Jargon |url=https://mathvault.ca/math-glossary |access-date=2019 թ․ հոկտեմբերի 20 |website=Math Vault |language=en-US}}</ref>։

Ապացույցները, [[բնական լեզու|բնական լեզվի]] հետ մեկտեղ, որոնք սովորաբար երկիմաստություն են պարունակում, օգտագործում են որոշակի տրամաբանություն արտահայտող մաթեմատիկական սիմվոլներ։
Ապացույցների տեսության մեջ դիտարկվում են առանց բնական լեզվի օգտագործման, սիմվոլիկ լեզվով գրված, լիովին ֆորմալ ապացույցները։ Ֆորմալ և ոչ ֆորմալ ապացույցների տարբերությունը բերել է ընթացիկ և պատմական մաթեմատիկական փորձառության քննության՝ քվազի-էմպիկրիզմին մաթեմատիկայում, և այսպես կոչված ժողովրդական մաթեմատիկային, հիմնական մաթեմատիկական հանրության և այլ մշակույթներում բանավոր ավանդույթներին։ Մաթեմատիկայի փիլիսոփայությունը կապված է ապացույցներում լեզվի և տրամաբանության դերին և մաթեմատիկային որպես լեզու։

== Պատմություն և ստուգաբանություն ==
{{See also|History of logic}}

«Վստահություն» իրավական տերմինը նշանակում է հեղինակություն կամ հավաստիություն՝ փաստեր ապացուցելու համար, հեղինակություն կամ կարգավիճակ ունեցող անձանց կողմից տրված վկայության ուժ<ref>{{Cite book |last=Hacking |first=Ian |author-link=Ian Hacking |url=https://en.wikipedia.org/wiki/The_Emergence_of_Probability |title=The Emergence of Probability: A Philosophical Study of Early Ideas about Probability, Induction and Statistical Inference |publisher=[[Cambridge University Press]] |year=1984 |isbn=978-0-521-31803-7 |orig-year=1975}}</ref>։

Խիստ մաթեմատիկական ապացույցներին նախորդել են նմանության փաստարկները, ինչպիսիք են նկարները և անալոգիաները<ref name="Krantz">[http://www.math.wustl.edu/~sk/eolss.pdf The History and Concept of Mathematical Proof], Steven G. Krantz. 1. February 5, 2007</ref>։ Հավանաբար, եզրակացության գաղափարը առաջացել է [[Երկրաչափություն|երկրաչափության]] հետ կապված, որը ծագել է հողերի չափման գործնական խնդիրներից<ref>{{Cite book |last1=Kneale |first1=William |author-link1=William Kneale (logician) |title=The development of logic |last2=Kneale |first2=Martha |date=1985 թ․ մայիս |publisher=[[Oxford University Press]] |isbn=978-0-19-824773-9 |edition=New |page=3 |orig-year=1962}}</ref>։ Մաթեմատիկական ապացույցի զարգացումը առաջին հերթին [[Մաթեմատիկան Հին Հունաստանում|հին հունական մաթեմատիկայի]] արգասիքն է և նրա ամենամեծ նվաճումներից մեկը<ref>{{Cite web |last=Moutsios-Rentzos |first=Andreas |last2=Spyrou |first2=Panagiotis |date=2015 թ․ փետրվար |title=The genesis of proof in ancient Greece The pedagogical implications of a Husserlian reading |url=https://hal.archives-ouvertes.fr/hal-01281050/document |access-date=2019 թ․ հոկտեմբերի 20 |website=Archive ouverte HAL}}</ref>։[[Թալես Միլեթացի|Թալեսը]] (մ.թ.ա. 624–546) և [[Հիպոկրատ Քիոսացի|Հիպրոկրատ Քիոսը]] (մ.թ.ա. 470–410) տվեցին երկրաչափության թեորեմների առաջին հայտնի ապացույցները։ [[Եվդոքս]]ը (մ.թ.ա. 408–355) և Թեետետոսը (մ.թ.ա. 417–369) ձևակերպել են թեորեմներ, բայց դրանք չեն ապացուցել։ [[Արիստոտել]]ը (մ.թ.ա. 384–322) ասում էր, որ սահմանումները պետք է նկարագրեն հասկացությունը, որը սահմանվում է արդեն հայտնի մյուս հասկացությունների միջոցով։

Մաթեմատիկական ապացույցը հեղփոխականացվեց [[Էվկլիդես]]ի կողմից (մ․թ․ա․300), ով մտցրեց աքսիոմատիկ մեթոդ, որը մինչ այսօր օգտագործվում է։ Այն սկսվում է չսահմանված հասկացություններից և  աքսիոմներից, ենթադրվում է որ չսահմանված տերմիններն ինքնին ակնհայտ է որ ճիշտ են (հունարեն "axios", ինչ որ արժեքավոր բան)։ Այս հիմքի վրա մեթոդը թեորեմներն ապացուցում է օգտագործելով դեդուկտիվ տրամաբանություն։ Էվկլիդեսի Տարրեր գիրքը մինչև 20-րդ դար կարդում էր յուրաքանչյուրը, ով համարվում էր կրթված<ref>{{Cite book |last=Eves |first=Howard W. |url=https://archive.org/details/introductiontohi0000eves |title=An Introduction to the History of Mathematics (Saunders Series) |date=1990 թ․ հունվար |publisher=[[Cengage|Brooks/Cole]] |isbn=978-0030295584 |edition=6th |page=[https://archive.org/details/introductiontohi0000eves/page/141 141] |quote=No work, except The Bible, has been more widely used... |authorlink=Howard Eves |orig-year=1962}}</ref>։ Ի հավելումն երկրաչափական թեորեմների, ինչպիսին Պյութագորի թեորեմն է,  ''Տարրերը'' նաև ծածկում էր թվերի տեսությունը, ներառյալ, որ քառակուսի արմատ երկուսիցը իռացիոնալ է և ապացույցն այն բանի որ պարզ թվերի քանակն անվերջ է։

Հետագա առաջընթացներ տեղի ունեցան միջնադարյան իսլամական մաթեմատիկայում։ Մինչ վաղ հունական ապացույցները հիմնականում կրում էին երկրաչափական ցուցադրություններ, մուսուլման մաթեմատիկոսների կողմից թվաբանության և հանրահաշվի զարգացումը ավելի ընդհանուր ապացույցներ էին օգտագործում, անկախ երկրաչափական ինտուիցիայից։ 10-րդ դարում Իրաքյան մաթեմատիկոս Al-Hashimi-ն թվերի հետ աշխատում էր որպես շարքեր և հանրահաշվական գործողություններ պարունակող առաջադրանքները, ներառյալ իռացիոնալ թվերի գոյությունը, ապացուցելու համար, անպայման չէ երկրաչափական օբյեկտների չափումներ կատարել<ref>{{Citation |last=Matvievskaya |first=Galina |title=The Theory of Quadratic Irrationals in Medieval Oriental Mathematics |journal=[[New York Academy of Sciences|Annals of the New York Academy of Sciences]] |volume=500 |issue=1 |pages=253–77 [260] |year=1987 |bibcode=1987NYASA.500..253M |doi=10.1111/j.1749-6632.1987.tb37206.x}}</ref>։ ''Ալ-Ֆաղրիում'' (1000) [[Ալ-Կարաջի]]ն ինդուկցիոն մեթոդն օգտագործեց թվաբանական պրոգրեսիայի համար։ Նա այն օգտագործեց նաև բինոմալ թեորեմն ապացուցելու և Պասկալի եռանկյան հատկությունների համար։ Ալհազենը ապուցուցման եղանակները զարգացրեց "հակառակ ենթադրությունից ապացույցով", որպես առաջին փորձ կիրառելով այն Էվկլիդյան երկրաչափության զուգահեռության պոստուլատը ապացուցելու համար<ref>{{Citation |last=Eder |first=Michelle |title=Views of Euclid's Parallel Postulate in Ancient Greece and in Medieval Islam |year=2000 |url=http://www.math.rutgers.edu/~cherlin/History/Papers2000/eder.html |publisher=[[Rutgers University]] |accessdate=2008 թ․ հունվարի 23}}</ref>։

Ժամանակակից ապացույցների տեսությունը ապացույցները դիտարկում է որպես ինդուկտիվ սահմանված տվյալների կառուցվածք, որոնք չեն պահանջում աքսիոմների ճշմարիտ լինելը որևէ իմաստով։ Սա թույլ է տալիս զուգահեռ օգտագործել զուգահեռ մաթեմատիկական տեսություններ որպես տված ինտուիտիվ հասկացության ֆորմալ մոդելներ, որոնք հիմնված են աքսիոմաների ալտերնատիվ բազմության վրա, օրինակ, բազմությունների աքսիոմատիկ տեսություն և Ոչ-Էվկլիդյան երկրաչափություն։

== Էություն և նպատակ ==
Գործնականում ապացույցն արտահայտվում է բնական լեզվով և պնդման ճշմարտության մեջ համոզելու համար խիստ փաստարկ է։ Խստության չափանիշը ստանդարտ չէ և պատմության ընթացքում փոփոխությունների է ենթարկվել։ Կախված ենթադրվող լսարանից ապացույց տարբեր կերպ կարող է ներկայացվել։ Որպեսզի լսարանի կողմից ապացույցն ընդունվի, այն պետք է համապատասխանի խստության ընդունված րափանիշներին, անորոշ կամ ոչ լրիվ փաստարկները հնարավոր է մերժվեն։

Ապացույց հասկացությունը ձևավոևվել է մաթեմատիկական տրամաբանության ոլորտում<ref>{{Citation |last=Buss |first=Samuel R. |title=Handbook of Proof Theory |volume=137 |pages=1–78 |year=1998 |editor-last=Buss |editor-first=Samuel R. |series=Studies in Logic and the Foundations of Mathematics |contribution=An introduction to proof theory |publisher=Elsevier |isbn=978-0-08-053318-6 |editor-link=Samuel Buss |authorlink=Samuel Buss}}. See in particular [https://books.google.com/books?id=MfTMDeCq7ukC&pg=PA3 p.&nbsp;3]: "The study of Proof Theory is traditionally motivated by the problem of formalizing mathematical proofs; the original formulation of first-order logic by Frege [1879] was the first successful step in this direction."</ref>։ Ֆորմալ ապացույցը գրվում է ֆորմալ լեզվով։ Ֆորմալ ապացույցը դա ֆորմալ լեզվով գրված բանաձևերի հաջորդականություն է, որ սկսվում է ենթադրությունից, և յուրաքանչյուր հաջորդ բանաձևը նախորդների տրամաբանական հետևությունն է։ Այս սահմանումը ապացույցը դարձնում է ուսումնասիրության առարկա։ Իրոք, ապացույցների տեսության ոլորտը ուսումնասիրում է ձևական ապացույցները և դրանց հատկությունները, որոնցից ամենահայտնի և զարմանալին այն է, որ համարյա բոլոր աքսիոմատիկ համակարգերը կարող են առաջացնել որոշակի չհիմնավորված պնդումներ, որոնք համակարգի ներսում ապացուցելի չեն։

Ֆորմալ ապացույցի սահմանումը նպատակ ունի ընդգրկել ապացույցների հայեցակարգն այնպես, ինչպես ընդունված է մաթեմատիկայի պրակտիկայում։ Այս սահմանման հիմնավորումը ենթադրում է, որ հրապարակված ապացույցը սկզբունքորեն կարող է վերաձևակերպվել ֆորմալ ապացույցի։ Սակայն բացի ավտոմատացված ապացույցի օգնականի կիրառումից, սա պրակտիկայում հազվադեպ է հանդիպում։ Փիլիսոփայության դասական հարցն է՝ մաթեմատիկական ապացույցներն արդյոք վերլուծական են, թե սինթետիկ, Կանտը, որ մտցրեց անալիտիկ-սինթետիկ տարբերությունը, կարծում էր, որ մաթեմատիկական ապացույցները սինթետիկ են, մինչդեռ Կուենը 1951 թվականին իր «Էմպիրիզմի երկու դոգմա» աշխատությունում պնդում էր, որ այդպիսի տարբերակումն անթույլատրելի է<ref>{{Cite web |last=Quine |first=Willard Van Orman |date=1961 |title=Two Dogmas of Empiricism |url=https://www.theologie.uzh.ch/dam/jcr:ffffffff-fbd6-1538-0000-000070cf64bc/Quine51.pdf |access-date=2019 թ․ հոկտեմբերի 20 |website=Universität Zürich — Theologische Fakultät |page=12}}</ref>։

Ապացույցները կարող են հիացնել իրենց մաթեմատիկական գեղեցկությամբ։ Մաթեմատիկոս Պոլ Էրդյոսը հայտնի էր հատկապես էլեգանտ ապացույցները նկարագրելու համար, որ վերցնում էր հիպոթետիկ "The Book" հատորից, որը յուրաքանչյուր թեորեմի ամենագեղեցիկ ապացույցն էր պարունակում։  ''[[Proofs from THE BOOK]]'' գիրքը, հրապարակվել է 2003 թվականին և նվիրված է 32 ապացույցների ներկայացմանը, որոնք նրա խմբագիրները հատկապես գեղեցիկ են համարում։

== Մեթոդներ ==
=== Ուղիղ ապացույց ===
Ուղիղ ապացույցում եզրակացությունը դուրս է բերվում է տրամաբանորեն զուգակցելով աքսիոմները, սահմանումները և վաղ թեորեմները<ref>Cupillari, p. 20.</ref>։ Օրինակ, ուղիղ ապացույցը կարող է օգտագործվել ապացուցելու որ երկու զույգ թվերի գումարը միշտ զույգ է։

:Ենթադրենք ''x'' և ''y'' զույգ թվեր են։ Քանի որ նրանք զույգ են, ապա կարող են ներկայացվել ''x''&nbsp;=&nbsp;2''a'' և ''y''&nbsp;=&nbsp;2''b'', որտեղ ''a'' և ''b'' ամբողջ թվեր են։ Ուստի ''x''&nbsp;+&nbsp;''y''&nbsp;= 2''a''&nbsp;+&nbsp;2''b''&nbsp;= 2(''a''+''b''). Այսպիսով ''x''+''y'' ունի 2 գործակից և ըստ սահմանման զույգ է։ Հետևաբար երկու զույգ թվերի գումարը զույգ է։

Այս ապացույցն օգտագործում է զույգ թվերի սահմանումը, գումարման, բազմապատկման և բաշխելիության նկատմամ ամբողջ թվերի բազմության փակ լինելը։
=== Ապացույց մաթեմատիկական ինդուկցիայի միջոցով ===
{{Main|Մաթեմատիկական ինդուկցիա}}
Չնայած անվանմանը, մաթեմատիկական ինդուկցիան դեդուկցիոն մեթոդ է, ոչ թե ինդուկցիոն մտահանգման ձև։ Մաթեմատիկական ինդուկցիայի միջոցով ապացույցում "եզակի դեպքն" է ապացուցվում և "ինդուկցիայի կանոնը", որը հաստատում է յուրաքանչյուր պատահական դեպքի իրավացիությունը ենթադրում է հաջորդի իրավացիությունը։ Քանի որ ինդուկցիայի կանոնը կարելի է կիրառել բազմակի, ուստի բոլոր անվերջ դեպքերն ապացուցելի են<ref>Cupillari, p. 46.</ref>։ Սրանով խուսափում ենք յուրաքանչյուր դեպքն առանձին ապացուցելու անհրաժեշտությունից։ Մաթեմատիկական ինդուկցիայի տարբերակ է անվերջ նվազման եղանակով ապացույցը, որը կարող է օգտագործվել, օրինակ, երկուսի քառակուսի արմատի իռացիոնալությունը ապացուցելու համար<ref name=":0" />։

Մաթեմատիկական ինդուկցիայի միջոցով ապացույցի հաճախ հանդիպող կիրառումն այն է՝ ապացուցել, որևէ բնական թվի համար հայտնի որևէ հատկություն, ճշմարիտ է նաև բոլոր բնական թվերի համար։ մի թվի համար<ref>[http://zimmer.csufresno.edu/~larryc/proofs/proofs.mathinduction.html Examples of simple proofs by mathematical induction for all natural numbers]</ref>։
Ենթադրենք {{math|1='''N''' = {1,2,3,4,...}}} բնական թվերի բազմություն է, և {{math|''P''(''n'')}} մաթեմատիկական պնդում է, որ տեղի ունի {{math|''n''}} բնական թվի համար {{math|'''N'''}} բազմությունից, այնպես որsuch that
* '''(i)''' {{math|''P''(1)}} ճիշտ է, այսինքն, {{math|''P''(''n'')}} ճիշտ է {{math|1=''n'' = 1}}-ի համար։
* '''(ii)''' {{math|''P''(''n''+1)}} ճիշտ է, երբ {{math|''P''(''n'')}} ճիշտ է, այսինքն, {{math|''P''(''n'')}} չիշտ լինելուց հետևում է, որ {{math|''P''(''n''+1)}} ճիշտ է։
* '''Ապա {{math|''P''(''n'')}} ճիշտ է բոլոր բնական թվերի համար {{math|''n''}}։'''

Օրինակ, մենք ինդուկցիայով կարող ենք ապացուցել, որ {{math|2''n''&nbsp;−&nbsp;1}} տեսքի բոլոր դրական ամբողջ թվերը կենտ են։ 
:Ենթադրենք {{math|''P''(''n'')}} ներկայացվում է այս տեսքով "{{math|2''n''&nbsp;−&nbsp;1}} կենտ է":
:'''(i)''' {{math|1=''n'' = 1}}-ի համար, {{math|1=2''n''&nbsp;−&nbsp;1&nbsp;=&nbsp;2(1)&nbsp;−&nbsp;1&nbsp;=&nbsp;1}}, և {{math|1}} կենտ է, քանի որ այն {{math|2}}-ի բաժանելիս {{math|1}} մնացորդ է տալիս։ Այսպիսով {{math|''P''(1)}}-ը ճիշտ է։
:'''(ii)''' ցանկացած {{math|''n''}}-ի համար, եթե {{math|2''n''&nbsp;−&nbsp;1}}-ը կենտ է ({{math|''P''(''n'')}}), ապա {{math|(2''n''&nbsp;−&nbsp;1)&nbsp;+&nbsp;2}} նույնպես պետք է կենտ լինի, կենտ թվին {{math|2}} գումարելով, կստանանք կենտ թիվ։  Սակայն {{math|1=(2''n''&nbsp;−&nbsp;1)&nbsp;+&nbsp;2&nbsp;=&nbsp;2''n''&nbsp;+&nbsp;1&nbsp;=&nbsp;2(''n''+1)&nbsp;−&nbsp;1}}, ուստի {{math|1=2(''n''+1)&nbsp;−&nbsp;1}} կենտ է ({{math|''P''(''n''+1)}}).  So {{math|''P''(''n'')}} implies {{math|''P''(''n''+1)}}.
:'''Այսպիսով''' {{math|2''n''&nbsp;−&nbsp;1}}-ը կենտ է բոլոր {{math|''n''}} դրական ամբողջ թվերի համար։

Հաճախ "մաթեմատիկական ինդուկցիայի միջոցով ապացույց" արտահայտության փոխարեն օգտագործվում է ավելի կարճ "իդուկցիայի միջոցով ապացույց" արտահայտությունը<ref>[http://www.warwick.ac.uk/AEAhelp/glossary/glossaryParser.php?glossaryFile=Proof%20by%20induction.htm Proof by induction] {{Webarchive|url=https://web.archive.org/web/20120218033011/http://www.warwick.ac.uk/AEAhelp/glossary/glossaryParser.php?glossaryFile=Proof%20by%20induction.htm |date=February 18, 2012 }}, University of Warwick Glossary of Mathematical Terminology</ref>։
=== Ապացույց հակադարձից ===
Հակադարձից ապացույցը "եթե ''p'' ապա ''q''" պնդումը փոխարինում է տրամաբանորեն համարժեք  "եթե ''ոչ q'' ապա ''ոչ p''" պնդումով։

Օրինակ, հակադարձելիությունը կարելի է օգտագործել հետևյալ պնդման համար, տված <math>x</math> ամբողջ թվի համար, եթե <math> x^2 </math> զույգ է, ապա <math>x</math> զույգ է։

: Ենթադրենք <math>x</math> զույգ չէ։ Այդ դեպքում <math>x</math> կենտ է։ Երկու կենտ թվերի արտադրյալը կենտ է, հետևաբար <math> x^2  = x\cdot x </math> կենտ է։ Այսպիսով <math> x^2 </math> կենտ չէ։ Քանի որ <math> x^2 </math> զույգ է, ապա ենթադրությունը սխալ էր, ուստի <math> x </math> պետք է զույգ լինի։
=== Ապացույց հակառակ պնդումից ===
Հակառակ պնդումից ապացույցը, նաև հայտնի որպես աբսուրդի հասցրած, եթե որևէ պնդում ենթադրվում է ճիշտ և տրամաբանական հակասություն է ծագում, հետևաբար պնդումը սխալ է։ Հայտնի օրինակ է <math>\sqrt{2}</math> իռացիոնալության ապացույցը։

:Ենթադրենք <math>\sqrt{2}</math> ռացիոնալ թիվ է։ Ուստի այն կարող էներկայացվել <math>\sqrt{2} = {a\over b}</math> որտեղ ''a'' և ''b'' զրոյից տարբեր փոխադարձ պարզ ամբողջ թվեր են։ Այսպիսով <math>b\sqrt{2} = a</math>։ Երկու մասը քառակուսի բարձրացնելով, կունենանք 2''b''<sup>2</sup> = ''a''<sup>2</sup>։ Քանի որ ձախ կողմի արտահայտությունը բաժանվում է 2-ի, ուստի աջ կողմի արտահայտությունն էլ պետք է բաժանվի 2-։ Այսինքն, ''a''<sup>2</sup> զույգ է, որից հետևում է, որ ''a''-ն նույպես պետք է զույգ լինի, as seen in the proposition above (in Proof by Contraposition). Այսպիսով, մենք կարող ենք գրել ''a'' = 2''c'', որտեղ ''c'' նույնպես ամբողջ թիվ է։ Տեղադրելով սկզբնական հավասարման մեջ, ստանում ենք 2''b''<sup>2</sup> = (2''c'')<sup>2</sup> = 4''c''<sup>2</sup>։ Երկու կողմը 2-ի բաժանելով, կստանանք ''b''<sup>2</sup> = 2''c''<sup>2</sup>։ Սակայն միևնույն փաստարկով ''b''<sup>2</sup>-ը բաժանվում է 2-ի, ուստի ''b''-ն պետք է զույգ լինի։ Սակայն, եթե ''a'' և ''b'' երկուսն էլ զույգ են, ապա նրանք ունեն ընդհանուր բաժանարար։ Սա հակասում է մեր նախկին պնդմանը, որ ''a'' և ''b'' փոխադարձ պարզ են, ուստի մենք ստիպված ենք եզրակացնել որ <math>\sqrt{2}</math> իռացիոնալ թիվ է։
=== Ապացույց կառուցման միջոցով ===
Կառուցման միջոցով, կամ օրինակի միջոցով ապացույցը դա տվյալ հատկությամբ օրինակի կառուցումն է, ցույց տալու որ այն գոյություն ունի։ Օրինակ, Ժոզեֆ Լուիվիլը տրանսցենդենտ թվերի գոյությունն ապացուցել է կառուցելով տրանսցենդենտ թվի ակնհայտ օրինակ։ Մեթոդը կարող է օգտագործվել նաև կոնտրօրինակ կառուցելու համար՝ որոշակի հատկությամբ չեն օժտված բոլոր էլեմենտները։
=== Ապացույց սպառման միջոցով ===
Սպառման միջոցով ապացույցում, եզրակացությունը հանգվում է խնդիրը բաժանելով վերջավոր թվով դեպքերի և յուրաքանչյուրն առանձին ապացուցելով։ Դեպքերի քանակը երբեմն կարող է շատ մեծ լինել։ Օրինակ, չորս գույների թեորեմի առաջին ապացույցը 1,936 դեպքերի դիտարկում էր։ Ապացույցը վիճարկելի էր, քանի որ դեպքերի մեծ մասը ստուգվել էին համակարգչի միջոցով։ Չորս գույների թեորեմի ամենակարճ ապացույցը 600 դեպքեր է ներառում<ref>See [[Four color theorem#Simplification and verification]].</ref>։
=== Հավանական ապացույց ===
Հավանական ապացույցը այն է, որի դեպքում, օգտագործելով հավանականության տեսության մեթոդները, ցույց է տրվում, որ օրինակը հաստատ գոյություն ունի։
Հավանական ապացույցը, ինչպես կառուցման ապացույցը, գոյության թեորեմը ներկայացնելու բազմաթիվ եղանակներից մեկն է։

Հավանական մեթոդով որոնվում է տվյալ հատկությունն ունեցող առարկա, դիտարկելով մեծ թվով թեկնածուներ։ Յուրաքանչյուր թեկնածուի համար ընտրության որոշակի հավանականություն է տրվում, ապա ապացուցվում, որ գոյություն ունի ոչ զրոյական հավանականություն, որ ընտրված թեկնածուն կունենա տրված հատկությունԸ։ Սա չի մատնանշում, թե որ թեկնածուներն ունեն տվյալ հատկությունը, սակայն հավանականությունը չի կարող լինել դրական, առանց գոնե մեկի։

Հավանական ապացույցը չպետք է շփոթել փաստարկի հետ, որ թեորեմը հավանաբար ճիշտ է։ Կոլացի վարկածը ցույց է տալիս թե որքան հեռու է նմանակությունը իսկական ապացույցից։  Չնայած մաթեմատիկոսների մեծ մասը տրված օբյեկտի հատկությունների վերաբերյալ հավանական ապացույցը չեն համարում իսկական, որոշ մաթեմատիկոսներ և փիլիսոփաներ պնդում են, որ մի քանի տեսակի հավանական ապացույցներ, ինչպիսին պարզության ստուգման համար հավանական Ռաբինի ալգորիթմը նույնքան լավն է, որքան իսկական մաթեմատիկական ապացույցը<ref>Davis, Philip J. (1972), "Fidelity in Mathematical Discourse: Is One and One Really Two?" ''American Mathematical Monthly'' 79:252–63.</ref><ref>Fallis, Don (1997), "The Epistemic Status of Probabilistic Proof." ''Journal of Philosophy'' 94:165–86.</ref>։
=== Կոմբինատոր ապացույց ===
Կոմբինատոր ապացույցը հաստատում է տարբեր արտահայտությունների համարժեքությունը՝ ցույց տալով, որ նրանք տարբեր եղանակներով են հաշվում միևնույն առարկան։ Հաճախ երկու բազմությունների փոխմիարժեք համապատասխանությունը օգտագործվում է ցույց տալու որ դրանց երկու կողմերի արտահայտությունները հավասար են։ Այլընտրանքայնորեն, միևնույն բազմության չափի կրկնակի հաշվարկի փաստարկը երկու տարբեր արտահայտություն է՝ կրկին ցույց տալով, որ երկու արտահայտություններն էլ հավասար են։
=== Ոչ կառուցողական ապացույց ===
Ոչ կառուցողական ապացույցը հաստատում է, որ որոշակի հատկությամբ մաթեմատիկական օբյեկտը գոյություն ունի, առանց բացատրության, թե ինչպես գտնել այն գտնել։ Հաճախ 
այն հակասությունից ապացույցի ձև է ստանում, որով օբյեկտի գոյություն չունենալը անհնարին է դառնում։  Ի հակադրություն, կառուցողական ապացույցը հաստատում է որոշակի առարկայի գոյությունը՝ ցույց տալով այն գտնելու մեթոդը։ Ոչ կառուցողական ապացույցի հայտնի օրինակը ցույց է տալիս, որ գոյություն ունեն երկու իռացիոնալ ''a'' և ''b'' such թվեր, որ <math>a^b</math> ռացիոնալ է։:
:Կամ <math>\sqrt{2}^{\sqrt{2}}</math> ռացիոնալ թիվ է և մենք ապացուցեցինք (take <math>a=b=\sqrt{2}</math>), կամ <math>\sqrt{2}^{\sqrt{2}}</math> իռացիոնալ է, ուստի կարող ենք գրել <math>a=\sqrt{2}^{\sqrt{2}}</math> և <math>b=\sqrt{2}</math>. Ստացվում է <math>\left (\sqrt{2}^{\sqrt{2}}\right )^{\sqrt{2}}=\sqrt{2}^{2}=2</math>, որը և ռացիոնալ թիվ է այս տեսքով <math>a^b</math>։
=== Վիճակագրական ապացույց մաքուր մաթեմատիկայում ===
"Վիճակագրական ապացույց" արտահայտությունը կարող է օգտագործվել տեխնիկապես, կամ խոսակցության մեջ մաքուր մաթեմատիկական ոլորտներում, ինչպիսիք են գաղտնալսումները, քաոսային շարքերը, հավանական կամ անալիտիկ թվերի տեսությունը<ref>"in number theory and commutative algebra... in particular the statistical proof of the lemma." [https://www.jstor.org/pss/2686395]</ref><ref>"Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except for some ''statistical'' proof"" (Derogatory use.)[https://doi.org/10.1007%2F978-3-540-74282-1_78]</ref><ref>"these observations suggest a statistical proof of Goldbach's conjecture with very quickly vanishing probability of failure for large E" [http://people.web.psi.ch/gassmann/eneseminare/abstracts/Goldbach1.pdf]</ref>։ Այն ավելի հազվադեպ է օգտագործվում վիճակագրության մեջ։
=== Համակարգչային ապացույցներ ===
Մինչև քսաներորդ դար ենթադրվում էր, որ սկզբունքորեն ցանկացած հավաստիությունը կարող է ստուգվել բանիմաց մաթեմատիկոսի կողմից և վավերացնել<ref name="Krantz"/>։ Այնուամենայնիվ, համակարգիչները այժմ օգտագործվում են երկուստեք՝ թեորեմներն ապացուցելու և չափազանց երկար հաշվարկներ իրականացնելու համար։ Չորս գույների թեորեմը համակարգչի օգնությամբ ապացույցի օրինակ է։ Որոշ մաթեմատիկոսներ անհանգստացած են, որ համակարգչային ծրագրում կամ դրա հաշվարկների ժամանակ հնարավոր սխալի առկայությունը կասկածի տակ են դնում համակարգչային ծրագրերի օգնությամբ ապացույցների վավերականությունը։ Գործնականում, համակարգչի օգնությամբ ապացույցում սխալի հավանականությունը կարող է նվազեցվել՝ ավելորդությունները և ինքնաստուգումները հաշվարկներում ներառելու միջոցով, և զարգացնելով բազմաթիվ անկախ մոտեցումներ և ծրագրեր։ Սխալները երբեք լիովին բացառված չեն նաև մարդկանց կողմից ապացույցների ստուգման դեպքում, հատկապես, եթե ապացույցը բնական լեզվով է և սխալներն ու ենթադրությունները բացահայտելու համար խորը մաթեմատիկական պատկերացում է պահանջում։

== Անլուծելի հայտարարություններ ==
Պնդումը, որը աքսիոմների բազմությունից ոչ ապացուցելի է, ոչ մերժելի, կոչվում են անլուծելի։ Զուգահեռության պոստուլատը դրանցից մեկն է։ Այն ոչ ապացուցելի է, ոչ մերժելի Էվկլիդյան երկրաչափության մնացած աքսիոմներից։

Մաթեմատիկոսները ցույց են տվել շատ պնդումներ, որ ոչ ապացուցելի են, ոչ մերժելի են Ցերմելո-Ֆրանկելի բազմությունների տեսության մեջ։

Գյոդելի անավարտության առաջին թեորեմը ցույց է տալիս, որ մաթեմատիկական շատ աքսիոմատիկ համակարգեր կունենան անլուծելի պնդումներ։

== Փորձարարական մաթեմատիկա ==
Չնայած վաղ մաթեմատիկոսները, ինչպիսին է Կնիդուս Եվդոկոսը, չեն օգտագործել ապացույցներ, էվկլիդեսից մինչև 19-րդ և 20-րդ դարերի վերջերը մաթեմատիկայի զարգացման հիմնական մասն էին կազմում ապացույցները<ref>{{Cite book |last1=Mumford |first1=David B. |author1-link=David Mumford |url=https://en.wikipedia.org/wiki/Indra%27s_Pearls_(book) |title=Indra's Pearls: The Vision of Felix Klein |last2=Series |first2=Caroline |author2-link=Caroline Series |last3=Wright |first3=David |author3-link=David Wright (arranger) |publisher=[[Cambridge University Press]] |year=2002 |isbn=978-0-521-35253-6 |quote=What to do with the pictures? Two thoughts surfaced: the first was that they were unpublishable in the standard way, there were no theorems only very suggestive pictures. They furnished convincing evidence for many conjectures and lures to further exploration, but theorems were coins of the realm and the conventions of that day dictated that journals only published theorems.}}</ref>։ 1960-ականների կոմպյութերային հզորացմանը զուգահեռ, փորձարարական մաթեմատիկայում նշանակալի աշխատանք սկսվեց մաթեմատիկական օբյեկտների ուսումնասիրության ոլորտում ապացույց-թեորեմ շրջանակներից դուրս<ref>{{Cite web |title=A Note on the History of Fractals |url=https://home.att.net/~fractalia/history.htm |url-status=dead |archive-url=https://web.archive.org/web/20090215114618/https://home.att.net/~fractalia/history.htm |archive-date=2009 թ․ փետրվարի 15 |quote=Mandelbrot, working at the IBM Research Laboratory, did some computer simulations for these sets on the reasonable assumption that, if you wanted to prove something, it might be helpful to know the answer ahead of time.}}</ref>, Այս մեթոդների վաղ պիոներները նպատակ ունեին, որ գործն ի վերջո ներառվի դասական ապացույց-թեորեմի շրջանակներում, օրինակ. ֆրակտալ երկրաչափության վաղ զարգացումը<ref>{{Cite book |last=Lesmoir-Gordon |first=Nigel |url=https://archive.org/details/introducingfract0000lesm |title=Introducing Fractal Geometry |publisher=[[Introducing... (book series)|Icon Books]] |year=2000 |isbn=978-1-84046-123-7 |quote=...brought home again to Benoit [Mandelbrot] that there was a 'mathematics of the eye', that visualization of a problem was as valid a method as any for finding a solution. Amazingly, he found himself alone with this conjecture. The teaching of mathematics in France was dominated by a handful of dogmatic mathematicians hiding behind the pseudonym 'Bourbaki'...}}</ref>, որն, ի վերջո, այդքան ներկառուցված էր։

== Առնչվող հասկացություններ ==
=== Տեսողական ապացույց ===
Չնայած պաշտոնական ապացույց չէ, բայց մաթեմատիկական թեորեմի տեսողական ներկայացումը երբեմն կոչվում է «ապացույց առանց բառերի»։ Ստորև բերված ձախ նկարը Պյութագորասի թեորեմի պատմական տեսողական ապացույցի օրինակ է (3,4,5) եռանկյան դեպքում։
<gallery>
Պատկեր:Chinese pythagoras.jpg|Տեսողական ապացույց (3, 4, 5) եռանկյունների համար մ․թ․ա․500–200 թթ։
Պատկեր:Pythagoras-2a.gif|Պյութագորասի թեորեմի տեսողական ապացույցը վերադասավորմամբ։
Պատկեր:Pythag anim.gif|Պյութագորասի թեորեմի երկրորդ անիմացիոն ապացույցը։
</gallery>
=== Տարրական ապացույց ===
Տարրական ապացույցն օգտագործում է միայն հիմնական միջոցները։ Մասնավորապես տերմինն օգտագործվում էթվերի տեսության մեջ հղվելու ապացույցներին, որոնք չեն օգտագործում կոմպլեքս անալիզ։ Որոշ ժամանակ կարծիք կար, որ որոշակի թեորեմներ, ինչպես պարզ թվերի թեորեմը, միայն «բարձրագույն» մաթեմատիկայի միջոցով կարող են ապացուցվել։
Այնուամենայնիվ, ժամանակի ընթացքում այս արդյունքները վերաապացուցվեցին օգտվելով միայն տարրական տեխնիկայից։
=== Երկսյուն ապացույց ===
[[Պատկեր:twocolumnproof.png|thumb|right|Երկսյուն ապացույց հրապարակված 1913 թվականին]]
Երկու զուգահեռ սյուներ օգտագործող ապացույցի եղանակը հաճախ օգտագործվում է Միացյալ Նահանգների տարրական երկրաչափության դասերում։
<ref>{{Cite journal |last=Herbst |first=Patricio G. |year=2002 |title=Establishing a Custom of Proving in American School Geometry: Evolution of the Two-Column Proof in the Early Twentieth Century |url=https://deepblue.lib.umich.edu/bitstream/2027.42/42653/1/10649_2004_Article_5096042.pdf |journal=[[Educational Studies in Mathematics]] |volume=49 |issue=3 |pages=283–312 |doi=10.1023/A:1020264906740}}</ref> Ապացույցը գրված է երկու սյունակում որպես տողերի շարքեր։ Յուրաքանչյուր տողում ձախ սյունը պարունակում է մի առաջարկ, մինչդեռ աջ սյունակում կա հակիրճ բացատրություն այն մասին, թե ինչպես է ձախակողմյան համապատասխան սյունակի առաջարկը կամ աքսիոման, վարկածը կարող է տրամաբանորեն բխել նախորդ առաջարկներից։ Ձախ սյունը սովորաբար վերնագրված է «Հայտարարություններ», իսկ աջ սյունը՝ «Պատճառներ»<ref>{{Cite web |author=Dr. Fisher Burns |title=Introduction to the Two-Column Proof |url=https://www.onemathematicalcat.org/Math/Geometry_obj/two_column_proof.htm |access-date=2009 թ․ հոկտեմբերի 15 |website=onemathematicalcat.org}}</ref>
=== "Մաթեմատիկական ապացույցի" խոսակցական օգտագործումը ===
"Մաթեմատիկական ապացույց" արտահայտությունը օգտագործվում է ոչ մասնագետների կողմից, հիշատակելու որ օգտագործում են մաթեմատիկական մեթոդներ, կամ մաթեմատիկական առարկաներ քննարկելու համար, ինչպիսին թվերն են, առօրյա կյանքից ինչ որ բան ներկայացնելու համար, կամ փաստարկներում օգտագործվող տվյալները թվային են։ Այն երբեմն օգտագործվում է "վիճակագրական ապացույցի" իմաստով, հատկապես, երբ օգտագործվում է տվյալների հիման վրա փաստարկներում։

=== Տվյալների օգտագործմամբ վիճակագրական ապացույց ===
Տվյալների օգտագործմամբ "Վիճակագրական ապացույցը" վերաբերում է վիճակագրության կիրառմանը, տվյալների վերլուծությանը կամ Բայեսյան վերլուծություններին, տվյալների հավանականության վերաբերյալ առաջարկություններ դուրս բերելու համար։ Վիճակագրությունում թեորեմմ ստեղծելու համար մաթեմատիկական ապացույցն օգտագործելը սովորաբար մաթեմատիկական ապացույց չէ, քանի որ''ենթադրությունները'', որոնցից հավանական պնդումներ են դուրս բերվում, ստուգելու համար պահանջում են էմպիրիկ ապացույցներ մաթեմատիկայից դուրս։ Ֆիզիկայում, բացի վիճակագրական մեթոդներից, "վիճակագրական ապացույցը" կարող է վերաբերել մասնագիտացված ''[[մաթեմատիկական ֆիզիկա]]յից'', որոնք կիրառվել են մասնիկների ֆիզիկայի փորձի կամ ֆիզիկական տիեզերագիտության մեջ դիտորդական ուսումնասիրության տվյալները վերլուծելու համար։ "Վիճակագրական ապացույցը"  կարող է վերաբերվել նաև չմշակված տվյալներին կամ համոզող դիագրամներին։

=== Ինդուկտիվ տրամաբանական ապացույցներ և Բայեսյան վերլուծություններ ===
Ինդուկտիվ տրամաբանություն օգտագործող ապացույցները չնայած բնույթով համարվում են մաթեմատիկական, փորձում են որոշակիության աստիճանի մտահանգումներ կատարել, ինչը գործում է հավանականությանը նման ձևով և կարող է լինել պակաս որոշակի։ Ինդուկտիվ տրամաբանությունը չպետք է շփոթել մաթեմատիկական ինդուկցիայի հետ։

Բայեսյան վերլուծությունը օգտագործում է Բայեսի թեորեմը՝ թարմացնելու համար վարկածի հավանականությունը, երբ նոր ապացույցներ կամ տեղեկություններ են ձեռք բերվում։

=== Ապացույցները որպես մտավոր օբյեկտներ ===
Հոգեբանականությունը մաթեմատիկական ապացույցները դիտարկում է որպես հոգեբանական կամ մտավոր օբյեկտներ։ Մաթեմատիկոս-փիլիսոփաներ, այնպիսիք, ինչպիսին [[Լայբնից Գոթֆրիդ|Լայբնիցն]] է, [[Գոտլոբ Ֆրեգե|Ֆրեգեն]] և [[Ռուդոլֆ Կառնապ|Կառնապը]] տարբեր կերպ քննադատել են այս մոտեցումը և փորձել են մշակել մտքերի լեզվի սեմանտիկան, որով մաթեմատիկական ապացույցի չափորոշիչները հնարավոր կլիներ կիրառելփորձարարական գիտության նկատմամբ։{{citation needed|date=November 2014}}

=== Մաթեմատիկական ապացույցների մեթոդների ազդեցությունը մաթեմատիկայից դուրս ===
Փիլիսոփա մաթեմատիկոսներն, ինչպիսին Սպինոզան, փիլիսոփայական փաստարկները փորձել են ձևակերպել աքսիոմատիկ ձևաչափով, որով և մաթեմատիկական ապացույցների չափորոշիչները կարող են կիրառվել ընդհանուր փիլիսոփայության մեջ։ Մյուս մաթեմատիկոս-փիլիսոփաները մաթեմատիկական ապացույցի և բանականության չափորոշիչները օգտագործել մաթեմատիկայից դուրս պնդումներ անելու, սակայն ունենալով մաթեմատիկական ապացույցների հիմնավորումների որոշակիությունը, այնպիսին, ինչպիսին Դեկարտի  [[cogito ergo sum|''cogito'']] փաստարկը։

== Ապացույցի ավարտ ==
{{Main|Q.E.D.}}
Երբեմն  ''"Q.E.D."'' հապավումն է գրվում, ապացույցի ավարտը նշելու համար։ Վերջինս ''"Quod Erat Demonstrandum"'' արտահայտության հապավումն է, որը [[լատիներեն]] նշանակում է ''"այն ինչ պետք էր ապացուցել"''։ Ավելի տարածված այլընտրանք է քառակուսին կամ ուղղանկյունը, ինչպիսիք են □ կամ ∎, որոնք հայտնի են որպես «գերեզմանաքար» կամ «հալմոս» ՝  Պոլ Հալմոսի անվան պատվին<ref name=":0" />։

== Ծանոթագրություններ ==
{{ծանցանկ}}

[[Կատեգորիա:Մաթեմատիկական ապացույց]]
[[Կատեգորիա:Մաթեմատիկական տրամաբանություն]]
[[Կատեգորիա:Մաթեմատիկական տերմիններ]]