от kucheto » 09 Юли 2014, 18:21
Нека четириъгълникът е [tex]ABCD.[/tex] Достатъчно е да докажем, че [tex]AB^2+BC^2+CD^2+DA^2\ge AC^2+BD^2.[/tex] Нека [tex]O[/tex] е произволна точка. Въвеждаме следните вектори:[tex]\vec{OA}=\vec{a},\ \vec{OB}=\vec{b},\ \vec{OC}=\vec{c},\ \vec{OD}=\vec{d}.[/tex] Тогава имаме: [tex]\vec{AB}=\vec{b}-\vec{a},\ \vec{BC}=\vec{c}-\vec{b},\ \vec{CD}=\vec{d}-\vec{a},\ \vec{DA}=\vec{a}-\vec{d},\ \vec{AC}=\vec{c}-\vec{a},\ \vec{BD}=\vec{d}-\vec{b}.[/tex] Оттук: [tex]\vec{AB}^2+\vec{BC}^2+\vec{CD}^2+\vec{DA}^2-\vec{AC}^2-\vec{BD}^2=(\vec{a}-\vec{b}+\vec{c}-\vec{d})^2\ge 0,[/tex] което и трябваше да се докаже.