QCAA Specialist Mathematics Alternative Sequence Introduction to proof
6 sample questions with marking guides and sample answers
Consider the following statement: 'If the angles are congruent, then the measures of the angles are equal'.
The contrapositive of this statement is
If the measures of the angles are equal, then the angles are congruent.
If the angles are not congruent, then the measures of the angles are equal.
If the measures of the angles are not equal, then the angles are not congruent.
If the angles are not congruent, then the measures of the angles are not equal.
Reveal Answer
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 () rather than negating and swapping them.
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 (), which is not a valid logical transformation of the original statement.
If the measures of the angles are not equal, then the angles are not congruent.
The contrapositive of a conditional statement () is formed by negating both the hypothesis and the conclusion, and then swapping them ().
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 ().
A rational number can be expressed in the form where and .
Calculate
Express the result as a recurring decimal.
Reveal Answer
| Descriptor | Marks |
|---|---|
correctly expresses fraction as a recurring decimal | 1 |
Show that the recurring decimal is a rational number.
Reveal Answer
| Descriptor | Marks |
|---|---|
correctly determines an equation to represent without recurring decimals | 1 |
expresses in the form where | 1 |
Prove that the difference of any two rational numbers produces another rational number.
Reveal Answer
| Descriptor | Marks |
|---|---|
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 |
Consider the statement, is a prime number.
Which of the following values of provides a counterexample?
Reveal Answer
Substituting yields . Since 29 is a prime number, this does not provide a counterexample.
Substituting yields . Since 5 is a prime number, this does not provide a counterexample.
Substituting yields . Since 19 is a prime number, this does not provide a counterexample.
Substituting yields . Since 55 is a composite number (), it proves the statement false and serves as a valid counterexample.
Prove that is irrational using proof by contradiction.
Reveal Answer
Assume that is a rational number.
where and only have 1 as a common factor.
is divisible by 2 and therefore is divisible by 2
So ,
From (1),
So is divisible by 2 and therefore is divisible by 2
Both and have a common factor of 2.
This contradicts the assumption that is a rational number.
It is proven that is irrational.
| Descriptor | Marks |
|---|---|
correctly communicates assumption and subsequent ratio and common factor statement | 1 |
expresses as a multiple of 2 | 1 |
communicates that both and are divisible by 2 | 1 |
expresses as a multiple of 2 | 1 |
communicates that both and are divisible by 2 | 1 |
communicates a suitable conclusion based on the contradiction of the assumption | 1 |
If the statement is true, which of the following statements must always be true?
Reveal Answer
Incorrect. This is the converse of the original statement, which is not logically equivalent to . Just because implies does not mean implies .
Incorrect. This is the inverse of the original statement, which is not logically equivalent to . The inverse shares the same truth value as the converse, not the original conditional.
Incorrect. This states that the converse is false, but the converse can sometimes be true (such as when both and are true). Thus, it is not guaranteed to always be true.
Correct. This is the contrapositive of the original statement, . A conditional statement and its contrapositive are always logically equivalent and share the exact same truth value.
Consider the mathematical statement
Consider the proposition .
Write the statement in words.
Reveal Answer
There exists a value of that is an element of the set of real numbers such that the sum of the square of and one equals zero.
| Descriptor | Marks |
|---|---|
correctly writes and in a suitable sentence | 1 |
Determine whether the statement is true or false. Provide mathematical reasoning to support your response.
Reveal Answer
False
The solutions to this equation are not real numbers.
| Descriptor | Marks |
|---|---|
correctly identifies that the statement is false | 1 |
correctly provides mathematical reasoning to support that the statement is false | 1 |
State the converse of the proposition using mathematical notation.
Reveal Answer
The converse is
| Descriptor | Marks |
|---|---|
correctly states the converse | 1 |
Use a counter example to disprove the converse stated in Question 13c).
Reveal Answer
Consider
is true but so the converse is false.
| Descriptor | Marks |
|---|---|
identifies a suitable counter example value of | 1 |
uses mathematical reasoning to disprove the converse | 1 |