Las diagonales $AC$ y $BD$ de un cuadrilátero convexo $ABCD$ se cortan en $E$. Denotamos por $S_1$, $S_2$ y $S$ a las áreas de los triángulos $ABE$, $CDE$ y del cuadrilátero $ABCD$, respectivamente. Prueba que
\[\sqrt{S_1}+\sqrt{S_2}\leq\sqrt{S}.\]
¿Cuándo se alcanza la igualdad?
pistasolución 1info
Pista. El área de un triángulo es el la mitad del producto de dos de sus lados por el seno del ángulo que forman.
Solución. Por simplicidad, llamamos $a=AE$, $b=BE$, $c=CE$ y $d=DE$. También llamamos $\alpha=\angle AEB=\angle CED$, con lo que $\angle BEC=\angle DEA=180-\alpha$. Usando que el área de un triángulo es el la mitad del producto de dos de sus lados por el seno del ángulo que forman y que $\mathrm{sen}(180-\alpha)=\mathrm{sen}(\alpha)$, la desigualdad del enunciado se reescribe como
\[\sqrt{ab}+\sqrt{cd}\leq\sqrt{ab+bc+cd+da}.\]
Elevando al cuadrado esto a su vez equivale (porque todos son positivos) a
\[2\sqrt{abcd}\leq ac+bd,\]
que no es más que la desigualdad entre las medias aritmética y geométrica aplicada a los números $ac$ y $bd$. Se da la igualdad si y solo si $ac=bd$. Esto equivale a que los triángulos $ABE$ y $CDE$ sean semejantes (tienen además un ángulo común $\alpha$ opuesto por el vértice), lo que nos dice que la igualdad se alcanza si y solo si $AB$ es paralela a $CD$.