Wielokąt wypukły został podzielony odcinkami na skończoną liczbę czworokątów. Udowodnić, że co najmniej jeden z nich jest wypukły.
Rozwiązanie
Dla wielokąta oznaczmy przez lekko zmodyfikowaną sumę miar kątów wewnętrznych wielokąta mianowicie taką, w której zamiast kątów wklęsłych występują kąty dopełniające je do pełnych ze znakiem " ". Jeżeli więc jest -kątem o dokładnie wklęsłych kątach wewnętrznych, to definiujemy
Przypuśćmy, że wielokąt wypukły jest podzielony odcinkami na wielokąty o rozłącznych wnętrzach. Wierzchołkami podziału nazwijmy te wierzchołki wielokątów które nie są wierzchołkami wielokąta Wówczas
gdzie jest liczbą wierzchołków podziału wokół których znajdują się tylko kąty wypukłe wielokątów zaś jest liczbą wierzchołków podziału leżących na bokach wielokąta (w przypadku wierzchołków podziału, będących wierzchołkami pewnych kątów wklęsłych wielokątów "wychodzimy na zero", zgodnie z definicją ).
W szczególności z powyższej równości wynika, że
Pozostaje zauważyć, że gdyby wszystkie wielokąty były czworokątami wklęsłymi, to dla każdego wobec czego