已知在三角形ABC中,角A是直角,点O是正方形BCDE对角线的交点,求证:AO 是角BAC的平分线