В прямоугольных треугольниках ECB и DAB по условию BD - биссектриса,
значит < DBE = < CBE , а значит и вторая пара острых углов тоже равны,
то есть < ADB = < BEC.
Следовательно ΔECB подобен ΔDAB по двум углам.
Из подобия треугольников следует пропорциональность сходственных сторон, то есть
