Geometric Definitions, Axioms and Conditional Statements
Geometry is built from definitions, axioms (postulates) and theorems, and its statements are often written as conditional “if–then” statements whose converse, inverse and contrapositive have different truth values. In brief: a definition says what a word means, an axiom is a statement accepted without proof and a theorem is a statement proved from definitions and axioms. The statement “If a figure is a square, then it is a rectangle” is true, but its converse is false.
Understanding this structure is the foundation of geometric proof. When you write a proof you start from what is given, use definitions, axioms and earlier theorems, and reach what is to be shown. This guide explains the vocabulary, the logic of conditional statements and counterexamples, with examples and a table of the four related statements.
What makes a good definition?
A definition names a concept using simpler, already known concepts. A good definition places the object in a larger class and gives the feature that distinguishes it. For example: “A rhombus is a quadrilateral with four equal sides.” The class is quadrilaterals and the feature is four equal sides. A definition works in both directions: every rhombus has four equal sides, and every quadrilateral with four equal sides is a rhombus.
Some terms, such as point, line and plane, are undefined terms. They are described by their properties but not defined, since any definition would use other words that need defining.
What are axioms and theorems?
An axiom or postulate is a statement accepted as true without proof. A theorem is a statement that has been proved from definitions, axioms and previously proved theorems. A corollary is a result that follows directly from a theorem. A lemma is a helping result used to prove a larger theorem.
Examples of axioms in Euclidean geometry: through any two distinct points there is exactly one line; a line segment can be extended indefinitely; all right angles are equal; and the parallel postulate, which is often stated as: through a point not on a given line there is exactly one line parallel to the given line. Examples of theorems: the angle sum of a triangle is 180° and the Pythagorean theorem.
What is a conditional statement?
A conditional statement has the form “If p, then q”, written p → q. The part after “if” is the hypothesis (p) and the part after “then” is the conclusion (q). The statement is false only when p is true and q is false.
Example 1
“If a quadrilateral is a square, then it has four right angles.” Hypothesis: the quadrilateral is a square. Conclusion: it has four right angles. This is true.
Example 2: rewriting in if–then form
“Vertical angles are equal” becomes “If two angles are vertical angles, then they are equal.” “A triangle with two equal sides is isosceles” becomes “If a triangle has two equal sides, then it is isosceles.”
What are the converse, inverse and contrapositive?
From p → q we can form three related statements.
- Converse: q → p (swap hypothesis and conclusion).
- Inverse: not p → not q (negate both).
- Contrapositive: not q → not p (swap and negate).
A conditional statement and its contrapositive always have the same truth value. The converse and the inverse have the same truth value as each other, but not necessarily the same as the original statement.
Example 3
Original: “If a figure is a square, then it is a rectangle.” True. Converse: “If a figure is a rectangle, then it is a square.” False, since a 2 by 3 rectangle is not a square. Inverse: “If a figure is not a square, then it is not a rectangle.” False (the same 2 by 3 rectangle). Contrapositive: “If a figure is not a rectangle, then it is not a square.” True.
When a statement and its converse are both true, they can be combined into a biconditional with “if and only if” (iff). For instance, “A triangle is a right triangle if and only if the square of the longest side equals the sum of the squares of the other two”.
Truth table of related statements
| Statement | Form | Wording | Truth value |
|---|---|---|---|
| Conditional | p → q | If a square, then a rectangle | True |
| Converse | q → p | If a rectangle, then a square | False |
| Inverse | not p → not q | If not a square, then not a rectangle | False |
| Contrapositive | not q → not p | If not a rectangle, then not a square | True |
How do you disprove a statement?
To show that a general statement is false, one counterexample is enough: a case where the hypothesis is true and the conclusion is false. To prove a general statement, examples are never enough, however many there are.
Example 4
Claim: “If two rectangles have the same perimeter, they have the same area.” Counterexample: a 2 by 8 rectangle and a 5 by 5 rectangle both have perimeter 20, but their areas are 16 and 25. The claim is false.
Example 5
Claim: “The sum of two prime numbers is always even.” Counterexample: 2 + 3 = 5, which is odd.
A proof by many examples is also not valid. Checking triangles with angles 60°, 60°, 60° and 90°, 45°, 45° does not prove that every triangle has an angle sum of 180°. A general argument is needed.
Where does axiomatic geometry come from?
The axiomatic method was set out in Euclid’s Elements, written about 300 BCE. Euclid began with definitions, five postulates and five common notions and derived hundreds of propositions. Later mathematicians noticed gaps in Euclid’s argument and in the nineteenth century David Hilbert gave a more complete system of axioms for geometry. The study of the parallel postulate led to non-Euclidean geometries, in which it fails.
Where is this reasoning used today?
Logical statements and their contrapositives are used in mathematics, in computer science (program verification), in law and in everyday arguments. Knowing that a statement and its converse are different prevents common errors such as concluding “if it is a wet road, then it rained”. Mathematicians also use the contrapositive as the basis for proofs.
Which mistakes are common?
Assuming the converse is true
“If two angles are vertical, they are equal” is true, but “if two angles are equal, they are vertical” is false.
Mixing up the hypothesis and the conclusion
Rewrite the statement in if–then form to identify them.
Proving by examples
Examples can disprove a claim but cannot prove it.
Treating a drawing as proof
A figure helps but can be misleading. Use only what is given or proved.