(a+b=c) Behauptung (a(rational) + b(irrational) =c(irrational))
Kontraposition: Annahme es gibt 3 Zahlen so dass:
a + b = c, wobei a und c Element Q und b Element R\Q.
Nun ist aber
b = c-a
c-a ist eine rationale Zahl, das die Differenz zweier rationaler Zahlen immer rational ist. (vgl. Bruchrechenregeln: Gleichnamig machen und zusammenfassen geht immer).
==> b ist rational. Das ist ein Widerspruch zur Voraussetzung, dass b irrational ist. qed.
"Summe einer rationalen und einer irrationalen Zahl ist immer eine irrationale Zahl."