证明Rt三角形BAC全等Rt三角形CDB。因为∠A＝∠D＝90°，且AC＝DB，又因为BC为公共边，由直角三角形的HL定理，得证Rt三角形BAC全等Rt三角形CDB，全等三角形各个边都相等，所以AB=DC。
∵AC=DB BC=CB ∠A=∠D=90° ∴△ABC全等△DCB(HL) ∴∠ACB=∠DBC(全等三角形的对应角相等) ∴OB=OC(在同一三角形中，等角对等边)
证明三角形全等
