In equilateral △ ABC, the bisectors of ∠ ABC, ∠ ACB intersect at point O. if the vertical bisectors of OB and OC intersect at points E and F, the quantitative relationship between EF and ab is conjectured and proved

In equilateral △ ABC, the bisectors of ∠ ABC, ∠ ACB intersect at point O. if the vertical bisectors of OB and OC intersect at points E and F, the quantitative relationship between EF and ab is conjectured and proved

It is proved that: if the bisector connecting OE, of. ∵ OB and OC intersects BC at point E, f ∵ OE = EB, of = FC ∵ △ ABC is an equilateral triangle, and the bisector of angle ABC and angle ACB intersects o ∵ OBE = ∵ OEB = 30 ° and ∵ OEF = 60 ° and ∵ ofe = 60 ∵ OEF is an equilateral triangle ∵ be = EF = FC ∵ EF = 13ab,