Представим данные рациональные числа в виде дробей с целыми числителями и натуральными знаменателями:

,
,
.
m, p, r ∈ Z;
n, q, s ∈ N.
Выразим сумму a + b через эти дроби:

Разность и произведение чисел также является целым числом. То есть, в числителе и знаменателе полученной дроби стоят целые числа.
Знаменатель не равен 0:
a ≠ b
r ≠ 0
nqr ≠ 0.
Если он отрицателен, то знак умножением на (−1) можно "перебросить" на числитель. Тогда знаменатель будет положительным целым числом, не равным 0, то есть натуральным числом.
Таким образом a + b − это дробь, у которой числитель − целое число, а знаменатель − натуральное. Значит a + b ∈ Q − является рациональным числом.