Additional Mathematics Synthesis Guide 8: Equations, Parameters and Algebraic Proof

Condition → equation → parameter relation → structural consequence → proof → verification.

1. An equation describes a condition of equality

An expression is a mathematical object. An equation states that two expressions have the same value under particular conditions. Solving an equation means finding the values that make that statement true.

This distinction matters because algebraic transformations must preserve the set of solutions. Some moves are reversible, such as adding the same quantity to both sides. Others can create or destroy solutions if conditions are ignored, such as squaring, multiplying by a possibly zero expression, or dividing by an expression that may vanish.

2. Equivalent equations have the same solution set

When we write a chain of equalities or equivalent equations, we are claiming that the allowed solution set has been preserved. This gives algebraic working a logical structure. A correct-looking final answer is not enough if an illegal transformation changed the problem on the way.

3. Parameters describe families

In x² + kx + 4 = 0, x is the variable to be solved for, while k selects a member of a family of quadratics. Different k-values change the roots and graph. The question may ask which k produces two roots, one repeated root, no real roots, a specified sum of roots or some geometric behaviour.

A parameter is therefore not merely “another unknown”. It controls the structure of the problem.

4. The discriminant turns root conditions into parameter inequalities

For ax²+bx+c=0, Δ=b²−4ac.

• Δ>0: two distinct real roots.
• Δ=0: one repeated real root.
• Δ<0: no real roots.

If coefficients contain a parameter, these root conditions become equations or inequalities in that parameter.

5. Worked Example 1 — parameter for repeated roots

Find k if x² + kx + 9 = 0 has a repeated root.

Repeated root means Δ=0:

k²−36=0.

Hence k=6 or k=−6.

The parameter question has two answers because two different quadratics in the family can have a repeated root.

6. Root relationships can avoid explicit solving

If α and β are roots of ax²+bx+c=0, then

• α+β=−b/a
• αβ=c/a

These relationships allow many parameter questions to be answered without using the quadratic formula. The structure of the roots is often more useful than their individual values.

7. Worked Example 2 — use sum and product of roots

The roots of 2x²−5x+p=0 have product 3. Find p.

Product of roots = p/2. Therefore p/2=3, so p=6.

8. Simultaneous conditions create parameter systems

A polynomial may be required to pass through a point and possess a factor. A line may need to pass through one point and be tangent to a curve. A model may be required to satisfy an initial value and a later observation. Each condition becomes an equation. The parameter values are found by solving the resulting system.

The main skill is translation: convert every verbal or geometric condition into an exact mathematical condition before manipulating.

9. Worked Example 3 — two conditions on a polynomial

Let P(x)=x³+ax+b. Given that x−1 is a factor and P(2)=9, find a and b.

Factor condition: P(1)=0 gives 1+a+b=0, so a+b=−1.

Point condition: P(2)=8+2a+b=9, so 2a+b=1.

Subtracting gives a=2. Then b=−3.

10. Algebraic proof is controlled implication

A proof does not merely show that a statement works for one example. It demonstrates that the conclusion follows for every object satisfying the stated assumptions.

For example, to prove the square of an odd integer is odd, begin with the definition of an odd integer:

n=2k+1 for some integer k.

Then

n²=(2k+1)²=4k²+4k+1=2(2k²+2k)+1.

Since 2k²+2k is an integer, n² has the form 2m+1 and is odd.

11. The definition is often the first move in proof

Many proof problems become manageable when a verbal property is translated into algebraic form. Even numbers are 2k. Odd numbers are 2k+1. Consecutive integers are n and n+1. Multiples of 3 are 3k. Once the structure is represented, the algebra can carry the argument.

12. Identities prove equality for an entire domain

An identity such as (x+1)²−(x−1)²=4x is true for every real x. To prove it, transform one side:

(x²+2x+1)−(x²−2x+1)=4x.

This differs from solving an equation, where only certain x-values may work.

13. Worked Example 4 — prove a divisibility result

Show that the product of two consecutive integers is even.

Let the integers be n and n+1. Among two consecutive integers, one must be even. Alternatively, split into cases:

• If n=2k, then n(n+1)=2k(n+1), which is divisible by 2.
• If n=2k+1, then n+1=2k+2=2(k+1), so n(n+1)=2(2k+1)(k+1), also divisible by 2.

Therefore the product is even for every integer n.

14. Contradiction exposes impossible assumptions

In proof by contradiction, assume the opposite of what is to be shown and derive an impossibility. Even when a full formal contradiction proof is not required, the habit is useful in Additional Mathematics: if a parameter assumption forces Δ to be simultaneously positive and negative, or a length to be negative under a positive-length model, the assumption has failed.

15. Extraneous solutions are a proof issue as well as an algebra issue

If an algebraic operation is not reversible, a later candidate must be checked. Squaring is the classic example. Multiplying by an expression that may be zero can also enlarge the solution set. Dividing by an expression can remove the zero case.

The logic of the transformation matters because every line of working makes a claim about what follows from the previous line.

16. Worked Example 5 — a parameter inequality

Find the values of k for which x²−2kx+k+3=0 has two distinct real roots.

Require Δ>0:

(−2k)²−4(1)(k+3)>0.

