∵AB是直径,
∴∠AEB=90°(直径所对的圆周角等于90°)
即BE⊥AE,
∵C是弧EB中点,
∴OC⊥BE(垂径定理的逆定理)
∴OC∥AD(垂直于同一直线的两直线平行)
条件“CD垂直AE于D”多余.