← Senior Mathematics Studio

LEARN · EXPLAIN · REVISE

Identity choice and domain preservation

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

高一必修 第一册(A版).pdf · 5.5 · PDF 222 / printed page 215

Revisit first: Unit-circle coordinates and signs

TOPIC 01

Identity choice and domain preservation

Transform expressions with a purpose, explain excluded angles and test tempting false rules.

What you will be able to explain

  • Choose an identity that matches the desired form.
  • Separate equality on a shared domain from extending a simplified formula.

Choose the destination form

Expanding everything is often longer than targeting the denominator or requested angle.

An identity is useful when it replaces the obstructing structure with one matching the task.

sin⁡2x+cos⁡2x=1,sin⁡2x=2sin⁡xcos⁡x\sin^2x+\cos^2x=1,\quad\sin2x=2\sin x\cos x
  1. Use the Pythagorean identity to replace a difference of squares.

    1−cos⁡2x=sin⁡2x1-\cos^2x=\sin^2x
  2. Use a double-angle identity to connect mixed products to a single angle.

    2sin⁡xcos⁡x=sin⁡2x2\sin x\cos x=\sin2x

When it applies

  • Cancellation requires the cancelled factor to be nonzero.

Counterexample: sin(a+b)=sin a+sin b fails at a=b=30°.

  • Use algebraic forms, unit-circle values and a numerical counterexample.

Equality does not fill holes

An apparently identical graph can hide excluded points from cancellation.

A simplified expression may be defined at angles where the original quotient is not.

1−cos⁡2xsin⁡2x=tan⁡x\frac{1-\cos2x}{\sin2x}=\tan x
  1. Expose the common factors.

    2sin⁡2x2sin⁡xcos⁡x\frac{2\sin^2x}{2\sin x\cos x}
  2. Cancel only on the original domain.

    sin⁡2x≠0⇒x≠kπ/2\sin2x\ne0\Rightarrow x\ne k\pi/2

When it applies

  • For this quotient, exclude every integer multiple of π/2, even where tan x alone exists.

Counterexample: At x=0, tan x is zero but the original quotient is 0/0.

  • Plot simplified values with original-domain holes marked separately.

PREDICT → EXPLORE → EXPLAIN → TRANSFER

Make a prediction, then explore the relationship.

Lesson question: Does the quotient equal tan x wherever tan x exists?

Model exploration: predict which displayed result changes with the parameters, check the values, and compare the observation with the lesson question.

The quotient equals tan x only when sin 2x≠0. Ring markers at multiples of 180° are extra holes in the original quotient; at odd multiples of 90° both expressions are undefined.-3603605-5

The quotient equals tan x only when sin 2x≠0. Ring markers at multiples of 180° are extra holes in the original quotient; at odd multiples of 90° both expressions are undefined.

Numerical data for the diagram; printable
ExpressionValue at selected angle
sin 2x1
(1−cos 2x)/sin 2x1
tan x1

Explain: Compare (1−cos 2x)/sin 2x with tan x and inspect the original denominator at multiples of 90°.

Transfer: Find a point where tan x exists but the original quotient does not.

Try it. Leave your reasoning visible.

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

Examples 1–3: study a full demonstration; finish a solution from its first step; then choose a method independently before opening the solution. The remaining exercises may continue after class.

01 / Foundation#Worked example

Simplify and state the exact original-domain restriction.

1−cos⁡2xsin⁡x\frac{1-\cos^2x}{\sin x}
  • x in radians; sin x≠0.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Match the numerator to the denominator.
Hint 2
Replace the numerator by sin²x.
Worked solution
  1. Use the identity without changing the denominator.

    sin⁡2x/sin⁡x\sin^2x/\sin x
  2. Cancel on the permitted domain.

    sin⁡x,x≠kπ, k∈Z\sin x,\quad x\ne k\pi,\ k\in\mathbb Z

sin x with x≠kπ.

Checks and common pitfalls: The simplified formula alone would conceal the excluded zeros.

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

02 / Standard#Worked example

