Deductive Proof: Reasoning from Theorems, Not Measuring
ACARA v9 CONTENT DESCRIPTION “apply deductive reasoning to proofs involving shapes in the plane and use theorems to solve spatial problems”
Builds on: Similarity and Geometric Reasoning (AC9M9SP01). Earlier work used angle facts and similarity to justify steps in geometry. This unit turns that habit into formal deductive proof: starting from given facts and applying theorems one at a time to reach a conclusion that must be true, rather than one that merely looks true in a drawing.
The difference between seeing and proving
There is a real gap between a result looking true and being proved true. If you draw an isosceles triangle and measure its two base angles, the protractor will say they are about equal, and that is good evidence. But it is evidence about one triangle, drawn at one size, and a slightly wobbly hand or a thick pencil line could hide a small difference. Deductive proof closes this gap. Instead of measuring a particular picture, it argues from facts and theorems everyone already accepts, in a chain of steps, until the result follows with certainty for every triangle of that kind at once. The conclusion is then not just likely; it is guaranteed, because each step was forced by the one before it.
Measuring shows one case; proving covers all
Measuring a diagram checks a single instance, while a deductive proof guarantees the result for every case.
Measuring the two base angles with a protractor suggests they are equal here, but a single drawing cannot guarantee it holds for every isosceles triangle. Switch to proving.
A proof is a chain of reasons
The shape of a deductive proof is a chain. It begins with what you are given and what you may construct, and each step afterwards makes a single claim together with the reason that permits it. The reason is always something already trusted: a definition, a given fact, or a theorem proved earlier. A proof that the base angles of an isosceles triangle are equal might drop a line to the midpoint of the base, note the two halves share that line, observe the two equal sides, conclude the two small triangles are congruent by the side-side-side test, and finally read off that the matching angles are equal. Every link names its justification. Written in two columns, the claims run down one side and the reasons down the other, so a reader can check that nothing was assumed without warrant.
A proof is a chain of justified steps
In a deductive proof, every step states a claim and the reason that licenses it, linking givens to conclusion.
Each step makes one claim and gives the reason it is allowed. Reveal the next step to extend the chain toward the conclusion.
A worked proof you can follow
Take a result that looks obvious: when two straight lines cross, the angles opposite each other are equal. Measuring would confirm it, but watch how a proof settles it for good. Call one angle a, and the angle directly opposite it the one we want to pin down. Now use a single theorem, that angles sitting together on a straight line add to one hundred and eighty degrees. Angle a and the angle next to it make a straight line, so that neighbour is one hundred and eighty minus a. The opposite angle and that same neighbour also make a straight line, so the opposite angle is likewise one hundred and eighty minus the neighbour, which is a. Both opposite angles equal a, so they are equal. No protractor was used; one theorem did the whole job.
Worked proof: vertically opposite angles
Angles on a straight line add to one hundred and eighty, and that single theorem proves vertically opposite angles equal.
Vertically opposite angles are equal, and here is why, not just that a protractor agrees. Each is the supplement of the same angle b, so each equals one hundred and eighty minus b, and therefore they equal each other.
Theorems become tools for solving problems
Once a theorem is proved, it becomes a reliable tool you can reach for without proving it again, and this is how proof pays off in everyday problem solving. The exterior angle theorem, for instance, says the exterior angle of a triangle equals the sum of the two interior angles at the far corners. If those remote angles are fifty and sixty degrees, the exterior angle must be a hundred and ten, and you know this without measuring anything, simply by applying a result that was itself proved deductively. This is the practical heart of the topic: a stock of proved theorems lets you find lengths and angles in figures by reasoning, quickly and with certainty, where measuring would be slower and never quite exact.
Using a theorem to solve a spatial problem
A proved theorem becomes a tool: the exterior angle theorem finds an unknown angle without measuring it.
With interior angles of fifty and sixty at the far corners, a theorem fixes the exterior angle at the third corner. Reveal the result.
Why every step needs a reason
The discipline that makes proof trustworthy is that no step may be skipped or asserted without justification. A proof is exactly as strong as its weakest link, so a single step with no reason breaks the whole argument, even if the conclusion happens to be correct. Suppose a proof quietly assumes two sides are equal without establishing it; the rest may flow nicely and the answer may even be right, but the proof has not earned its conclusion. This is why mathematicians are fussy about citing a reason at every line. It is not bureaucracy; it is the only way to be sure that the certainty really has been passed, link by link, from the given facts all the way to the result.
One gap breaks the whole proof
A deductive proof fails if even one step lacks a valid reason, however plausible the conclusion looks.
A single step with no reason breaks the chain: even if the conclusion happens to be true, the argument does not prove it. Supply a reason to repair it.
Quick self-check
1. What makes a deductive proof stronger than measuring a diagram?
2. In a two-column proof, every line must include:
3. Vertically opposite angles are equal because each is:
4. A triangle has remote interior angles of forty and seventy degrees. By the exterior angle theorem, the exterior angle at the third vertex is:
5. A proof has one step with no stated reason, yet its conclusion is actually true. The proof is: