All triangles with equal base and equal area have equal height | Euclid's Elements Book 1 Prop 39

Claim: it is not possible for there to exist two triangles with equal area and equal bases but differing heights.

Argument:

1. Let tri(A, B, C) and tri(D, B, C) be two triangles with equal area. (i.e. equal bases)
2. Our goal is to show the triangles have the same height.
3. Suppose join(A, D) is not parallel to join(B, C) (i.e. the triangles have equal area and equal bases but different heights). Our goal is to show this is impossible.
4. Construct E incident with join(B, D) such that join(A, E) is parallel to join(B, C).
5. Because tri(A, B, C) and tri(E, B, C) have the same base and the same height, they have the same area
6. However, either
6a. area(tri(E, B, C)) < area(tri(D, B, C)) [as shown in the diagram]
6b. area(tri(E, B, C)) > area(tri(D, B, C))
7. We have proven
7a. area(tri(A, B, C)) =:= area(tri(D, B, C)) [by assumption]
7b. area(tri(A, B, C)) =:= area(tri(E, B, C)) [by construction]
7b. area(tri(D, B, C)) =/= area(tri(E, B, C)) [by construction]
8. Therefore it is not possible for there to exist two triangles with equal area and equal bases but differing heights.

Element page: https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI39.html
GeoGebra: https://www.geogebra.org/m/d3fpquss

05:00 Cat
21:30 GeoGebra

Where to find me:

BitChute: https://www.bitchute.com/doctorajaykumar/
Blog: https://zxq9.com/archives/author/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/