如图,四边形ABCD中,AB//CD,BC=DC,AD⊥BD,.E是BD的中点,求证;四边形OCED是菱形