Euclid’s Fifth Postulate and Convergence of Non-Parallel Straight Lines

This paper proves Euclid’s fifth postulate and convergence of straight lines using the formula for the area of trapezoids and assuming straight lines, it de-rives a general formula for the area of trapezoids involving ratios and we assume that the straight lines determine the nature and area for all the rectilinear figures. Furthermore, this proof is essential in Geometric optics basically in proving and classifying beams of light (wave) that is to mathematically prove the presence of parallel, convergent and divergent beams of light assuming the ray of light is a straight line.


Introduction
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 5 th 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 Advances in Pure Mathematics 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 [1] [2].
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 [1].
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" [3]. 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 [4].
The following definitions and theorems will be of great importance in our analysis and findings, see [4] 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 [4] but major distinction between the results in [2], [4] and in this paper is, the geometrical constructions employed in the Elements [4] 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 [4].
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

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 [5].
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 [6]. 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.

Results
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.
Proposition 3-1: 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  β an exterior angle is supplementary angle to β and R is a right angle.
From expressions (1) and (2) 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 2R α β + < From Figure 2 let 1 α and 1 β 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: Adding the two Equations (4) and (5) 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.

Possibility 2:
If the line c is not perpendicular to the parallel lines a and a' then we get the alternate angles that is 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 Advances in Pure Mathematics 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 2R α β + < , 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 1 A 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 2 A 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 3 A and this continues up to the n th trapezoid and so on.
This implies that the areas of trapezoids will be 1 2 n A A A > > > >   as seen in Figure 4.    {  } { }   1  2  3  1 , , , , , But also from Equations (16) and (17) 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 We can obtain up to the n th trapezoid that is Equation (26) implies that as n grows bigger, n A tends to zero which clearly shows that the lines a and a' intersect.
This comes from the fact that  Similarly as in Equation (27) In limits Equation (33) diverges as n grows bigger. This is because n λ → ∞ as n → ∞ due to the fact that 1 λ > which indeed shows that the sequence is a strictly increasing sequence such that 1 n n A A + < .
As we obtained in Equations (26) and (29)  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.

Conclusions
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).