已知：点O到△ABC的两边AB，AC所在直线的距离相等，且OB=OC．

（1）证明：过点O分别作OE⊥AB于E，OF⊥AC于F，
由题意知，
在Rt△OEB和Rt△OFC中

OB=OC
OE=OF
∴Rt△OEB≌Rt△OFC（HL），
∴∠ABC=∠ACB，
∴AB=AC；
（2）证明：过点O分别作OE⊥AB于E，OF⊥AC于F，
由题意知，OE=OF．∠BEO=∠CFO=90°，
∵在Rt△OEB和Rt△OFC中

OB=OC
OE=OF
∴Rt△OEB≌Rt△OFC（HL），
∴∠OBE=∠OCF，
又∵OB=OC，
∴∠OBC=∠OCB，
∴∠ABC=∠ACB，
∴AB=AC；
（3）不一定成立，当∠A的平分线所在直线与边BC的垂直平分线重合时AB=AC，否则AB≠AC．（如示例图）
（1）求证AB=AC，就是求证∠B=∠C，可通过构建全等三角形来求．过点O分别作OE⊥AB于E，OF⊥AC于F，那么可以用斜边直角边定理（HL）证明Rt△OEB≌Rt△OFC来实现；
（2）思路和辅助线同（1）证得Rt△OEB≌Rt△OFC后，可得出∠OBE=∠OCF，等腰△ABC中，∠ABC=∠ACB，因此∠OBC=∠OCB，那么OB=OC；
（3）不一定成立，当∠A的平分线所在直线与边BC的垂直平分线重合时，有AB=AC；否则，AB≠AC．