\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Sets
Needed by:
Area
Integral Line
Real Convex Hulls
Real Plane
Real Space
Right Triangle Sides Relation
Squares
Venn Diagrams
Links:
Sheet PDF
Graph PDF

Geometry

Why

We need some basic geometric concepts.1

Definitions

A point is that which has no part.2 A line is a breadthless length. The extremities of a line3 are points. A straight line is a line which lies evenly with the points on itself. A surface is that which has length and breadth only. The extremities of a surface are lines.

A plane surface is a surface which lies evenly with the straight lines on itself. A plane angle is the inclination to one another of two lines in a plane which meet one another and do not lie in a straight line. And when teh lines containing the angle are straight, the angle is called rectilineal. When a straight line set up on a straight line makes the adjacent angles equal to one another, each of the equal angles is right, and the straight line standing on the other side is called a perpendicular to that on which it stands.

A boundary is that which is an extremity of any thing. A figure is that which is contained by any boundary or boundaries. A circle is a plane figure contained by one line such that allthe straight lines falling upon it from one point among those lying withing the figure are equal to one another. The point is called the center of the circle. A diameter of the circle is any straight line drawn through the center and terminated in both directions by the circumference of the circle, and such a straight line also bisects the circle.4


  1. This sheet will be expanded into several in future editions. ↩︎
  2. This and all that follows is taken (nearly) verbatim from Heath’s translation of Book I of Euclid’s Elements. In future editions, there will be a reference to the Litterae manuscript of this text. ↩︎
  3. We have departed from Heath and made extremity here a term. ↩︎
  4. We end here. Of course, Euclid goes on to discuss semicircles, rectilineal figures, etc. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view