We have two straight lines, one bigger than the other. How do we cut a piece out of the longer one equal to the length of the shorter one? (Or as Euclid’s Elements: All Thirteen Books Complete in One Volume puts it: “Given two unequal straight lines, to cut off from the greater a straight line equal to the less.”
Ready to drive into the mathematical wild?
Hop on the Land Cruiser!
The GeoGerbra link is available here.
This is a relatively short proof. It needs more cowbell.
Thanks for watching!