Trójkąty ABC i EBO są podobne (kąt – kąt – kąt).
Wprowadź oznaczenia pomocnicze:
Zauważ, że trójkąty ABC i EBO są podobne z cechy kąt – kąt – kąt
, więc
Na tej podstawie zapisz zależność przyprostokątnych w obu tych trójkątów.
Pomnóż na skos.
Z powstałego równania wyznacz
.
To kończy dowód.