Rysunek pomocniczy:

Przyjmijmy następujące oznaczenia:
  -> czyli DK jest środkową trójkąta ABD poprowadzoną z wierzchołka D
  -> czyli AO jest środkową trójkąta