Problema 294 ( Propuesto por Marius Dragan y Neculai Stanciu.

Rumania)

Sea ABCD un cuadrilátero bicéntico de inradio r, circumradio R y diagonales p y q

𝑅2 (𝑝3 + 𝑞3 )·(𝑝+𝑞 )
Demostrar que 𝑟2
≥ 2𝑝2 𝑞2

Solución: (propuesta por Joaquim Nadal Vidal. Llagostera . Girona)

Si ABCD es inscribible en una circunferencia de radio R es claro que A+C = B+D = 180º

Considerando los triángulos ABC y ABD inscritos, es conocido que AC = 2R Sen B y BD = 2R Sen A

Tenemos pues p = 2r Sen B y q = 2r Sen A ,

𝑅2 (𝑆𝑒𝑛3 𝐴+ 𝑆𝑒𝑛3 𝐵) ( 𝑆𝑒𝑛 𝐴+𝑆𝑒𝑛 𝐵 )
Con esto deberemos probar que 𝑟2
≥ 2 𝑆𝑒𝑛2 𝐴· 𝑆𝑒𝑛2 𝐵
;

Si I es el incentro AI , BI , CI, DI son las bisectrices interiores de A, B, C y D

A B B C C D D A
AB = r ( Cotan + Cotan ) ; BC = r ( Cotan + Cotan ) ; CD = r ( Cotan + Cotan ) ; DA = r ( Cotan + Cotan )
2 2 2 2 2 2 2 2

𝐴 𝐵 𝐶 𝐴 𝐷 𝐵
Siendo A+C = 180, + ===> Cotan = 𝑇𝑎𝑛 ; Identicamente Cotan = 𝑇𝑎𝑛 ===>
2 2 2 2 2 2
A B B A A B B A
AB = r ( Cotan + Cotan ) ; BC = r ( Cotan + Tan ) ; CD = r ( Tan + Tan ) ; DA = r ( Tan + Cotan )
2 2 2 2 2 2 2 2

𝐴𝐶 2 = 4𝑅 2 𝑠𝑒𝑛2 𝐵 = 𝐵𝐴2 + 𝐵𝐶 2 − 2 · 𝐵𝐴 · 𝐵𝐶 · 𝐶𝑜𝑠 𝐵

𝐵𝐷 2 = 4𝑅 2 𝑠𝑒𝑛2 𝐴 = 𝐴𝐵2 + 𝐴𝐷 2 − 2 · 𝐴𝐵 · 𝐴𝐷 · 𝐶𝑜𝑠 𝐴

A B 2 B A 2 A B B A
4𝑅 2 𝑠𝑒𝑛2 𝐵 = 𝑟 2 · [(Cotan + Cotan ) + ( Cotan + Tan ) − 2 · ( Cotan + Cotan ) · ( Cotan + Tan ) . 𝐶𝑜𝑠 𝐵 ]
2 2 2 2 2 2 2 2

A B 2 B A 2 A B B A
4𝑅 2 𝑠𝑒𝑛2 𝐴 = 𝑟 2 · [(Cotan + Cotan ) + ( Tan + Cotan ) − 2 · ( Cotan + Cotan ) · ( Tan + Cotan ) . 𝐶𝑜𝑠 𝐴 ]
2 2 2 2 2 2 2 2

𝑅2
Aislando de ambas, igualando y operando nos queda
𝑟2

A B 2 B A 2 A B B A
[(Cotan + Cotan ) + ( Cotan + Tan ) − 2 · ( Cotan + Cotan ) · ( Cotan + Tan ) . 𝐶𝑜𝑠 𝐵 ] · 𝑠𝑒𝑛2 𝐴 =
2 2 2 2 2 2 2 2

A B 2 B A 2 A B B A
[(Cotan + Cotan ) + ( Tan + Cotan ) − 2 · ( Cotan + Cotan ) · ( Tan + Cotan ) . 𝐶𝑜𝑠 𝐴 ]· 𝑠𝑒𝑛2 𝐵
2 2 2 2 2 2 2 2

Esta igualdad se verifica en dos casos: cuando A = B y cuando A+B = 180

𝐴 𝐵 𝐴 𝐵 𝐵 𝐴
En el segundo caso + = 90 𝑦 𝑝𝑜𝑟 𝑡𝑎𝑛𝑡𝑜 Cotan = 𝑇𝑎𝑛 y Cotan = Tan
2 2 2 2 2 2

𝑅2 1+ 𝑆𝑒𝑛2 𝐴
Tanto si A y B son iguales como si son suplementarios se obtiene con facilidad al operar que
𝑟2
= 𝑆𝑒𝑛4 𝐴

Con esto la desigualdad del enunciado quedaría así:

1+ 𝑆𝑒𝑛2 𝐴 2 𝑆𝑒𝑛3 𝐴·2 𝑆𝑒𝑛 𝐴 𝟏+ 𝑺𝒆𝒏𝟐 𝑨

Probar que ≥ es decir probar que ≥2
𝑆𝑒𝑛4 𝐴 2 𝑆𝑒𝑛4 𝐴 𝑺𝒆𝒏𝟒 𝑨
Para ello veremos que 1 + 𝑆𝑒𝑛2 𝐴 − 2 𝑆𝑒𝑛4 𝐴 ≥ 0 ; si Sen A = x ∈ [0,1] tenemos la función
1
F(x) = 1 + 𝑥 2 - 2𝑥 4 ===> F’(x) = 2x -8𝑥 3 = 0 ===> x = 0 y x = 2

De 0 a ½ F crece y de ½ a 1 F decrece ; siendo F(0) = 1 ; F(1/2) = 9/8 y F(1) = 0

Tenemos que F(x) ≥ 0 y así terminamos