Additional Mathematics Synthesis Guide 39: Proof and Justification — Algebra, Geometry, Trigonometry and Calculus

State the target → identify usable facts → build a justified chain → preserve conditions → finish with the exact claim requested.

1. Proof begins by separating givens from the target

A proof question contains at least two logical roles:

• Given: statements you are allowed to use.
• To prove: the statement that must emerge from those givens and known mathematics.

Do not quietly assume the target while trying to establish it. A proof must move from established information toward the claim.

2. Algebraic proof is controlled equality

Suppose a statement asks you to show

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

Expand the left side:

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

The left side has been transformed into the right side using identities valid for every real x. That establishes the identity.

3. Identity proof is different from equation solving

An identity is claimed to hold for every allowed value in its domain. An equation asks for the particular values that make two expressions equal.

For an identity, transforming one side into the other is usually cleaner than manipulating both sides simultaneously. For an equation, transformations are used to locate a solution set.

4. Equivalent transformations versus one-way implications

If A=B, adding the same expression to both sides is reversible. Multiplying by a known non-zero constant is reversible. Expanding and factorising are reversible algebraic identities.

But squaring is not fully reversible:

A=B ⇒ A²=B²

while A²=B² allows A=B or A=−B.

Proof and solution writing improve when the learner knows whether a step is an equivalence or merely an implication.

5. Division needs a non-zero condition

From ab=ac, concluding b=c requires a≠0. If a=0, the original equality gives 0=0 and tells us nothing about b and c.

This small fact explains many lost-solution errors in algebra and trigonometry. A proof that divides by an expression must either know it is non-zero or split into cases.

6. Counterexamples disprove universal claims

To disprove the false claim

√(a+b)=√a+√b for all positive a,b,

one counterexample is enough. Take a=b=1:

√2≠2.

A universal statement needs proof for every allowed case; one valid counterexample destroys it.

7. Examples support intuition but do not prove a universal statement

Testing ten values can suggest that an identity is true, but it cannot establish infinitely many cases. Numerical checks are valuable for debugging, not for replacing a symbolic proof.

This distinction matters especially in trigonometric and algebraic identities.

8. Geometry proof is a theorem chain

A geometry proof should identify a fact, cite the reason that makes it true, and use it to unlock the next fact.

A typical chain may use:

• angles in parallel lines;
• angles in a triangle;
• properties of parallelograms;
• congruent or similar triangles;
• midpoint theorem;
• circle theorems such as tangent-chord relationships.

The diagram helps locate relationships, but the picture itself is not a reason.

9. Do not assume what merely looks true in a diagram

If two lines look perpendicular, that visual appearance does not prove a right angle. If a point appears to be a midpoint, that does not make the adjacent lengths equal.

Geometry proof uses stated markings, given facts and theorems—not drawing accuracy.

10. Congruence proof needs a sufficient condition

Matching three angles proves similarity, not congruence. A congruence argument must use an accepted sufficient condition such as side-side-side, side-angle-side, angle-side-angle or the relevant right-triangle condition.

The conclusion should match the evidence actually established.

11. Similarity proof should state the correspondence

When triangles are similar, corresponding vertices matter. A correct statement such as

△ABC∼△PQR

asserts A↔P, B↔Q and C↔R.

Ratios written afterward must respect that ordering. Similarity is not merely “the triangles look the same shape”.

12. Trigonometric identity proof is representation control

To prove

(1−cos2x)/sin2x=tanx

where both sides are defined, begin with the left side:

(2sin²x)/(2sinx cosx)=sinx/cosx=tanx.

Every equality comes from a known identity or legal simplification on the common domain.

13. Domain belongs inside a trig proof

If an identity contains tanx, secx, cotx or a quotient, it is only a claim where the relevant denominators are non-zero.

A proof does not need to invent values at points where the original expressions are undefined. It establishes equality on the common domain.

14. Proving an exact trigonometric value

To establish

sin75°=(√6+√2)/4,

write 75°=45°+30° and apply the sine addition formula. Exact special-angle values complete the derivation.

The proof explains why the surd is the exact value rather than merely reporting a calculator decimal.

15. Calculus justification: increasing and decreasing

To justify that f is increasing on an interval, show

f′(x)>0

throughout that interval. To justify decreasing behaviour, show f′(x)<0.

A sketch may support the conclusion, but the derivative sign is the analytic reason.

16. Calculus justification: maximum and minimum

At a stationary point x=a, f′(a)=0. To classify it, one valid route is a derivative sign change:

• + to − → local maximum;
• − to + → local minimum.

Another route is the second derivative when f″(a)≠0: f″(a)<0 supports local maximum; f″(a)>0 supports local minimum.

17. Why f″(a)=0 is not a classification

For f(x)=x⁴, f′(0)=0 and f″(0)=0, yet x=0 is a local minimum.

For f(x)=x³, f′(0)=0 and f″(0)=0, but x=0 is a stationary inflexion.

Therefore f″=0 means the second-derivative test is inconclusive; it does not prove inflexion.

18. Calculus justification: tangency

To prove that the line y=mx+c is tangent to y=f(x) at x=a, show both:

• f(a)=ma+c — same point;
• f′(a)=m — same gradient.

Equal gradient without equal position proves parallel directions, not contact. Equal position without equal gradient proves an intersection, not tangency.

19. Discriminant proof of tangency

For a line and a quadratic curve, substitution can produce a quadratic equation in x. If its discriminant is zero, there is one repeated intersection x-value.

This repeated root is the algebraic signature of tangent contact in that setting.

20. Proving uniqueness

