Desigualdad con lados de un triángulo.

Avatar de Usuario
Vladislao

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
FOFO Pascua 2017 - Jurado-FOFO Pascua 2017
Mensajes: 808
Registrado: Mar 28 Dic, 2010 3:26 pm
Medallas: 6
Nivel: Exolímpico
Ubicación: Córdoba

Desigualdad con lados de un triángulo.

Mensaje sin leer por Vladislao »

Sean [math], [math] y [math] lados de un triángulo, demostrar que:

[math]

Este problema fue sacado de un libro... Tiene una solución "más o menos" elemental, así que estaría bueno que alguien se anime...
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Avatar de Usuario
Nacho

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016
Mensajes: 563
Registrado: Dom 17 Oct, 2010 10:28 pm
Medallas: 3
Nivel: Exolímpico

Re: Desigualdad con lados de un triángulo.

Mensaje sin leer por Nacho »

Spoiler: mostrar
Vamos a usar la notación habitual en un triángulo: Sean [math], [math] y [math] los ángulos opuestos a los lados [math], [math] y [math] respectivamente.

Por Teorema del Coseno, tenemos que [math].

Luego queremos demostrar que, [math]
Es decir, queremos demostrar que [math].

Notemos que la función coseno es cóncava en el intervalo [math] pues su segunda derivada es [math] que es negativa en ese intervalo.

Vamos a aplicar la desigualdad de Jensen si son todos los ángulos agudos:

[math].

Luego, [math] y estamos.

Si alguno es [math] la desigualdad se vuelve trivial por Pitágoras.

Ahora, supongamos WLOG que [math] es obtuso. Tenemos que [math]. Por propiedades trigonométricas, [math].
La desigualdad se reescribe como [math].
Aplicamos Jensen, ya que [math]:

[math]. Entonces, queremos ver que [math].

Por la identidad trigonométrica del ángulo duplo, eso se reescribe como [math], que es verdad, ya que es una cuadrática en [math] cuyo discriminante es [math].

Entonces, estamos. [math]
"Though my eyes could see I still was a blind man"
Avatar de Usuario
Vladislao

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
FOFO Pascua 2017 - Jurado-FOFO Pascua 2017
Mensajes: 808
Registrado: Mar 28 Dic, 2010 3:26 pm
Medallas: 6
Nivel: Exolímpico
Ubicación: Córdoba

Re: Desigualdad con lados de un triángulo.

Mensaje sin leer por Vladislao »

Posteo otra manera de concluir el problema usando solamente la desigualdad de medias geométrica y aritmética.
Spoiler: mostrar
A partir de lo que dijo Nacho, vamos a concentrarnos en probar que la suma de los cosenos de los ángulos de un triángulo no excede [math], en símbolos:

[math]

Bajo la restricción obvia de que [math]. En tal caso, [math], o sea que lo que queremos ver es en definitiva:

[math]

Para esto usamos que: [math], así que:

[math]

Si reemplazamos [math], [math], nos queda [math] y [math].

(Si asumimos que [math], es trivial ver que [math] y [math] son agudos, y por lo tanto [math])

Ahora, lo que queremos es ver:

[math]

Para esto llamemos [math] a la expresión del lado izquierdo, notemos que:

[math]

Usando la desigualdad de medias geométrica y aritmética:

[math]

Pero notemos que la expresión de la derecha es igual a:

[math]

Entonces:

[math]

Poniendo [math], tenemos que:

[math]

O sea:

[math]

La última desigualdad se debe a que [math] siempre.

En definitiva, [math], como queríamos.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Avatar de Usuario
Ivan

Colaborador-Varias
Mensajes: 1023
Registrado: Vie 15 Oct, 2010 7:18 pm
Medallas: 1
Nivel: Exolímpico

Re: Desigualdad con lados de un triángulo.

Mensaje sin leer por Ivan »

Spoiler: mostrar
Esta técnica para resolver desigualdades es muy cuentosa, pero suele ser útil.

Vamos a usar la siguiente notación
[math]
([math] es por cyclic, porque es una suma cíclica)

Es una abreviatura muy cómoda para trabajar con sumas como la que aparece en el problema. Tiene propiedades muy útiles para simplificar cuentas de este estilo, como
[math]
Otra propiedad importante es
[math]
Vamos a usar estas propiedades más adelante.

Queremos probar que si [math], [math], [math] son lados de un triángulo entonces
[math]
Sean [math], [math], [math] números positivos tales que [math], [math], [math].

Basta ver que si [math], [math], [math] son positivos entonces
[math]
Esto equivale a
[math]
que es equivalente a
[math]
Desarrollando un poco más
[math]
Ahora (usando las propiedades que mencionamos antes) nuestra desigualdad se reduce a
[math]
Ahora ya quedan pocos términos y lo desarrollamos a mano:
[math]
que es equivalente a
[math]
Ahora vamos a probar [math]. Por AM-GM tenemos que [math] (y las otras desigualdades al rotar [math], [math] y [math]). Sumando tenemos
[math]


que es precisamente [math].
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
tuvie

Colaborador-Varias OFO - Medalla de Oro-OFO 2015 OFO - Medalla de Oro-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Jurado-OFO 2017
FOFO 7 años - Jurado-FOFO 7 años OFO - Jurado-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019
OFO - Jurado-OFO 2020 FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 OFO - Jurado-OFO 2021 OFO - Jurado-OFO 2022
Mensajes: 629
Registrado: Dom 09 Sep, 2012 11:58 am
Medallas: 14
Nivel: Exolímpico

Re: Desigualdad con lados de un triángulo.

Mensaje sin leer por tuvie »

Dejo un comentario:
Spoiler: mostrar
Es el caso $t=1$ de la desigualdad de Schur.
Responder