Proposition: 1.03: Cutting a Segment at a Given Size

(Proposition 3 from Book 1 of Euclid's “Elements”)

For two given unequal straight lines, to cut off from the greater a straight line equal to the lesser.

fig03e

Modern Formulation

Given two arbitrary segments in the plane, which are not congruent, it is possible to cut the segment with bigger length such that one of its two subsegments is congruent to the smaller segment.

Proofs: 1

Proofs: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
Sections: 30


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Calahan
@Casey
@Fitzpatrick


References

Adapted from CC BY-SA 3.0 Sources:

  1. Callahan, Daniel: "Euclid’s 'Elements' Redux" 2014

Adapted from (Public Domain)

  1. Casey, John: "The First Six Books of the Elements of Euclid"

Adapted from (subject to copyright, with kind permission)

  1. Fitzpatrick, Richard: Euclid's "Elements of Geometry"