>>013 (OP)
saga

Воспользоваться тем фактом, что рациональные числа составляют подгруппу по сложению в аддитивной группе вещественных чисел.

>>013 (OP)
От противного же. Предположим, что a - b - рационально, тогда (a+b)+(a-b) = 2a - тоже рационально, противоречие, т.к. a - иррационально.