Central Luzon State University

Science City of Munoz, Nueva Ecija

Written Report of Theorem 1.12

MATH 2238
MODERN GEOMETRY

Bitangcol, Rossman Ivan S.

Briones, Anne Patrice A.
BSED 2-2 MATH
 YOUNG’S GEOMETRY

A1. There exist at least one line.

A2. Every line of the geometry has exactly three points on it.
A3. Not all the points are on the same line.
A4. For each two distinct points, there exist exactly one line on both of them.
A5. If a point does not lie on a given line, then there exist one line on that
point that does not intersect on the given line.

MODEL

THEOREM 1.12
THERE ARE EXACTLY TWELVE LINES.

Proof:

Assumption: Assume that there exist at least 12 lines.

1. By Axiom 1, there is a line l and by Axiom 2, which the line is on three

points. By combining axiom 1 and 2 we can create a figure line l with
three points on it.

l
2. By Theorem 1.10, on each of these points there are exactly three other
lines other than l, no two of these additional lines can be the same, since
none may be on two points of l.

Using theorem 1.10 we can say that every point on the line l has exactly
three lines on it and no two of the are the same because no line contains
two points on the line l. By that we create 10 lines that do not intersect
on line l because each of them are distinct.

3. So far, we have 10 lines. There can be no other lines which intersects l.

such that it would fail to satisfy the axiom 3 which states that not all the
point are on the same line and axiom 5, If a point does not lie on a given
line, then there exist one line on that point that does not intersect on the
given line.
4. By Theorem 1.11, there are exactly two lines parallel to l, they become
12.

Using theorem 1.11, states that there are exactly two lines parallel to l, so
that there exist a two line parallel on l that will complete on the 12 lines.
And having 13th line will be impossible because it will intersect to the
line l or it will be parallel to it

5. By Theorem 1.10 and Theorem 1.11, any 13th line must either intersect
or be parallel to l, but this is impossible. As stated on theorem 1.10 and
11 that there are exactly two lines parallel to l, so that there exist a two
line parallel to l that will complete on the 12 lines. And having 13th line
will be impossible because it will contradict to theorem 1.10 that there
exist exactly 3 lines on each point on the line l.