Ero sivun ”Matemaattinen todistus” versioiden välillä
[katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p →Epäsuora todistus: linkki |
|||
Rivi 41:
===Epäsuora todistus===
Epäsuorassa todistuksessa oletetaan, että väite ei olekaan voimassa ja osoitetaan, että tästä "vastaoletuksesta" seuraa jokin [[ristiriita]] joko oletuksen, aksiooman tai jonkin aikaisemmin todistetun lauseen kanssa.
'''Väite:''' <math>\sqrt{2}</math> on irrationaaliluku. (Oletetaan, että aiemmin on jo todistettu luvun <math>\sqrt{2}</math> olemassaolo.)
|