Content

Introduction
Euclidean Geometry
Finite Geometry
Three – point Geometry
Four – line Geometry
Four – point Geometry
Fano’s Geometry
Young’s Geometry
Pappus’ Geometry
Desargues’ Geometry
Brief Historical Sketch
• Greeks (Thales, Euclid, Archimedes) Parallel Postulate
• Non-Euclidean Geometries
• Projective Geometry Revolution Axiomatics revisited –
Modern Geometries

Modern Applications
• Computer Graphics
• Bio-medical Applications Modeling
• Cryptology and Coding Theory
 Euclid's Definitions
From Book I of The Elements:

A point is that which has no part

●

A line is breadthless length

●

The extremities of a line are points

●

●A straight line is a line which lies evenly with the

points on itself.
 Axiomatic Systems
Vish (Vicious Circle) : Start with any word in a dictionary
and continue to look up words used in the definition until
some word gets repeated for the first time.
" Vish illustrates the important principle that any
definition of a word must inevitably involve other words,
which require further definitions. The only way to avoid a
vicious circle is to regard certain primitive concepts as
being so simple and obvious that we agree to leave them
undefined. Similarly, the proof of any statement uses other
statements; and since we must begin somewhere, we agree
to leave a few simple statements unproved. These primitive
statements are called axioms." - Coxeter, Projective
Geometry, pg. 6.
 Vish
Example: Vish using The American Heritage Dictionary
Point : = A dimensionless geometric object having no
property but location.

Location : = A place where something is or might be

located.

Place : = A portion of space.

Space : = A set of points satisfying specified geometric

postulates.

Point : = ....
 Finite Geometries

Can be traced back to Gino Fano (1892) with some

ideas going back to von Staudt (1852).

There are two undefined terms : points, lines. There is

also a relation between them called on. This relationship is
symmetric so we speak of points being on lines and lines
being on points.
 Three Point Geometry
Axioms for the Three Point Geometry:

1. There exist exactly 3 points in this geometry.

2. Two distinct points are on exactly one line.
3. Not all the points of the geometry are on the same line.
4. Two distinct lines are on at least one point.

Theorem 1.1 : Two distinct lines are on exactly one point.

Theorem 1.2 : The three point geometry has exactly three

lines.
 Theorem 1.1
Two distinct lines are on exactly one point.

To prove this, note that by axiom 4 we need only show thattwo

distinct lines are on at most one point.

Assume, to the contrary, that distinct lines l and m, meet at points

P and Q. This contradicts axiom 2, which says that the points P
and Q lie on exactly one line. Thus, our assumption is false, and
two distinct lines are on at most one point. Proving the theorem.

1. There exist exactly 3 points in this geometry.

2. Two distinct points are on exactly one line.
3. Not all the points of the geometry are on the sameline.
4. Two distinct lines are on at least one point.
 Theorem 1.2
The three point geometry has exactly three lines.
Let the line determined by two of the points, say A and B, be
denoted by m (Axiom 2). We know that the third point, C, isnot
on m by Axiom 3. AC is thus a line different from m, and BC
is also a line different from m. These two lines can not be equal
to each other since that would imply that the three points are on
the same line. So there are at least 3 lines.
If there was a fourth line, it would have to meet each of the
other lines at a point by Theorem 1.1. As those three lines do
not pass through a common point, the fourth line must have at
least two points on it contradicting Axiom 2.

1. There exist exactly 3 points in this geometry.

2. Two distinct points are on exactly one line.
3. Not all the points of the geometry are on the sameline.
4. Two distinct lines are on at least one point.
Representations

AB AC BC

A B

A C B C
 The Four Line Geometry
The Axioms for the Four Line Geometry:

1.There exist exactly 4 lines.

2.Any two distinct lines have exactly one point on both of
them.
3.Each point is on exactly two lines.

Theorem 1.3: The four line geometry has exactly six

points.

Theorem 1.4: Each line of the four-line geometry has

exactly 3 points on it.
 Theorem 1.3
The four line geometry has exactly six points.
There are exactly 6 pairs of lines (4 choose 2), and every pair
meets at a point. Since each point lies on only two lines, these six
pairs of lines give 6 distinct points.

To prove the statement we need to show that there are no more

