Definition 4.1.

The line l in the finite geometry of Desargues is a polar of the point P if there is no line
connecting P and a point on l.

Definition 4.2. The point P in the finite geometry of Desargues is a pole of the line l if there is no point
common to l and any line on P

There are 6 Axioms for the finite geometry of Desargues

Axiom [D1] There exists at least one point. For the illustration we draw a line according to
axiom 1 there at least 1 point exist
Axiom [D2] Every point has at least one polar.
Axiom [D3] Every line has at most one pole.
Axiom [D4] Two distinct points are on at most one line.
Axiom [D5] Every line has at least three distinct points on it.
Axiom [D6] If a line does not contain a certain point, then there is a point on both the line and
any polar of the point.
So, I have been working on this proof and figure I will Let a, b, c be three lines Let a be
parallel to b and c

Then I somehow have to show P is the pole of a and that b and c intersect at it

I've considered a proof by contradiction saying a pole of a is on b by assuming it

1. If a has a pole, that pole is unique according to 3. Let's call it P.

2. If P does not lie on b, then b must intersect a due to 6. This contradicts the assumed
parallelity, so by contradiction we now know that P must lie on b.
3. Likewise for c. So P lies on both b and c, so it is their intersection.
The exact number of poles a polar has and the exact number of polars a pole has are not
explicitly stated in the axioms. In Figure 4.2, assume that the line p is a polar of point P, since
the existence of at least one is supported by Axiom [D2].

A B C

By definition, no line joins P and any of the points (at least three) on p. This implies that there is
no point common to p and any line on P, and so P satisfies the definition of a pole of p. This
information, along with Axioms [D2] and [D3], leads to the following theorems.

Theorem 4.2. Every line of the geometry of Desargues has exactly one pole.

Theorem 4.3. Every point of the geometry of Desargues has exactly one polar.

The existence of parallel lines is evident in the geometry of Desargues; however, their properties are
different than that of ordinary Euclidean parallels. For example, it can be seen in Figure 4.1 that the line
B, C, R has three different lines through point A’ parallel to it, but there is only one line through A’ that is
parallel to line A, B, T.

Additional results on the geometry of Desargues and the corresponding proofs are as follows
The theorem is If point P is on the polar of point Q, then point Q is on the polar of point P. so the
assumptions natin ngayun is that pag prove natin nito by the way of contradiction so lets us construct

So we assume that point P is on the polar of point q and the other assumption is the point q is not on
the polar of point p. meron tayung line L...

there is a line L containing the point P that is polar of point q

so this is point q and

this is the line L containing the point p, so now p is on the polar of q yan yung assumption natin

now assume natin by the theorem 4.3 . Every point of the geometry of Desargues has exactly one
polar...

so ngayon since P is a point there must exist one polar of point p exactly one polar of point p

we assume that q is not on the polar of point p

and we name the line of point P as line M so by the way of contradiction so let us show that point q is
not on line M which is the a polar of point p ,since is m is a polar of p no line connects p to any point of
m by the definition

so this implies that there is no point common to m and any line on p and so L and M

this line m and line l must not have any points common, however since q is not on line m

then by the axiom d6 If a line does not contain a certain point, then there is a point on both the
line and any polar of the point.
So dapat itong line at any polar of this point (q) must have a point in common
So line m and any polar of point q must have a point of intersection
So we recall natin ang polar ni point q is the line L so by the axioms d6
Line M and Line L must intersect, but again this is a contradiction
Because since line m is a polar of point p
Ang line through p its intersect sa line m and so line m and line l must not intersect
So this is the contradiction, hence the assumption that q is not a point on m must be rejected
And this is the result if ang point p is a polar of point q then q must lie on the polar of point p
So dapat ito siya ang diagram . okay ito ang Theorem 4.4 ito ang illustration ng proof niya.

Theorem 4.4. If point P is on the polar of point Q, then point Q is on the polar of point P.

Proof. Suppose that the line l containing point P is a polar of point Q. By Theorem 4.3, there exists a line
m that is a polar of point P. Assume that point Q is not on m. Since m is a polar of P, no line connects P
to any point on m by definition. This also implies that there is no point common to m and any line on P,
and so l and m does not have a point in common. However, since Q is not on line m, by Axiom [D6], line
m and any polar of Q, which is the line l, must have a point in common. We reach a contradiction.
Hence, the assumption that Q is not on m must be rejected. This proves the result.