Напишем очевидные неравнества (называются неравенством треугольника):
AC <= AB + BC,</p>
AC <= AD + CD.</p>
Сложим эти неравенства: 2AC <= AB + BC + AD + CD. Поделив обе части на 2, получим <span>AC <= ( AB + BC + AD + CD)/2</strong>. Слева диагональ, справа полупериметр, что и требовалось доказать.
Точнго так же доказывается и для диагонали BD ))