Derive the two square-based forms of cos 2x from cos²x−sin²x.

cos⁡2x=cos⁡2x−sin⁡2x\cos2x=\cos^2x-\sin^2x

First step provided — complete the reasoning:Eliminate sine squared.

cos⁡2x=2cos⁡2x−1\cos2x=2\cos^2x-1
  • Real x; identities hold in either consistent angular unit.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Replace one square at a time using their sum 1.
Hint 2
Try sin²x=1−cos²x, then the reverse.
Worked solution
  1. Eliminate sine squared.

    cos⁡2x=2cos⁡2x−1\cos2x=2\cos^2x-1
  2. Eliminate cosine squared instead.

    cos⁡2x=1−2sin⁡2x\cos2x=1-2\sin^2x

2cos²x−1 and 1−2sin²x.

Checks and common pitfalls: Different forms serve different known data; neither requires division.

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

03 / Transfer#Worked example

A student uses the tangent addition formula at 45°+45° and reports infinity as a real answer. Diagnose every restriction.

tan⁡45∘+tan⁡45∘1−tan⁡45∘tan⁡45∘\frac{\tan45^\circ+\tan45^\circ}{1-\tan45^\circ\tan45^\circ}
  • Angles in degrees; tangent sums require all relevant denominators nonzero.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Check both original tangents and the combined denominator.
Hint 2
The numerator is 2, denominator 0.
Worked solution
  1. The individual tangent values exist.

    tan⁡45∘=1\tan45^\circ=1
  2. The target tangent and formula denominator are undefined at the combined angle.

    1−1=0,tan⁡90∘ undefined1-1=0,\quad\tan90^\circ\text{ undefined}

No real value; the addition formula requires a nonzero denominator.

Checks and common pitfalls: The identity does not authorise division by zero or introduce a real infinity.

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

04 / Foundation#Your turn

Evaluate without finding x.

sin⁡2x+cos⁡2x\sin^2x+\cos^2x
  • All inputs are real unless a smaller domain is stated.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Use the unit-circle norm.
Hint 2
The squared coordinates sum to one.
Worked solution
  1. Write the unit-circle relation.

    (cos⁡x)2+(sin⁡x)2=1(\cos x)^2+(\sin x)^2=1
  2. Order of the sum does not matter.

    sin⁡2x+cos⁡2x=1\sin^2x+\cos^2x=1

1.

Checks and common pitfalls: No inverse trigonometric calculation is needed.

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

05 / Foundation#Your turn

Find sin 2x.

sin⁡x=3/5,cos⁡x=4/5\sin x=3/5,\quad\cos x=4/5
  • All inputs are real unless a smaller domain is stated.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Use a product identity.
Hint 2
Multiply 2·(3/5)·(4/5).
Worked solution
  1. Select the identity matching both data.

    sin⁡2x=2sin⁡xcos⁡x\sin2x=2\sin x\cos x
  2. Substitute without recovering x.

    sin⁡2x=24/25\sin2x=24/25

24/25.

Checks and common pitfalls: The supplied signed values already determine the product.

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

06 / Foundation#Your turn

Express using one double-angle cosine.

1−2sin⁡2x1-2\sin^2x
  • All inputs are real unless a smaller domain is stated.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Use the form of cos 2x that removes cosine squared.
Hint 2
Substitute cos²x=1−sin²x.
Worked solution
  1. Start from the difference of squares.

    cos⁡2x=cos⁡2x−sin⁡2x\cos2x=\cos^2x-\sin^2x
  2. Replace the first square.

    cos⁡2x=1−2sin⁡2x\cos2x=1-2\sin^2x

cos 2x.

Checks and common pitfalls: The factor 2 belongs to the angle in the final form.

Reasoning checklist · self / teacher assessment
  • Start from the difference of squares.
  • Replace the first square.

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

07 / Foundation#Your turn

Refute sine additivity with a=b=30°.

sin⁡(a+b)=sin⁡a+sin⁡b\sin(a+b)=\sin a+\sin b
  • Angles in degrees.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Calculate both sides independently.
