As shown in the figure, ad is the angular bisector of angle cab, ed | AB, DF | Ca, EF intersects ad at point O. excuse me, (1) is do the angular bisector of angle EDF? If so, give a clear proof;

As shown in the figure, ad is the angular bisector of angle cab, ed | AB, DF | Ca, EF intersects ad at point O. excuse me, (1) is do the angular bisector of angle EDF? If so, give a clear proof;

∵ED||AB,DF||CA
∴∠BAD=∠EDA
∵CAD=∠FDA
∵ ad is the bisector of angle cab
∴∠BAD=∠CAD
∴∠EDA=∠FDA
Ψ ad is the bisector of ∠ EDF
(if AD and EF intersect o, do is the bisector of ∠ EDF)