`OC=OD` nha

xét `\triangle` `OAC` và `\triangle` `OBD` có

`\hat{OAC}` = `\hat{OBD}` `=` `90^o`

`AO = BO` 

`\hat{AOC}` = `\hat{BOD}` ( đối đỉnh)

`=>` `\triangle` `OAC` `=` `\triangle` `OBD` ( g-c-g )

`=>` `OC=OD`

Bài `7.`

Vì `m \bot AB => \hat{CAB}` là góc vuông

`=>\DeltaAOC` vuông tại `A`

Vì `n \bot AB => \hat{ABD}` là góc vuông

`=>\DeltaBOD` vuông tại `B`

Xét hai tam giác vuông `\DeltaAOC` và `\DeltaBOD,` ta có:

`OA=OB(`gt`)`

`\hat{AOC}=\hat{BOD}(`đối đỉnh`)`

`=>\DeltaAOC=\DeltaBOD(`cạnh góc vuông - góc nhọn`)`

`=>OC=OD(`hai cạnh tương ứng`)`