In the beginning, geometry was only considered as rules for calculating the areas, lengths, and volumes which were used for navigations and constructions by Babylonians and Egyptians. The information was then passed on to the Greeks. In 300 BC, Euclid of Alexandra wrote a book “The Elements” containing all the geometrical knowledge till then. Everything was not guaranteed but everything was derived cautiously based on self-evident assertions. But if one compares, the concepts in that book with modern day concepts, imperfections are found since he tried to provide a definition of everything in terms of common notions. He put forth five postulates which are mentioned below:
1. A straight line can be drawn from any given point.
2. A straight line can be stretched to form an infinite straight line
3. Having the segment (radius) and the center, a circle can be easily drawn.
4. All the angles that are right to each other are equal.
5. If there are two lines which intersect the third line in such a way that the sum of the inner angles is less than 180 degrees, then those two lines must intersect each other if extended indefinitely.
From the above postulates, the last one caught much attention since it contains a hidden assumption which was yet to be proved. In 1763, a man called Kugel studied all the proofs that had been done for the fifth postulate but out of 28 proofs, he found none to be satisfactory. The work of a man, Sachheri, caught his interest who in the try of negating and contradicting the fifth postulate, made a lot of new results which formed the basis of what we now call hyperbolic geometry. From 1777-1855, Gauss came up with the view the geometry varying from the one postulated by Euclid may exist. He secretly started working on those ideas and was finally able to negate the fifth postulate and got his results published in 1829 and 1832. In the later years, there were other mathematicians like Beltrami, Klein worked on Euclidean geometry within hyperbolic geometry and it was then finally found out that both Euclidean and hyperbolic geometry are free of contradiction while proof of parallel postulate was impossible. Due to the fifth postulate, two branches of geometry have emerged. Non-dependence of the theorem on parallel postulate made it absolute geometry which was valid both in Euclidean and hyperbolic geometry. Affine geometry constituted theorems that depended only on postulate I, II, and V.
It was through the central projection study in mathematics that the artists like Leonardo Da Vinci overcame the perspective problems. The eye behaves as the center of projection whereas the image on the canvas serves as the projection. The possibility that the geometry of the original can be recognized on the canvas is made possible only through projection geometry which was discovered by the French engineer Poncelet when he had no books in jail and was imprisoned in Russia. Projective geometry and affine geometry are closely related together because the study of invariance of projections under parallel postulate is what makes affine geometry. This similarity was first identified by Euler (1707-1783).
With the introduction of analytic geometry, a lot of mathematical complications became easier for example treatment of comics got easier. Analytic geometry was introduced by Descartes. The geometry scope was then enlarged by Reiman who introduced new geometries like double elliptic geometry. He realized that geometry surfaces can provide new geometries. Small line segments can make up a circle and so on. Reiman and Schlafi introduced Euclidean and spherical surfaces in higher dimensions. Einstein later on also used the geometry of Reiman.
Euclid postulates were based on the true facts of the physical world and to free them from it, Hilbert reformulated them. Then gradually Lie Groups were introduced by Sophie Lie which catered for the transformations of geometry. Lie Groups and differential geometry are still active research area in mathematics.
REFERENCES
“Euclids Postulates.” From Wolfram MathWorld, mathworld.wolfram.com/EuclidsPostulates.html.
