Notes on Equality, Congruence, and Geometric Proof Techniques

For real numbers: any real number x is equal to itself. Example: $x = x$ . Example: $7 = 7$ .
For congruence: any geometric figure is congruent to itself. Example: $\overline{ABC} \cong \overline{ABC}$ or, more generally, a figure is congruent to itself.
Consequently, the measures are equal in the sense of equality or congruence, e.g. $m\angle A C = m\angle A B C$ (as stated in the transcript). These are properties of equality and congruence.

If a congruence statement holds on one side, you can swap sides: if $XY \cong MN$ then $MN \cong XY$ .
The symmetric property also applies to equality: if $12x = 5$ , then by symmetry $5 = 12x$ .
In geometry, if the length of $\overline{XY}$ equals the length of $\overline{MN}$ , then the length of $\overline{MN}$ equals the length of $\overline{XY}$ .

If $XY \cong MN$ and $MN \cong AB$ , then $XY \cong AB$ . (Transitive chaining of congruence)
For real numbers: if $x = y$ and $y = z$ , then $x = z$ .

Equality form: If $x = 3$ and $x + y = 12$ , then by substitution, $3 + y = 12$ .
Important caveat for congruence: substitution is generally valid for equality, not for congruence. In congruence, figures may have different coordinates or placements; you cannot substitute congruent segments into coordinate-based statements in general.

Deductive reasoning: using facts, definitions, and theorems to form a logical argument; works top-down from givens.
- Example from transcript: if it’s raining, Julia uses an umbrella; from the fact of rain and her rule, deduce she has an umbrella.
- In mathematics: solving equations by properties and justifying steps; proving two segments are congruent using given information from a diagram.
Inductive reasoning: generalizing from observations/patterns; not reliable for proofs in mathematics.
- Example: most basketball players are over six feet tall; used to form conjectures but not proofs.
In this lesson, proofs use deductive reasoning exclusively.

Proofs involve given information (words or a diagram) and a statement to prove.
When using diagrams, use only information that is given; do not assume unmarked angles or measurements.
Justify each step with definitions, propositions, theorems, or prior steps.
Ends with a conclusion that can be used as a premise in future proofs.

A two-column proof has:
- Left column: statements that are given or deduced.
- Right column: reasons for each deduction.
Example setup from transcript: Prove that if $AB \cong CD$ and $EF \cong CD$ , then $AB \cong EF$ .
- Initial givens: $AB \cong CD$ (Reason: Given); $EF \cong CD$ (Reason: Given).
- Rearrange using symmetric property: from $EF \cong CD$ to $CD \cong EF$ (Reason: Symmetric Property).
- Apply transitive property: from $AB \cong CD$ and $CD \cong EF$ to $AB \cong EF$ (Reason: Transitive Property).
- Final step: define congruent segments to conclude equal lengths: $AB = EF$ (Reason: Definition of Congruent Segments).
Note on notational care: pay attention to the order and notation on the congruence tiles; a small mismatch can lead to an incorrect justification.

A paragraph proof starts with givens and proceeds with a narrative justification.
Example transcript proof: Given $AB \cong CD$ and $EF \cong CD$ , use the definition of congruence to convert to lengths:
- From the definition of congruence: $AB = CD$ and $EF = CD$ .
- Substitution: since both equal to $CD$ , it follows that $AB = EF$ (by substitution).
The key point: substitution is an equality-based operation; it is not generally valid to substitute congruences for coordinates or other non-equality statements.

Flowchart proofs organize steps visually in boxes with justifications.
Example: Prove that $AB \cong EF$ given $AB \cong CD$ and $EF \cong CD$ .
- Box 1 (Given): $AB \cong CD$ , $EF \cong CD$ .
- Box 2: By symmetric property, $CD \cong EF$ (from $EF \cong CD$ ).
- Box 3: By transitive property, $AB \cong EF$ (from $AB \cong CD$ and $CD \cong EF$ ).
- Box 4: By definition of congruent segments, $AB = EF$ .
The transcript notes that there are alternate paths (e.g., using substitution) and emphasizes that a flowchart should correctly reflect the logical flow.

Diagrams can suggest but do not guarantee facts.
Possible assumptions based on diagram:
- Points lie on the lines they appear to lie on (e.g., A on line AC, B on line BD).
- Adjacent and vertical angles (angle 1 and angle 4, vertical angle 4 and angle 2) as they appear.
- Linear pairs, collinear points, and opposite rays as they appear.
Nonetheless, diagrams do not guarantee:
- Segment measures or angle measures unless given.
- Parallel or perpendicular relationships unless indicated.
Always rely on given information and proven results, not on visual impressions from the diagram.

Always start from givens and clearly state each justification.
When converting from congruence statements to equalities, use the Definition of Congruence.
Use the Substitution Property to replace equal quantities in an equation, not in a congruence statement.
When using the symmetric property to swap sides in a chain of congruences, ensure the order of statements remains logically consistent.
Recognize multiple valid proof paths (two-column, paragraph, flowchart) exist for the same result; the choice depends on clarity and context.

Reflexive, Symmetric, Transitive, and Substitution properties form the backbone of many geometric proofs.
Deductive reasoning is essential for mathematics; inductive reasoning is useful for exploring patterns but not for formal proofs.
Proofs can be expressed in several formats (two-column, paragraph, flowchart).
Diagrams are helpful but must be treated carefully; do not assume measures or parallelism from appearance alone.
Concrete examples (e.g., midpoint problems) illustrate how definitions and postulates drive the logical chain to a conclusion.