points than these 6. However, by axiom 3, each point is on two
lines of the geometry and every such point has been accounted for
-there are no other points.

1. There exist exactly 4 lines.

2. Any two distinct lines have exactly one point on both of them.
3. Each point is on exactly two lines.
 Theorem 1.4
Each line of the four-line geometry has exactly 3 points on it.
Consider any line. The three other lines must each have a point in
common with the given line (Axiom 2). These three points are
distinct, otherwise Axiom 3 is violated. There can be no other
points on the line since if there was, there would have to be
another line on the point by Axiom 3 and we can't have that
without violating Axiom 1.

1. There exist exactly 4 lines.

2. Any two distinct lines have exactly one point on both ofthem.
3. Each point is on exactly two lines.
 Representations

C A A F F
B B D B C
E CED E
D
A

F
 Plane Duals
The plane dual of a statement is the statement obtained
by interchanging the terms point and line.

Example:
Statement: Two points are on a unique line.
Plane dual: Two lines are on a unique point.
or Two lines meet at a unique point.

The plane duals of the axioms for the four-line geometry

will give the axioms for the four-point geometry. And the
plane duals of Theorems 1.3 and 1.4 will give valid
theorems in the four-point geometry.
 Point
The Four Line Geometry
Point
The Axioms for the Four Line Geometry:
points
1. There exist exactly 4 lines.
points line
2. Any two distinct lines have exactly one point on both of them.
line points
3. Each point is on exactly two lines.
1.5 point lines
Theorem 1 .3: The four line geometry has exactly six point .
1.6 point point s lines
Theorem 1 .4: Each l in of the four-lin geometry has exactly 3 points
on it. e e
 The Four Point Geometry
l
m
A B C D
l 1 1 0 0
B n
m 0 1 1 0
p C
n 0 0 1 1
A o
o 1 0 0 1
D
p 1 0 1 0
q
q 0 1 0 1

Incidence Matrix
 Fano's Geometry
1.There exists at least one line.
2.Every line of the geometry has exactly 3 points on it.
3.Not all points of the geometry are on the same line.
4.For two distinct points, there exists exactly one line on
both of them.
5.Each two lines have at least one point on both of them.

Theorem 1.7: Each two lines have exactly one point in

common.

Theorem 1.8 : Fano's geometry consists of exactly seven

points and seven lines.
 Theorem 1.7
Each two lines have exactly one point in common.

Proof: By Axiom 5 we know that every two lines have at leastone

point in common, so we must show that they can not have more
than one point in common.
Assume that two distinct lines have two distinct points in
common. This assumption violates Axiom 4 since these two points
would then be on two distinct lines.

1. There exists at least one line.

2. Every line of the geometry has exactly 3 points onit.
3. Not all points of the geometry are on the same line.
4. For two distinct points, there exists exactly one line on both ofthem.
5. Each two lines have at least one point on both of them.
 Theorem 1.8
Fano's geometry consists of exactly seven points and seven lines.
Proof: Axiom 1
Axiom 2
Axiom 2

Axiom 3

Axiom 4 At least 7 points and 7 lines

1. There exists at least one line.

2. Every line of the geometry has exactly 3 points onit.
3. Not all points of the geometry are on the sameline.
4. For two distinct points, there exists exactly one line on both of them.
5. Each two lines have at least one point on both of them.
 Theorem 1.8 (cont.)
Fano's geometry consists of exactly seven points and seven lines.
Proof:
Assume that there is an 8th point. By 3
axiom 4 it must be on a line with point1.
4
By axiom 5 this line must meet the line
containing points 3,4 and 7. But the line
can not meet at one of these points 7
otherwise axiom 4 is violated. So the 1
point of intersection would have to be a
fourth point on the line 347 which
contradicts axiom 2.
1. There exists at least one line.
2. Every line of the geometry has exactly 3 points onit.
3. Not all points of the geometry are on the sameline.
4. For two distinct points, there exists exactly one line on both ofthem.
5. Each two lines have at least one point on both of them.
 Fano's Geometry
3
0 13
1 24
2 35
3 46
1 5 4 50
4 5 61
6 02

0 6 2

Difference Set
Construction
 Young's Geometry
