Exploring construction lines
E is a point on AD, and G is a point on EB with AE = EG. Produce AG to intersect BC at X. It can be proved that XB = BG. Rotate triangle ABX by a right angle to triangle BCF. Does BF bisect angle EBC? Drag E to explore.