直线EFCD相较于点O,OAOB,且OC平分角AOF