QCAA Specialist Mathematics Alternative Sequence Introduction to proof

6 sample questions with marking guides and sample answers

Q6
2022
QCAA
Paper 1
1 mark
Q6
1 mark

Consider the following statement: 'If the angles are congruent, then the measures of the angles are equal'.

The contrapositive of this statement is

A

If the measures of the angles are equal, then the angles are congruent.

B

If the angles are not congruent, then the measures of the angles are equal.

C

If the measures of the angles are not equal, then the angles are not congruent.

D

If the angles are not congruent, then the measures of the angles are not equal.

Reveal Answer
A

If the measures of the angles are equal, then the angles are congruent.

This is the converse of the original statement, formed by swapping the hypothesis and conclusion (Q    PQ \implies P) rather than negating and swapping them.

B

If the angles are not congruent, then the measures of the angles are equal.

This statement negates the hypothesis but keeps the conclusion the same (¬P    Q\neg P \implies Q), which is not a valid logical transformation of the original statement.

C

If the measures of the angles are not equal, then the angles are not congruent.

Correct Answer

The contrapositive of a conditional statement (P    QP \implies Q) is formed by negating both the hypothesis and the conclusion, and then swapping them (¬Q    ¬P\neg Q \implies \neg P).

D

If the angles are not congruent, then the measures of the angles are not equal.

This is the inverse of the original statement, formed by negating both the hypothesis and conclusion without swapping their order (¬P    ¬Q\neg P \implies \neg Q).

Q15
2020
QCAA
Paper 2
5 marks
Q15b

A rational number can be expressed in the form ab\frac{a}{b} where a,bZa, b \in \mathbb{Z} and b0b \neq 0.

Q15a
1 mark

Calculate 6703333\frac{670}{3333}

Express the result as a recurring decimal.

Reveal Answer

6703333=0.2010\frac{670}{3333} = 0.\overline{2010}
Marking Criteria
DescriptorMarks

correctly expresses fraction as a recurring decimal

1
Q15b
2 marks

Show that the recurring decimal 8.7648.7\overline{64} is a rational number.

Reveal Answer

Let x=8.764(1)\text{Let } x = 8.7\overline{64} \quad (1) 100x=876.464(2)100x = 876.4\overline{64} \quad (2) By subtraction:\text{By subtraction:} 99x=867.799x = 867.7 x=867.799x = \frac{867.7}{99} 8.764=86779908.7\overline{64} = \frac{8677}{990}
Marking Criteria
DescriptorMarks

correctly determines an equation to represent 8.7648.7\overline{64} without recurring decimals

1

expresses 8.7648.7\overline{64} in the form ab\frac{a}{b} where a,bZa, b \in \mathbb{Z}

1
Q15c
2 marks

Prove that the difference of any two rational numbers produces another rational number.

Reveal Answer

Let the two rational numbers be pq and rs where p,q,r,sZ and q,s0\text{Let the two rational numbers be } \frac{p}{q} \text{ and } \frac{r}{s} \text{ where } p, q, r, s \in \mathbb{Z} \text{ and } q, s \neq 0 pqrs=psqrqs\frac{p}{q} - \frac{r}{s} = \frac{ps - qr}{qs} Since psqrZ and qsZ, the difference can be expressed in the form ab where a,bZ so the statement is proven.\text{Since } ps - qr \in \mathbb{Z} \text{ and } qs \in \mathbb{Z} \text{, the difference can be expressed in the form } \frac{a}{b} \text{ where } a, b \in \mathbb{Z} \text{ so the statement is proven.}
Marking Criteria
DescriptorMarks

correctly expresses the difference of any two rational numbers as a single fraction

1

communicates that the difference forms a rational number by considering the definition

1
Q4
2020
QCAA
Paper 1
1 mark
Q4
1 mark

Consider the statement, nZ,(n1)2n\forall n \in Z, (n-1)^2 - n is a prime number.
Which of the following values of nn provides a counterexample?

A

n=4n = -4

B

n=1n = -1

C

n=6n = 6

D

n=9n = 9

Reveal Answer
A

n=4n = -4

Substituting n=4n = -4 yields (41)2(4)=25+4=29(-4-1)^2 - (-4) = 25 + 4 = 29. Since 29 is a prime number, this does not provide a counterexample.

B

n=1n = -1

Substituting n=1n = -1 yields (11)2(1)=4+1=5(-1-1)^2 - (-1) = 4 + 1 = 5. Since 5 is a prime number, this does not provide a counterexample.

C

n=6n = 6

Substituting n=6n = 6 yields (61)26=256=19(6-1)^2 - 6 = 25 - 6 = 19. Since 19 is a prime number, this does not provide a counterexample.

D

n=9n = 9

Correct Answer

Substituting n=9n = 9 yields (91)29=649=55(9-1)^2 - 9 = 64 - 9 = 55. Since 55 is a composite number (5×115 \times 11), it proves the statement false and serves as a valid counterexample.

