∴∠ADC=∠BCD=90,
AC=BD, OD=12BD, OC=12AC,
p>
∴OD=OC,
∴∠ODC=∠OCD,
∴∠ADC-∠ODC=∠BCD-∠OCD ,
Es decir, ∠EDO=∠FCO,
En "Oda" y "OCF",
DE=CF∠EDO=∠FCOOD=OC ,
∴△ODE≌△OCF(SAS),
∴OE=OF.
∴∠ADC=∠BCD=90,
AC=BD, OD=12BD, OC=12AC,
p>
∴OD=OC,
∴∠ODC=∠OCD,
∴∠ADC-∠ODC=∠BCD-∠OCD ,
Es decir, ∠EDO=∠FCO,
En "Oda" y "OCF",
DE=CF∠EDO=∠FCOOD=OC ,
∴△ODE≌△OCF(SAS),
∴OE=OF.