сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

Окруж­ность, впи­сан­ная в тре­уголь­ник ABC, ка­са­ет­ся сто­ро­ны AC в точке D. От­ре­зок BD по­втор­но пе­ре­се­ка­ет окруж­ность в точке E. Точки F и G на окруж­но­сти та­ко­вы, что FE || BC и GE || BA. До­ка­жи­те, что от­ре­зок, со­еди­ня­ю­щий цен­тры впи­сан­ных окруж­но­стей тре­уголь­ни­ков DEF и DEG, де­лит­ся по­по­лам бис­сек­три­сой угла GDF.

 

(Ф. Ба­ха­рев)

Спрятать решение

Ре­ше­ние.

Пусть X и Y  — точки ка­са­ния впи­сан­ной окруж­но­сти тре­уголь­ни­ка ABC со сто­ро­на­ми AB и BC со­от­вет­ствен­но, а точки I_1 и I_2  — цен­тры впи­сан­ных окруж­но­стей тре­уголь­ни­ков E G D и E F D . Не­слож­но по­ка­зать, что ка­са­тель­ная, па­рал­лель­ная хорде, про­хо­дит через се­ре­ди­ну дуги, ко­то­рую стя­ги­ва­ет хорда. Из чего сле­ду­ет, что точка X лежит на пря­мой D I_1, а точка Y  — на пря­мой D I_2 . По свой­ству ка­са­тель­ной \angle X D B=\angle B X E, по­это­му тре­уголь­ни­ки BXE и BDX по­доб­ны и имеет место ра­вен­ство E X: X D=B X: B D . И по ана­ло­гич­ным со­об­ра­же­ни­ям B Y: B D=E Y: Y D . Но B X=B Y, а зна­чит,

 E X: X D=E Y: Y D. \qquad левая круг­лая скоб­ка * пра­вая круг­лая скоб­ка

Далее за­ме­тим, что по лемме Ман­си­о­на XE=XI_1 и EY=YY=YI_2. Под­став­ляя в по­след­нее ра­вен­ство, по­лу­ча­ем, что от­ку­да X Y \| I_1 I_2.

Те­перь мы можем до­ка­зы­вать, что бис­сек­три­са угла GDF делит по­по­лам от­ре­зок XY, и это будет рав­но­силь­но утвер­жде­нию за­да­чи. Пусть еще \angle G D X=\angle X D E= альфа , \angle E D Y=\angle Y D F= бета , и бис­сек­три­са угла G D F пе­ре­се­ка­ет вто­рич­но впи­сан­ную в тре­уголь­ник A B C окруж­ность в точке E_1. Тогда

\angle G D E_1=\angle E_1 D F= альфа плюс бета

и  \angle Y D E_1= альфа .

В силу по­след­не­го ра­вен­ства, дуги, а зна­чит, и хорды, E X и E_1 Y равны, и E_1 X=E Y. Под­став­ляя эти ра­вен­ства в (*), по­лу­ча­ем

E_1 Y: X D=E_1 X: Y D рав­но­силь­но E_1 Y умно­жить на Y D=E_1 X умно­жить на X D .

До­мно­жая по­след­нее ра­вен­ство на  синус \angle E_1 Y D= синус \angle E_1 X D, по­лу­ча­ем ра­вен­ство пло­ща­дей S_E_1 Y D=S_E_1 X D, что, оче­вид­но, воз­мож­но толь­ко в том слу­чае, когда D E_1 делит X Y по­по­лам.