Q16
2020
QCAA
Paper 1
6 marks
Q16
6 marks

Prove that 2\sqrt{2} is irrational using proof by contradiction.

Reveal Answer

Assume that 2\sqrt{2} is a rational number.
2=ab, a,bZ, b0\therefore \sqrt{2}=\frac{a}{b},\ a,b\in\mathbb{Z},\ b\ne 0
where aa and bb only have 1 as a common factor.
a2b2=2\frac{a^2}{b^2}=2
a2=2b2 (1)a^2=2b^2\ \ldots (1)
a2a^2 is divisible by 2 and therefore aa is divisible by 2
So a=2ka=2k, kZk\in\mathbb{Z}
From (1),
(2k)2=2b2(2k)^2=2b^2
4k2=2b24k^2=2b^2
b2=2k2b^2=2k^2
So b2b^2 is divisible by 2 and therefore bb is divisible by 2
Both aa and bb have a common factor of 2.
This contradicts the assumption that 2\sqrt{2} is a rational number.
It is proven that 2\sqrt{2} is irrational.

Marking Criteria
DescriptorMarks

correctly communicates assumption and subsequent ratio and common factor statement

1

expresses a2a^2 as a multiple of 2

1

communicates that both a2a^2 and aa are divisible by 2

1

expresses b2b^2 as a multiple of 2

1

communicates that both b2b^2 and bb are divisible by 2

1

communicates a suitable conclusion based on the contradiction of the assumption

1
Q2
2020
QCAA
Paper 1
1 mark
Q2
1 mark

If the statement ABA \Rightarrow B is true, which of the following statements must always be true?

A

BAB \Rightarrow A

B

¬A¬B\neg A \Rightarrow \neg B

C

¬(BA)\neg (B \Rightarrow A)

D

¬B¬A\neg B \Rightarrow \neg A

Reveal Answer
A

BAB \Rightarrow A

Incorrect. This is the converse of the original statement, which is not logically equivalent to ABA \Rightarrow B. Just because AA implies BB does not mean BB implies AA.

B

¬A¬B\neg A \Rightarrow \neg B

Incorrect. This is the inverse of the original statement, which is not logically equivalent to ABA \Rightarrow B. The inverse shares the same truth value as the converse, not the original conditional.

C

¬(BA)\neg (B \Rightarrow A)

Incorrect. This states that the converse is false, but the converse can sometimes be true (such as when both AA and BB are true). Thus, it is not guaranteed to always be true.

D

¬B¬A\neg B \Rightarrow \neg A

Correct Answer

Correct. This is the contrapositive of the original statement, ¬B¬A\neg B \Rightarrow \neg A. A conditional statement and its contrapositive are always logically equivalent and share the exact same truth value.

Q13
2022
QCAA
Paper 1
6 marks
Q13

Consider the mathematical statement
xR such that x2+1=0\exists x \in R \text{ such that } x^2 + 1 = 0

Q13c

Consider the proposition xZ\forall x \in Z.
x3x29x \geq 3 \Rightarrow x^2 \geq 9

Q13a
1 mark

Write the statement in words.

Reveal Answer

There exists a value of xx that is an element of the set of real numbers such that the sum of the square of xx and one equals zero.

Marking Criteria
DescriptorMarks

correctly writes ,\exists, \in and RR in a suitable sentence

1
Q13b
2 marks

Determine whether the statement is true or false. Provide mathematical reasoning to support your response.

Reveal Answer

False
x2+1=0x^2 + 1 = 0
x2=1x^2 = -1
The solutions to this equation are not real numbers.

Marking Criteria
DescriptorMarks

correctly identifies that the statement is false

1

correctly provides mathematical reasoning to support that the statement is false

1
Q13c
1 mark

State the converse of the proposition using mathematical notation.

Reveal Answer

The converse is
x29x3  xZx^2 \geq 9 \Rightarrow x \geq 3 \ \forall \ x \in Z

Marking Criteria
DescriptorMarks

correctly states the converse

1
Q13d
2 marks

Use a counter example to disprove the converse stated in Question 13c).

Reveal Answer

Consider x=4x = -4
(4)29(-4)^2 \geq 9
16916 \geq 9 is true but 4≱3-4 \not\geq 3 so the converse is false.

Marking Criteria
DescriptorMarks

identifies a suitable counter example value of xx

1

uses mathematical reasoning to disprove the converse

1

Frequently Asked Questions

How many QCAA Specialist Mathematics Alternative Sequence questions cover Introduction to proof?
AusGrader has 11 QCAA Specialist Mathematics Alternative Sequence questions on Introduction to proof, all with instant AI grading and detailed marking feedback.

Ready to practise QCAA Specialist Mathematics Alternative Sequence?

Get instant AI feedback on past exam questions, aligned to the syllabus

Start Practising Free