因为∠BEO=∠CDO=90°,∠BOE=∠COD(对顶角),OB=OC
所以三角形BOE与三角形COD全等
所以OE=OD
又因为BO⊥AC,CO⊥AB
所以O在∠BAC的角平分线上(“角平分线上的点到角两边的距离相等”的逆定理)