Пусть a рационально, b иррационально, c рационально.

Предположим что:

Следовательно:
- т.е. иррациональное число равно разности двух рациональных чисел. А мы знаем что такое совершенно невозможно!Так как разность двух рациональных чисел, всегда рационально.Но b иррационально!
Поэтому наше предположение не верно, и сумма рационального и иррационального числа = иррациональному числу.
Ч.Т.Д.




Опять же, ситуация как и в первом примере. Следовательно это невозможно и разность рационального и иррационального = всегда иррациональному.
Ч.Т.Д.