在锐角三角形abc,以ac为直径求证角bec=角edc