Vamos determinar separadamente cada uma das parcelas do numerador.
1. Determinação de A A 1 ‾ cos α 2 \overline{AA_1}\cos\frac{\alpha}{2} A A 1 cos 2 α Considere o triângulo A A 1 B AA_1B A A 1 B .
Como A A 1 AA_1 A A 1 é a bissetriz interna do ângulo α \alpha α , temos
∠ B A A 1 = α 2 . \angle BAA_1=\frac{\alpha}{2}. ∠ B A A 1 = 2 α . Além disso, os ângulos ∠ C B A 1 \angle CBA_1 ∠ C B A 1 e ∠ A 1 A C \angle A_1AC ∠ A 1 A C são ângulos inscritos que subtendem o mesmo arco C A 1 ^ \widehat{CA_1} C A 1 . Portanto,
∠ C B A 1 = ∠ A 1 A C = α 2 . \angle CBA_1=\angle A_1AC=\frac{\alpha}{2}. ∠ C B A 1 = ∠ A 1 A C = 2 α . Como
∠ A B C = β , \angle ABC=\beta, ∠ A B C = β , e os raios B A BA B A e B A 1 BA_1 B A 1 estão em lados opostos de B C BC B C , segue que
∠ A B A 1 = β + α 2 . \angle ABA_1
=
\beta+\frac{\alpha}{2}. ∠ A B A 1 = β + 2 α . Aplicando a Lei dos Senos no triângulo A A 1 B AA_1B A A 1 B :
A A 1 ‾ sen ( β + α 2 ) = 2 R . \frac{\overline{AA_1}}
{\operatorname{sen}\left(\beta+\frac{\alpha}{2}\right)}
=
2R. sen ( β + 2 α ) A A 1 = 2 R . Como o raio da circunferência é unitário,
R = 1 , R=1, R = 1 , e, portanto,
A A 1 ‾ = 2 sen ( β + α 2 ) . \overline{AA_1}
=
2\operatorname{sen}\left(\beta+\frac{\alpha}{2}\right). A A 1 = 2 sen ( β + 2 α ) . Multiplicando por cos α 2 \cos\frac{\alpha}{2} cos 2 α :
A A 1 ‾ cos α 2 = 2 sen ( β + α 2 ) cos α 2 . \overline{AA_1}\cos\frac{\alpha}{2}
=
2\operatorname{sen}\left(\beta+\frac{\alpha}{2}\right)
\cos\frac{\alpha}{2}. A A 1 cos 2 α = 2 sen ( β + 2 α ) cos 2 α . Usando a fórmula da transformação em soma de senos,
2 sen x cos y = sen ( x + y ) + sen ( x − y ) , 2\operatorname{sen}x\cos y
=
\operatorname{sen}(x+y)+\operatorname{sen}(x-y), 2 sen x cos y = sen ( x + y ) + sen ( x − y ) , obtemos
A A 1 ‾ cos α 2 = sen ( α + β ) + sen β . \overline{AA_1}\cos\frac{\alpha}{2}
=
\operatorname{sen}(\alpha+\beta)+\operatorname{sen}\beta. A A 1 cos 2 α = sen ( α + β ) + sen β . Como
α + β + γ = π , \alpha+\beta+\gamma=\pi, α + β + γ = π , temos
sen ( α + β ) = sen ( π − γ ) = sen γ . \operatorname{sen}(\alpha+\beta)
=
\operatorname{sen}(\pi-\gamma)
=
\operatorname{sen}\gamma. sen ( α + β ) = sen ( π − γ ) = sen γ . Logo,
A A 1 ‾ cos α 2 = sen β + sen γ . \boxed{
\overline{AA_1}\cos\frac{\alpha}{2}
=
\operatorname{sen}\beta+\operatorname{sen}\gamma
}. A A 1 cos 2 α = sen β + sen γ . 2. As outras duas parcelas Aplicando exatamente o mesmo raciocínio aos pontos B 1 B_1 B 1 e C 1 C_1 C 1 , obtemos
B B 1 ‾ cos β 2 = sen α + sen γ \boxed{
\overline{BB_1}\cos\frac{\beta}{2}
=
\operatorname{sen}\alpha+\operatorname{sen}\gamma
} B B 1 cos 2 β = sen α + sen γ e
C C 1 ‾ cos γ 2 = sen α + sen β . \boxed{
\overline{CC_1}\cos\frac{\gamma}{2}
=
\operatorname{sen}\alpha+\operatorname{sen}\beta
}. C C 1 cos 2 γ = sen α + sen β . Portanto, o numerador da expressão é
( sen β + sen γ ) + ( sen α + sen γ ) + ( sen α + sen β ) . (\operatorname{sen}\beta+\operatorname{sen}\gamma)
+
(\operatorname{sen}\alpha+\operatorname{sen}\gamma)
+
(\operatorname{sen}\alpha+\operatorname{sen}\beta). ( sen β + sen γ ) + ( sen α + sen γ ) + ( sen α + sen β ) . Agrupando os termos:
= 2 sen α + 2 sen β + 2 sen γ . =2\operatorname{sen}\alpha
+2\operatorname{sen}\beta
+2\operatorname{sen}\gamma. = 2 sen α + 2 sen β + 2 sen γ . Assim,
A A 1 ‾ cos α 2 + B B 1 ‾ cos β 2 + C C 1 ‾ cos γ 2 = 2 ( sen α + sen β + sen γ ) . \overline{AA_1}\cos\frac{\alpha}{2}
+
\overline{BB_1}\cos\frac{\beta}{2}
+
\overline{CC_1}\cos\frac{\gamma}{2}
=
2(\operatorname{sen}\alpha+\operatorname{sen}\beta+\operatorname{sen}\gamma). A A 1 cos 2 α + B B 1 cos 2 β + C C 1 cos 2 γ = 2 ( sen α + sen β + sen γ ) . Substituindo na expressão original:
2 ( sen α + sen β + sen γ ) sen α + sen β + sen γ = 2. \frac{
2(\operatorname{sen}\alpha+\operatorname{sen}\beta+\operatorname{sen}\gamma)
}{
\operatorname{sen}\alpha+\operatorname{sen}\beta+\operatorname{sen}\gamma
}
=2. sen α + sen β + sen γ 2 ( sen α + sen β + sen γ ) = 2. Portanto,
2 . \boxed{2}. 2 .