Theo công thức đường trung tuyến:
\(EF^2=\dfrac{EB^2+ED^2}{2}-\dfrac{BD^2}{4}\)
\(=\dfrac{\dfrac{AB^2+BC^2}{2}-\dfrac{AC^2}{4}+\dfrac{CD^2+DA^2}{2}-\dfrac{AC^2}{4}}{2}-\dfrac{BD^2}{4}\)
\(=\dfrac{AB^2+BC^2+CD^2+DA^2}{4}-\dfrac{AC^2}{4}-\dfrac{BD^2}{4}\)
\(\Rightarrow4EF^2=AB^2+BC^2+CD^2+DA^2-AC^2-BD^2\)
\(\Rightarrow AB^2+BC^2+CD^2+DA^2=AC^2+BD^2+4EF^2\)