The Sum Of Two Rational Numbers Is Always

The Sum of Two Rational Numbers is Always Rational: A Comprehensive Guide

At the heart of elementary algebra lies a beautifully simple and powerful truth: the sum of two rational numbers is always rational. This fundamental property, known as the closure property of rational numbers under addition, is more than just a textbook fact; it is a cornerstone of arithmetic that guarantees predictability and consistency in all calculations involving fractions and decimals that terminate or repeat. Understanding why this is always true unlocks a deeper appreciation for the logical structure of mathematics itself. This guide will explore the definition of rational numbers, provide a step-by-step algebraic proof of this theorem, examine its implications, and clarify common points of confusion.

What Exactly Are Rational Numbers?

Before proving their sum is always rational, we must be perfectly clear on what constitutes a rational number. A rational number is any number that can be expressed as the quotient or fraction p/q of two integers, where p (the numerator) and q (the denominator) are integers and q is not zero (q ≠ 0). The set of all rational numbers is denoted by Q.

This definition encompasses a vast range of numbers:

• Integers (e.g., 5 = 5/1, -3 = -3/1).
• Proper and Improper Fractions (e.g., 2/3, -7/4, 10/2).
• Terminating Decimals (e.g., 0.75 = 75/100 = 3/4, 0.2 = 2/10 = 1/5).
• Repeating Decimals (e.g., 0.333... = 1/3, 0.142857142857... = 1/7).

The key is that the decimal representation either ends (terminates) or falls into a permanent repeating cycle. Numbers that cannot be expressed in this form, such as √2, π, or e, are called irrational numbers.

The Algebraic Proof: Why the Sum is Always Rational

Let us prove the statement rigorously. Take any two arbitrary rational numbers. By definition, we can write them as:

a/b and c/d

where a, b, c, d are all integers, and b ≠ 0, d ≠ 0.

To find their sum, we use the standard rule for adding fractions:

a/b + c/d = (a*d + b*c) / (b*d)

Now, analyze the numerator and denominator of this result:

1. Numerator: (a*d + b*c). Since a, b, c, d are all integers, the products a*d and b*c are also integers (integers are closed under multiplication). The sum of two integers, (a*d) + (b*c), is therefore also an integer (integers are closed under addition).
2. Denominator: (b*d). The product of two non-zero integers b and d is a non-zero integer. It cannot be zero because neither b nor d is zero.

Therefore, the sum (a*d + b*c) / (b*d) is a fraction where both the numerator and denominator are integers, and the denominator is not zero. This fits the exact definition of a rational number.

This proof holds for any integers a, b, c, d (with b, d ≠ 0). It is impossible to choose values that would make the denominator zero or produce a non-integer in the numerator. Hence, the sum of two rational numbers is always rational. This is not a tendency; it is a mathematical certainty.

The Closure Property in Action

This characteristic is formally called closure. A set is said to be "closed under" an operation (like addition) if performing that operation on any two members of the set always