Ta có :
AC // BD
=> \(\begin{cases}\widehat{A_2}=\widehat{B_2}\\\widehat{C_2}=\widehat{D_2}\end{cases}\)
Từ giác ABCD nội tiếp đường tròn
=> \(\widehat{A_2}=\widehat{C_2}\)
\(\Rightarrow\widehat{A_2}=\widehat{B_2}=\widehat{C_2}=\widehat{D_2}\)
\(\Rightarrow\begin{cases}OA=OC\\OB=OD\end{cases}\)
Tương tự ta có \(\begin{cases}OA=OD\\OB=OC\end{cases}\)
\(\Rightarrow OA=OB=OC=OD\)
\(\Rightarrow AB=CD\)