Z nierówności trójkąta w ABC:
|AB| + |BC| > |AC|
podobnie w trójkącie ACD:
|AD| + |CD| > |AC|
| LABCD | ||
Dodając stronami i dzieląc przez 2 dostajemy | > |AC| , analogicznie | |
| 2 |
| LABCD | ||
> |BD| dodając stronami dostajemy pierwszą nierówność. | ||
| 2 |
| LABCD | ||
|AC|+|BD| > | ||
| 2 |
| LABCD | ||
Czyli LABCD > |AC|+|BD| > | cnd. | |
| 2 |