cách này bản quyền của t nhé :) Cauchy-Schwwarz dạng Engel + Cosi
Ta có :
\(S_{EFGH}=\frac{1}{2}EG^2=\frac{1}{2}\left(EF^2+FG^2\right)=\frac{1}{2}\left(AB^2+BC^2\right)=\frac{1}{2}\left(OA^2+OB^2+OC^2+OD^2\right)\)
\(\ge\frac{1}{2}.\frac{\left(OA+OB+OC+OD\right)^2}{1+1+1+1}=\frac{\left(AC+BD\right)^2}{8}=\frac{AC^2+BD^2+2AC.BD}{8}\)
\(\ge\frac{2\sqrt{\left(AC.BD\right)^2}+2AC.BD}{8}=\frac{2AC.BD+2AC.BD}{8}=\frac{4AC.BD}{8}=\frac{1}{2}AC.BD=S_{ABCD}\)
\(\Rightarrow\)\(S_{EFGH}\ge S_{ABCD}\)
Mà dấu "=" không xảy ra ở cả 2 bđt nên \(S_{EFGH}>S_{ABCD}\)
Vậy hình vuông có diện tích lớn hơn