Hint 2
The left angle is 60°, not 30°.
Worked solution
  1. Evaluate the left side.

    sin⁡60∘=3/2\sin60^\circ=\sqrt3/2
  2. Evaluate the right side and compare.

    1/2+1/2=1≠3/21/2+1/2=1\ne\sqrt3/2

The claim is false.

Checks and common pitfalls: One valid counterexample refutes a purported identity.

Reasoning checklist · self / teacher assessment
  • Evaluate the left side.
  • Evaluate the right side and compare.

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

08 / Standard#Your turn

Simplify with the complete excluded-angle set.

1−cos⁡2xsin⁡2x\frac{1-\cos2x}{\sin2x}
  • x in radians; sin 2x≠0.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Factor numerator and denominator using double-angle identities.
Hint 2
The original denominator excludes sin x=0 and cos x=0.
Worked solution
  1. Write common factors.

    2sin⁡2x2sin⁡xcos⁡x\frac{2\sin^2x}{2\sin x\cos x}
  2. Cancel and retain every original exclusion.

    tan⁡x,x≠kπ/2, k∈Z\tan x,\quad x\ne k\pi/2,\ k\in\mathbb Z

tan x, excluding x=kπ/2.

Checks and common pitfalls: tan x alone excludes only odd half-turn multiples; the original fraction has additional holes.

Reasoning checklist · self / teacher assessment
  • Write common factors.
  • Cancel and retain every original exclusion.

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

09 / Standard#Your turn

Evaluate exactly.

sin⁡75∘\sin75^\circ
  • Angles in degrees.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Split 75° into familiar angles.
Hint 2
Use 45°+30° and the sine addition identity.
Worked solution
  1. Expand the sum with the cross terms.

    sin⁡75∘=sin⁡45∘cos⁡30∘+cos⁡45∘sin⁡30∘\sin75^\circ=\sin45^\circ\cos30^\circ+\cos45^\circ\sin30^\circ
  2. Insert exact unit-circle values.

    =(6+2)/4=(\sqrt6+\sqrt2)/4

(√6+√2)/4.

Checks and common pitfalls: The two cross terms distinguish sine addition from false additivity.

Reasoning checklist · self / teacher assessment
  • Expand the sum with the cross terms.
  • Insert exact unit-circle values.

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

10 / Standard#Your turn

Find cos 2x without determining the quadrant.

tan⁡x=2\tan x=2
  • tan x exists.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Divide cos²x−sin²x by cos²x+sin²x.
Hint 2
Use (1−tan²x)/(1+tan²x).
Worked solution
  1. The nonzero cosine permits the ratio transformation.

    cos⁡2x=1−tan⁡2x1+tan⁡2x\cos2x=\frac{1-\tan^2x}{1+\tan^2x}
  2. Substitute the known tangent.

    (1−4)/(1+4)=−3/5(1-4)/(1+4)=-3/5

−3/5.

Checks and common pitfalls: Squaring tangent removes the quadrant ambiguity for this expression.

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

11 / Standard#Your turn

Prove the identity by expanding both angles.

sin⁡(x+y)+sin⁡(x−y)=2sin⁡xcos⁡y\sin(x+y)+\sin(x-y)=2\sin x\cos y
  • Both angles use the same angular unit.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Use the addition and subtraction formulas.
Hint 2
The cos x sin y terms cancel.
Worked solution
  1. Expand both terms with correct signs.

    sin⁡xcos⁡y+cos⁡xsin⁡y+sin⁡xcos⁡y−cos⁡xsin⁡y\sin x\cos y+\cos x\sin y+\sin x\cos y-\cos x\sin y
  2. Collect identical surviving terms.

    2sin⁡xcos⁡y2\sin x\cos y

The identity holds for all real angles in consistent units.

Checks and common pitfalls: No division is used, so no extra exclusions are introduced.

Reasoning checklist · self / teacher assessment
  • Expand both terms with correct signs.
  • Collect identical surviving terms.

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

12 / Transfer#Your turn

