Advanced Trigonometry
Level: 3 (From-scratch derivations, proofs, explain-out-loud) Time limit: 45 minutes Total marks: 60
Show all reasoning. Derivations must be built from stated first principles — quoting the final formula only earns no marks.
Question 1. (10 marks) — Sum formula → Double angle → Half angle chain
(a) Starting from the geometric/rotation definition, state and prove the sum formula . You may use the unit-circle distance argument. (5)
(b) From your result in (a), derive all three forms of . (3)
(c) Hence derive the half-angle formula , stating clearly which form of you use and why. (2)
Question 2. (10 marks) — Pythagorean identities from scratch
(a) Using the unit-circle definition of and , explain out loud (in writing) why holds for any angle , positive or negative. (4)
(b) From this identity, derive and , stating the restriction on in each case. (4)
(c) Explain why the identity cannot be evaluated at . (2)
Question 3. (10 marks) — Law of cosines & area
(a) Prove the Law of Cosines for a triangle , using coordinates or the altitude method. (5)
(b) In triangle , , , . Find side exactly. (3)
(c) Find the area of the triangle in (b) exactly, using . (2)
Question 4. (10 marks) — Product-to-sum & sum-to-product from memory
(a) Derive the product-to-sum formula from the sum/difference formulas. (3)
(b) From (a) and its companions, derive the sum-to-product formula (4)
(c) Hence evaluate exactly. (3)
Question 5. (10 marks) — Solving trig equations, general solutions
(a) Solve giving all solutions in . (5)
(b) Solve giving the general solution. (3)
(c) State how many solutions of the equation in (b) lie in and justify. (2)
Question 6. (10 marks) — Transformations & inverse functions (explain-out-loud)
(a) For , state the amplitude, period, phase shift, and vertical shift, and describe in words the transformation order applied to . (5)
(b) State the domain and range of and of , and explain why the range of is restricted to rather than some other interval. (3)
(c) Evaluate , explaining the pitfall. (2)
Answer keyMark scheme & solutions
Question 1
(a) Place and on the unit circle. The angle between and is . Chord distance: . (1) By the law of cosines on the unit vectors: . (1) Equate: . (1) Replace , using , : (1) (1)
(b) Set : . (1) Use : . (1) Use : . (1)
(c) Use the form because it isolates . Let : . (1) Rearrange: . (1)
Question 2
(a) By definition, a point at angle on the unit circle is . (1) It lies on the circle . (1) Substituting gives . (1) This holds for any (positive, negative, beyond ) because every angle corresponds to a point on the unit circle regardless of quadrant/rotation. (1)
(b) Divide by : , valid when i.e. . (2) Divide by : , valid when i.e. . (2)
(c) At , so and are undefined (division by zero); the identity's derivation required dividing by . (2)
Question 3
(a) Place at origin, , and . (1) Then . (1) . (1) . (1) (1)
(b) . (2) . (1)
(c) Area . (2)
Question 4
(a) . (1) Add: . (1) So (1)
(b) Let , , so , . (1) From (a), becomes (1) (2)
(c) (3)
Question 5
(a) Factor: . (1) Case : . (2) Case : . (2) Solutions: .
(b) . So . (1) . (1) (1)
(c) Period of solutions is ; over an interval of length there are solutions. (2) (: , all in .)
Question 6
(a) Write as . (1) Amplitude ; (1) Period ; (1) Phase shift right; Vertical shift up. (1) Order: horizontal stretch by (period halved), shift right , vertical stretch , shift up . (1)
(b) : domain , range . : domain , range . (2) is not one-to-one over ; we restrict its domain to where it is monotonic increasing and covers all values exactly once, giving a well-defined inverse. (1)
(c) . (1) must return a value in ; , so the answer is not but . (1)
[
{"claim":"Q3b: c=sqrt(57) when a=7,b=8,C=60deg","code":"c2=7**2+8**2-2*7*8*cos(rad(60)); result = simplify(c2-57)==0"},
{"claim":"Q3c: area = 14*sqrt(3)","code":"A=Rational(1,2)*7*8*sin(rad(60)); result = simplify(A-14*sqrt(3))==0"},
{"claim":"Q4c: sin75+sin15 = sqrt(6)/2","code":"result = simplify(sin(rad(75))+sin(rad(15)) - sqrt(6)/2)==0"},
{"claim":"Q5a: solutions of 2cos^2 x - sqrt3 cos x=0 in [0,2pi)","code":"sols=solveset(Eq(2*cos(x)**2-sqrt(3)*cos(x),0),x,Interval.Ropen(0,2*pi)); result = sols==FiniteSet(pi/6, pi/2, 3*pi/2, 11*pi/6)"},
{"claim":"Q6c: arccos(cos(5pi/4)) = 3pi/4","code":"result = simplify(acos(cos(5*pi/4)) - 3*pi/4)==0"}
]