| If there are three plane angles such that the sum of any two is greater than the remaining one, and they are contained by equal straight lines, then it is possible to construct a triangle out of the straight lines joining the ends of the equal straight lines. | |
|
Let there be three plane angles ABC, DEF, and GHK, of which the sum of any two is greater than the remaining one, so that the sum of the angles ABC and DEF is greater than the angle GHK, the sum of the angles DEF and GHK is greater than the angle ABC, and, further, the sum of the angles GHK and ABC is greater than the angle DEF. Also let the straight lines AB, BC, DE, EF, GH, and HK be equal.
Join AC, DF, and GK. I say that it is possible to construct a triangle out of straight lines equal to AC, DF, and GK, that is, that the sum of any two of the straight lines AC, DF, and GK is greater than the remaining one. | |
| Now, if the angles ABC, DEF, and GHK equal one another, then it is manifest that, AC, DF, and GK also being equal, it is possible to construct a triangle out of straight lines equal to AC, DF, and GK. | I.4
I.1 |
| But, if not, let them be unequal. Construct the angle KHL equal to the angle ABC at the point H on the straight line HK. Make HL equal to any one of the straight lines AB, BC, DE, EF, GH, or HK. Join KL and GL. | I.23
I.3 |
| Now, since the two sides AB and BC equal the two sides KH and HL, and the angle at B equals the angle KHL, therefore the base AC equals the base KL. | I.4 |
| And, since the sum of the angles ABC and GHK is greater than the angle DEF, while the angle ABC equals the angle KHL, therefore the angle GHL is greater than the angle DEF. | |
| And, since the two sides GH and HL equal the two sides DE and EF, and the angle GHL is greater than the angle DEF, therefore the base GL is greater than the base DF. | I.24 |
| But the sum of GK and KL is greater than GL. Therefore the sum of GK and KL is much greater than DF.
But KL equals AC, therefore the sum of AC and GK is greater than the remaining straight line DF. Similarly we can prove that the sum of AC and DF is greater than GK, and further, the sum of DF and GK is greater than AC. | |
| Therefore it is possible to construct a triangle out of straight lines equal to AC, DF, and GK. | I.22 |
| Therefore, if there are three plane angles such that the sum of any two is greater than the remaining one, and they are contained by equal straight lines, then it is possible to construct a triangle out of the straight lines joining the ends of the equal straight lines. | |
| Q. E. D. | |
Book XI Introduction - Proposition XI.21 - Proposition XI.23.