As shown in the figure, it is known that e is the midpoint of the edge BC of the square ABCD, and the point F is on the edge CD, and ∠ BAE = ∠ FAE

As shown in the figure, it is known that e is the midpoint of the edge BC of the square ABCD, and the point F is on the edge CD, and ∠ BAE = ∠ FAE

It is proved that if we make eg ⊥ AF through point E, the perpendicular foot is g, ∵ ∠ BAE = ∠ EAF, ∵ B = ∠ age = 90 ° and ∵ BAE = ∠ EAF, that is, AE is the angular bisector, EB ⊥ AB, eg ⊥ AG, ∵ be = eg, in RT △ Abe and RT △ age, be = egae = AE, ≌ RT △ Abe ≌ RT △ age (HL), ≌ Ag = ab