Proof: By Euclid
(related to Proposition: 1.20: The Sum of the Lengths of Any Pair of Sides of a Triangle (Triangle Inequality))
- (So), (the sum of) $BA$ and $AC$ (is greater) than $BC$, (the sum of) $AB$ and $BC$ than $AC$, and (the sum of) $BC$ and $CA$ than $AB$.
- For let $BA$ have been drawn through to point $D$, and let $AD$ be made equal to $CA$ [Prop. 1.3], and let $DC$ have been joined.
- Therefore, since $DA$ is equal to $AC$, the angle $ADC$ is also equal to $ACD$ [Prop. 1.5].
- Thus, $BCD$ is greater than $ADC$.
- And since $DCB$ is a triangle having the angle $BCD$ greater than $BDC$, and the greater angle subtends the greater side [Prop. 1.19], $DB$ is thus greater than $BC$.
- But $DA$ is equal to $AC$.
- Thus, (the sum of) $BA$ and $AC$ is greater than $BC$.
- Similarly, we can show that (the sum of) $AB$ and $BC$ is also greater than $CA$, and (the sum of) $BC$ and $CA$ than $AB$.
- Thus, in any triangle, (the sum of) two sides taken together in any (possible way) is greater than the remaining (side).
- (Which is) the very thing it was required to show.
∎
Thank you to the contributors under CC BY-SA 4.0!
- Github:
-
- non-Github:
- @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
- Fitzpatrick, Richard: Euclid's "Elements of Geometry"