如图，∠A＝∠D＝90°，AC＝DB，欲使OB＝OC，可以先利用“HL”说明Rt_△≌Rt_△得到AB＝DC，再利用证明△AOB≌△DOC得到OB＝OC.