olmayana ergi

bir seyin ne olmadigini ispat ederek, olana varmaya calismak esasina dayanan bir matematiksel ispat yontemi. celiskiler elenerek cuk oturan ihtimal bulunur.. bulunmaya calisilir.

Bir teoremde hükmün değilini doğru varsayıp hipotezin değilini elde ederek yapılan ispattır...

(1/sonsuz) = "0" olmadığının ispatını olmayana ergi methodu ile ispatlayalım.

bunun için önermenin tersinin doğru olduğunu kabul edelim. eğer tersinin yanlışlığını ispatlarsak önermemiz doğru olacaktır.

1/sonsuz yazmak uzun olduğu için 1/sonsuz yerine "a" diyelim.

eğer a = 0 ise

a + a = 0 + 0 = 0

a + a + a = 0

a + a + a ........(sonsuz tane) = 0

a parantezine alırsak

sonsuz x a = 0

sonsuz x (1/sonsuz) = 1

0 = 1 olamayacağından bu önerme yanlıştır.

demekki 1/sonsuz 0 a eşit değildir.

(bkz: olmayana ergi yöntemi)

(bkz: olmayana erik)