Delta mi!

Niech punkt  będzie czwartym wierzchołkiem prostokąta Wtedy  jest równoległobokiem o środku  (bo  oraz ), więc punkty  są współliniowe. Odcinki  i  są średnicami okręgu opisanego na prostokącie  Ponadto  więc punkt  leży na tym okręgu. Stąd

Niech punkt  będzie czwartym wierzchołkiem równoległoboku Wtedy  także jest równoległobokiem oraz zachodzą równości

(*)

oraz

(**)

---

Z równości  (uwzględniając wzajemne położenie odpowiednich punktów) wynika, że punkty  leżą na jednym okręgu. Wobec tego  co razem z równością  daje tezę.

Niech  i  oznaczają rzuty punktów  i  na prostą  Z przyrównania odcinków stycznych do okręgu wpisanego w trójkącie wynika równość Podobnie mamy

czyli Stąd również czyli

Ponieważ kąt między dwusiecznymi kątów przyległych jest prosty, więc trójkąty prostokątne  i są podobne. W takim razie

Stąd trójkąty  i są podobne, więc kąt też jest prosty. To oznacza, że punkty leżą na jednym okręgu.

Niech  i będą punktami przecięcia prostej równoległej do  i przechodzącej przez punkt odpowiednio z bokami  i Trójkąt jest równoboczny i Ponadto stosując nierówność trójkąta, dostaniemy oraz Dodając te trzy nierówności stronami, otrzymujemy

Nietrudno też przekonać się, że równość zachodzi wtedy i tylko wtedy, gdy punkt jest jednym z wierzchołków trójkąta

Z twierdzenia Menelaosa dla trójkąta i prostej zachodzi

Podobnie z TwM dla trójkąta i prostej  otrzymujemy

Zatem

Twierdzenie o dwusiecznej orzeka, iż: Zachodzi więc równość z Twierdzenie Menelaosa, co kończy dowód.

Oznaczmy środki boków        odpowiednio przez  W myśl założenia,    Niech  będzie wspólnym środkiem przekątnych  i  równoległoboku  Odcinek  łączy środki dwóch boków trójkąta  więc

---

Zatem punkt  leży na okręgu o średnicy  wobec czego kąt  jest prosty. Analogicznie, kąt  jest prosty. Stąd wynika, że  Punkty  są środkami dwóch boków trójkąta  więc  Analogicznie,  Stąd, ostatecznie,

Oznaczmy przez punkt przecięcia dwusiecznych kątów i 

Proste i  są symetralnymi odpowiednio odcinków i a więc punkt jest środkiem okręgu opisanego na trójkącie Zatem Wobec tego trójkąty i są przystające (cecha bok-bok-bok), skąd Analogicznie otrzymujemy Ponadto Stąd korzystając z danych w treści zadania równości kątów, wnioskujemy, że Zależności te z kolei dowodzą, że punkt leży na dwusiecznych kątów i 

Zauważmy, że oprócz ośmiokąta powstało osiem podobnych trójkątów, w każdym z których stosunek sumy długości przyprostokątnych do długości przeciwprostokątnej jest równy Oznaczając sumę długości kolorowych odcinków ciągłych przez a przerywanych przez widać, że obwód jednego kwadratu jest równy a drugiego co po przyrównaniu daje

Przyjmijmy, że okręgi wpisane w trójkąty i  są styczne do boku odpowiednio w punktach  i  ; do prostej przechodzącej przez  – odpowiednio w punktach  i  ; zaś do odcinka – odpowiednio w punktach  i

Punkty styczności z okręgiem wpisanym w trójkąt wyznaczają na jego bokach odcinki o długościach wyrażających się znanymi wzorami:

Po dodaniu stronami:

Odnotujmy także zależności

Odcinki i  są symetryczne względem wspólnej osi symetrii obu okręgów. Możemy zatem przepisać ostatnią równość jako .

Z uzyskanych związków wnosimy, że

To znaczy, że punkt leży na okręgu o środku i promieniu zależnym jedynie od trójkąta a nie od położenia punktu  na boku