Источник TeX:

DE=2r=2 \sqrt{3}