Ja bym spróbował jechać z podobieństwa trójkątów. A więc wprowadźmy następujące oznaczenia (poza tym, co jest na rysunku):
O - tak jak wyżej, punkt przecięcia AD i BC (coby nie mieszać już z oznaczeniami)
O' - Rzut prostokątny punktu O na odcinek AB (d), czyli punkt wspólny tego odcinka z odcinkiem oznaczonym c.
Teraz tak: trójkąt ABC jest podobny do O'BO, zaś trójkąt BAD jest podobny do trójkąta O'AO. Dodatkowo wiemy, że |AO'|+|O'B|=AB=d (szukana wielkość), zaś |O'O|=c.
Z podobieństwa trójkątów mamy:
|AC|/|OO'|=|CB|/|OB|=|AB|/|O'B| czyli |AC|/c=b/|OB|=d/|O'B|
oraz
|DB|/|OO'|=|DA|/|OA|=|BA|/|O'A| czyli |DB|/c=a/|OA|=d/|O'A|
Podnosząc te równania do potęgi -1 stronami otrzymujemy:
c/|AC|=|OB|/b=|O'B|/d
c/|DB|=|OA|/a=|O'B|/d
Powyższe równiania dodając stronami i wykorzystując fakt, że |O'B|+|O'A|=d otrzymamy:
c*(|DB|+|AC|)/(|AC||DB|)=(|OB|/b)+(|OA|/a)=1
Czyli inaczej:
C(|DB|+|AC|)=|AC||DB| i a|OB|+b*|OA|=ab
No i tutaj nie wiem co dalej :P. Ale może jeszcze wpadnę, a może to kogoś na coś naprowadzi. Mam nadzieję, że się nie machnąłem nigdzie...