demostrar que : $a^{2}+b^{2}+c^{2}+4abc<\frac12$

Question

Dejemos que $a,b,c$ sea un lado del triángulo

Tal que : $a+b+c=1$ Entonces

demostrar que : $a^{2}+b^{2}+c^{2}+4abc<\frac{1}{2}$

Mi esfuerzo :

Desde $a+b+c=1$ $\implies$ $2S=sr=bc\sin A=\frac{abc}{2R}$

También : $S=\sqrt{s(s-a)(s-b)(s-c)}$

También :

$a^{2}+b^{2}+c^{2}+2(ab+ac+bc)=1$

Pero no sé cómo completarlo, ¡se agradece cualquier ayuda!

Answer 1

Homogeneizando la ecuación, tenemos WTS

$$\frac{(a+b+c)^3}{2} -(a+b+c)(a^2+b^2+c^2)-4abc > 0$$

Expandiendo y factorizando, obtenemos

$$(a+b-c)(a-b+c)(-a+b+c) > 0$$

Esto es cierto a través de la desigualdad del triángulo.

Answer 2

Un truco habitual para resolver estos problemas es utilizar la sustitución $a= y + z, b =x+z, c = x+y$ , donde $x, y, z>0$ (para ver por qué es así, dibuja la circunferencia inscrita y los pares de tangentes iguales: $x, y, z$ son las longitudes de las tangentes)

Por lo tanto, tenemos $$x+y+z = \frac{1}{2}$$ y la desigualdad es $$(x+y)^2 + (x+z)^2 + (y+z)^2 + 4 (x+y)(x+z)(y+z) < x+y+z$$

$$2x^2 + 2y^2 + 2z^2 + 2(xy+yz+xz) + 4 (x+y)(x+z)(y+z) < x+y+z$$

$$x^2 + y^2 +z^2 + (xy+yz+xz) + 2(x+y)(x+z)(y+z) < (x+y+z)^2$$ $$2(x+y)(x+z)(y+z) < xy + xz +yz$$

$$(x+y)(x+z)(y+z) < (x+y+z) (xy+xz +yz)$$

$$x^2y + xzy + x^2z + xz^2 + y^2x + y^2z + yxz + yz^2 < x^2y + x^2z + xyz + xy^2 +xyz +y^2z + xyz +xz^2 + yz^2$$

$$2 xyz < 3xyz$$

Answer 3

Tenemos que demostrar que $$2(a^2+b^2+c^2)+8abc<(a+b+c)^2$$ o $$8abc<\sum_{cyc}(2ab-a^2)$$ o $$8abc<\sum_{cyc}a(b+c-a)$$ o $$8abc<\sum_{cyc}a(b+c-a)(b+c+a)$$ o $$8abc<\sum_{cyc}a(b^2+c^2+2bc-a^2)$$ o $$2abc<\sum_{cyc}(a^2b+a^2c-a^3)$$ o $$2abc(a+b+c)<\sum_{cyc}a\sum_{cyc}(a^2b+a^2c-a^3)$$ o $$\sum_{cyc}2a^2bc<\sum_{cyc}(a^3b+a^3c+2a^2b^2+2a^2bc-a^4-a^3b-a^3c)$$ o $$\sum_{cyc}(2a^2b^2-a^4)>0,$$ que es $16S^2>0$ por la fórmula de Heron.

Answer 4

Utilizando la homogeneización y la sustitución de Ravi, el problema se reduce a demostrar que

$$2(a+b+c)(a^2+b^2+c^2)+8abc \leq (a+b+c)^3$$ se mantiene para cualquier triple $(a,b,c)$ de las longitudes de los lados de un triángulo, es decir, que

$$4(A+B+C)((B+C)^2+(A+C)^2+(A+B)^2)+8(A+B)(A+C)(B+C) \leq 8(A+B+C)^3$$ se mantiene para cualquier triple $(A,B,C)$ de números positivos. La desigualdad anterior se simplifica en $$(A+B+C)(A^2+B^2+C^2+AB+AC+BC)+(A^2 B+B^2 A+A^2 C+C^2 A+B^2 C+C^2 B+2ABC) \leq (A+B+C)^3$$ que es equivalente al trivial $-ABC\leq 0$ .