Euclid’s first four postulates have always been readily accepted by mathematicians. The fifth postulate—the “parallel postulate”—however, became highly controversial. The fifth postulate is often called the Parallel Postulate even though it does not specifically talk about parallel lines; it actually does deal with ideas of parallelism. The consideration of alternatives to Euclid’s parallel postulate resulted in the development of non-Euclidean geometries.
For more than 2000 years, mathematicians tried proving the 5th postulate using only the first four postulates, but were unsuccessful and ended up with new geometry. Euclid’s fifth postulate contributed to the development of non-Euclidean Geometry because in trying to prove it all of these mathematicians independently discovered a non-Euclidean geometry and by doing so had come to the same conclusion that the Parallel Postulate cannot be proven from the other four postulates of Euclid’s Geometry. These mathematicians eventually discovered Hyperbolic Geometry! The first 28 theorems in Euclid’s book, the Elements, do not use the parallel postulate for their proof. Some people believe the Euclid originally started off with only 4 postulates and later only added the fifth one, when he realized it would be necessary  .
Many mathematicians (amongst the Greeks, the Arabs, Europeans) believed that the 5th postulate actually was not necessary, that it could have been proven as a theorem, but up to today its proof has not been figured out .
Ibun Qurra formulated two propositions which are considered to be equivalent to Euclid’s fifth postulate and they are “If a straight line falls on two straight lines and the two alternate angles are equal to one another then those two lines do not converge or diverge on either side.” And the second proposition states that “if a straight line falls on two straight lines which do not converge or diverge on either side, then the two alternate angles are equal to one another” .
Euclid’s Elements is by far the most famous mathematical work of classical antiquity, and also has the distinction of being the world’s oldest continuously used mathematical textbook. Little is known about the author, beyond the fact that he lived in Alexandria around 300 BCE .
The following definitions and theorems will be of great importance in our analysis and findings, see  for more details.
Definition 1-1: A right angle R is an angle equal to its neighbouring angle on the same straight line.
Definition 1-2: Two lines are parallel if they do not intersect at any point.
Theorem 1-1: Any exterior angle is greater than any interior angle not neighbouring it.
Theorem1-2: Any two perpendiculars to a straight line are parallel.
Theorem 1-3: The sum of the angles of a triangle is 2R (R-right angle).
Theorem 1-4: The sum of any two neighbouring angles on the same line is 2R and any two angles which are not on the same line are congruent (equal).
Theorem 1-5: The sum of any two angles of a triangle is less than 2R.
Therefore in these proceedings first we shall state a theorem that may be is closely related to Euclid’s fifth postulate and what is considered to be its converse and then use it in the proof. In addition to that we shall assume that the nature and area of any rectilinear figure depend on the nature of the lines (dimensions).
The paper proves Euclid’s fifth postulate and to show that nonparallel straight lines do not converge in the same direction they diverge.
This work is an extension of some proofs in  but major distinction between the results in ,  and in this paper is, the geometrical constructions employed in the Elements  are restricted to those which can be achieved using a straight-rule and a compass, whereas in this paper the proof is based on measurement and comparison of magnitudes which is strictly forbidden in .
In this paper, also we derive a general formula for the area of trapezoids which may be useful in some cases and finally the proof for the convergence of nonparallel straight lines may be employed to prove the existence of divergent, parallel and convergent beams of light in physics.
2. The Convergence of Nonparallel Lines and Euclid’s Fifth Postulate
We assume that the area of the rectilinear figure formed is the sum of the areas of the trapezoids when the figure is split into several portions (trapezoids). This assumption is backed up by the postulates (17) and (19) in .
In this paper, we take the simplest and basic type of region, the trapezoidal region and we use it as the building block to define the idea of the rectilinear figure formed in the problem we are yet to solve . So the basic procedure of solving this is to split the figure into trapezoidal regions and this will provide us with the best basis for our theory. In addition to that, the trapezoidal regions must not overlap that is they must not have any trapezoidal region in common but they may have only a common point or a common segment. If we permit the regions to overlap we cannot say that the area of the figure is the sum of the areas of its component trapezoidal regions. In this case our treatment of the area is similar to that for distance and measure angle.
However, to be quite specific we shall not consider the sum directly but rather we shall check on the convergence of the sequence of areas of the trapezoids and if the sequence converges to zero then, it implies the convergence of nonparallel lines.
Euclid’s fifth postulate states that “if a straight line intersects two straight lines such that the sum of the interior angles of intersection is less than two right angles then the two lines must intersect on the side of the interior angles”. In this section we first reformulate Euclid’s fifth postulate and prove it in a more general way.
If a line intersects two lines at different points, the sum of the interior angles of intersection is less than 2R if and only if a triangle can be produced on the side of the interior angles.
Proof: Let the line c intersect two lines a and a' at points A and B respectively such that the lines a and a' also intersect at point C to form a triangle as in Figure 1.
From Figure 1 and using theorem 1-1, it’s we observe that
but from theorem 1-4 where an exterior angle is supplementary angle to and R is a right angle.
From expressions (1) and (2) therefore
Figure 1. Triangle formed.
hence thus proved.
This implies that when a straight line c intersects two intersecting straight lines a and a' forming a triangle then the sum of the interior angles of intersection of lines a and a' with c is less than 2R. This proves the converse part of theorem 2-1.
However, our main goal in this paper is to prove the remaining part of this theorem. That is to prove that if the sum of the interior angles of intersection is less than 2R, then the two lines must intersect to form a triangle on that same side of the interior angles of intersection when straight lines a and a' are extended indefinitely. Now we prove the converse part of the theorem: Let line c intersect two lines a and a' at A and B respectively such that the sum of the interior angles of intersection is less than 2R
From Figure 2 let and be the exterior supplementary angles to and respectively along line c.
We already know that the sum of and is less than 2R from (3).
Now, we assume the opposite that the lines a and a' do not intersect at any point.
Then lines a and a' are parallel to one another, then we have the following possibilities:
a and a' are perpendicular to line c
Now, using theorem 1-4 then
Figure 2. Straight lines a and a’ not intersecting anywhere.
Adding the two Equations (4) and (5) we obtain
This clearly shows that from inequalities have three cases in each
The above inequalities from the six cases clearly contradict the theorem of parallel lines Theorem 1-2 (Our assumption) that is which implies that the two lines a and a' are not parallel.
If the line c is not perpendicular to the parallel lines a and a' then we get the alternate angles that is
then let there exist a real number such that
Now subtracting Equation (c) from (a) and (b) respectively, we obtain
Implying and which contradicts the alternate angle theorem.
From the two possibilities it implies the lines a and a' are not parallel provided the sum of two interior angles is less than 2R.
Furthermore, using Figure 3 below, let us assume that a and a' intersect at point D to form a triangle on the left hand side of line c.
Then the exterior angle is less than its non-neighbouring interior angle which contradicts the exterior angle theorem 1-1. This implies that if the
Figure 3. Straight lines a and a’ intersecting at D.
three lines c, a and a' intersect to form a triangle, then on the right hand side of line c. We also know from the theorem 1-5 and since
we claim that these two angles and are angles of a triangle on the right hand side of line c.
So we need to determine a point on the right hand side of line c at which the two lines a and a' intersect.
Now we construct parallel lines to line c as in Figure 4 below and keeping a uniform interval between any two preceding trapezoids, we obtain a sequence of trapezoids with decreasing areas.
Because lines a and a' are not parallel, let trapezoid 1 of area be much larger on its far left than its right hand side and its right hand side is equal to the left hand side of trapezoid 2 of area and the left hand side of trapezoid 2 is larger than its right hand side which in turn is equal to left hand side of trapezoid 3 with area and this continues up to the nth trapezoid and so on.
This implies that the areas of trapezoids will be as seen in Figure 4.
Now applying mid segment formula for the lengths of trapezoids we obtain the lengths in terms of of the first trapezoid and the length of the nth trapezoid.
Now to prove the
Substituting Equation (7) in to Equation (8) we obtain
Figure 4. Parallel lines to line c at equal intervals.
From the equations above we can deduce the general formula for the nth trapezoid of length
From Figure 4 above, let the length of each interval be d, then we can find the areas of trapezoids.
but , we now write in terms of and , implying that
We obtain from
But we have , therefore substituting in Equation (14) we obtain
In the same way we can obtain up to given by
Since is a discrete, we shall obtain a sequence of areas of different sizes of different trapezoids. Then
But also from Equations (16) and (17) we obtain
To determine the intersection of lines a and a' we show that the sequence in Equation (18) converges and it must converge to zero, otherwise the two lines a and a' do not intersect.
Since we know that and ’s are parallel to one another in a uniform interval d.
Now let for each there exist a real number such that:
Equation (19) implies
From Equation (20) we obtain
We can obtain up to the nth trapezoid that is
Expressing in terms of and we obtain
but implying that
We obtain up to in a similar way
Substituting Equation (25) in to Equation (18) we obtain
Equation (26) implies that as n grows bigger, tends to zero which clearly shows that the lines a and a' intersect.
This comes from the fact that is a product of numbers between 0 and 1so as n extends to infinity, goes to zero and goes to zero.
Also, let’s assume , then
Substituting Equation (27) into Equation (25) we obtain
In limits again we obtain
Equations (26) and (28) agree in limits. This implies the lines a and a' intersect (converge) at some point with area approximately zero.
We need to verify whether this is the only condition through which the lines a and a' intersect.
Let us consider Figure 2 above. Assume a and a' are parallel to each other, then
Substituting Equation (30) into Equation (28) we obtain
which gives the area of a rectangle. This indeed indicates that if , then hence giving us rectangles of the same sizes because d is uniform which clearly shows that the sequence of areas is of the form .
On the other hand using Figure 5 below, let’s assume the lines a and a' intersect on the left hand side of line c, then
Figure 5. Straight lines a and a’ not intersecting on the right hand side of line c.
Equation (32) diverges because goes to infinity as n grows bigger.
Similarly as in Equation (27) if .
Equation (32) becomes
In limits Equation (33) diverges as n grows bigger. This is because as due to the fact that which indeed shows that the sequence is a strictly increasing sequence such that .
As we obtained in Equations (26) and (29) now we need to determine whether when lines a and a' intersect to form a triangle or not when they intersect with line c.
Let E be the point of intersection of lines a and a' line through E parallel to line c has , now taking and Equation (28) becomes
Equation (34) gives us the area of a triangle, where is the base and d is the height of the triangle.
This proves that if the sum of the interior angles of intersection of line c with lines a and a' is less than 2R, then the lines a and a' intersect to form a triangle.
Hence proving that the lines a and a' intersect at point E thus Euclid’s fifth postulate.
In attempting to prove Euclid’s fifth postulate using the first four postulates, this led to the emergence of Non-Euclidean Geometry which is useful in various fields like engineering and science. This indeed proves the strength of Euclid’s parallel postulate in the real world.
This result can be applied in proving the convergent, parallel and divergent bean of light both in 2 dimensional planes and 3 dimensional spaces (here we can apply the idea of cone and spherical shaped beam of light).
Thanks Ass Prof. Mogtaba Mohammed Yousif and Prof. Nafiu Lukman Abiodun More for many helpful discussions and comments on the manuscript and the Department of Mathematics and Statistics (IUIU) for the encouragement and support.