Источник TeX:
BC^2 = DB^2 + DC^2