QCAA Specialist Mathematics Alternative Sequence Mathematical induction and trigonometric proofs

4 sample questions with marking guides and sample answers

Q18
2021
QCAA
Paper 1
6 marks
Q18
6 marks

For nZ+n\in\mathbb{Z}^{+} and suitable values of θR\theta\in\mathbb{R}, prove that

r=1n2r1tan(2r1θ)=cot(θ)2ncot(2nθ)\sum_{r=1}^{n}2^{r-1}\tan\left(2^{r-1}\theta\right)=\cot(\theta)-2^{n}\cot\left(2^{n}\theta\right)

Reveal Answer

RTP
r=1n2r1tan(2r1θ)\sum_{r=1}^n 2^{r-1}\tan(2^{r-1}\theta)
=cot(θ)2ncot(2nθ)    nZ+= \cot(\theta) - 2^n\cot(2^n\theta) \;\forall\; n \in Z^+
Mathematical induction can be used to prove this proposition.

Initial statement:
Let n=1n = 1:
RTP
tan(θ)=cot(θ)2cot(2θ)\tan(\theta) = \cot(\theta) - 2\cot(2\theta)
RHS =cot(θ)2cot(2θ)= \cot(\theta) - 2\cot(2\theta)
=cos(θ)sin(θ)2cos(2θ)sin(2θ)= \frac{\cos(\theta)}{\sin(\theta)} - \frac{2\cos(2\theta)}{\sin(2\theta)}
=cos(θ)sin(θ)2(cos2(θ)sin2(θ))2sin(θ)cos(θ)= \frac{\cos(\theta)}{\sin(\theta)} - \frac{2(\cos^2(\theta) - \sin^2(\theta))}{2\sin(\theta)\cos(\theta)}
=cos2(θ)cos2(θ)+sin2(θ)sin(θ)cos(θ)= \frac{\cos^2(\theta) - \cos^2(\theta) + \sin^2(\theta)}{\sin(\theta)\cos(\theta)}
=sin2(θ)sin(θ)cos(θ)= \frac{\sin^2(\theta)}{\sin(\theta)\cos(\theta)}
=tan(θ)= \tan(\theta)
== LHS
Proposition is true for n=1n = 1

Assumption for inductive step
Assume proposition is true for n=k    kZ+n = k \;\forall\; k \in Z^+
r=1k2r1tan(2r1θ)=cot(θ)2kcot(2kθ)\sum_{r=1}^k 2^{r-1}\tan(2^{r-1}\theta) = \cot(\theta) - 2^k\cot(2^k\theta)

Inductive step:
Let n=k+1n = k + 1
RTP
r=1k+12r1tan(2r1θ)=cot(θ)2k+1cot(2k+1θ)\sum_{r=1}^{k+1} 2^{r-1}\tan(2^{r-1}\theta) = \cot(\theta) - 2^{k+1}\cot(2^{k+1}\theta)
LHS =r=1k+12r1tan(2r1θ)= \sum_{r=1}^{k+1} 2^{r-1}\tan(2^{r-1}\theta)
=r=1k2r1tan(2r1θ)+2ktan(2kθ)= \sum_{r=1}^k 2^{r-1}\tan(2^{r-1}\theta) + 2^k\tan(2^k\theta)
=cot(θ)2kcot(2kθ)+2ktan(2kθ)= \cot(\theta) - 2^k\cot(2^k\theta) + 2^k\tan(2^k\theta)
=cot(θ)2k(cot(2kθ)2ktan(2kθ))= \cot(\theta) - 2^k(\cot(2^k\theta) - 2^k\tan(2^k\theta))
=cot(θ)2k(cos(2kθ)sin(2kθ)sin(2kθ)cos(2kθ))= \cot(\theta) - 2^k\left(\frac{\cos(2^k\theta)}{\sin(2^k\theta)} - \frac{\sin(2^k\theta)}{\cos(2^k\theta)}\right)
=cot(θ)2k(cos2(2kθ)sin2(2kθ)sin(2kθ)cos(2kθ))= \cot(\theta) - 2^k\left(\frac{\cos^2(2^k\theta) - \sin^2(2^k\theta)}{\sin(2^k\theta)\cos(2^k\theta)}\right)
=cot(θ)2k(cos(2(2kθ))12sin(2(2kθ)))= \cot(\theta) - 2^k\left(\frac{\cos(2(2^k\theta))}{\frac{1}{2}\sin(2(2^k\theta))}\right)
=cot(θ)2×2k(cos(2(2kθ))sin(2(2kθ)))= \cot(\theta) - 2 \times 2^k\left(\frac{\cos(2(2^k\theta))}{\sin(2(2^k\theta))}\right)
=cot(θ)2k+1(cot(2k+1θ))= \cot(\theta) - 2^{k+1}(\cot(2^{k+1}\theta))
== RHS
So P(k+1)P(k + 1) is true. By mathematical induction, the proposition is true for n=1,2,n = 1, 2, \dots

