W trapezie
przez punkt przecięcia
przekątnych poprowadzono prostą równoległą da podstaw
i
trapezu, która przecina boki
i
w punktach
i
. Dowieść, że 1)
równa się średniej harmonicznej podstaw, 2) jeżeli
, to
równa się średniej geometrycznej podstaw.
1° Zauważmy najpierw (rys. 22), że odcinki
i
są równe. Istotnie, trójkąty
i
są odpowiednio podobne do trójkątów
i
, przy czym w obu przypadkach skala podobieństwa jest ta sama, gdyż według twierdzenia Talesa zachodzi równość
. Wobec tego każdy z odcinków
i
jest w takim samym stosunku do odcinka
, a to znaczy, że
.
Związek między długością odcinka
i długościami podstaw trapezu
i
uzyskamy rozważając trójkąty podobne
i
, w których
![]() |
oraz trójkąty podobne
i
, w których
![]() |
Dodając powyższe równości otrzymujemy
![]() |
a ponieważ
, więc ostatnia równość daje
![]() |
co właśnie oznacza, że odcinek
jest średnią harmoniczną podstaw trapezu
i 
2° Jeżeli
, to trójkąty
i
są podobne; zatem
![]() |
co oznacza, że
jest średnią geometryczną podstaw trapezu
i
.
Uwaga 1. Pojęcie średniej harmonicznej dwóch odcinków wiąże się z pojęciem czwórki harmonicznej punktów.
Będziemy rozważali odcinki skierowane, czyli wektory na prostej
(rys. 23). O czterech punktach
,
,
,
, leżących na prostej
mówimy, że tworzą czwórkę harmoniczną
lub że pary
i
przedzielają się harmonicznie, jeżeli zachodzi związek
![]() |
Równości (1) oznaczają, że stosunki, w jakich końce jednego z odcinków
i
dzielą drugi odcinek, są liczbami przeciwnymi.
Jeżeli
jest czwórką harmoniczną punktów, to odcinek
jest średnią harmoniczną odcinków
i
. Z równości (1) wynikają bowiem kolejno równości:
![]() |
![]() |
![]() |
![]() |
Wykonując przekształcenia powyższe w kierunku odwrotnym stwierdzamy, że równość (2) pociąga za sobą równość (1). Jeżeli zatem odcinek
jest średnią harmoniczną odcinków
i
, to punkty
,
,
,
tworzą czwórkę harmoniczną.
Uwaga 2. Weźmy pod uwagę punkt przecięcia
boków nierównoległych
i
trapezu (rys. 24) oraz punkty
i
, w których prosta
przecina boki
i
. Udowodnimy, że punkty
,
,
,
tworzą czwórkę harmoniczną.
W samej rzeczy, odcinki
i
są jednokładne względem środka
, zatem
![]() |
Odcinki
i
są zarazem jednokładne względem środka
, zatem
![]() |
Po prawej stronie napisaliśmy znak minus, gdyż odcinki
i
są skierowane przeciwnie). Z otrzymanych równości wynika, że
![]() |
czego właśnie mieliśmy dowieść.
Powyższe twierdzenie łącznie z uwagą 1 prowadzą do bardzo krótkiego dowodu twierdzenia, że w trapezie (rys. 24) odcinek
, równoległy do podstaw
i
, jest średnią harmoniczną podstaw trapezu. Istotnie, odcinki
,
i
, jako jednokładne względem środka
, są proporcjonalne do odcinków
,
,
:
![]() |
Ponieważ
,
,
,
tworzą czwórkę harmoniczną punktów, więc według uwagi 1 odcinki
,
,
spełniają związek
![]() |
Taki sam związek spełniają proporcjonalne do nich odcinki
,
i
, tj.
![]() |
Uwaga 3. Twierdzenie podane w uwadze 2 jest przypadkiem szczególnym ważnego twierdzenia o czworoboku zupełnym.
Czworobokiem zupełnym nazywamy figurę utworzoną przez cztery proste
,
,
,
płaszczyzny, przecinające się wzajemnie w sześciu punktach
,
,
,
,
,
(rys. 25). Owe cztery proste nazywamy bokami, a owe sześć punktów - wierzchołkami czworoboku zupełnego. Dwa wierzchołki nie leżące na jednym boku nazywamy wierzchołkami przeciwległymi. Czworobok zupełny ma trzy pary wierzchołków przeciwległych, przy czym każdy wierzchołek należy do jednej pary. Na rysunku 25 wierzchołkami przeciwległymi są
i
,
i
,
i
.
Proste przechodzące przez wierzchołki przeciwległe nazywamy przekątnymi czworoboku zupełnego. Na rysunku 25 przekątnymi czworoboku zupełnego są proste
,
,
. Zachodzi twierdzenie:
Na każdej przekątnej czworoboku zupełnego para wierzchołków czworoboku przedziela harmonicznie parę punktów przecięcia tej przekątnej z pozostałymi dwiema przekątnymi.
Udowodnimy na przykład, że na rysunku 25 punkty
,
,
,
stanowią czwórkę harmoniczną punktów.
Dowód oprzemy na twierdzeniu Menelausa:
Jeżeli pewna prosta przecina proste
,
,
odpowiednio w punktach
,
,
, to
![]() |
Zastosujemy to twierdzenie:
1° do prostych
,
,
przeciętych prostą w punktach
,
,
:
![]() |
2° do prostych
,
,
przeciętych prostą w punktach
,
,
:
![]() |
3° do prostych
,
,
przeciętych prostą w punktach
,
,
:
![]() |
Z równości 1° i 2° otrzymujemy
![]() |
skąd
![]() |
i z uwagi na równość 3° mamy
![]() |
co oznacza, że punkty
,
,
,
tworzą czwórkę harmoniczną.