Zauważmy, że trójkąt AED jest trójkątem o kątach :

Wysokość ta jest równa dwóm promieniom okręgu.

Przekątne powstałego czworokąta pokrywają się ze średnicą okręgu, co oznacza,