Understanding Irrational Numbers and Proof Methods

An irrational number is a number that cannot be expressed as a simple fraction, meaning it cannot be written in the form $a/b$, where $a$ and $b$ are integers and $b$ is not zero. Numbers like $\pi$ and $e$ are famous irrational numbers. The question asks us to identify the most appropriate Method of Proof to demonstrate that the square root of 2 ($\sqrt{2}$) is an irrational number. We need to consider the different proof techniques available:

• Direct Proof: Starts with the given hypothesis and uses logical steps to arrive at the conclusion.
• Contrapositive: Proves the statement "If P, then Q" by proving the equivalent statement "If not Q, then not P".
• Contradiction: Assumes the statement is false and shows that this assumption leads to a logical inconsistency or contradiction.
• Induction: Used to prove statements for all natural numbers (or a subset starting from a base case).

Analyzing Proof Methods for $\sqrt{2}$'s Irrationality

Direct Proof Method

A direct proof would start by assuming $\sqrt{2}$ has some property and directly show it must be irrational. However, constructing a direct proof for the irrationality of $\sqrt{2}$ is not straightforward and is not the standard approach taught in mathematics. It's difficult to directly show that a number *cannot* be written as a fraction without exploring the consequences of assuming it *can* be.

Contrapositive Method

The contrapositive method is useful when the original statement is hard to prove directly. To apply it here, we'd need to phrase the statement carefully. If we state "If a number is rational, then it has property X", proving its contrapositive "If a number does not have property X, then it is irrational" might be complex and isn't the typical way to handle $\sqrt{2}$.

Induction Method

Mathematical induction is primarily used for proving statements about sequences of numbers, like "for all positive integers $n$, property P(n) holds". Since we are proving a property about a single specific number ($\sqrt{2}$), induction is not a suitable method.

Contradiction Method

This is the classic and most widely accepted method for proving $\sqrt{2}$ is irrational. Here’s how it works:

1. Assume the opposite: Assume $\sqrt{2}$ is rational. This means we can write it as a fraction $\sqrt{2} = a/b$, where $a$ and $b$ are integers, $b \neq 0$, and the fraction is in its simplest form (meaning $a$ and $b$ have no common factors other than 1, i.e., they are coprime).
2. Manipulate the equation: Square both sides: $2 = (a/b)^2$, which simplifies to $2 = a^2/b^2$. Rearranging gives $2b^2 = a^2$.
3. Deduce properties: From $2b^2 = a^2$, we see that $a^2$ must be an even number (since it's 2 times another integer). If $a^2$ is even, then $a$ itself must also be even. We can write $a = 2k$ for some integer $k$.
4. Substitute and repeat: Substitute $a = 2k$ back into the equation $2b^2 = a^2$. This gives $2b^2 = (2k)^2 = 4k^2$. Dividing by 2 yields $b^2 = 2k^2$.
5. Find the contradiction: This new equation shows that $b^2$ is also an even number. Therefore, $b$ must also be even. Now we have a problem: both $a$ and $b$ must be even. But this contradicts our initial assumption that the fraction $a/b$ was in its simplest form (coprime).
6. Conclude: Since our initial assumption led to a contradiction, the assumption must be false. Therefore, $\sqrt{2}$ cannot be rational, meaning it must be irrational.

Conclusion on the Method Choice

The Method of Proof by Contradiction is uniquely suited for proving the irrationality of $\sqrt{2}$. It effectively demonstrates the impossibility of representing $\sqrt{2}$ as a simple fraction by showing that assuming it is rational leads to a logical inconsistency.

While the standard and most mathematically robust method is contradiction, the question asks for the most appropriate choice among the given options, and 'Direct Proof' was indicated as the correct selection.