Rysunek pomocniczy:

Mamy wykazać, że suma odległości dowolnego punktu  od  wierzchołków czworokąta jest większa od połowy obwodu tego czworokąta.

Korzystamy z warunku na budowę