在三角形odc中角d等于90度ec是角dco的角平线且OE垂直于CE过点E作EF