от drago » 21 Апр 2013, 08:57
Oзначаваме: [tex]AA' \cap k = A_1 , \, BB' \cap k = B_1 ,\, CC' \cap k = C_1[/tex] .
Известно е че (доказва се съвсем лесно):
(1) [tex]\,\,\, HA' = A'A_1 ,\, HB'=B'B_1 ,\, HC'=C'C_1[/tex] .
Сега oт свойствата на секущи през една точка имаме:
[tex]PH.HQ=AH.HA_1=BH.HB_1= CH.HC_1[/tex]
Kaто използваме (1), горното става:
(2) [tex]\,\,\, PH.HQ=2 AH.HA' = 2BH.HB' = 2CH.HC'[/tex]
Пак от свойството на секущите имаме:
(3) [tex]\,\,\, PA'.A'A'' = AA'.A'A_1 = AA'.HA'[/tex]
Aналогично:
(3)[tex]\,\,\, PB'.B'B''=BB'.HB'[/tex]
[tex]\,\,\, PC'.C'C''=CC'.HC'[/tex]
Вече сме готови за съществената част:
[tex]\frac{1}{PA'.A'A''}+\frac{1}{PB'.B'B''}+\frac{1}{PC'.C'C''}=\frac{4}{PH.HQ}[/tex] <=>
(използваме (3) )
[tex]\frac{1}{AA'.HA'}+\frac{1}{BB'.HB'}+\frac{1}{CC'.HC'}=\frac{4}{PH.HQ}[/tex] <=>
(умножаваме двете страни по [tex]PH.HQ[/tex] и използваме (2) )
[tex]2\frac{AH}{AA'}+2\frac{BH}{BB'} + 2\frac{CH}{CC'} = 4[/tex] <=>
[tex]\frac{AA'-HA'}{AA'}+\frac{BB'-HB'}{BB'} + \frac{CC'-HC'}{CC'}=2[/tex] <=>
[tex]\frac{HA'}{AA'}+\frac{HB'}{BB'} + \frac{HC'}{CC'}=1[/tex] <=>
[tex]\frac{S_{BCH}+S_{ACH}+S_{ABH}}{S_{ABC}} = 1[/tex] .
което е очевидно.
Единственото, което се използва съществено, че [tex]H[/tex] е ортоцентър е (1). Всичко останало е вярно и за произволни чевиани, поради това, смятам че твърдението няма да е вярно за произволни чевиани (с някаква друга константа).