Definition of a straight line => Choose an arbitrary point
Choose arbitrary point
on line .I.D4, Definition of a straight line
Definition of a circle
Points
and
lie on a circle with center
,
therefore line
equals line .
I.D15, Definition of a circle
Definition of an equilateral triangle => sides are equal
Triangle
is equilateral,
therefore line
equals line .
I.D20, Definition of an equilateral triangle
Draw a straight line from any point to any point.
Draw a straight line from
point to
point .
I.P1, Draw a straight line
Extend a finite straight line continuously in a straight line.
Under construction.
I.P2, Extend a straight line
Draw a circle with center and radius.
Draw circle with
center and
radius .
I.P3, Draw a circle...
All right angles equal one another.
Under construction.
I.P4, All right are equal.
The Parallel Postulate
Under construction.
I.P5, The Parallel Postulate
Things equal to the same thing are equal to each other.
Line equals
line
(by #) and
line equals
line
(by #), therefore
line equals
line .
I.CN1, Equal to the same thing...
If equals are added to equals, then the wholes are equal.
Under construction
I.CN2, Equals are added to equals...
If equals are subtracted from equals, then the remainders are equal.
Under construction
I.CN3, Equals are subtracted from equals...
Things which coincide with one another equal one another.
Line
equals line .
I.CN4, Things which coincide
The whole is greater than the part.
Under construction
I.CN5, Equals are subtracted from equals...
Construct an equilateral triangle on a given finite straight line.
Construct an equilateral triangle
on line .
I.1, Construct an equilateral triangle...
Place a straight line equal to a given straight line with one end at a given point.
Place line
at the point
equal to the straight line .
I.2, Place an equal straight line
Cut off from the greater of two given unequal straight lines a straight line equal to the less.
Cut off line
from line
equal to .
I.3, Cut off a line equal to another line.
SAS - If two triangles have two sides equal to two sides respectively,
and have the angles contained by the equal straight lines equal,
then they also have the base equal to the base
the triangle equals the triangle,
and the remaining angles equal the remaining angles respectively,
namely those opposite the equal sides.
Line
equals line
(by step #)
and
line
equals line
(by step #)
and
angle
equals angle
(by step #),
therefore the line
equals the line .
I.4, SAS
In isosceles triangles the angles at the base equal one another, and, if the equal straight lines are produced further, then the angles under the base equal one another.
Under construction
I.5, In isosceles triangles the angles...
If in a triangle two angles equal one another, then the sides opposite the equal angles also equal one another.
Under construction
I.6, In a triangle, the sides opposite equal angles
Given two straight lines constructed from the ends of a straight line and meeting in a point, there cannot be constructed from the ends of the same straight line, and on the same side of it, two other straight lines meeting in another point and equal to the former two respectively, namely each equal to that from the same end.
Under construction
I.7, Two lines constructed from the ends of a line and meeting in a point...
If two triangles have the two sides equal to two sides respectively, and also have the base equal to the base, then they also have the angles equal which are contained by the equal straight lines.
Line
equals line
(by step #)
and line
equals line
(by step #)
and line
equals line
(by step #),
therefore angle
equals angle .
I.8, SSS
To bisect a given rectilinear angle.
Bisect angle ,
forming line
and equal angles
and .
I.9, Bisect an angle