Bitcoin is the other side-angle-side inequality | Euclid's Elements Book 1 Prop 25

Assume:

- BA = ED
- AC = DF
- FE < CB

Claim: EDF < BAC

Proof method: contradiction

Suppose claim is false. Then BAC <= EDF.

Then either BAC == EDF or BAC < EDF. We proceed by falsifying both
branches.

Claim: BAC != EDF.

Proof method: contradiction.

Assume BAC == EDF. Then by side-angle-side congruence, CB = FE, which
we assumed to be false.

Claim: BAC !< EDF.

Proof method: contradiction.

Assume BAC < EDF. Then by the previous proposition, BC < EF, which we
assumed to be false.

We have eliminated both branches of EDF !< BAC. Therefore EDF < BAC.

Element page: https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI25.html
GeoGebra (same as last video): https://www.geogebra.org/m/xbafrm3s

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/