Seien a eine irrationale und b eine rationale Zahl. Zeigen Sie:
(a) a + b = c ist irrational.
Indirekter Beweis: Annahme c ist rational.
Dann gilt c = m/n. Da b rational gilt b= r/s (dabei m,n,r,s ganze Zahlen und weder n noch s sind 0)
Einsetzen in a + b = c
a + r/s = m/n
a = m/n - r/s = (ms - r n)/(ns) = p/q .
mit p= ms-rn ist eine ganze Zahl und q=ns ist eine ganze Zahl ungleich 0.
D.h. a ist rational. Das ist eine Widerspruch zur Voraussetzung 'a ist irrational.'. Die Annahme a+b ist rational ist somit falsch.
Beweis von b) analog.