Niech
będzie dowolnym punktem wewnętrznym boku
czworokąta wypukłego
. Oznaczmy odpowiednio przez
pola trójkątów
,
oraz
.
a) Udowodnić, że jeżeli
, to
.
b) Udowodnić, że jeżeli
, to
.
a) Gdy
, proste
i
są równoległe, więc czworokąt
jest trapezem. Oznaczmy długości boków
i
przez
i
, a długości wysokości trójkątów
i
opuszczonych z wierzchołka
odpowiednio przez
i
(rysunek 3). Pole trapezu
równa się
![]() |
a pola trójkątów
i
są równe
![]() |


Stąd na mocy nierówności między średnią arytmetyczną i geometryczną
![]() |
b) Gdy
, prowadzimy przez punkt
prostą równoległą do prostej
. Przecina ona prostą
w punkcie
tak, że
jest punktem wewnętrznym odcinka
(rysunek 4). Na mocy udowodnionej już tezy a), zastosowanej do trapezu
, zachodzi nierówność
, gdzie
oznacza pole trójkąta
. Jest ono większe od
, bo trójkąt
zawiera trójkąt
(i nie jest z nim identyczny). Zatem
.