Appendix 1: Proofs in Mathematics | A1.6

Question 2

Let rr be a rational number and xx be an irrational number. Use proof by contradiction to show that r+xr + x is an irrational number.

Check your answer with HomiSolve it yourself, then let Homi check your steps and spot mistakes.
Solution
Understand the Question
  • In a proof by contradiction, we assume the opposite of what we want to prove and show that this leads to a logical impossibility (a contradiction).
  • To prove that r+xr + x is irrational (where rr is rational and xx is irrational), we assume that r+xr + x is rational.
  • We then express both rr and r+xr + x as ratios of integers and isolate xx to see if it leads to a contradiction with the given fact that xx is irrational.

Step 1 · Assume r+xr + x is Rational and Isolate xx

Assume on the contrary that r+xr + x is a rational number.

Then, there exist integers aa and bb (b0b \neq 0) such that: r+x=abr + x = \dfrac{a}{b}

Since rr is given to be a rational number, let r=cdr = \dfrac{c}{d}, where cc and dd are integers and d0d \neq 0.

Substitute r=cdr = \dfrac{c}{d} into the equation: cd+x=ab\dfrac{c}{d} + x = \dfrac{a}{b}

Isolating xx:

x=abcd=adbdcbbd=adcbbd\begin{aligned} x &= \dfrac{a}{b} - \dfrac{c}{d} \\[0.6em] &= \dfrac{ad}{bd} - \dfrac{cb}{bd} \\[0.6em] &= \dfrac{ad - cb}{bd} \end{aligned}

Step 2 · Analyze xx and Reach a Contradiction

Since a,b,c,da, b, c, d are integers and b,d0b, d \neq 0:

  • adcbad - cb is an integer (integers are closed under multiplication and subtraction).
  • bdbd is a non-zero integer.

Therefore, adcbbd\dfrac{ad - cb}{bd} is a rational number, which implies: x is a rational numberx \text{ is a rational number}

This contradicts the given statement that xx is an irrational number.

Hence, our assumption that r+xr + x is rational is false.

Answer

Therefore, r+xr + x is an irrational number.

Common Mistakes
  • Forgetting Non-zero Denominator Condition: When defining rational numbers ab\dfrac{a}{b} and cd\dfrac{c}{d}, forgetting to specify that b0b \neq 0 and d0d \neq 0, which ensures bd0bd \neq 0.
  • Direct Assumption Error: Trying to assume xx is rational instead of assuming the sum r+xr + x is rational to set up the contradiction.
  • Closure Property Justification: Not stating that the product and difference of integers remain integers, which is essential to conclude that adcbbd\dfrac{ad - cb}{bd} is rational.

More questions in A1.6

Q1

Suppose a+b=c+da + b = c + d, and a<ca < c. Use proof by contradiction to show b>db > d.

Q2

Let rr be a rational number and xx be an irrational number. Use proof by contradiction to show that r+xr + x is an irrational number.

Q3

Use proof by contradiction to prove that if for an integer aa, a2a^2 is even, then so is aa.

[Hint : Assume aa is not even, that is, it is of the form 2n+12n + 1, for some integer nn, and then proceed.]

Q4

Use proof by contradiction to prove that if for an integer aa, a2a^2 is divisible by 3, then aa is divisible by 3.

Q5

Use proof by contradiction to show that there is no value of nn for which 6n6^n ends with the digit zero.

Q6

Prove by contradiction that two distinct lines in a plane cannot intersect in more than one point.

← Back to Appendix 1: Proofs in Mathematics