Xét  tam giác ABC và tam gá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 )

⇒ˆA1⇒A1^=   ˆD1D1^

⇒⇒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 ) suy ra OC = OD