Level 3 — ProductionAlgebra — Introduction & Intermediate

Algebra — Introduction & Intermediate

50 marksprintable — key stays hidden on paper

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 ax2+bx+c=0ax^2 + bx + c = 0 (with a0a \neq 0). 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 p(x)p(x) is divided by (xa)(x - a), the remainder is p(a)p(a). (4 marks) (b) Hence deduce the Factor Theorem. (2 marks) (c) Using these results, determine whether (x2)(x - 2) is a factor of p(x)=x34x2+x+6p(x) = x^3 - 4x^2 + x + 6, and fully factorise p(x)p(x). (4 marks)


Q3. (9 marks) Derive Vieta's formulas for a quadratic ax2+bx+c=0ax^2 + bx + c = 0 with roots α,β\alpha, \beta — i.e. prove α+β=b/a\alpha+\beta = -b/a and αβ=c/a\alpha\beta = c/a starting from the factored form. Then, without solving the equation, find the value of α2+β2\alpha^2 + \beta^2 for 2x27x+3=02x^2 - 7x + 3 = 0.


Q4. (8 marks) Derive the identity for a3+b3a^3 + b^3 starting only from the expansion of (a+b)3(a+b)^3. Show every step. Then use your result (and factoring) to fully factorise 27x3+827x^3 + 8.


Q5. (8 marks) Solve the radical equation from first principles, explaining why squaring can introduce extraneous roots and how you guard against them: 2x+7=x4.\sqrt{2x + 7} = x - 4. Verify each candidate root against the original equation.


Q6. (7 marks) Solve the absolute value inequality 3x57|3x - 5| \le 7 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: ax2+bx+c=0ax^2 + bx + c = 0, a0a\neq 0.

  • Divide by aa: x2+bax+ca=0x^2 + \dfrac{b}{a}x + \dfrac{c}{a} = 0. (1)
  • Move constant: x2+bax=cax^2 + \dfrac{b}{a}x = -\dfrac{c}{a}. (1)
  • Complete square — add (b2a)2\left(\dfrac{b}{2a}\right)^2 to both sides (half the linear coefficient, squared). (1) x2+bax+b24a2=b24a2cax^2 + \frac{b}{a}x + \frac{b^2}{4a^2} = \frac{b^2}{4a^2} - \frac{c}{a}
  • LHS is a perfect square: (x+b2a)2=b24ac4a2\left(x + \dfrac{b}{2a}\right)^2 = \dfrac{b^2 - 4ac}{4a^2}. (1)
  • Take square roots: x+b2a=±b24ac2ax + \dfrac{b}{2a} = \pm\dfrac{\sqrt{b^2-4ac}}{2a}. (1)
  • Isolate xx: x=b±b24ac2ax = \dfrac{-b \pm \sqrt{b^2 - 4ac}}{2a}. (2)
  • Condition: real roots exist iff b24ac0b^2 - 4ac \ge 0 (the discriminant is non-negative, else square root is imaginary). (1)

Q2 (10 marks)

(a) Remainder Theorem proof (4): By the division algorithm, p(x)=(xa)q(x)+rp(x) = (x-a)q(x) + r where rr is constant (degree of remainder < degree of divisor = 1). (2) Substitute x=ax = a: p(a)=(aa)q(a)+r=0+r=rp(a) = (a-a)q(a) + r = 0 + r = r. Hence remainder =p(a)= p(a). (2)

(b) Factor Theorem (2): (xa)(x-a) is a factor     \iff remainder =0    p(a)=0= 0 \iff p(a) = 0. (2)

(c) Application (4): p(2)=816+2+6=0p(2) = 8 - 16 + 2 + 6 = 0(x2)(x-2) is a factor. (2) Divide: x34x2+x+6=(x2)(x22x3)x^3 - 4x^2 + x + 6 = (x-2)(x^2 - 2x - 3). (1) Factor quadratic: x22x3=(x3)(x+1)x^2 - 2x - 3 = (x-3)(x+1). p(x)=(x2)(x3)(x+1).(1)p(x) = (x-2)(x-3)(x+1). \quad **(1)**


Q3 (9 marks)

If α,β\alpha,\beta are roots, then ax2+bx+c=a(xα)(xβ)ax^2+bx+c = a(x-\alpha)(x-\beta). (1) Expand RHS: a(x2(α+β)x+αβ)=ax2a(α+β)x+aαβa(x^2 - (\alpha+\beta)x + \alpha\beta) = ax^2 - a(\alpha+\beta)x + a\alpha\beta. (2) Compare coefficients:

  • xx-term: a(α+β)=bα+β=ba-a(\alpha+\beta) = b \Rightarrow \alpha+\beta = -\dfrac{b}{a}. (2)
  • constant: aαβ=cαβ=caa\alpha\beta = c \Rightarrow \alpha\beta = \dfrac{c}{a}. (2)

For 2x27x+3=02x^2 - 7x + 3 = 0: α+β=7/2\alpha+\beta = 7/2, αβ=3/2\alpha\beta = 3/2. α2+β2=(α+β)22αβ=4943=374.(2)\alpha^2+\beta^2 = (\alpha+\beta)^2 - 2\alpha\beta = \tfrac{49}{4} - 3 = \tfrac{37}{4}. \quad **(2)**


Q4 (8 marks)

(a+b)3=a3+3a2b+3ab2+b3(a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3. (2) Rearrange: a3+b3=(a+b)33a2b3ab2=(a+b)33ab(a+b)a^3 + b^3 = (a+b)^3 - 3a^2b - 3ab^2 = (a+b)^3 - 3ab(a+b). (2) Factor out (a+b)(a+b): a3+b3=(a+b)[(a+b)23ab]=(a+b)(a2ab+b2).(2)a^3+b^3 = (a+b)\big[(a+b)^2 - 3ab\big] = (a+b)(a^2 - ab + b^2). \quad **(2)**

Apply with a=3xa = 3x, b=2b = 2: 27x3+8=(3x+2)(9x26x+4).(2)27x^3 + 8 = (3x+2)(9x^2 - 6x + 4). \quad **(2)**


Q5 (8 marks)

Domain/logic: squaring maps u=vu = v and u=vu = -v to same u2=v2u^2=v^2; hence a squared equation may satisfy solutions of the "wrong sign" branch — these are extraneous. Also require RHS x40x-4 \ge 0 and radicand 0\ge 0. (2)

Square both sides: 2x+7=(x4)2=x28x+162x + 7 = (x-4)^2 = x^2 - 8x + 16. (1) x210x+9=0(x1)(x9)=0x=1\Rightarrow x^2 - 10x + 9 = 0 \Rightarrow (x-1)(x-9)=0 \Rightarrow x = 1 or x=9x = 9. (2)

Check x=1x=1: 9=3\sqrt{9}=3; RHS =14=3=1-4=-3. 333 \ne -3extraneous. (1) Check x=9x=9: 25=5\sqrt{25}=5; RHS =94=5=9-4=5. ✓ valid. (1) Solution: x=9x = 9. (1)


Q6 (7 marks)

3x57|3x-5| \le 7 means the distance of 3x53x-5 from 0 is at most 7, so it lies between 7-7 and 77 simultaneously (AND — both bounds must hold). (2) 73x57-7 \le 3x - 5 \le 7 (1) Add 5: 23x12-2 \le 3x \le 12. (1) Divide by 3: 23x4-\dfrac{2}{3} \le x \le 4. (2) Number line: closed dots at 23-\tfrac23 and 44, 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]"}
]