It is known that, as shown in the figure, ad is the angular bisector of △ ABC, and EF bisectors ad vertically, intersecting AB and AC at e and f respectively

It is known that, as shown in the figure, ad is the angular bisector of △ ABC, and EF bisectors ad vertically, intersecting AB and AC at e and f respectively

Ad is the angular bisector of △ ABC
So the two angles are equal
EF vertical split ad
So the two adjacent angles are equal, and the tangent is 90 degrees
In addition, two triangles share an edge, and the edge triangles are congruent
As above, we can prove that the four sides are equal, so the diamond appears