Working with Definitions, Theorems, and Postulates
Definitions, theorems, and postulates are the building blocks of geometry proofs. With very few exceptions, every justification in the reason column is one of these three things. The below figure shows an example of a proof.
If this had been a geometry proof instead of a dog proof, the reason column would contain if-then definitions, theorems, and postulates about geometry instead of if-then ideas about dogs. Here’s the lowdown on definitions, theorems, and postulates.
Using definitions in the reason column
Definition: A definition defines or explains what a term means. Here’s an example: A midpoint divides a segment into two congruent parts.
You can write all definitions in if-then form in either direction: If a point is a midpoint of a segment, then it divides that segment into two congruent parts or If a point divides a segment into two congruent parts, then it’s the midpoint of that segment.
The above figure shows you how to use both versions of the midpoint definition in a two-column proof.
When you have to choose between these two versions of the midpoint definition, remember that you can think of the word if as meaning because I already know and the word then as meaning I can now deduce. For example, for reason 2 in the first proof in the figure, you choose the version that goes, If a point is the midpoint of a segment, then it divides the segment into two congruent parts, because you already know that M is the midpoint of
(because it’s given) and from that given fact you can deduce that
Using theorems and postulates in the reason column
Theorem and postulate: Both theorems and postulates are statements of geometrical truth, such as All right angles are congruent or All radii of a circle are congruent. The difference between postulates and theorems is that postulates are assumed to be true, but theorems must be proven to be true based on postulates and/or already-proven theorems. This distinction isn’t something you have to care a great deal about unless you happen to be writing your Ph.D. dissertation on the deductive structure of geometry. However, because you’re probably not currently working on your Ph.D. in geometry, you shouldn’t sweat this fine point.
Written in if-then form, the theorem All right angles are congruent would read, If two angles are right angles, then they’re congruent. Unlike definitions, theorems are generally not reversible. For example, if you reverse this right-angle theorem, you get a false statement: If two angles are congruent, then they’re right angles. (If a theorem works in both directions, you’ll get a separate theorem for each version. The two isosceles-triangle theorems — If sides, then angles and If angles, then sides — are an example.) The above figure shows you the right-angle theorem in a proof.
When you’re doing your first proofs, or later if you’re struggling with a difficult one, it’s very helpful to write your reasons (definitions, theorems, and postulates) in if-then form. When you use if-then form, the logical structure of the proof is easier to follow. After you become a proof expert, you can abbreviate your reasons in non-if-then form or simply list the name of the definition, theorem, or postulate.