Triangle inequality

Dependencies: Ruler axiom (lay off equal segments on an existing ray), Base angles of an isoceles triangle are equal, Bigger angle ↔ longer opposite side.

Statement

Let $\triangle ABC$ be any triangle. Then the sum of any two sides is greater than the third:

By symmetry, it suffices to prove the first inequality $AB + AC > BC$; the others follow by relabeling.