\part{Fundamentals}

\chapter{The elements of Euclidean geometry}

Before doing any geometry, we need to understand the basic objects that we'll let exist in our space and , these ae sometimes refered to as elements of geometry (hence the name of Euclid's magnum opus).

We need geometric objects; shapes and constructs that exist within a space of Euclidean geometry.

We'll also define some geometric notions; measurements and quantities that Euclidean geometry considers.

Euclidean geometry is renown fo being the first 'axiomatic system' in mathematics; this makes Euclidean geometry interesting from a historical point of view and is usually among the first examples students are exposed to regarding proofs in mathematics. We will develop Euclidean geometry informally, however in the second part of this book we develop the foundations formally.

\section{Geometric objects}

\begin{definition}[Euclidean space (classic definition)]
\end{definition}

\begin{definition}[Point]
Uppercase Latin letters $A,B,C,\hdots$ are often used to represent points.
\end{definition}


\begin{definition}[Line]
\end{definition}

\begin{definition}[Plane]
\end{definition}
\section{Incidence}
\section{Betweenness}
\section{Congurence}

\section{Geometric notions}

\begin{definition}[Angle]
\end{definition}

\begin{definition}[Distance]
\end{definition}

- parallel lines
- perpendicular lines

- triangle
- scalene triangle
- isoceles triangle
- right angled triangle


- square
- rhombus
- rectangle
- parallelogram

- circle
- polygon

-congruent figures


- ellipse
- focus
- locus

- diameter
- radius
- chord
- arc
- segment
- tangent
- secant


- Pythagorean theoem
- isosceles triangle theorem (pons asinorum)
- triangle angle sum theorem
- polygon angle sum theorem
- angle sum theorem
- Thale's theorem
- inscribed angle theorem
- alternate segment theorem
- intersecting chords theorem
- ptolemy's theorem

- Heron's fomula


\chapter{Trigonmomety}
\section{Trigonometric functions}
\subsection{Congruence between right angle triangles}
\subsection{Trigonometric functions}
- sine
- cosine
- tangent
\subsection{Recirpocal trigonometric functions}
- cosecant
- secant
- cotangent

\section{Inverse trigonometric functions}
\section{Inverse trigonometric functions}
- cosecant
- secant
- cotangent
\section{Inverse trigonometric functions}


\section{Theorems of trigonometry}

- sine rule
- cosine rule

-radians
-
 
\subsection{Further properties of trigonometric functions}

\[\sin (\theta) = \cos (\pi - \theta)\]




\[\sin^2 (\theta) + \cos^2 (\theta) = 1\]
\[ 1 + \cot^2 (\theta) = \sec^2 (\theta)\]
\[\sin(\theta + \phi) = \sin(\theta) \cos(\phi) + \sin(\phi) \cos(\theta) \]
\[\cos(\theta + \phi) = \cos(\theta) \cos(\phi) - \sin(\phi) \sin(\theta) \]


\[\sin(2\theta ) = 2\sin(\theta) \cos(\theta) \]
\[\cos(2\theta ) = \cos^2 (\theta) - \sin^2 (\theta) \]


\chapter{}






\chapter{Compass \& straightedge constructions}
Compass equivalence theorem
Mohr-Mascheroni theorem
Poncelet-Steiner theorem




















\part{Advanced}

Although ideas in mathematics have existed since prehistoric times, Thales of Miletus is often considered the first philosophe in the Greek tradition and the first mathematician in the west due to being the first to use of deductive reasoning fo mathematics, specifically geometry.

Euclid took this further with the formation of his axiomatic geometry and axiomatic arithmetic.

Nowadays, conventional mathematics is formalized by mathematical logic and ZFC. However, Euclid axiomatized geometry and number theory completely separately because he did not have the abstractions of set theory available to us today.

Although Euclid used some implicit assumptions in his easoning that weren't reflected by his axiomatic system, they were eventually patched and Euclidean geometry became the sole axiomatization of geometry.

More recently, other axiomatic systems of geometry (elliptic, hyperbolic, Riemannian etc.) have been developed to study geometry in different spaces where some Euclidean assumptions do not hold (in many cases it was the parallel postulate being violated), such as the surface of a sphere. Moreover, modern mathematics views geometry from the perspective of analytic geometry; the study of geometry through the notion of a Euclidean space from topology and linear algebra. Analytic geometry is preferrable since it retains all the properties of Euclidean geometry while also employing a coordinate scheme.

That said, Euclidean geomety remains a key milestone in mathematics, and its results are backwards compatible with analytic geomety through the Cantor-Dedekind theorem. Studying Euclidean geometry is not only the way that students learn basic geometry, but it also gives insight into the world of foundational mathematics and develops familiarity with formal proofs.

We will study Euclidean geometry from a modern perspective, taking a revized version of Euclid's axioms and postulates to avoid.



\chapter{Axiomatization of Euclidean geometry}

\section{Parallel postulate \& Playfair's axiom}

\section{Euclid's axioms}


\section{Modern Euclidean geometry}
Euclid's axioms are incomplete
Hilbert and Tarski's axioms are logically equivalent, however they have different 'logical flavours'
\subsection{Hilbert's axioms}
\subsection{Tarski's axioms}



\chapter{Non-Euclidean geometry}
