Geometric Proofs and Logic

Grade 10 · Math · Study Guide

Master the structure of deductive reasoning and formal proof-writing in geometry.

Geometric proof is the process of using logic and known facts — definitions, postulates, and previously proved theorems — to demonstrate that a new statement must be true. Every formal proof has a clear given (what you know), a prove statement (what you must show), and a sequence of statements each justified by a reason.

Deductive reasoning moves from general rules to specific conclusions. A two-column proof organizes this as a table: the left column lists each statement in logical order, and the right column gives the reason that justifies it (a theorem, definition, postulate, or the given information). Paragraph proofs and flow proofs communicate the same logic in different formats.

Key logical structures include the conditional (if p then q), its converse (if q then p), inverse (if not p then not q), and contrapositive (if not q then not p). Only the contrapositive is logically equivalent to the original conditional. Common proof strategies include using triangle congruence shortcuts (SSS, SAS, ASA, AAS, HL), properties of equality and congruence, and angle relationships like vertical angles and linear pairs. A solid proof leaves no logical gap — every claim must be justified.

Key terms

Postulate: A statement accepted as true without proof; a foundational rule in geometry.
Theorem: A statement that has been proved true using logic, definitions, and previously established facts.
Two-Column Proof: A formal proof organized into statements (left column) and reasons (right column).
Deductive Reasoning: A logical process that uses general principles to reach a specific, certain conclusion.
Contrapositive: The logically equivalent form of a conditional: if not q, then not p.
Congruence: The relationship between two figures that have the same size and shape (equal corresponding parts).

Flashcards

Given: The information already known or assumed to be true at the start of a proof.
Postulate: An accepted geometric truth that requires no proof (e.g., two points determine a line).
Theorem: A geometric statement proved using logic and prior established facts.
Vertical Angles Theorem: Vertical angles are always congruent — they share a vertex and are formed by opposite rays.
Reflexive Property: Any segment or angle is congruent to itself; used to establish shared sides or angles in proofs.
SSS Congruence: If three sides of one triangle are congruent to three sides of another, the triangles are congruent.
CPCTC: Corresponding Parts of Congruent Triangles are Congruent — used after proving triangle congruence.
Linear Pair Postulate: If two angles form a linear pair, they are supplementary (their measures sum to 180°).

Questions

In a two-column proof, what belongs in the right column?
1. The given information only
2. The statements to be proved
3. The reason justifying each statement
4. The diagram labels
Show answer
Answer: The reason justifying each statement
In a two-column proof the right column always contains the reason (theorem, definition, postulate, or given) that justifies the corresponding statement in the left column.
The contrapositive of a conditional statement is always logically equivalent to the original conditional.
Show answer
Answer: True
The contrapositive (if not q then not p) has the same truth value as the original conditional (if p then q), making them logically equivalent.
The congruence shortcut that requires two sides and the included angle to be congruent is called ___.
Show answer
Answer: sas
SAS (Side-Angle-Side) requires two sides and the angle between them (the included angle) to be congruent in both triangles.
Which of the following is a valid reason in a geometric proof?
1. It looks like it should be true
2. A definition of perpendicular lines
3. My diagram shows it
4. The answer seems obvious
Show answer
Answer: A definition of perpendicular lines
Valid proof reasons must be formal geometric justifications — definitions, postulates, or proved theorems. Personal observation or diagram appearance are not acceptable.
If the conditional 'If it is a square, then it has four right angles' is true, which must also be true?
1. If it has four right angles, then it is a square
2. If it is not a square, then it does not have four right angles
3. If it does not have four right angles, then it is not a square
4. None of the above
Show answer
Answer: If it does not have four right angles, then it is not a square
The contrapositive ('If it does not have four right angles, then it is not a square') is logically equivalent to the original. The converse and inverse are not guaranteed to be true.

Get a personalized course on Geometric Proofs and Logic built around your child.