Nietrudno zauważyć, że trójkąt jest prostokątny, jest więc wpisany w okrąg o średnicy 6. Dorysowując symetrycznie w tym okręgu drugi, taki sam trójkąt oparty na średnicy, otrzymujemy czworokąt, którego najmniejszy kąt wynosi  Kąt ten oparty jest na pewnym łuku okręgu, kąt środkowy oparty na tym samym łuku to wobec tego  a cięciwa oparta na tym łuku jest jednocześnie podstawą odpowiedniego trójkąta równobocznego i podwojoną szukaną wysokością.