Możemy stwierdzić, że trójkąty ABC i DEC są podobne (cecha kkk), a skala ich podobieństwa wynosi .

Wysokość trójkąta DEC jest więc równa , więc wspólna wysokość trójkątów AFG