olymmath

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 AA and BB , there is a unique line (AB)(AB) 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 BB is located between AA and CC , then BB is also between CC and AA . ( A,B,CA, B, C are three different points on a line.)IV. Given two points AA and CC , there exists at least one point BB on the line (AC)(AC) of the form that C is between AA and BB .V. Among three points located on the same straight line, one at most is between the other two.VI. If A,B,CA, B, C 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 [BC][BC] , or it goes through one of the [AC] . (We designate by [AB] the set of points that lie between AA and BB .)

    From the previous axioms, prove the following propositions: Theorem 1. Between points A and C there is at least one point BB . 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.

    Add a solution

    Locator es-ome/1971/p2 · Tag YYX900BDD4 · Edit this page on GitHub · Keys: j next, k previous