第 23/43 页

∵菱形 ABCD,

∴△ABD 是等边三角形,

∴点 O 关于 AB 的对称点 F,

∵CE⊥AH 于 E,OA=OC,

∵AH 平分∠BAC,

∴由勾股定理,得 EF= ,