a/ Xét `Δ OAC` và `Δ OBD` có:
$OA = OB (gt)$
`\hat{AOC} = \hat {BOD}` (đối đỉnh)
$OC = OD (gt)$
`=>Δ OAC =Δ OBD (c.g.c)`
`=> AC = BD` (2 cạnh tương ứng)
Ta có: ` ΔOAC = Δ OBD` ( chứng minh trên)
`=> \hat{CAO} = \hat{ OBD}` (2 góc tương ứng)
Mà 2 góc này đang ở vị trí so le trong
`=> AC // BD (đpcm)`
b, Xét `ΔOID` và `ΔOHC` có
`\hat{HOC}=\hat{IOD}` ( đối đỉnh )
`OH=OI`
`OD=OC`
`⇒ΔOID = ΔOHC (c.g.c)`
`⇒∠OHC=∠OID=90 ^o`
`⇒DI⊥AB`