91Ó°ÊÓ

Rational numbers are numbers that can be expressed as the quotient or fraction of two integers. In other words, a rational number can be written in the form \frac{a}{b}\, where \(a\) and \(b\) are integers, and \(b eq 0\). Some well-known examples of rational numbers include \(\frac{1}{2}\), \(\frac{4}{5}\), and \(-3\).
The set of rational numbers is denoted by \(\mathbb{Q}\). An important property of rational numbers is that they either terminate or recur when expressed as a decimal. For instance, \(\frac{1}{2}\) equals 0.5, which terminates, and \(\frac{1}{3}\) equals 0.333..., which is a repeating decimal. Both these characteristics distinguish rational numbers from irrational numbers.

Irrational numbers cannot be expressed as a simple fraction of two integers. Unlike rational numbers, their decimal representation neither terminates nor becomes periodic. Some classic examples of irrational numbers include \(\pi\) (pi), \(e\) (Euler's number), and \(\sqrt{2}\) (the square root of 2).
While \pi\ and \(e\) come from specific mathematical contexts, \sqrt{2}\ is commonly used to demonstrate an irrational number arising from algebraic operations. It has been proven that \(\frac{a}{b}\) form does not exist such that it exactly equals \sqrt{2}\. Hence, all irrational numbers lack precise fractional representations and are key in many areas of mathematics, including the proof by contradiction theorem.

Proof by contradiction is a classic mathematical technique used to demonstrate the truth of a statement by assuming its opposite is true and showing that this leads to a contradiction. In simpler terms, we start by assuming that the statement we want to prove is false. If this assumption eventually leads to an impossible situation or a contradiction, then our original statement must be true.
For instance, in our exercise, we assumed that \(\sqrt{2}\) was rational (i.e., \(\sqrt{2} = r\), where \(r \in \mathbb{Q}\)). We derived a result that \(\sqrt{2}\) equals a rational output, which is a known impossibility. This contradiction forces us to conclude that our initial assumption was incorrect, proving that \(\sqrt{2}\) is indeed irrational.
Proof by contradiction is powerful in mathematics because it provides an ironclad method of demonstrating truths, especially in contexts where direct proof may be complex or unobvious.