OME 1971 Problem 2
In a certain geometry we operate with two types of elements, points and lines, related to each other by the following axioms:I. Given two points and , there is a unique line that passes through both.**II.**There are at least two points on a line. There are three points not situated on a straight line.III. When a point is located between and , then is also between and . ( are three different points on a line.)IV. Given two points and , there exists at least one point on the line of the form that C is between and .V. Among three points located on the same straight line, one at most is between the other two.VI. If are three points not lying on the same line and a is a line that does not contain any of the three, when the line passes through a point on segment [AB] , then it goes through one of the , or it goes through one of the [AC] . (We designate by [AB] the set of points that lie between and .)
From the previous axioms, prove the following propositions: Theorem 1. Between points A and C there is at least one point . Theorem 2. Among three points located on a line, one is always between the two others.
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.