`\text{~~Holi~~}`
`\text{ABCD là hình vuông:}`
`\text{Có:}`
`\text{AB=BC=CD=DA.}`
$\hat{A} = \hat{B} = \hat{C} = \hat{D}$ `(=90^o)`
`\text{Hai đường chéo AC=BD.}`
`\text{Hai đường chéo AC và BD cắt nhau tại O (OA=OC, OB=OD)}`
`\text{Hai đường chéo vuông góc với nhau.}`