 This proof appears in Euclid's Elements, Book 1, Proposition 20.For a proper triangle, the triangle inequality, as stated in words, literally translates into three inequalities (given that a proper triangle has side lengths , , that are all positive and excludes the degenerate case of zero area)