Known: as shown in the figure, BD is the angular bisector of △ ABC, EF is the vertical bisector of BD, and intersects AB at e and BC at point F

Known: as shown in the figure, BD is the angular bisector of △ ABC, EF is the vertical bisector of BD, and intersects AB at e and BC at point F

It is proved that: ∵ EF is the vertical bisector of BD, ∵ EB = ed, ∵ EBD = ∵ EDB. ∵ BD is the angular bisector of △ ABC, ∵ EBD = ∵ FBD. ∵ FBD = ∵ EDB, ∥ ed ∥ BF. Similarly, DF ∥ be, ∥ bfde is a parallelogram, and ∵ EB = ed, ∥ bfde is a diamond