It is known that, as shown in the figure, OA bisects ∠ BAC, ∠ 1 = ∠ 2

It is known that, as shown in the figure, OA bisects ∠ BAC, ∠ 1 = ∠ 2

It is proved that: make OE ⊥ AB in E, of ⊥ AC in F, ∵ Ao bisection ∠ BAC, ∵ OE = of (the distance from the point on the bisection line to both sides of the angle is equal) ∵ 1 = ∠ 2, ∵ ob = OC. ≌ RT △ OBE ≌ RT △ OCF (HL) ≌ 5 = ∠ 6. ? 1 + ∠ 5 = ∠ 2 + ∠ 6. That is, ? ABC = ∠ ACB. ≌ AB = AC. ≌ ABC is isosceles triangle