Prove |3sin x+4cos x|≤5 and describe an equality case without differentiating.

u=3sin⁡x+4cos⁡xu=3\sin x+4\cos x
  • All inputs are real unless a smaller domain is stated.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Create a complementary squared expression.
Hint 2
Add (4sin x−3cos x)² to u².
Worked solution
  1. Cross terms cancel in the sum of squares.

    u2+(4sin⁡x−3cos⁡x)2=25u^2+(4\sin x-3\cos x)^2=25
  2. Nonnegativity bounds u; equality occurs at compatible coordinates.

    sin⁡x=3/5,cos⁡x=4/5⇒u=5\sin x=3/5,\quad\cos x=4/5\Rightarrow u=5

|u|≤5; equality at sine 3/5, cosine 4/5.

Checks and common pitfalls: This repurposes an identity as an optimisation certificate, including attainability.

Reasoning checklist · self / teacher assessment
  • Cross terms cancel in the sum of squares.
  • Nonnegativity bounds u; equality occurs at compatible coordinates.

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

13 / Transfer#Your turn

Software simplifies the quotient to 1 and draws an unbroken horizontal line. Explain exactly where this drawing overstates the original domain.

F(x)=(sin⁡x+cos⁡x)2−1sin⁡2xF(x)=\frac{(\sin x+\cos x)^2-1}{\sin2x}
  • x in radians; k any integer.
Skills and prerequisite lessons

Scope: JM01 / JM02

Working and explanation

BUILD THE REASONING

Hint 1
Expand the numerator before cancelling.
Hint 2
The numerator equals sin 2x, but its zeros were forbidden denominators.
Worked solution
  1. Verify the equality on the original domain.

    (sin⁡x+cos⁡x)2−1=2sin⁡xcos⁡x=sin⁡2x(\sin x+\cos x)^2-1=2\sin x\cos x=\sin2x
  2. Retain the excluded points in the graph.

    F(x)=1,x≠kπ/2F(x)=1,\quad x\ne k\pi/2

The line y=1 has holes at every x=kπ/2.

Checks and common pitfalls: A simplified expression is an extension if the original exclusions are erased.

Reasoning checklist · self / teacher assessment
  • Verify the equality on the original domain.
  • Retain the excluded points in the graph.

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

Focus on one question

End-of-lesson check and correction

Review your latest checked answers and explanations. A draft change requires a fresh check. Written work needs your self-assessment or a teacher’s review.

Enable JavaScript for a summary of your local work.

    Choose a foundation skill to revisit ↗

    Teacher preparation and assessment

    40-minute lesson

    MinutesFocusTeaching and student action
    5Test two claimsContrast false additivity with a domain hole using diagnostics.
    8Choose a destinationStudents name the target form before using an identity.
    10Track exclusionsPairs simplify the double-angle quotient and mark all forbidden angles.
    12Prove a boundGroups construct the complementary square for the amplitude bound.
    5Exit domainRequire formula plus exclusions, not just the simplified value.

    Question sequence

    • Which feature of the target expression suggests this identity?
    • Does the operation preserve the domain?

    Board development

    • Record restrictions before cancellation.
      sin⁡2x≠0\sin2x\ne0
    • Turn an identity into a bound.
      u2+v2=25u^2+v^2=25

    Expected correct and incorrect responses

    • “The values agree where the original denominator is nonzero” correctly limits equality.
    • “It simplifies to 1 everywhere” incorrectly fills holes.

    Follow-up questions

    • How do we prove the bound is attainable rather than merely valid?

    Remediation

    • For false additivity, evaluate one concrete angle pair before teaching the correct expansion.

    Exit check

    • Simplify sin²x/(1−cos²x) with its domain. Expected 1 for x≠kπ.

    Assessment checklist and sample responses

    • 2 marks: justified identity choice.
      Full: numerator becomes sin²x matching the denominator; partial: unexplained cancellation.
    • 2 marks: domain and equality cases.
      Full: x≠kπ/2 retained; partial: only cosine zeros excluded.

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

    Curriculum and source notes ↗