Zauważmy, że trójkąty ADE i ABC są trójkątami prostokątnymi o kątach  ${30}^{\circ },{60}^{\circ },{90}^{\circ }.$  

Przypomnijmy, że w takich trójkątach zachodzą następujące zależności:

$a$   - długość krótszej przyprostokątnej

$a\sqrt{3}$   - długość dłuższej przyprostokątnej

$2a$   - długość przeciwprostokątnej    

 

Popatrzmy na trójkąt ABC:

$\left|AB\right|=4\sqrt{3}\text{cm}$   - dłuższa przyprostokątna