Nepriamy dôkaz

Z Wikipédie

Nepriamy dôkaz je apagogický dôkaz, dôkaz neplatnosti opaku, konečná postupnosť správnych krokov, z ktorých každý vyplýva z predchádzajúcich, pričom prvým krokom je negácia záveru tvrdenia a výsledkom posledného kroku je negácia predpokladu alebo iného platného tvrdenia. Ináč povedané, nepriamy dôkaz spočíva v tom, že dokážeme, že ak by dokazované tvrdenie neplatilo, viedlo by to k sporu.

[úprava] Príklad

Ako príklad dokážeme, že \sqrt 2 nie je racionálne číslo. Dokazujeme nepriamo. Predpokladáme, že \sqrt 2 je racionálne číslo. To znamená, že existujú celé čísla p a q také, že

\frac{p}{q}=\sqrt 2

pričom q je rôzne od nuly a p a q sú nesúdeliteľné.

Umocnením oboch strán rovnice na druhú dostaneme, že p2 / q2 = 2. Z nenulovosti q vyplýva p2 = 2q2, teda číslo p2 je párne. Keďže p2 je štvorec, znamená to, že aj samo p je párne a možno ho teda vyjadriť v tvare p = 2m kde m je nejaké celé číslo. Keď posledný vzťah skombinujeme so vzťahom p2 = 2q2 zistíme, že 2m2 = q2, čo znamená, že aj q2 je párne číslo. Znovu, keďže q2 je štvorec, znamená to, že aj q je párne.

Takto sme dokázali, že p aj q sú párne čísla a teda číslo 2 je ich spoločným deliteľom. Ale to je spor s predpokladom, že p a q sú nesúdeliteľné.

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok