Ta có
2.SBOC≤OC.OB. Dấu "=" xảy ra <=> OC vuông góc với OB
OC.OB≤OC2+OB2 . Dấu "=" xảy ra <=> OC=OB
Suy ra 2.SBOC≤2(OC2+OB2) .
Dấu "=" xảy ra <=> ΔBOC vuông cân tại O
Tương tự với các tam giác AOB; AOD; DOC.
Vậy dấu "=" xảy ra <=> Tứ giác ABCD là hình vuông và O là tâm của hình vuông này.