Источник TeX:
EC= \sqrt{EB^2-BC^2}.