Każda przekątna pewnego pięciokąta wypukłego odcina od niego trójkąt o polu 1. Obliczyć pole tego pięciokąta.
Niech
będzie danym pięciokątem wypukłym, a
- takim pięciokątem foremnym, że pole trójkąta
jest równe
. Ponieważ trójkąty
i
mają równe pola, więc odległości punktów
i
od prostej
są równe. Zatem
i podobnie każda przekątna pięciokąta
jest równoległa do odpowiedniego boku.
Dla dowolnej trójki punktów niewspółliniowych istnieje takie przekształcenie afiniczne, które przeprowadza ją na dowolną inną trójkę punktów niewspółliniowych. Niech
będzie takim przekształceniem afinicznym płaszczyzny, że
,
i
. Każde przekształcenie afiniczne zachowuje stosunek pól. Ponieważ pola trójkątów
i
są równe, więc przekształcenie
zachowuje pola.
Przekształcenie afiniczne zachowuje równoległość odcinków. Zatem
, czyli
. Wobec tego
i podobnie 9
. Ponadto mamy
i stąd
(rys. 13).
Gdyby
, to jeden z trójkątów
i
byłby ściśle zawarty w drugim. Jest to niemożliwe, ponieważ mają one równe pola. Stąd
i podobnie
. Zatem obrazem pięciokąta
w przekształceniu
jest pięciokąt foremny
. Pola pięciokątów tych są więc równe.
To ostatnie pole łatwo jest obliczyć. Pole trójkąta
jest równe
![]() |
gdzie
(rys. 14). Stąd
. Odległość
boku
od środka pięciokąta foremnego jest równa
.
Zatem pole pięciokąta
jest równe
![]() |