Треугольник BFC подобен треугольнику АFE ( так как BC|| AE)
Из подобия следует пропорциональность сторон
BF: AF=BC:AE
BF:(AB+BF)=BC:(BC+DE)
Произведение крайних членов пропорции равно произведению крайних
(AB+BF)·BC=BF·(BC+DE)
(a+BF)·b=BF·(b+DE)
a·b+BF·b=BF·b+BF·DE
a·b=BF·DE