If f is strictly increasing on an interval, then f(x)=k can have at most one solution there.

For eˣ, f′(x)=eˣ>0 for all real x, so the function is strictly increasing. Combined with range y>0, this proves eˣ=k has exactly one real solution for every k>0.

Sometimes proof is about counting solutions rather than finding them explicitly.

21. Necessary and sufficient conditions

A condition is necessary if the conclusion cannot hold without it. It is sufficient if the condition guarantees the conclusion.

For a quadratic ax²+bx+c with a>0, the condition Δ<0 is sufficient for strict positivity for every real x. It is also necessary in that setting because Δ≥0 would create at least one real zero.

Proof questions become clearer when the learner knows whether they are showing one implication or an equivalence.

22. “Hence” requires a valid handoff

When a question says “hence”, an earlier result is intended to become a premise for the next conclusion. The learner should state how it is being used rather than copying it without logical connection.

A correct earlier result does not automatically justify an unrelated later claim.

23. Verification and proof are related but not identical

Substituting a proposed root into the original equation verifies that one candidate works. It does not prove there are no other roots unless the solving process already established completeness.

Likewise, checking a tangent gradient at one point verifies local contact conditions; a separate argument may be needed if the question asks a broader global property.

24. Common proof failures

• Starting by assuming the statement to be proved.
• Writing several algebraic lines with no reason for a non-reversible step.
• Dividing by a variable expression without considering the zero case.
• Using examples as proof of a universal identity.
• Using the appearance of a geometry diagram as evidence.
• Claiming congruence from angle-angle-angle.
• Ignoring domain restrictions in a trigonometric identity.
• Calling f″=0 proof of an inflexion.
• Claiming tangency from equal gradient alone.
• Verifying one candidate and assuming the solution set is complete.

25. A reliable proof-and-justification routine

1. Write down the exact claim to establish.
2. List the givens, domain conditions and known theorems or identities that may apply.
3. Choose a direction: from givens toward target, or from a complicated expression toward a simpler equivalent form.
4. For every non-obvious step, ask what theorem, identity or algebraic rule justifies it.
5. Mark steps that are only implications rather than equivalences.
6. Preserve zero cases and domain restrictions.
7. Use counterexamples when the task is to disprove a universal claim.
8. Finish by explicitly connecting the final established statement to the requested conclusion.

26. Practice set

1. Prove (x+1)²−(x−1)²=4x.
2. Give a counterexample to √(a+b)=√a+√b for all positive a,b.
3. Why is checking several numerical values not proof of an identity?
4. From ab=ac, what extra condition is needed to conclude b=c?
5. Why can squaring create extraneous roots?
6. What does AAA establish for triangles?
7. Why must corresponding vertices be ordered correctly in a similarity statement?
8. Prove (1−cos2x)/sin2x=tanx where defined.
9. What domain issue appears in Question 8?
10. Derive sin75° exactly.
11. How do you justify that f is increasing on an interval?
12. How do you classify a stationary point by first-derivative signs?
13. What does f″(a)=0 prove about a stationary point?
14. Give the two conditions proving that y=mx+c is tangent to y=f(x) at x=a.
15. What does discriminant zero mean for a line-quadratic intersection equation?
16. Why does eˣ=k have at most one real solution?
17. For k>0, why does eˣ=k have exactly one real solution?
18. What is a necessary condition?
19. What is a sufficient condition?
20. Why does verifying one root not prove there are no others?

Answers

1. Expand the left side: x²+2x+1−x²+2x−1=4x.
2. a=b=1 gives √2≠2.
3. Finite examples do not establish infinitely many allowed cases.
4. a≠0.
5. A²=B² permits A=B or A=−B, so sign information is lost.
6. Similarity, not congruence.
7. The order identifies which sides and angles correspond, so later ratios depend on it.
8. Use 1−cos2x=2sin²x and sin2x=2sinx cosx to obtain sinx/cosx=tanx on the common domain.
9. The denominators must be non-zero; in particular sin2x and cosx must be defined/non-zero as required by the expressions.
10. sin(45°+30°)=(√2/2)(√3/2)+(√2/2)(1/2)=(√6+√2)/4.
11. Show f′(x)>0 throughout the interval.
12. +→− gives local maximum; −→+ gives local minimum.
13. Only that the second-derivative test is inconclusive.
14. f(a)=ma+c and f′(a)=m.
15. One repeated real intersection x-value, the algebraic tangent threshold in this setting.
16. Because its derivative eˣ is positive, so eˣ is strictly increasing.
17. Its range is all positive real numbers, so every k>0 is attained once.
18. A condition that must hold if the conclusion is true.
19. A condition that guarantees the conclusion.
20. It establishes only that the tested candidate works; completeness requires an argument that all possible candidates were found.

27. What mastery looks like

Mastery means the learner can distinguish proof from evidence, identity from equation, implication from equivalence and necessary from sufficient conditions. They can justify geometry through theorem chains, trigonometry through valid identities and domains, and calculus conclusions through derivative information rather than visual appearance.

The transfer test is to ask “why?” after a correct solution. If the learner can identify which lines are identities, which depend on conditions, which are reversible and which establish the requested conclusion, proof has become part of mathematical control rather than an isolated geometry skill.

---

Continue through Batch 10

• Guide 37: Domains, Ranges, Restrictions and Admissible Solutions Across A-Math
• Guide 38: Parameter Thresholds and Number of Solutions — Discriminants, Tangency, Range and Intersections
• Guide 40: Exactness, Approximation, Calculator State, Rounding and Verification
• Additional Mathematics Directory
• BTT Mathematics Hub