Algebra — Introduction & Intermediate
Level 3 — Production (from-scratch derivations & explain-out-loud)
Time: 45 minutes Total marks: 50
Instructions: Show all working. Where a "derive from scratch" or "explain" prompt appears, present a full logical chain — no citing a formula without proof.
Q1. (8 marks) Derive the quadratic formula from scratch by completing the square on the general equation (with ). Justify each algebraic move, and state the condition under which real roots exist.
Q2. (10 marks) (a) State and prove the Remainder Theorem: when a polynomial is divided by , the remainder is . (4 marks) (b) Hence deduce the Factor Theorem. (2 marks) (c) Using these results, determine whether is a factor of , and fully factorise . (4 marks)
Q3. (9 marks) Derive Vieta's formulas for a quadratic with roots — i.e. prove and starting from the factored form. Then, without solving the equation, find the value of for .
Q4. (8 marks) Derive the identity for starting only from the expansion of . Show every step. Then use your result (and factoring) to fully factorise .
Q5. (8 marks) Solve the radical equation from first principles, explaining why squaring can introduce extraneous roots and how you guard against them: Verify each candidate root against the original equation.
Q6. (7 marks) Solve the absolute value inequality by splitting into a compound inequality. Explain out loud (in writing) the logic of the AND-connective used, and represent the solution set on a number line.
Answer keyMark scheme & solutions
Q1 (8 marks)
Start: , .
- Divide by : . (1)
- Move constant: . (1)
- Complete square — add to both sides (half the linear coefficient, squared). (1)
- LHS is a perfect square: . (1)
- Take square roots: . (1)
- Isolate : . (2)
- Condition: real roots exist iff (the discriminant is non-negative, else square root is imaginary). (1)
Q2 (10 marks)
(a) Remainder Theorem proof (4): By the division algorithm, where is constant (degree of remainder < degree of divisor = 1). (2) Substitute : . Hence remainder . (2)
(b) Factor Theorem (2): is a factor remainder . (2)
(c) Application (4): → is a factor. (2) Divide: . (1) Factor quadratic: .
Q3 (9 marks)
If are roots, then . (1) Expand RHS: . (2) Compare coefficients:
- -term: . (2)
- constant: . (2)
For : , .
Q4 (8 marks)
. (2) Rearrange: . (2) Factor out :
Apply with , :
Q5 (8 marks)
Domain/logic: squaring maps and to same ; hence a squared equation may satisfy solutions of the "wrong sign" branch — these are extraneous. Also require RHS and radicand . (2)
Square both sides: . (1) or . (2)
Check : ; RHS . → extraneous. (1) Check : ; RHS . ✓ valid. (1) Solution: . (1)
Q6 (7 marks)
means the distance of from 0 is at most 7, so it lies between and simultaneously (AND — both bounds must hold). (2) (1) Add 5: . (1) Divide by 3: . (2) Number line: closed dots at and , shaded segment between. (1)
●━━━━━━━━━━━━●
-2/3 4
[
{"claim":"p(x)=x^3-4x^2+x+6 factors as (x-2)(x-3)(x+1)","code":"x=symbols('x'); result = expand((x-2)*(x-3)*(x+1)) == expand(x**3-4*x**2+x+6)"},
{"claim":"alpha^2+beta^2 = 37/4 for 2x^2-7x+3","code":"s=Rational(7,2); p=Rational(3,2); result = (s**2-2*p) == Rational(37,4)"},
{"claim":"27x^3+8 = (3x+2)(9x^2-6x+4)","code":"x=symbols('x'); result = expand((3*x+2)*(9*x**2-6*x+4)) == expand(27*x**3+8)"},
{"claim":"radical eqn solution x=9 valid, x=1 extraneous","code":"x=symbols('x'); sols=solve(Eq(2*x+7,(x-4)**2),x); valid=[s for s in sols if sqrt(2*s+7)==s-4]; result = valid==[9]"}
]