AB是半园直径,C是弧BD中点,CD1垂直AB于D1,交AD的延长线于E.求证:BC/EC=AC/AE.