Escolar Documentos
Profissional Documentos
Cultura Documentos
RESOLUÇÃO
Exibiremos inicialmente alguns resultados e propriedades que tem como objetivo único de
ajudar a compreensão das demonstrações.
𝐴𝐻 𝑠𝑒𝑛(900−𝐴̂) 𝐴𝐻 𝑐𝑜𝑠(𝐴̂)
= 𝑠𝑒𝑛(900−𝐴̂+900−𝐶̂ ) = 𝑠𝑒𝑛(𝐵̂)
2𝑅𝑠𝑒𝑛(𝐵̂)
AHC: | 𝐴𝐶 ⏟
𝐿𝑒𝑖 𝑑𝑜𝑠 𝑆𝑒𝑛𝑜𝑠 𝐀𝐁𝐂
(1)
𝐴𝐻 = 2𝑅 cos ̂
𝐴 = 2𝑅 𝑐𝑜𝑠𝛼.
̂
𝐵 ̂
𝐵 ̂
𝐶 ̂
𝐶 ̂
𝐵
𝐴𝐼 𝑠𝑒𝑛( ) 𝐴𝐼 𝑠𝑒𝑛( ) 2.𝑅 .2 .𝑠𝑒𝑛( ).𝑐𝑜𝑠( )𝑠𝑒𝑛( )
𝐴𝐼 =
2 2 2 2 2
= ̂ 𝐵 = ̂ ̂
̂ ̂ 2𝑅𝑠𝑒𝑛(𝐶̂ ) ̂ ̂
AIB: ||
𝐴𝐵 𝐴
𝑠𝑒𝑛( + ) ⏟ 𝐶
𝑐𝑜𝑠( )
𝐶
𝑐𝑜𝑠( )
2 2 𝐿𝑒𝑖 𝑑𝑜𝑠 𝑆𝑒𝑛𝑜𝑠 𝐀𝐁𝐂 2 2 ( 2)
𝐵̂ 𝐶̂̂ 𝛽 𝛾
𝐴𝐼 = 4𝑅 𝑠𝑒𝑛 (2 ) . 𝑠𝑒𝑛 (2 ) = 4𝑅 sen 2 𝑠𝑒𝑛 2
𝐴̂ 𝑟 𝑟 𝑟
AIT: 𝑠𝑒𝑛 ( ) =
2 𝐴𝐼
AI = ̂
𝐴
AI = 𝜶 (3)
𝑠𝑒𝑛( ) 𝑠𝑒𝑛
2 𝟐
PROPRIEDADE: O simétrico de H (ortocentro) em relação ao lado do ABC está sobre o
circuncírculo do ABC
𝑯𝑯´ = 2 H´𝐻𝐴 = 2𝐶𝐻´. cos𝐵̂ = 2. ⏟
2𝑅. 𝑠𝑒𝑛 (900 − 𝐶̂ ) cos𝐵̂ = 4𝑅. cos𝐵̂cos𝐶̂
𝑪𝑯𝑯´: | 𝐿𝑒𝑖 𝑑𝑜𝑠 𝑆𝑒𝑛𝑜𝑠 𝐀𝐂𝐇´ (4)
𝑯𝑯´ = 4𝑅. cosβ. cosγ
𝐴̂ 𝐵̂ 𝐶̂̂ 𝑟
De (2) e (3) : 4𝑠𝑒𝑛 ( ) . 𝑠𝑒𝑛 ( ) . 𝑠𝑒𝑛 ( ) = . (5)
2 2 2 𝑅
𝑅 𝑅 𝑹
A´BO: cos (𝐴̂) =
𝐴´𝑂
A´O = 𝐶𝑂𝑆(𝐴̂ ) 𝑨´𝑶 = 𝒄𝒐𝒔 𝜶. (6)
a) DEMONSTRAÇÃO Justificativa
𝒓 𝜶 𝒓 𝜶
𝑅2 − 𝑂𝐼 2 = 𝜶 . 𝟐𝑹. 𝒔𝒆𝒏 AI = 𝜶 (3) e 𝑰𝑺 = 𝑺𝑪 = ⏟𝟐𝑹. 𝒔𝒆𝒏 (figura ao lado)
𝒔𝒆𝒏 𝟐 𝒔𝒆𝒏 𝟐
𝟐 𝟐
𝐿𝑒𝑖 𝑑𝑜𝑠 𝑆𝑒𝑛𝑜𝑠 𝐀𝐒𝐂
𝑅2 − 𝑂𝐼 2 = 𝟐𝑹𝒓 𝒔𝒊𝒎𝒑𝒍𝒊𝒇𝒊𝒄𝒂çõ𝒆𝒔
𝑶𝑰 = √𝑹2 − 𝟐𝑹𝒓
Nota: Demonstração devido a EULER.
b) DEMONSTRAÇÃO Justificativa
𝑸´𝑯 × 𝑯𝑷´ = (𝑅 + 𝑂𝐻). (𝑅 − 𝑂𝐻) = 𝑨𝑯 × 𝑯𝑯´ 𝒑𝒐𝒕ê𝒏𝒄𝒊𝒂 𝒅𝒆 𝑯 𝒆𝒎 𝒓𝒆𝒍𝒂çã𝒐 𝒂𝒐 𝒄𝒊𝒓𝒄𝒖𝒏𝒄í𝒓𝒄𝒖𝒍𝒐 𝒅𝒐 𝑨𝑩𝑪
𝑹
𝑶𝑯 = 𝑹√𝟏 − 𝟐
𝑹´
c) Demonstração Justificativa
2 2 2
𝐻𝐼 = 𝐴𝐻 + 𝐴𝐼 − 2𝐴𝐻. 𝐴𝐼. cos(∠𝐼𝐴𝐻) Lei dos Cossenos IAH
𝛾−𝛽 𝛾−𝛽 𝛾−𝛽 𝛾−𝛽
𝐻𝐼 2 = 𝐴𝐻 2 + 𝐴𝐼 2 − 2𝐴𝐻. 𝐴𝐼.cos ( 〗 |∠𝐼𝐴𝐻 | = |
2
| e cos (
2
〗= cos ( |
2
|〗
2
𝛽 𝛾 𝛽 𝛾 𝛽 𝛾 𝛽 𝛾 𝛽 𝛾
𝐻𝐼 2 = 4. 𝑅2 . 𝑐𝑜𝑠 2 𝛼 + 16𝑅 2 . 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 − 16𝑅2 𝑐𝑜𝑠𝛼. sen 2 . 𝑠𝑒𝑛 2 . (cos 2 𝑐𝑜𝑠 2 + sen 2 𝑠𝑒𝑛 2) AH=2𝑅 𝑐𝑜𝑠𝛼 (1) e AI= 4𝑅 sen
2
𝑠𝑒𝑛
2
(𝟐)
𝛽 𝛾 𝛽 𝛽 𝛾 𝛾 𝛽 𝛾
𝐻𝐼 2 = 4. 𝑅2 . [ 𝑐𝑜𝑠 2𝛼 + 4 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 − 4. 𝑐𝑜𝑠𝛼. sen 2 . cos 2 𝑠𝑒𝑛 2 𝑐𝑜𝑠 2 − 4. 𝑐𝑜𝑠𝛼. 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 ] Fator comum -Propriedade distributiva
𝛽 𝛾 𝛽 𝛽 𝛾 𝛾 Agrupamento conveniente e Fator comum
𝐻𝐼 2 = 4. 𝑅2 . [ 4 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 (1 − 𝑐𝑜𝑠𝛼 ) + 𝑐𝑜𝑠𝛼 ( 𝑐𝑜𝑠𝛼 − 4. sen 2 . cos 2 𝑠𝑒𝑛 2 𝑐𝑜𝑠 2 ) ]
𝛽 𝛾 𝛼
𝐻𝐼 2 = 4. 𝑅2 . [ 4 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 (2𝑠𝑒𝑛2 2 ) + 𝑐𝑜𝑠𝛼 (cos(1800 − (𝛽 + 𝛾 )) − sen𝛽. 𝑠𝑒𝑛 𝛾)] ∆𝐴𝐵𝐶: 𝛼 + 𝛽 + 𝛾 = 1800
Identidades clássicas:
𝑥 𝑥 𝑥
2𝑠𝑒𝑛2 = 1 − 𝑐𝑜𝑠𝑥 e 𝑠𝑒𝑛𝑥 = 2. 𝑠𝑒𝑛 𝑐𝑜𝑠 )
2 2 2
𝛼 𝛽 𝛾 cos(1800 − (𝛽 + 𝛾)) = − 𝑐𝑜𝑠(𝛽 + 𝛾)
𝐻𝐼 2 = 4. 𝑅2 . [ 8. 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 . 𝑠𝑒𝑛2 2 − 𝑐𝑜𝑠𝛼 . 𝑐𝑜𝑠𝛽. 𝑐𝑜𝑠𝛾]
𝑐𝑜𝑠(𝛽 + 𝛾) = cos 𝛽 𝑐𝑜𝑠𝛾 − sen 𝛽 𝑠𝑒𝑛𝛾
𝐴̂ 𝐵̂ 𝐶̂ 𝑟
4𝑠𝑒𝑛 ( ) . 𝑠𝑒𝑛 ( ) . 𝑠𝑒𝑛 ( ) = . (5)
2 2 𝒓𝟐 𝑹 2 2 2 𝑅
𝐻𝐼 = 4. 𝑅 . [ 8. − ] 4. 𝑐𝑜𝑠𝐴̂. 𝑐𝑜𝑠𝐵̂ 𝑐𝑜𝑠𝐶̂ =
𝑅
(8)
𝟏𝟔𝑹𝟐 𝟒.𝑹 ´ 𝑅´
𝑹𝟑 Propriedade Distributiva
𝑯𝑰𝟐 = 𝟐 𝒓𝟐 − .
𝑹´
𝑹𝟑
∴ 𝑯𝑰 = √𝟐𝒓𝟐 −
𝑹´
d) demonstração
Observando que o circuncírculo do ∆𝐴𝐵𝐶 é o incírculo do ∆𝐴´𝐵´𝐶´ , conclui-se
triângulo.
Nota1: O livro Johnson's Advanced Euclidean Geometry( pg 205 ) fornece três fórmulas preparatórias para a prova do teorema de “Feuerbach”
Nota3: Da demonstração feita em (c) obtém-se também 𝑯𝑰𝟐 = 𝟐𝒓𝟐 − 𝟒𝑹𝟐 . 𝒄𝒐𝒔𝜶. 𝒄𝒐𝒔𝜷. 𝒄𝒐𝒔𝜸