Неравенство треугольника

Сумма длин любых двух сторон треугольника больше третьей стороны. И это очевидно. Когда мы доказываем теорему об этом, выясняем ли мы, почему так получается?