点B.C.E.在同一条直线上,三角形ABC与三角形CDE都是等边三角形。
延长BA,ED交与点M
△MBE是个正三角形
明显可知道一些长度相等的边,在图上记为a,b,m
对△ABO与直线MDE 用梅涅劳斯定律得到: BM/MA *AE/EO * OD/DB=1
=> (a+b)/b * m/EO * OD/m=1
=> OD/OE=b/(a+b)`````````````(1)
对△EDO与直线MAB 用梅涅劳斯定律得到: EM/MD *DB/BO * OA/AE=1
=> (a+b)/a * m/OB * OA/m=1
=> OA/OB=a/(a+b)`````````````(2)
又∠ABD=∠AEB => △ABO~△AEB => AB^2=AO*AE => a^2=AO*m
∠EBD=∠AEM => △DEO~△DBE => DE^2=DO*DB => b^2=DO*m
上两式相比有 : AO/DO=a^2/b^2````````````````(3)
式(1)比式(2) 代入式(3)得到: OB/OE=OA/OD * b/a=a/b=BC/EC
由角平分线定律知道 OC平分∠BOE