Xét tam giác `BEC` và tam giác `BED`, có

`BE` chung

`BC=BD` (gt)

`\hat{EBC}=\hat{EBD}` ( `BI` là tia p/g )

`=>` tam giác `BEC` `=` tam giác `BED` `(c-g-c)`

`=>\hat{BCE}=\hat{BDE}` ( `2` góc tương ứng )

mà `\hat{BCE}=\hat{DBF}` ( tam giác `ABC` cân tại `A` )

`=>\hat{BDE}=\hat{DBF}`

`=>` tam giác `FBD` cân tại `F`

`=>FB=FD`