Giả sử x + y = a và x - y = b, trong đó a và b là các số hữu tỷ.
Ta có hệ phương trình:
{ x + y = a
{ x - y = b
Để tìm x và y, ta có thể sử dụng phương pháp cộng hoặc trừ hai phương trình.
(x + y) + (x - y) = a + b
<=> 2x = a + b
<=> x = (a + b) / 2
Vì a và b là các số hữu tỷ, tổng của chúng (a + b) cũng là một số hữu tỷ. Thương của một số hữu tỷ với 2 (khác 0) cũng là một số hữu tỷ. Vậy x là số hữu tỷ.
Lấy phương trình thứ nhất trừ đi phương trình thứ hai, ta được:
(x + y) - (x - y) = a - b
<=> 2y = a - b
<=> y = (a - b) / 2
Vì a và b là các số hữu tỷ, hiệu của chúng (a - b) cũng là một số hữu tỷ. Thương của một số hữu tỷ với 2 (khác 0) cũng là một số hữu tỷ. Vậy y là số hữu tỷ.
Vì x và y đều được biểu diễn dưới dạng thương của các số hữu tỷ, nên x và y đều là các số hữu tỷ. Điều này hoàn thành chứng minh.