Marking Criteria
DescriptorMarks

correctly expresses the RHS in terms of θ\theta

1

correctly states a proposition for n=kn = k

1

correctly states an inductive step proof requirement

1

substitutes assumption within the inductive step

1

establishes expression providing an opportunity to apply two double-angle trigonometric identities

1

shows evidence of application of a double-angle trigonometric identity to complete the proof

1
Q16
2020
QCAA
Paper 2
6 marks
Q16

Consider the identity

cos(4θ)=Acos4(θ)+Bsin2(θ)+C\cos(4\theta) = A\cos^4(\theta) + B\sin^2(\theta) + C where A,BA, B and CZC \in \mathbb{Z}

Q16a
5 marks

Determine the values of A,BA, B and CC using De Moivre's theorem.

Reveal Answer

Using De Moivre’s theorem:\text{Using De Moivre's theorem:} (cis(θ))4=cis(4θ)(\text{cis}(\theta))^4 = \text{cis}(4\theta) Equating real parts\text{Equating real parts} cos(4θ)=Re(cos(θ)+isin(θ))4\cos(4\theta) = Re(\cos(\theta) + i\sin(\theta))^4 =cos4(θ)6cos2(θ)sin2(θ)+sin4(θ)= \cos^4(\theta) - 6\cos^2(\theta)\sin^2(\theta) + \sin^4(\theta) =cos4(θ)6cos2(θ)(1cos2(θ))+(1cos2(θ))2= \cos^4(\theta) - 6\cos^2(\theta)(1 - \cos^2(\theta)) + (1 - \cos^2(\theta))^2 =cos4(θ)6cos2(θ)+6cos4(θ)+12cos2(θ)+cos4(θ)= \cos^4(\theta) - 6\cos^2(\theta) + 6\cos^4(\theta) + 1 - 2\cos^2(\theta) + \cos^4(\theta) =8cos4(θ)8cos2(θ)+1= 8\cos^4(\theta) - 8\cos^2(\theta) + 1 =8cos4(θ)8(1sin2(θ))+1= 8\cos^4(\theta) - 8(1 - \sin^2(\theta)) + 1 =8cos4(θ)8+8sin2(θ)+1= 8\cos^4(\theta) - 8 + 8\sin^2(\theta) + 1 =8cos4(θ)+8sin2(θ)7= 8\cos^4(\theta) + 8\sin^2(\theta) - 7 So A=8,B=8,C=7\text{So } A = 8, B = 8, C = -7
Marking Criteria
DescriptorMarks

correctly uses De Moivre's theorem

1

uses binomial expansion with the real parts and simplifies the expression

1

establishes a simplified expression following the use of a suitable Pythagorean identity

1

establishes a simplified expression in the form of Acos4(θ)+Bsin2(θ)+CA\cos^4(\theta) + B\sin^2(\theta) + C

1

communicates the values of A, B and C

1
Q16b
1 mark

State an appropriate method of verifying your results from 16a).

Reveal Answer

A verification strategy would be to graph y=cos(4θ) and y=8cos4(θ)+8sin2(θ)7 to confirm that the two graphs are the same.\text{A verification strategy would be to graph } y = \cos(4\theta) \text{ and } y = 8\cos^4(\theta) + 8\sin^2(\theta) - 7 \text{ to confirm that the two graphs are the same.}
Marking Criteria
DescriptorMarks

describes an appropriate verification strategy

1
Q3
2021
QCAA
Paper 2
1 mark
Q3
1 mark

Given nZ+n \in Z^+, for which proposition can the initial statement for mathematical induction be proven?

A

x2ny2nx^{2n} - y^{2n} is divisible by (x+y)(x+y)0(x+y) \forall (x+y) \neq 0

B

12+22+32++n2=16n(2n2+3n1)1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6}n(2n^2 + 3n - 1)

C

(n+1)3+(n+2)3(n+1)^3 + (n+2)^3 is divisible by 3

D

r=1n1(2r1)(2r+1)=nn+1\sum_{r=1}^n \frac{1}{(2r-1)(2r+1)} = \frac{n}{n+1}

Reveal Answer
A

x2ny2nx^{2n} - y^{2n} is divisible by (x+y)(x+y)0(x+y) \forall (x+y) \neq 0

Correct Answer

