Противречност: Разлика помеѓу преработките
| [непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
Нема опис на уредувањето |
Нема опис на уредувањето |
||
Ред 1:
===Доказ со
Овој доказ спаѓа во групата на индиректни докази и уште е познат како доказ со доведување до контрадикција (апсурд), Reductio ad absurdum.
Во '''Доказ со контрадикција''', it is shown that if some statement were false, a logical contradiction occurs, hence the statement must be true. A famous example of a proof by contradiction shows that <math>\sqrt{2}</math> is [[Irrational number|irrational]]:▼
Суштината на '''Доказ со доведување до противречност''' се сосотои во следново: ако од негацијата на заклучокот и од претпоставката на теоремата следува некој исказ противречен на условот, некоја аксиома или теорема, тогаш теоремата е докажана.
▲
:Suppose that <math>\sqrt{2}</math> is rational, so <math>\sqrt{2} = {a\over b}</math> where ''a'' and ''b'' are non-zero integers with no common factor (definition of rational number). Thus, <math>b\sqrt{2} = a</math>. Squaring both sides yields 2''b''<sup>2</sup> = ''a''<sup>2</sup>. Since 2 divides the left hand side, 2 must also divide the right hand side (as they are equal and both integers). So ''a''<sup>2</sup> is even, which implies that ''a'' must also be even. So we can write ''a'' = 2''c'', where ''c'' is also an integer. Substitution into the original equation yields 2''b''<sup>2</sup> = (2''c'')<sup>2</sup> = 4''c''<sup>2</sup>. Dividing both sides by 2 yields ''b''<sup>2</sup> = 2''c''<sup>2</sup>. But then, by the same argument as before, 2 divides ''b''<sup>2</sup>, so ''b'' must be even. However, if ''a'' and ''b'' are both even, they share a factor, namely 2. This contradicts our assumption, so we are forced to conclude that <math>\sqrt{2}</math> is irrational.
| |||