Definitions fix meaning; postulates begin the system
Objective: Why must a definition be usable in both directions?
Euclidean geometry begins with primitive ideas such as point, line, plane, and incidence. They are not defined by reducing them to simpler geometric objects; instead, postulates state how they behave. Defined objects then build on them: a segment is the part of a line between two endpoints, a ray has one endpoint and extends in one direction, and an angle is formed by two rays with a common endpoint. A definition must work in both directions.
A diagram is a representation, not an additional hypothesis. Lines drawn nearly perpendicular are not known to be perpendicular unless a right-angle mark, a given statement, or a proved result establishes it. Likewise, a measured angle of 60° in one sketch does not prove an exact theorem. Marking givens separately from derived facts prevents the picture from smuggling assumptions into the proof.
Through two distinct points there is exactly one Euclidean line.
This statement is adopted as an incidence postulate rather than derived from simpler Euclidean line facts.
Existence says at least one line contains both points; uniqueness says no second distinct line can contain the same two points.
The postulate then supports later proofs: naming line AB is unambiguous whenever A and B are distinct.
Classify each statement as definition, postulate, observation, or theorem claim: “M is the midpoint of AB,” “AM=MB,” and “the sketch makes AM look equal to MB.”
- “M is the midpoint of AB” invokes a definition: M lies on segment AB and divides it into two congruent segments.
- “AM=MB” follows from that definition after midpoint status is given, so it is a derived consequence in the argument.
- “The sketch looks equal” is only an observation and provides no exact evidence unless the problem explicitly supplies measurement data.
Result: Midpoint is the definition-bearing statement; equality is its consequence; visual appearance is not proof.