So 4k²−4k−12>0, or k²−k−3>0.

The roots of k²−k−3=0 are (1±√13)/2. Since the quadratic in k opens upward,

k<(1−√13)/2 or k>(1+√13)/2.

17. Parameter geometry is algebra with a picture behind it

A condition such as “the line touches the curve” becomes Δ=0 after forming the intersection equation. “The line does not meet the curve” becomes Δ<0. “The curve passes through A” becomes substitution of A’s coordinates. Geometry supplies the condition; algebra enforces it.

18. Proof by factorisation can reveal sign or divisibility

Suppose we want to show n²−n is even for every integer n. Factor:

n²−n=n(n−1).

This is the product of consecutive integers, so one factor is even. The factorisation exposes the property more clearly than an expanded expression.

19. Counterexamples can disprove universal claims

To prove “for all” requires a general argument. To disprove “for all”, one valid counterexample is enough. For example, the claim “the square of every integer is greater than the integer” fails at n=0 and n=1. This distinction is central to mathematical reasoning.

20. Common failure patterns

• Treating a parameter like the main variable and losing track of which equation is being solved.
• Using Δ=0 without first forming the correct quadratic.
• Solving for roots when root-sum or root-product relationships would be cheaper.
• Substituting a factor x+a as x=a instead of x=−a.
• Manipulating both sides of an identity proof until logical direction becomes unclear.
• Testing examples and calling that a proof.
• Dividing by an expression that might be zero.
• Failing to check candidates produced by squaring.
• Giving a parameter value without explaining the condition it satisfies.

21. A reliable parameter-and-proof routine

1. Identify the variable, parameter and required structural condition.
2. Translate each condition into an equation or inequality.
3. Choose the cheapest structural tool: discriminant, root relations, factor theorem, substitution or simultaneous equations.
4. Keep exact forms where possible.
5. Track any restrictions introduced by denominators, square roots or logarithms.
6. For proof, start from a definition or known identity and transform in a clear direction.
7. Check whether every transformation is reversible; verify candidates when it is not.
8. State the conclusion in relation to the original condition.

22. Practice set

1. Find k if x²+kx+16=0 has a repeated root.
2. Find the sum and product of roots of 3x²−7x+2=0.
3. If the roots of x²−5x+p=0 have product 6, find p.
4. Find k such that x−2 is a factor of x³+kx−6.
5. Let P(x)=x²+ax+b. If P(1)=3 and P(2)=8, find a,b.
6. Find k for which x²−4x+k=0 has no real roots.
7. Find p for which 2x²+px+8=0 has equal roots.
8. Prove that the sum of two even integers is even.
9. Prove that the sum of two odd integers is even.
10. Prove that n(n+1) is even for every integer n.
11. Show that (x+2)²−(x−2)²=8x.
12. Give a counterexample to “n²>n for every integer n”.
13. Explain why checking examples cannot prove a universal statement.
14. Explain why dividing by x may lose the solution x=0.
15. Solve √(x+6)=x and identify any extraneous candidate.
16. Find k for which x²+(k−1)x+k=0 has two distinct real roots.
17. If α,β are roots of x²−4x+1=0, find α²+β² without solving for α,β.
18. A line y=mx+1 is tangent to y=x²+3. State the algebraic condition used to find m.
19. Why is a parameter question about a family rather than one equation?
20. State one way to verify a parameter answer after solving.

Answers

1. k=±8.
2. Sum 7/3; product 2/3.
3. p=6.
4. k=−1.
5. a=2, b=0.
6. k>4.
7. p=±8.
8. Let the integers be 2a,2b; sum=2(a+b), even.
9. (2a+1)+(2b+1)=2(a+b+1), even.
10. One of two consecutive integers is even, so their product is even.
11. Expanding or using difference of squares gives 8x.
12. n=0 or n=1.
13. A finite set of examples cannot establish all infinitely many allowable cases.
14. Because division by x is invalid when x=0.
15. x=3; candidate x=−2 from squaring is extraneous.
16. Require (k−1)²−4k>0, so k<3−2√2 or k>3+2√2.
17. (α+β)²−2αβ=16−2=14.
18. Equate line and curve, obtain a quadratic in x, then impose discriminant zero.
19. Because changing the parameter selects different members of the same structural form.
20. Substitute the parameter back and check the required root, factor, point, discriminant or geometric condition.

23. What mastery looks like

Mastery means the student can translate verbal and geometric conditions into algebra, distinguish variables from parameters, choose discriminant or root relations when appropriate, solve simultaneous parameter constraints, and produce short proofs whose logical steps remain valid for every permitted case.

The transfer test is to combine representations. Give a parameter inside a polynomial, an intersection problem stated geometrically, or a universal statement that must be proved rather than tested. If the learner can identify the governing condition and preserve it through the algebra, symbolic reasoning has become more than manipulation.

---

Continue through the BTT Additional Mathematics system

• Additional Mathematics Directory.
• BTT Singapore Mathematics Hub.
• Guide 5: Functions, Inverses, Compositions and Graph Transformations.
• Guide 6: Polynomials, Factor/Remainder Theorem, Partial Fractions and Binomial Expansion.
• Guide 7: Surds, Indices, Inequalities and Exact Algebra.