Punkt
leży wewnątrz równoległoboku
, przy czym zachodzi równość
. Wykazać, że
.
Przesuwamy trójkąt
równolegle tak, by obrazem boku
był odcinek
. Obraz wierzchołka
oznaczmy przez
. Mamy zatem równość
(rysunek 1). Odcinki
i
są równoległe, więc
.
Jednocześnie
(w myśl warunku zadania). Wobec tego
.
Odcinek
jest więc widoczny pod jednakowym kątem z punktów
i
, leżących po tej samej stronie prostej
. Wniosek: punkty
,
,
,
leżą na jednym okręgu. Stąd, wobec faktu, że punkty
i
leżą po tej samej stronie prostej
, wynika równość
.
Pozostaje zauważyć, że czworokąt
jest równoległobokiem, a więc
. Otrzymujemy równość
, która była dana do udowodnienia.
Przez punkt
prowadzimy proste równoległe do boków równoległoboku
. Przecinają one boki
,
,
,
odpowiednio w punktach
,
,
,
(rysunek 2).
Trójkąt
jest podobny do trójkąta
, bo
(kąty o ramionach parami równoległych) oraz
(warunek zadania). Zatem
![]() |
Teza zadania, czyli równość
, będzie udowodniona, jeśli wykażemy, że trójkąty
i
są podobne.
Uwaga: tu i dalej, mówiąc, że trójkąty
i
są podobne, rozumiemy, że w tym podobieństwie wierzchołki
,
,
są odpowiednio obrazami wierzchołków
,
,
.
Ponieważ
(kąty o ramionach parami równoległych), wystarczy dowieść, że
![]() |
Otóż z określenia punktów
,
i
wynika, że
,
,
, i wobec tego równość (2) jest identyczna z równością (1). To kończy dowód.
Dana w założeniu równość
jest równoważna równości
. Role punktów
i
są więc symetryczne, tak w założeniach, jak i w tezie zadania. Można wobec tego przyjąć, nie tracąc ogólności, że
jest punktem trójkąta
. Przyjmimy dodatkowo, że jest to punkt wewnętrzny trójkąta
; niezbędne modyfikacje rozumowania w przypadku granicznym, gdy
leży na przekątnej
, pozostawiamy Czytelnikowi.
Półproste
i
przecinają boki
i
odpowiednio w punktach
i
(rysunek 3). Z danej w założeniu równości kątów (którą można przepisać jako
, bądź też jako
) wynika, że trójkąt
jest podobny do
, a trójkąt
jest podobny do
. Mamy więc proporcje:
![]() |
Pozwalają one wywnioskować, że trójkąt
jest podobny do
, a trójkąt
- do
. Otrzymujemy związki:
![]() |
Dodajemy stronami równości (4) i dostajemy równość
, która w połączeniu z zależnością (3) pokazuje, że trójkąt
jest podobny do trójkąta
. Stąd, ostatecznie,
.