As shown in the figure: AE is the bisector of ∠ BAC in square ABCD, AE intersects BD and BC at f and e respectively, AC and BD intersect at O, verification: of = 12ce

As shown in the figure: AE is the bisector of ∠ BAC in square ABCD, AE intersects BD and BC at f and e respectively, AC and BD intersect at O, verification: of = 12ce


It is proved that: take the midpoint P of AE, connect OP, ∵ point O is the midpoint of AC, ∵ OP is the median line of △ ace, ∵ OP = 12ce, Op ∥ ad, ∵ OPF = ∵ ead = ∵ EAC + ∵ CAD = ∵ EAC + 45 ° and ∵ ONP = ∵ abd + ∵ BAE = ∵ BAE + 45 °, EAC =