← Senior Mathematics Studio

LEARN · EXPLAIN · REVISE

Use induction to prove the identity for every positive integer n.

Read the idea, work independently, then explain what changed.

TOPIC 01

2021 JM02

No division by sin x is needed in the induction proof.

Try it. Leave your reasoning visible.

Use one hint at a time. A correction explains what changed, not just the final answer.

01 / Standard#Your turn

Use induction to prove the identity for every positive integer n.

2sin⁡x[cos⁡x+cos⁡3x+⋯+cos⁡(2n−1)x]=sin⁡2nx2\sin x[\cos x+\cos3x+\cdots+\cos(2n-1)x]=\sin2nx

Official paper · jm02-2021 · 4(c)(i) · PDF 6

Official original and suggested answers ↗ · Suggested answer PDF page 11

Skills and prerequisite lessons

Working and explanation

BUILD THE REASONING

Hint 1
Check n=1 using the double-angle sine identity.
Hint 2
In the induction step add 2sin x cos((2k+1)x).
Worked solution
  1. The base case holds for every real x.

    n=1:2sin⁡xcos⁡x=sin⁡2xn=1:\quad2\sin x\cos x=\sin2x
  2. Assume the statement for a fixed positive integer k.

    2sin⁡x∑j=1kcos⁡(2j−1)x=sin⁡2kx2\sin x\sum_{j=1}^k\cos(2j-1)x=\sin2kx
  3. The addition formulas give a telescoping increment.

    2sin⁡xcos⁡(2k+1)x=sin⁡(2k+2)x−sin⁡2kx2\sin x\cos(2k+1)x=\sin(2k+2)x-\sin2kx
  4. Add the new term to the induction hypothesis; the old right side cancels.

    2sin⁡x∑j=1k+1cos⁡(2j−1)x=sin⁡2(k+1)x2\sin x\sum_{j=1}^{k+1}\cos(2j-1)x=\sin2(k+1)x
  5. The base and implication establish the identity for all positive integers n.

The identity holds for all n≥1 and every real x.

Checks and common pitfalls: No division by sin x is needed in the induction proof.

Reasoning checklist · self / teacher assessment
  • Teaching assessment checklist, independently authored. Use the original paper for official marks.
  • The base case holds for every real x.
    n=1:2sin⁡xcos⁡x=sin⁡2xn=1:\quad2\sin x\cos x=\sin2x
  • Assume the statement for a fixed positive integer k.
    2sin⁡x∑j=1kcos⁡(2j−1)x=sin⁡2kx2\sin x\sum_{j=1}^k\cos(2j-1)x=\sin2kx
  • The addition formulas give a telescoping increment.
    2sin⁡xcos⁡(2k+1)x=sin⁡(2k+2)x−sin⁡2kx2\sin x\cos(2k+1)x=\sin(2k+2)x-\sin2kx
  • Add the new term to the induction hypothesis; the old right side cancels.
    2sin⁡x∑j=1k+1cos⁡(2j−1)x=sin⁡2(k+1)x2\sin x\sum_{j=1}^{k+1}\cos(2j-1)x=\sin2(k+1)x
  • The base and implication establish the identity for all positive integers n.

Think first. Reveal a hint when the class is ready.

Focus on one question

No sign-in. Work stays in this browser. Export before clearing browser data. Written reasoning is assessed with a checklist.

Curriculum and source notes ↗