7.3 Formal Proof Methods, CPCTC & Quadrilateral Properties

7.3 Formal Proof Methods, CPCTC & Quadrilateral Properties

1. The Logical Structure of Mathematical Arguments

Deductive proof in Euclidean geometry requires rigorous propositional logic. Every formal geometric theorem originates from a conditional statement of the form "If $p$, then $q$" ($p \to q$), where $p$ represents the hypothesis (given premises) and $q$ represents the conclusion.

From a conditional statement, three related logical propositions are formed:

1. Converse ($q \to p$): Swaps the hypothesis and conclusion ("If $q$, then $p$").
2. Inverse ($\sim p \to \sim q$): Negates both the hypothesis and conclusion ("If not $p$, then not $q$").
3. Contrapositive ($\sim q \to \sim p$): Reverses and negates both hypothesis and conclusion ("If not $q$, then not $p$").

Truth Table and Logical Equivalence

Two propositions are logically equivalent ($\equiv$) if they share identical truth values across all possible truth valuations of their component variables:

Examining columns 5 through 8 reveals two fundamental equivalences:

• $p \to q \equiv \sim q \to \sim p$: A conditional statement is always logically equivalent to its contrapositive. Proving the contrapositive is mathematically identical to proving the original statement.
• $q \to p \equiv \sim p \to \sim q$: The converse is logically equivalent to the inverse, but neither is equivalent to the original conditional. Assuming that a true conditional implies a true converse is the Fallacy of Affirming the Consequent (the converse error). For example, "If a figure is a square ($p$), then it is a rectangle ($q$)" is true, but its converse "If a figure is a rectangle ($q$), then it is a square ($p$)" is false.

When both $p \to q$ and its converse $q \to p$ are true, the statement is a biconditional: "$p$ if and only if $q$" ($p \leftrightarrow q$). In geometry, all mathematical definitions are inherently biconditional.

---

2. Proof Architecture: Direct Formats vs. Indirect Proof (Contradiction)

Geometric proofs organize deductive reasoning into verifiable logical sequences. A proof begins with given axioms, postulates, definitions, or previously proven theorems and applies valid rules of inference (such as Modus Ponens: $[p \land (p \to q)] \implies q$) to derive the target conclusion.

Direct Proof Formats

1. Two-Column Proof: The traditional format featuring a numbered left column of mathematical assertions (Statements) and an aligned right column of deductive justifications (Reasons), each citing a definition, postulate, or theorem.
2. Paragraph Proof: A narrative prose structure where assertions and justifications are woven into connected grammatical sentences using logical transitions ("Since...", "Therefore...", "By substitution...").
3. Flowchart Proof: A directed acyclic graph where each statement is enclosed in a geometric box with its justification inscribed below, connected by arrows showing the flow of deduction.

Indirect Proof (Proof by Contradiction / Reductio ad Absurdum)

When a direct proof is unwieldy—such as proving that two lines never intersect, or that a geometric quantity is non-zero—mathematicians employ an indirect proof. The validity of indirect proof rests on the Law of the Excluded Middle (a proposition is either true or false, with no third alternative):

• Step 1: State the proposition to be proved in conditional form: If $H$, then $C$.
• Step 2: Temporarily assume that the conclusion is false; that is, assume $\sim C$ is true alongside the given hypothesis $H$.
• Step 3: Reason deductively using known definitions, postulates, and theorems until reaching a statement that contradicts the hypothesis $H$, an established theorem, or a fundamental axiom (e.g., deriving that $0 = 1$ or that two intersecting lines are parallel).
• Step 4: Conclude that the temporary assumption $\sim C$ must be false, which logically necessitates that the original conclusion $C$ must be true.

Indirect Proof Exemplar: Line Perpendicularity