1.There exists at least one line.
2.Every line of the geometry has exactly 3 points on it.
3.Not all points of the geometry are on the same line.
4.For two distinct points, there exists exactly one line on
both of them.
5'. If a point does not lie on a given line, then there exists
exactly one line on that point that does not intersect the
given line.
 Young's Geometry

1. There exists at least one line.

2. Every line of the geometry has exactly 3 points onit.
3. Not all points of the geometry are on the same line.
4. For two distinct points, there exists exactly one line on both ofthem.
5'. If a point does not lie on a given line, then there exists exactly one line on
that point that does not intersect the given line.
 Pappus' Theorem

Pappus of Alexandria (340 A.D.)

 Pappus' Theorem

Pappus' Theorem: If points A,B and C are on one line

and A', B' and C' are on another line then the points of
intersection of the lines AC' and CA', AB' and BA', and
BC' and CB' lie on a common line called the Pappus line
of the configuration.
 Axioms for the Finite Geometry of
Pappus
1. There exists at least one line.
2. Every line has exactly three points.
3.Not all lines are on the same point. [N.B. Change from
the text]
4.If a point is not on a given line, then there exists
exactly one line on the point that is parallel to the given
line.
5.If P is a point not on a line, there exists exactly one
point P' on the line such that no line joins P and P'.
6. With the exception in Axiom 5, if P and Q are distinct
points, then exactly one line contains both of them.
 Theorem 1.10
Each point in the geometry of Pappus lies on exactly three
lines.

Pf. Let X be any point. By corrected axiom 3, there is a

line not containing X. This line contains points A,B,C
[Axiom 2]. X lies on lines meeting two of these points, say
B and C [Axiom 5]. There is exactly one line through X
parallel to BC [Axiom 4].
1. There exists at least one line. 2. Every line has exactly three points.
3. Not all lines are on the same point.
4.If a point is not on a given line, then there exists exactly one line on the
point that is parallel to the given line.
5.If P is a point not on a line, there exists exactly one point P' on the line such
that no line joins P and P'.
6. With the exception in Axiom 5, if P and Q are distinct points, then exactly
one line contains both of them.
 Theorem 1.10 (cont.)
Each point in the geometry of Pappus lies on exactly three
lines.
Pf (cont). There can be no other line through X since by
Axiom 4 it would have to meet BC at a point other than A,
B or C [Axioms 6 and 5], and this would contradict
Axiom 2.

The Pappus geometry has 9 points and 9 lines.

1. There exists at least one line. 2. Every line has exactly three points.
3. Not all lines are on the same point.
4.If a point is not on a given line, then there exists exactly one line on the point
that is parallel to the given line.
5.If P is a point not on a line, there exists exactly one point P' on the line such
that no line joins P and P'.
6.With the exception in Axiom 5, if P and Q are distinct points, then exactly one
line contains both of them.
Desargues
Girard Desargues
(1591 - 1661)
Brouillon project d'une atteinte aux
evenemens des recontres du
Cone avec un Plan
(Rough draft for an essay on the
results of taking plane sections of
a cone) 1639

Father of Projective
Geometry
Desargues' Theorem

Triangles
perspective from a point.
Desargues' Theorem

Triangles
perspective from a line.
Desargues' Theorem

Two triangles
perspective from a
point are perspective
from a line.
 Desargues' Theorem
Desargues' Theorem: In a projective plane, two triangles
are said to be perspective from a point if the three lines
joining corresponding vertices of the triangles meet at a
common point called the center. Two triangles are said to
be perspective from a line if the three points of intersection
of corresponding lines all lie on a common line, called the
axis. Desargues' theorem states that two triangles are
perspective from a point if and only if they are
perspective from a line.

Desargues' Configuration has 10 points and 10 lines.

 A new axiom system H*
1. Two distinct points are on exactly one line.
2. Not all points are on the same line.
3.For every point and line not through that point, there are n
lines (n > 1) on the point which do not meet the line.
4. There exists a line containing m > 0 points.

Any system of points and lines that satisfies this set of axioms is
called an <m,n>-hyperbolic plane.
 Example
Take 5 points in Euclidean 3-space with the property that no
more than two points lie on a line and no more than three
points lie on a common plane.

This is a <2,2>-hyperbolic plane.