D'après le codage, \widehat{\text {FBC}}=30^{\circ} et
\widehat{\text {EBF}}=30^\circ \div 2=15^\circ.
L'angle \widehat{\text {ABC}} est un angle droit, il mesure 90^{\circ}.
\widehat{\text {ABF}} = 90^\circ - 30^\circ = 60^{\circ}
60 \neq 15 donc \widehat{\text {ABF}}\neq\widehat{\text {EBF}}.
\text {[BF)} n'est pas la bissectrice de l'angle \widehat{\text {ABE}}.