Theorem: In a plane, if line $l$ is perpendicular to line $m$ at point $P$, then no other line through $P$ can be perpendicular to $m$. Proof by contradiction: Assume the negation: suppose there exists a second distinct line $k$ passing through $P$ that is also perpendicular to $m$. Line $k$ and line $l$ intersect at $P$. Choose a point $Q \neq P$ on $k$ and drop a transversal to $m$ meeting at $R$. This constructs a triangle $\triangle PQR$ with two right angles ($\angle QPR = 90^\circ$ and $\angle PRQ = 90^\circ$). The angle sum of $\triangle PQR$ is $90^\circ + 90^\circ + m\angle PQR = 180^\circ + m\angle PQR > 180^\circ$. This directly contradicts the Triangle Angle Sum Theorem ($180^\circ$). Therefore, the assumption is false, and line $l$ is unique.

---

3. Triangle Congruence Criteria & CPCTC

Establishing that two triangles are congruent ($\triangle ABC \cong \triangle DEF$) means that all six pairs of corresponding parts are congruent: three pairs of sides and three pairs of angles. However, to prove congruence, one only needs to satisfy one of five Triangle Congruence Criteria:

1. SSS (Side-Side-Side Postulate): Three pairs of corresponding sides are congruent.
2. SAS (Side-Angle-Side Postulate): Two pairs of corresponding sides and the included angle are congruent.
3. ASA (Angle-Side-Angle Postulate): Two pairs of corresponding angles and the included side are congruent.
4. AAS (Angle-Angle-Side Theorem): Two pairs of corresponding angles and a non-included side are congruent.
5. HL (Hypotenuse-Leg Theorem): For right triangles only, the hypotenuse and one leg are congruent.

[!CAUTION] AAA does not prove congruence (it proves similarity). SSA (Side-Side-Angle) is not a congruence criterion because an angle and two non-included sides can determine two non-congruent triangles (the ambiguous case).

The Role of CPCTC

Once triangle congruence is established by one of the five criteria, CPCTC—Corresponding Parts of Congruent Triangles are Congruent—serves as the deductive justification to prove that any remaining pair of corresponding sides or angles are congruent. CPCTC is never a justification for triangle congruence itself; it is the immediate deduction following congruence.

---

4. Formal Deductive Proofs of Quadrilateral Theorems

CPCTC serves as the engine for proving the core theorems of parallelogram geometry.

Exemplar Two-Column Proof: Opposite Sides of a Parallelogram are Congruent

Given: Quadrilateral $ABCD$ is a parallelogram with $\overline{AB} \parallel \overline{CD}$ and $\overline{BC} \parallel \overline{DA}$. Prove: $\overline{AB} \cong \overline{CD}$ and $\overline{BC} \cong \overline{DA}$.

Key Parallelogram Diagonal Theorems

By constructing both diagonals $\overline{AC}$ and $\overline{BD}$ intersecting at point $E$, educators apply similar triangle congruence deductions:

• Diagonals Bisect Each Other: In parallelogram $ABCD$, $\angle ABE \cong \angle CDE$ and $\angle BAE \cong \angle DCE$ by alternate interior angles, and $\overline{AB} \cong \overline{CD}$. Thus, $\triangle ABE \cong \triangle CDE$ by ASA. By CPCTC, $\overline{AE} \cong \overline{CE}$ and $\overline{BE} \cong \overline{DE}$, proving that $E$ bisects both diagonals.
• Rectangle Diagonal Congruence: A parallelogram is a rectangle if and only if its diagonals are congruent. In rectangle $ABCD$, $\triangle ABC \cong \triangle DCB$ by SAS ($\overline{AB} \cong \overline{DC}$, right angles $\angle B \cong \angle C$, shared side $\overline{BC}$). By CPCTC, $\overline{AC} \cong \overline{DB}$.
• Rhombus Diagonal Perpendicularity & Angle Bisection: In rhombus $ABCD$ (four congruent sides), diagonals bisect each other at $E$. In triangles $\triangle ABE$ and $\triangle ADE$, $\overline{AB} \cong \overline{AD}$, $\overline{BE} \cong \overline{DE}$, and $\overline{AE} \cong \overline{AE}$. Thus, $\triangle ABE \cong \triangle ADE$ by SSS. By CPCTC, $\angle AEB \cong \angle AED$; since they form a linear pair, each is $90^\circ$, proving $\overline{AC} \perp \overline{BD}$. Furthermore, $\angle BAE \cong \angle DAE$ by CPCTC, proving the diagonal bisects the vertex angle.