The triangle inequality and Heron's problem | Euclid's Elements Book 1 Proposition 20

The correct Heron argument:

1. AE + EB' <= AP + PB' by the triangle inequality;
2. EB' = EB and PB' = PB by construction;
3. AE + EB <= AP + PB by substitution. QED.

Element GeoGebra: https://www.geogebra.org/m/mwwm78ah
Heron GeoGebra: https://www.geogebra.org/m/cpqqj6md

Element page: https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI20.html

Euclid Elements playlist: https://odysee.com/@DoctorAjayKumar/ee
Greek Math playlist: https://odysee.com/@DoctorAjayKumar/GreekMath
Euclid Elements website: https://mathcs.clarku.edu/~djoyce/java/elements/

Where to find me:

BitChute: https://www.bitchute.com/doctorajaykumar/
Gab: https://gab.com/DoctorAjayKumar
GitLab: https://gitlab.com/DoctorAjayKumar
GeoGebra: https://www.geogebra.org/u/doctorajaykumar
Odysee (main): https://odysee.com/@DoctorAjayKumar
Odysee (podcast): https://odysee.com/@BigBlackCannon
Locals: https://orangepill.locals.com/
Minds: https://www.minds.com/doctorajaykumar/
Rumble (main): https://rumble.com/c/c-906055
Rumble (podcast): https://rumble.com/c/c-765395
Twitter: https://twitter.com/DoctorAjayKumar
YouTube: https://www.youtube.com/channel/UC3NOwTrjbil7yVghQgJ1mug
Website: http://orangepill.healthcare/