Xét ΔABE và ΔDBE, ta có : BAE=BDE=90o
BE là cạnh chung ABE=DBE ( BE là tia phân giác của góc ABC )
=> ΔABE = ΔDBE ( g.c.g )
=> AB = BD ( hai cạnh tương ứng )
mà BD>ED do tam giác BDE vuông tại D và tính chất đường gấp khúc
=>AB>ED
Xét ΔABE và ΔDBE, ta có : BAE=BDE=90o
BE là cạnh chung ABE=DBE ( BE là tia phân giác của góc ABC )
=> ΔABE = ΔDBE ( g.c.g )
=> AB = BD ( hai cạnh tương ứng )
mà BD>ED do tam giác BDE vuông tại D và tính chất đường gấp khúc
=>AB>ED