Источник TeX:
EC^2=EB^2+BC^2