Home / IBDP Maths SL 1.6 Deductive Proof Numerical and Algebraic AA HL Paper 2- Exam Style Questions

IBDP Maths SL 1.6 Deductive Proof Numerical and Algebraic AA HL Paper 2- Exam Style Questions

IBDP Maths SL 1.6 Deductive Proof Numerical and Algebraic AA HL Paper 2- Exam Style Questions- New Syllabus

Question

Consider two consecutive positive integers, \( n \) and \( n + 1 \).

Show that the difference of their squares is equal to the sum of the two integers. [3 marks]

▶️ Answer/Explanation
Markscheme

Difference of squares: \( (n + 1)^2 – n^2 \). M1

Use difference of squares formula: \( (n + 1)^2 – n^2 = (n + 1 – n)(n + 1 + n) \). A1

\( = 1 \cdot (2n + 1) = 2n + 1 \). A1

Sum of the two integers: \( n + (n + 1) = 2n + 1 \). A1

Since \( (n + 1)^2 – n^2 = 2n + 1 = n + (n + 1) \), the difference of their squares equals the sum of the two integers. AG

[3 marks]

Question

Consider the equation of integers \( a + b + c = d \).

(a) Use a deductive proof to prove the statements:

(i) “If \( a, b, c \) are all even, then \( d \) is also even.” [2 marks]

(ii) “If \( a, b, c \) are all odd, then \( d \) is also odd.” [1 mark]

(b) Use a counterexample to disprove the statement: “If \( d \) is odd, then \( a, b, c \) are all odd.” [1 mark]

(c) State whether the following statement is true or false and prove your claim: “If \( d \) is even, then \( a, b, c \) are all even.” [2 marks]

(d) Use contradiction to prove the statement: “If \( d \) is even, then at least one of \( a, b, c \) is even.” [2 marks]

▶️ Answer/Explanation
Markscheme

(a) (i) Let \( a = 2n \), \( b = 2m \), \( c = 2k \), where \( n, m, k \in \mathbb{Z} \). M1

Then \( d = a + b + c = 2n + 2m + 2k = 2(n + m + k) \), which is even. A1

[2 marks]

(a) (ii) Let \( a = 2n + 1 \), \( b = 2m + 1 \), \( c = 2k + 1 \), where \( n, m, k \in \mathbb{Z} \). M1

Then \( d = a + b + c = (2n + 1) + (2m + 1) + (2k + 1) = 2(n + m + k + 1) + 1 \), which is odd. A1

[1 mark]

(b) Counterexample: Let \( a = 2 \), \( b = 4 \), \( c = 5 \). Then \( d = 2 + 4 + 5 = 11 \), which is odd, but \( a, b, c \) are not all odd. A1

[1 mark]

(c) The statement is false. Counterexample: Let \( a = 2 \), \( b = 3 \), \( c = 5 \). Then \( d = 2 + 3 + 5 = 10 \), which is even, but \( a, b, c \) are not all even. M1 A1

[2 marks]

(d) Suppose \( d \) is even and \( a, b, c \) are all odd (contradiction hypothesis). M1

By (a)(ii), if \( a, b, c \) are all odd, then \( d \) is odd, contradicting the assumption that \( d \) is even. R1

Thus, at least one of \( a, b, c \) must be even. AG

[2 marks]

Total [8 marks]

Scroll to Top