{{ tocSubheader }}
| {{ 'ml-lesson-number-slides' | message : article.intro.bblockCount }} |
| {{ 'ml-lesson-number-exercises' | message : article.intro.exerciseCount }} |
| {{ 'ml-lesson-time-estimation' | message }} |
Consider a general triangle ABC and the three inequalities given by the theorem.
Here, it will be shown that AC+AB>BC. The other two inequalities can be proved following the same procedure. Start by extending AB to the left of A. Then, consider a point D on this line such that AD=AC.
In △ADC, the sides AD and AC are congruent. This means that by the Isosceles Triangle Theorem, the angles opposite them are congruent angles. Therefore, ∠D≅∠DCA, which means that m∠D=∠DCA.