Xét tam giác `ABC` và tam giác `BAD` có `:`
`AB` cạnh chung
`BC` = `AC` ( `ABCD` httg cân )
`AC` = `BD` `( 1 )` ( `ABCD` httg cân )
`⇒` tam giác `ABC` = tam giác `BAD` ( c - c - c )
`⇒` `A_1` = `D_1` ( `2` góc tương ứng )
`→` Tam giác `OAB` cân tại `O`
`→` `OA` = `OB` `( 2 )`
Ta có `:` `OA + OC = AC` `( 3 )`
`OB + OD = BD` `( 4 )`
Từ `( 1 ) : ( 2 ) ; ( 3 ) ; ( 4 )` `⇒` `OC = OD`
