`(O) nn (O')=A;B`
`=>OO'` là đường trung trực của `AB`
`=>{(OO'\text{ là tia p/g }\hat{AOB}),(O'O\text{ là tia p/g }\hat{AO'B}):}`
`=>{(\hat{O_1}=1/2\hat{AOB}),(\hat{O'_1}=1/2\hat{AO'B}):}` `(1)`
Xét `(O)` có: `\hat{ACB}=1/2\hat{AOB}` `(2)`
Xét `(O')` có: `\hat{ADB}=1/2\hat{AO'B}` `(3)`
Từ `(1);(2);(3)=>{(\hat{O_1}=\hat{ACD}),(\hat{O'_1}=\hat{ADC}):}`
Xét `\triangle AOO'` và `\triangle ACD` có:
`{:(\hat{O_1}=\hat{ACD}),(\hat{O'_1}=\hat{ADC}):}}=>\triangle AOO' ~ \triangle ACD(g-g)`