在梯形ABCD中,AD‖BC,∠BAC=90°,AB=AC,BD=BC,AC,BD相交于O.证OC=CD