Considere um triângulo de lados a a a , b b b e c c c , opostos aos ângulos A A A , B B B e C C C , respectivamente.
Pela Lei dos Cossenos:
a 2 = b 2 + c 2 − 2 b c cos A . a^2=b^2+c^2-2bc\cos A. a 2 = b 2 + c 2 − 2 b c cos A . Reorganizando:
2 b c cos A = b 2 + c 2 − a 2 . 2bc\cos A=b^2+c^2-a^2. 2 b c cos A = b 2 + c 2 − a 2 . Portanto:
cos A = b 2 + c 2 − a 2 2 b c . \cos A=\frac{b^2+c^2-a^2}{2bc}. cos A = 2 b c b 2 + c 2 − a 2 . Agora usamos:
cos A = 1 − 2 sen 2 A 2 . \cos A=1-2\operatorname{sen}^2\frac A2. cos A = 1 − 2 sen 2 2 A . Assim:
1 − 2 sen 2 A 2 = b 2 + c 2 − a 2 2 b c . 1-2\operatorname{sen}^2\frac A2
=
\frac{b^2+c^2-a^2}{2bc}. 1 − 2 sen 2 2 A = 2 b c b 2 + c 2 − a 2 . Logo:
2 sen 2 A 2 = 1 − b 2 + c 2 − a 2 2 b c . 2\operatorname{sen}^2\frac A2
=
1-\frac{b^2+c^2-a^2}{2bc}. 2 sen 2 2 A = 1 − 2 b c b 2 + c 2 − a 2 . Colocando tudo no mesmo denominador:
2 sen 2 A 2 = 2 b c − b 2 − c 2 + a 2 2 b c . 2\operatorname{sen}^2\frac A2
=
\frac{2bc-b^2-c^2+a^2}{2bc}. 2 sen 2 2 A = 2 b c 2 b c − b 2 − c 2 + a 2 . Então:
2 sen 2 A 2 = a 2 − ( b − c ) 2 2 b c . 2\operatorname{sen}^2\frac A2
=
\frac{a^2-(b-c)^2}{2bc}. 2 sen 2 2 A = 2 b c a 2 − ( b − c ) 2 . Como:
a 2 − ( b − c ) 2 = ( a − b + c ) ( a + b − c ) , a^2-(b-c)^2
=
(a-b+c)(a+b-c), a 2 − ( b − c ) 2 = ( a − b + c ) ( a + b − c ) , temos:
sen 2 A 2 = ( a − b + c ) ( a + b − c ) 4 b c . \operatorname{sen}^2\frac A2
=
\frac{(a-b+c)(a+b-c)}{4bc}. sen 2 2 A = 4 b c ( a − b + c ) ( a + b − c ) . Seja p p p o semiperímetro:
p = a + b + c 2 . p=\frac{a+b+c}{2}. p = 2 a + b + c . Observe que:
a − b + c = 2 ( p − b ) a-b+c=2(p-b) a − b + c = 2 ( p − b ) e
a + b − c = 2 ( p − c ) . a+b-c=2(p-c). a + b − c = 2 ( p − c ) . Portanto:
sen 2 A 2 = ( p − b ) ( p − c ) b c . \operatorname{sen}^2\frac A2
=
\frac{(p-b)(p-c)}{bc}. sen 2 2 A = b c ( p − b ) ( p − c ) . Como A A A é um ângulo interno do triângulo:
sen A 2 = ( p − b ) ( p − c ) b c . \boxed{
\operatorname{sen}\frac A2
=
\sqrt{\frac{(p-b)(p-c)}{bc}}
}. sen 2 A = b c ( p − b ) ( p − c ) . Analogamente:
sen B 2 = ( p − a ) ( p − c ) a c \boxed{
\operatorname{sen}\frac B2
=
\sqrt{\frac{(p-a)(p-c)}{ac}}
} sen 2 B = a c ( p − a ) ( p − c ) e
sen C 2 = ( p − a ) ( p − b ) a b . \boxed{
\operatorname{sen}\frac C2
=
\sqrt{\frac{(p-a)(p-b)}{ab}}
}. sen 2 C = ab ( p − a ) ( p − b ) . Passo 2 — Multiplicando as três expressões Multiplicando:
sen A 2 sen B 2 sen C 2 \operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2 sen 2 A sen 2 B sen 2 C temos:
= ( p − b ) ( p − c ) b c ⋅ ( p − a ) ( p − c ) a c ⋅ ( p − a ) ( p − b ) a b . =
\sqrt{
\frac{(p-b)(p-c)}{bc}
\cdot
\frac{(p-a)(p-c)}{ac}
\cdot
\frac{(p-a)(p-b)}{ab}
}. = b c ( p − b ) ( p − c ) ⋅ a c ( p − a ) ( p − c ) ⋅ ab ( p − a ) ( p − b ) . Agrupando os termos:
= ( p − a ) ( p − b ) ( p − c ) a b c . =
\frac{(p-a)(p-b)(p-c)}{abc}. = ab c ( p − a ) ( p − b ) ( p − c ) . Agora entra a fórmula de Herão:
S 2 = p ( p − a ) ( p − b ) ( p − c ) , S^2=p(p-a)(p-b)(p-c), S 2 = p ( p − a ) ( p − b ) ( p − c ) , onde S S S é a área do triângulo.
Logo:
( p − a ) ( p − b ) ( p − c ) = S 2 p . (p-a)(p-b)(p-c)=\frac{S^2}{p}. ( p − a ) ( p − b ) ( p − c ) = p S 2 . Portanto:
sen A 2 sen B 2 sen C 2 = S 2 p a b c . \operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
=
\frac{S^2}{pabc}. sen 2 A sen 2 B sen 2 C = p ab c S 2 . Como a área também pode ser escrita como:
S = p r , S=pr, S = p r , onde r r r é o raio da circunferência inscrita, temos:
S 2 = p 2 r 2 . S^2=p^2r^2. S 2 = p 2 r 2 . Assim:
sen A 2 sen B 2 sen C 2 = p 2 r 2 p a b c = p r 2 a b c . \operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
=
\frac{p^2r^2}{pabc}
=
\frac{pr^2}{abc}. sen 2 A sen 2 B sen 2 C = p ab c p 2 r 2 = ab c p r 2 . Agora usamos a outra fórmula da área:
S = a b c 4 R , S=\frac{abc}{4R}, S = 4 R ab c , onde R R R é o raio da circunferência circunscrita.
Como também temos S = p r S=pr S = p r :
p r = a b c 4 R . pr=\frac{abc}{4R}. p r = 4 R ab c . Logo:
a b c = 4 R p r . abc=4Rpr. ab c = 4 R p r . Substituindo:
sen A 2 sen B 2 sen C 2 = p r 2 4 R p r . \operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
=
\frac{pr^2}{4Rpr}. sen 2 A sen 2 B sen 2 C = 4 R p r p r 2 . Portanto:
sen A 2 sen B 2 sen C 2 = r 4 R . \boxed{
\operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
=
\frac{r}{4R}
}. sen 2 A sen 2 B sen 2 C = 4 R r . Temos:
1 1 + a 2 + 1 1 + b 2 + 1 1 + c 2 . \frac{1}{\sqrt{1+a^2}}
+
\frac{1}{\sqrt{1+b^2}}
+
\frac{1}{\sqrt{1+c^2}}. 1 + a 2 1 + 1 + b 2 1 + 1 + c 2 1 . Como a = tg A a=\operatorname{tg}A a = tg A , temos:
1 1 + a 2 = 1 1 + tg 2 A . \frac{1}{\sqrt{1+a^2}}
=
\frac{1}{\sqrt{1+\operatorname{tg}^2A}}. 1 + a 2 1 = 1 + tg 2 A 1 . Usando:
1 + tg 2 A = 1 cos 2 A , 1+\operatorname{tg}^2A=\frac{1}{\cos^2A}, 1 + tg 2 A = cos 2 A 1 , obtemos:
1 1 + tg 2 A = cos A . \frac{1}{\sqrt{1+\operatorname{tg}^2A}}
=
\cos A. 1 + tg 2 A 1 = cos A . Da mesma forma:
1 1 + b 2 = cos B \frac{1}{\sqrt{1+b^2}}=\cos B 1 + b 2 1 = cos B e
1 1 + c 2 = cos C . \frac{1}{\sqrt{1+c^2}}=\cos C. 1 + c 2 1 = cos C . Logo, basta provar que:
cos A + cos B + cos C ≤ 3 2 . \cos A+\cos B+\cos C\leq\frac32. cos A + cos B + cos C ≤ 2 3 . Passo 4 — Obtendo uma identidade para cos A + cos B + cos C \cos A+\cos B+\cos C cos A + cos B + cos C Como:
A + B + C = 180 ∘ , A+B+C=180^\circ, A + B + C = 18 0 ∘ , temos:
A + B = 180 ∘ − C . A+B=180^\circ-C. A + B = 18 0 ∘ − C . Dividindo por 2 2 2 :
A + B 2 = 90 ∘ − C 2 . \frac{A+B}{2}
=
90^\circ-\frac C2. 2 A + B = 9 0 ∘ − 2 C . Agora:
cos A + cos B = 2 cos A + B 2 cos A − B 2 . \cos A+\cos B
=
2\cos\frac{A+B}{2}
\cos\frac{A-B}{2}. cos A + cos B = 2 cos 2 A + B cos 2 A − B . Como:
A + B 2 = 90 ∘ − C 2 , \frac{A+B}{2}=90^\circ-\frac C2, 2 A + B = 9 0 ∘ − 2 C , temos:
cos A + B 2 = sen C 2 . \cos\frac{A+B}{2}
=
\operatorname{sen}\frac C2. cos 2 A + B = sen 2 C . Portanto:
cos A + cos B = 2 sen C 2 cos A − B 2 . \cos A+\cos B
=
2\operatorname{sen}\frac C2
\cos\frac{A-B}{2}. cos A + cos B = 2 sen 2 C cos 2 A − B . Somando cos C \cos C cos C :
cos A + cos B + cos C = 2 sen C 2 cos A − B 2 + cos C . \cos A+\cos B+\cos C
=
2\operatorname{sen}\frac C2
\cos\frac{A-B}{2}
+\cos C. cos A + cos B + cos C = 2 sen 2 C cos 2 A − B + cos C . Como:
cos C = 1 − 2 sen 2 C 2 , \cos C=1-2\operatorname{sen}^2\frac C2, cos C = 1 − 2 sen 2 2 C , segue que:
cos A + cos B + cos C = 1 + 2 sen C 2 ( cos A − B 2 − sen C 2 ) . \cos A+\cos B+\cos C
=
1+
2\operatorname{sen}\frac C2
\left(
\cos\frac{A-B}{2}
-\operatorname{sen}\frac C2
\right). cos A + cos B + cos C = 1 + 2 sen 2 C ( cos 2 A − B − sen 2 C ) . Mas:
sen C 2 = cos A + B 2 . \operatorname{sen}\frac C2
=
\cos\frac{A+B}{2}. sen 2 C = cos 2 A + B . Logo:
cos A − B 2 − sen C 2 = cos A − B 2 − cos A + B 2 . \cos\frac{A-B}{2}
-\operatorname{sen}\frac C2
=
\cos\frac{A-B}{2}
-\cos\frac{A+B}{2}. cos 2 A − B − sen 2 C = cos 2 A − B − cos 2 A + B . Usando:
cos u − cos v = − 2 sen u + v 2 sen u − v 2 , \cos u-\cos v
=
-2\operatorname{sen}\frac{u+v}{2}
\operatorname{sen}\frac{u-v}{2}, cos u − cos v = − 2 sen 2 u + v sen 2 u − v , obtemos:
cos A − B 2 − cos A + B 2 = 2 sen A 2 sen B 2 . \cos\frac{A-B}{2}
-\cos\frac{A+B}{2}
=
2\operatorname{sen}\frac A2
\operatorname{sen}\frac B2. cos 2 A − B − cos 2 A + B = 2 sen 2 A sen 2 B . Assim:
cos A + cos B + cos C = 1 + 4 sen A 2 sen B 2 sen C 2 . \cos A+\cos B+\cos C
=
1+
4\operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2. cos A + cos B + cos C = 1 + 4 sen 2 A sen 2 B sen 2 C . Portanto:
cos A + cos B + cos C = 1 + 4 sen A 2 sen B 2 sen C 2 . \boxed{
\cos A+\cos B+\cos C
=
1+
4\operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
}. cos A + cos B + cos C = 1 + 4 sen 2 A sen 2 B sen 2 C . Passo 5 — Usando o resultado do Passo 2 Já mostramos que:
sen A 2 sen B 2 sen C 2 = r 4 R . \operatorname{sen}\frac A2
\operatorname{sen}\frac B2
\operatorname{sen}\frac C2
=
\frac r{4R}. sen 2 A sen 2 B sen 2 C = 4 R r . Então:
cos A + cos B + cos C = 1 + 4 ⋅ r 4 R . \cos A+\cos B+\cos C
=
1+4\cdot\frac r{4R}. cos A + cos B + cos C = 1 + 4 ⋅ 4 R r . Logo:
cos A + cos B + cos C = 1 + r R . \cos A+\cos B+\cos C
=
1+\frac rR. cos A + cos B + cos C = 1 + R r . Portanto, nossa expressão original é:
1 + r R . \boxed{
1+\frac rR
}. 1 + R r . Passo 6 — Obtendo a desigualdade Para todo triângulo:
R ≥ 2 r . R\geq2r. R ≥ 2 r . Logo:
r R ≤ 1 2 . \frac rR\leq\frac12. R r ≤ 2 1 . Consequentemente:
1 + r R ≤ 1 + 1 2 . 1+\frac rR
\leq
1+\frac12. 1 + R r ≤ 1 + 2 1 . Portanto:
1 + r R ≤ 3 2 . 1+\frac rR\leq\frac32. 1 + R r ≤ 2 3 . Assim:
1 1 + a 2 + 1 1 + b 2 + 1 1 + c 2 ≤ 3 2 . \boxed{
\frac{1}{\sqrt{1+a^2}}
+
\frac{1}{\sqrt{1+b^2}}
+
\frac{1}{\sqrt{1+c^2}}
\leq
\frac32
}. 1 + a 2 1 + 1 + b 2 1 + 1 + c 2 1 ≤ 2 3 . A igualdade ocorre quando:
R = 2 r , R=2r, R = 2 r , isto é, quando o triângulo é equilátero.
Nesse caso:
A = B = C = 60 ∘ A=B=C=60^\circ A = B = C = 6 0 ∘ e, portanto:
a = b = c = tg 60 ∘ = 3 . a=b=c=\operatorname{tg}60^\circ=\sqrt3. a = b = c = tg 6 0 ∘ = 3 . Finalmente:
1 1 + 3 + 1 1 + 3 + 1 1 + 3 = 3 2 . \frac{1}{\sqrt{1+3}}
+
\frac{1}{\sqrt{1+3}}
+
\frac{1}{\sqrt{1+3}}
=
\frac32. 1 + 3 1 + 1 + 3 1 + 1 + 3 1 = 2 3 . Logo, o resultado está provado.
3 2 \boxed{\frac32} 2 3