Источник TeX:

\angle ABD+\angle DBC=\angle ABC