Proof by Contradiction (Edexcel International A Level (IAL) Maths: Pure 4): Exam Questions

Exam code: YMA01

2 hours25 questions
1
Sme Calculator
4 marks

Find the prime factorisation of the following numbers

(i) 100

(ii) 120

2
Sme Calculator
4 marks

State whether the following are rational or irrational quantities.

For those that are rational, write them in the form ab, where a and b are integers and ab is in its simplest terms.

(i) 2

(ii) ln 3

(iii) 4218

(iv) 3 ln 2ln 32

3
Sme Calculator
3 marks

Prove by contradiction that the sum of two consecutive integers is odd.

4
Sme Calculator
3 marks

Prove by contradiction that the product of two odd numbers is odd.

5
Sme Calculator
3 marks

Prove by contradiction that if x is even, then x2 must be even.

6
Sme Calculator
3 marks

Prove by contradiction that there is an infinite number of multiples of 10.

1
Sme Calculator
3 marks

Prove by contradiction that if x2 is odd, then x must be odd.

2a
Sme Calculator
2 marks

When a number is rational, it can be written in the form ab.

(i) Write down the condition that a and b must satisfy.

(ii) Write down a further condition on b.

2b
Sme Calculator
3 marks

Two numbers can be written in the form  pq and rs such that  p, q, r and s meet the necessary conditions so that the two numbers are rational.

Prove that the product of these numbers is also rational.

3
Sme Calculator
4 marks

Prove by contradiction that there are an infinite number of even numbers.

4a
Sme Calculator
2 marks

A student is attempting to answer the following exam question:

“Prove by contradiction that 2 is an irrational number. You may use without proof the fact that if a number n2 is even, then n must also be even.”

The student’s proof proceeds as follows:

Line 1:

Assume 2 is a rational number.  Therefore, it can be written in the form 2=ab, where a and b are integers with b0, and where a and b may be assumed to have no common factors.

Line 2:

Squaring both sides:  4=a2b2

Line 3:

 a2=2b2

Line 4:

 

Line 5:

Therefore a=2m, for some integer m

Line 6:

Then, a2=(2m)2=4m2

Line 7:

 2b2 = 4m2

Line 8:

b2=2m2

Line 9:

So b2 is even and therefore b is also even.

Line 10:

It has been shown that both a and b are even, so they share a common factor of 2.

Line 11:

This is a contradiction of the assumption that a and b have no common factors.

Line 12:

Therefore, 2 is irrational.

There is an error within the first three lines of the proof.

State what the error is and write the correct line down.

4b
Sme Calculator
2 marks

Line 4 of the proof is missing.

Write down the missing line of the proof.

5a
Sme Calculator
3 marks

(i) How many distinct factors does a prime number have?

(ii) What can you say about the number of distinct factors a square number has?

(iii) If N is the square of a prime number, then excluding N itself, write down, in terms of N, the largest factor of N.

5b
Sme Calculator
2 marks

A composite number can be written uniquely as the product of its prime factors.i.e., any composite number N can be written uniquely as N = p1×p2×p3×..., where p1,  p2, p3, ... are the prime factors of N.

Show that a composite number N may be written in the form N=pq, where q is an integer and p is a prime factor of N.

By expressing q in terms of the prime factors of N, be sure to explain why q must be an integer.

6
Sme Calculator
5 marks

Prove by contradiction that a triangle cannot have more than one obtuse angle.

1
Sme Calculator
4 marks

Prove by contradiction that if x3 is odd, then x must be odd.

2
Sme Calculator
4 marks

Prove that the product of two rational numbers is rational.

3
Sme Calculator
4 marks

Prove by contradiction that there are an infinite number of powers of 2.

4
Sme Calculator
6 marks

Prove by contradiction that 11 is an irrational number.  You may use without proof the fact that if n2 is a multiple of 11, then n is a multiple of 11.

5
Sme Calculator
4 marks

Below is a proof by contradiction that there is no largest multiple of 7.

Line 1:

Assume there is a number, S, say, that is the largest multiple of 7.

Line 2:

S=7k

Line 3:

Consider the number S+7.

Line 4:

S+7=7k+7

Line 5:

S+7=7(k+1)

Line 6:

So S+7 is a multiple of 7.

Line 7:

This is a contradiction to the assumption that S is the largest multiple of 7.

Line 8:

Therefore, there is no largest multiple of 7.

The proof contains two omissions in its argument.

Identify both omissions and correct them.

6
Sme Calculator
5 marks

If a positive integer greater than 1 is not a prime number, then it is called a composite number.  Prove by contradiction that any composite integer N has a prime factor less than or equal to N.

1
Sme Calculator
4 marks

Prove by contradiction that if xn is odd, where n2 is a positive integer, then x must be odd.

2
Sme Calculator
4 marks

Prove that the difference between two rational numbers is rational.

3
Sme Calculator
5 marks

Prove by contradiction that there are an infinite number of prime numbers.

4
Sme Calculator
6 marks

Prove by contradiction that k, where k is a prime number, is an irrational number.  You may use without proof the fact that any positive integer may be written uniquely as a product of its prime factors.

5
Sme Calculator
4 marks

Below is a proof by contradiction that log27 is irrational.

Line 1: 

Assume log27 is a rational number.  Therefore it can be written in the form log27=ab, where a and b are integers, and b0.  As log24=2 and log28=3, we may assume as well that a>b>0.

Line 2: 

2ab=7

Line 3: 

(2ab)b=7b

Line 4: 

2b=7a

Line 5: 

No power of 2 (all even) is equal to a power of 7 (all odd).

Line 6: 

2a7b unless a=b=0 but this is a contradiction of the original assumption.

Line 7: 

log27 is irrational

The proof contains one mathematical error and one logical error.

Identify both errors and correct them.

6
Sme Calculator
5 marks

Prove by contradiction that the solutions to the equation  3x2+10x8=0  cannot be written in the form ab  where a and b are both odd integers.

7
Sme Calculator
6 marks

Prove by contradiction that, if p, q, r and s are rational numbers and c is a positive non-square integer, then

p+qc=r+sc

implies that p=r and q=s.  You may use without proof the fact that for any positive non-square integer n, n is irrational.