Appendix 1: Proofs in Mathematics | A1.6

Question 1

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

Check your answer with HomiSolve it yourself, then let Homi check your steps and spot mistakes.
Solution

We will assume the opposite of what we want to prove.

Step 1 — Assume the opposite

We want to show that b>db > d. Let's assume the opposite is true. The opposite of b>db > d is bdb \le d. So, we assume that bb is less than or equal to dd.

Step 2 — Use the given information

We are given two facts. The first fact is a<ca < c. The second fact is a+b=c+da + b = c + d. We also have our assumption from Step 1. Our assumption is bdb \le d.

Step 3 — Combine the inequalities

Let's add the two inequalities we have. We have a<ca < c. We also have bdb \le d. When we add these, we get:

a+b<c+da + b < c + d

This means that the sum of aa and bb is strictly less than the sum of cc and dd.

Step 4 — Find the contradiction

From Step 3, we found a+b<c+da + b < c + d. But we were given that a+b=c+da + b = c + d. These two statements cannot both be true. They contradict each other. Our assumption led to a contradiction.

Step 5 — Conclude the proof

Since our assumption was wrong, its opposite must be true. We assumed bdb \le d. The opposite of bdb \le d is b>db > d. Therefore, we have proven that b>db > d.

Answer

(i) We used proof by contradiction. (ii) We assumed bdb \le d. (iii) This assumption led to a+b<c+da + b < c + d, which contradicts the given a+b=c+da + b = c + d.

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