It is known that ad is the angular bisector of △ ABC, de ∥ AC intersects AB at point E, DF ∥ AB intersects AC at point F

It is known that ad is the angular bisector of △ ABC, de ∥ AC intersects AB at point E, DF ∥ AB intersects AC at point F

It is proved that: ∵ de ∥ AC, DF ∥ AB, ∵ quadrilateral AEDF is a parallelogram, ∵ ad is the angular bisector of △ ABC, ∵ de ∥ AC, ∵ de ∥ 2 = ∥ 3, ∵ AE = De, ∥ quadrilateral AEDF is a diamond (parallelogram with equal adjacent sides is a diamond)