已知:如图,AB=BC,AD=BC,AO=OC,EF过O点求证:OE=OF