With these tools we were able to construct regular polygons, perpendicular and parallel lines. However, simply constructing these figures was not enough to prove that they had the properties we desired.
Euclid may have been the first mathematician to try to systematically prove that these constructions were accurate. His definitions, common notions and five postulates form the foundation for his 13 books of proofs of geometric concepts and for much of what is taught in high school geometry classes today.
However, Euclid left some important questions unanswered, including:
Riemann, Lobachevski and others discovered hyperbolic and spherical geometry while trying to derive a contradiction to the fifth postulate. Mathematicians such as Jordan and Pasch worked hard to answer the other questions.
In addition to reinforcing Euclid's work, mathematicians have extended it in new directions. Arthur Baragar, the author of our textbook, chose to add axioms dealing with isometries to Euclid's five postulates. René Descartes introduced coordinate geometry. Other mathematicians have tried to prove results similar to Euclid's using axioms based on paper folding or isometries rather than straightedge and compass construction.
We have studied the foundations of geometry; much has been built on those foundations, as I hope you someday have the opportunity to discover.