For the base case n=1n=1, the expression becomes x2y2=(xy)(x+y)x^2 - y^2 = (x-y)(x+y), which is clearly divisible by (x+y)(x+y). Thus, the initial statement is true.

B

12+22+32++n2=16n(2n2+3n1)1^2 + 2^2 + 3^2 + \dots + n^2 = \frac{1}{6}n(2n^2 + 3n - 1)

For n=1n=1, the left side is 12=11^2 = 1, but the right side evaluates to 16(1)(2(1)2+3(1)1)=23\frac{1}{6}(1)(2(1)^2 + 3(1) - 1) = \frac{2}{3}. Since 1231 \neq \frac{2}{3}, the base case fails.

C

(n+1)3+(n+2)3(n+1)^3 + (n+2)^3 is divisible by 3

For n=1n=1, the expression evaluates to (1+1)3+(1+2)3=23+33=8+27=35(1+1)^3 + (1+2)^3 = 2^3 + 3^3 = 8 + 27 = 35. Since 35 is not divisible by 3, the base case fails.

D

r=1n1(2r1)(2r+1)=nn+1\sum_{r=1}^n \frac{1}{(2r-1)(2r+1)} = \frac{n}{n+1}

For n=1n=1, the left side evaluates to 1(1)(3)=13\frac{1}{(1)(3)} = \frac{1}{3}, while the right side evaluates to 11+1=12\frac{1}{1+1} = \frac{1}{2}. Since 1312\frac{1}{3} \neq \frac{1}{2}, the base case fails.

Q13
2021
QCAA
Paper 1
7 marks
Q13

The proposition that 22n+3n12^{2n}+3n-1 is divisible by 3 nZ+\forall\, n\in\mathbb{Z}^{+} can be restated as

P(n):22n+3n1=3m nZ+P(n): 2^{2n}+3n-1=3m\ \forall\, n\in\mathbb{Z}^{+}, for some mZ+m\in\mathbb{Z}^{+}.

Complete the proof by mathematical induction steps to prove that P(n)P(n) is true.

Q13a
1 mark

Prove that P(1)P(1) is true.

Reveal Answer

RTP
P(n):22n+3n1=3m    nZ+P(n): 2^{2n} + 3n - 1 = 3m \;\forall\; n \in Z^+, for some mZ+m \in Z^+
P(1):22+31=6P(1): 2^2 + 3 - 1 = 6
=3×2= 3 \times 2
Proposition is true for n=1n = 1

Marking Criteria
DescriptorMarks

correctly proves the initial statement

1
Q13b
1 mark

State P(k)P(k).

Reveal Answer

P(k):22k+3k1=3m    nZ+P(k): 2^{2k} + 3k - 1 = 3m \;\forall\; n \in Z^+ for some mZ+m \in Z^+

Marking Criteria
DescriptorMarks

correctly states P(k)P(k)

1
Q13c
4 marks

Use the assumption that P(k)P(k) is true kZ+\forall\, k\in\mathbb{Z}^{+} to prove that P(k+1)P(k+1) is true.

Reveal Answer

Prove P(k+1)P(k + 1) is true assuming P(k)P(k) is true   kZ+\forall\; k \in Z^+.
22(k+1)+3(k+1)12^{2(k+1)} + 3(k + 1) - 1
=22k+2+3k+31= 2^{2k+2} + 3k + 3 - 1
=22×22k+3k1+3= 2^2 \times 2^{2k} + 3k - 1 + 3
=22k+3k1+3×22k+3= 2^{2k} + 3k - 1 + 3 \times 2^{2k} + 3
=3m+3×22k+3= 3m + 3 \times 2^{2k} + 3
=3(m+22k+1)= 3(m + 2^{2k} + 1)
=3p= 3p for some pZ+p \in Z^+

Marking Criteria
DescriptorMarks

correctly establishes an expression representing the LHS of P(k+1)P(k + 1)

1

uses an index law to establish a term with a factor of 22k2^{2k}

1

uses assumption in the inductive step

1

completes proof by determining an expression with a factor of 3 representing the RHS of P(k+1)P(k + 1)

1
Q13d
1 mark

State a conclusion to the proof.

Reveal Answer

Conclusion
So P(k+1)P(k + 1) is true.
By mathematical induction, the proposition is true for n=1,2,n = 1, 2, \dots

Marking Criteria
DescriptorMarks

communicates a suitable conclusion having attempted to complete Question 13c)

1

Frequently Asked Questions

How many QCAA Specialist Mathematics Alternative Sequence questions cover Mathematical induction and trigonometric proofs?
AusGrader has 8 QCAA Specialist Mathematics Alternative Sequence questions on Mathematical induction and trigonometric proofs, 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