daogiauvangКрасивая задачка! Первая половина что-то мне напоминает про бабочку..
А вот картинки я рисовать не умею....
1.Опустим из центра
![$O$ $O$](https://dxdy-02.korotkov.co.uk/f/9/a/f/9afe6a256a9817c76b579e6f5db9a57882.png)
перпендикуляр
![$OD$ $OD$](https://dxdy-04.korotkov.co.uk/f/3/4/0/3405892887a74f4ca4919e69acf67b8682.png)
на хорду
![$PQ$ $PQ$](https://dxdy-01.korotkov.co.uk/f/4/d/c/4dc2cc46a0b93726518c4efa8a7b182082.png)
: он попадает в ее середину:
![$PD=DQ$ $PD=DQ$](https://dxdy-03.korotkov.co.uk/f/a/3/5/a3584d323454bdc7c54fb577d550b88982.png)
. Углы
![$KDO$ $KDO$](https://dxdy-04.korotkov.co.uk/f/3/7/3/3737d20be41d839768ed2e7cdea420e182.png)
и
![$KAO$ $KAO$](https://dxdy-01.korotkov.co.uk/f/4/0/9/40956ff3e364479b5a3835d337459a4e82.png)
- прямые, так что точки
![$K,A,D,O$ $K,A,D,O$](https://dxdy-02.korotkov.co.uk/f/5/6/1/5613e1bc50c103bf1db646554ebf220282.png)
лежат на одной окружности. Поэтому углы
![$ADK$ $ADK$](https://dxdy-04.korotkov.co.uk/f/3/0/0/30012ad031519510dad9142ed0965c5782.png)
и
![$AOK$ $AOK$](https://dxdy-03.korotkov.co.uk/f/a/2/7/a279870ac152544a5cbab8c085bff8a082.png)
равны (как вписанные). Рассмотрим треугольники
![$APQ$ $APQ$](https://dxdy-03.korotkov.co.uk/f/2/f/c/2fc6053535827c849998c79029c9834282.png)
(с медианой
![$AD$ $AD$](https://dxdy-04.korotkov.co.uk/f/3/0/2/302313f495a507814f322d3ab8d9f71a82.png)
) и
![$FBA$ $FBA$](https://dxdy-01.korotkov.co.uk/f/0/e/4/0e4001f25e95c3dd39dfd2a355bdb71682.png)
(с медианой
![$FO$ $FO$](https://dxdy-04.korotkov.co.uk/f/f/d/2/fd2bc057608a3518f13ae156ec54e7e782.png)
): они подобны (сначала получим подобие их половинок
![$APD$ $APD$](https://dxdy-02.korotkov.co.uk/f/5/2/f/52f0b9af2bc42e1e44e0e56fc53c07d282.png)
и
![$FBO$ $FBO$](https://dxdy-03.korotkov.co.uk/f/e/4/b/e4b31526ec63223948988700a42d9a4682.png)
- по двум углам; отсюда получим пропорциональность их сторон; это даст пропорциональность пары сторон других половинок
![$ADQ$ $ADQ$](https://dxdy-03.korotkov.co.uk/f/e/7/1/e711d6bf767999e82983ae52645ce4c382.png)
и
![$FOA$ $FOA$](https://dxdy-03.korotkov.co.uk/f/6/3/1/6317ed4c92324e8e87b18f4e1261448882.png)
, но там есть и равные углы . Значит, есть подобие ).
Получили: угол
![$FAB$ $FAB$](https://dxdy-02.korotkov.co.uk/f/5/1/1/511d18ef36cc9ba773f1c885902fc05182.png)
равен углу
![$AQP$ $AQP$](https://dxdy-03.korotkov.co.uk/f/a/8/e/a8e9020d88719234049fb1b7671c918182.png)
. Но последний равен углу
![$APB$ $APB$](https://dxdy-01.korotkov.co.uk/f/4/e/0/4e0b5803a7a5d5cc50cd937ea524a54082.png)
. Это дает параллельность
![$AF$ $AF$](https://dxdy-02.korotkov.co.uk/f/9/c/e/9ce3d2d674ffef5717de2d64f1664d7482.png)
и
![$BE$ $BE$](https://dxdy-04.korotkov.co.uk/f/3/e/8/3e8ccbee4c0e92e1dd788c555082f6c182.png)
. Аналогично получим параллельность
![$AE$ $AE$](https://dxdy-01.korotkov.co.uk/f/0/2/6/026ea18c1a4cd0ec7375b240956aeb2482.png)
и
![$BF$ $BF$](https://dxdy-02.korotkov.co.uk/f/d/a/c/dac9b4e219d3549656567d5566439d2382.png)
, и параллелограмность
![$AEBF$ $AEBF$](https://dxdy-01.korotkov.co.uk/f/8/c/2/8c271d03efa7aadc03a4a516de9ab23382.png)
, откуда и следует равенство отрезков...
Нда...
2. Получили задачу: в параллелограмме
![$AEBF$ $AEBF$](https://dxdy-01.korotkov.co.uk/f/8/c/2/8c271d03efa7aadc03a4a516de9ab23382.png)
из вершины
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
опустили перпендикуляры
![$AP$ $AP$](https://dxdy-01.korotkov.co.uk/f/0/b/3/0b384cad229068d9446a09131e6a4be282.png)
и
![$AQ$ $AQ$](https://dxdy-04.korotkov.co.uk/f/b/4/3/b4369c6c898141841d06b21e11f9083582.png)
на продолжения сторон пар-мма.
![$I$ $I$](https://dxdy-03.korotkov.co.uk/f/2/1/f/21fd4e8eecd6bdf1a4d3d6bd1fb8d73382.png)
- точка пересечения отрезков
![$PF$ $PF$](https://dxdy-02.korotkov.co.uk/f/9/a/5/9a5b06347671e0d13dce1406fa98255b82.png)
и
![$QE$ $QE$](https://dxdy-04.korotkov.co.uk/f/3/1/a/31a2d04c86ac2c65e0a464a1ff1f6c9482.png)
. доказать:
![$AI$ $AI$](https://dxdy-01.korotkov.co.uk/f/8/a/4/8a4973dd20f32e1b38aec1c800f3913682.png)
ортогонально
![$PQ$ $PQ$](https://dxdy-01.korotkov.co.uk/f/4/d/c/4dc2cc46a0b93726518c4efa8a7b182082.png)
.
a)(Вектора) Пусть
![$\overrightarrow{BE} = \vec{e}, \overrightarrow{BF}= \vec{f}$ $\overrightarrow{BE} = \vec{e}, \overrightarrow{BF}= \vec{f}$](https://dxdy-03.korotkov.co.uk/f/6/c/f/6cfa7e95fac4c2140229395fc064461682.png)
. Тогда
![$\overrightarrow{BP} = k_1\cdot \vec{e}, \overrightarrow{BQ}= k_2\cdot \vec{f}, \overrightarrow{BA}=\vec{e}+\vec{f}$ $\overrightarrow{BP} = k_1\cdot \vec{e}, \overrightarrow{BQ}= k_2\cdot \vec{f}, \overrightarrow{BA}=\vec{e}+\vec{f}$](https://dxdy-02.korotkov.co.uk/f/d/8/9/d89461954907cb12c918a3178d6ad53382.png)
. Имеем: вектор
![$\overrightarrow{BI} $ $\overrightarrow{BI} $](https://dxdy-04.korotkov.co.uk/f/3/4/0/34070ac3d1d72ec34cb316634d43cf4882.png)
есть взвешенная сумма векторов
![$\overrightarrow{BE}$ $\overrightarrow{BE}$](https://dxdy-03.korotkov.co.uk/f/e/b/9/eb9e800f5fc40a383a5826cc1c23b87282.png)
и
![$\overrightarrow{BQ}$ $\overrightarrow{BQ}$](https://dxdy-02.korotkov.co.uk/f/1/7/0/170607f4aff982e8d2fa01611597ad1e82.png)
, с некими весами
![$p$ $p$](https://dxdy-03.korotkov.co.uk/f/2/e/c/2ec6e630f199f589a2402fdf3e0289d582.png)
и
![$1-p$ $1-p$](https://dxdy-02.korotkov.co.uk/f/9/7/c/97c7f1e97c5e9f1c728c3fb1a3bd6a3782.png)
, а также векторов
![$\overrightarrow{BF}$ $\overrightarrow{BF}$](https://dxdy-02.korotkov.co.uk/f/5/d/7/5d7dec379cb5396190ce815bc1f0f7b482.png)
и
![$\overrightarrow{BP}$ $\overrightarrow{BP}$](https://dxdy-03.korotkov.co.uk/f/6/c/d/6cd428ff9818c72fc345b17008d55a3a82.png)
(с какими то весами
![$q$ $q$](https://dxdy-02.korotkov.co.uk/f/d/5/c/d5c18a8ca1894fd3a7d25f242cbe889082.png)
и
![$1-q$ $1-q$](https://dxdy-04.korotkov.co.uk/f/b/e/2/be2a69216c0083da54b8c61422e50b1e82.png)
). Из этого векторного равенства получим простенькую систему на
![$p,q$ $p,q$](https://dxdy-02.korotkov.co.uk/f/9/e/e/9ee547e0827e5bb29b5feb9f5f57419382.png)
. Решив ее, выразим вектор
![$\overrightarrow{AI}$ $\overrightarrow{AI}$](https://dxdy-04.korotkov.co.uk/f/f/7/6/f762245d48d3fac54d0aba13f1e54bc782.png)
через
![$\vec{e}$ $\vec{e}$](https://dxdy-01.korotkov.co.uk/f/4/b/2/4b2b1de0b6c4f6f89826003e8ac504aa82.png)
и
![$\vec{f}$ $\vec{f}$](https://dxdy-02.korotkov.co.uk/f/9/e/e/9ee0b50c5208d83b6078b1dfbffdc73882.png)
, и неожиданно обнаруживаем, что он коллинеарен вектору
![$\overrightarrow{PE} + \overrightarrow{QF}$ $\overrightarrow{PE} + \overrightarrow{QF}$](https://dxdy-01.korotkov.co.uk/f/c/4/4/c44da9b0a2effd116bb0a86299334d6c82.png)
!!!
б) Заметим, что вектор
![$\overrightarrow{PA}$ $\overrightarrow{PA}$](https://dxdy-04.korotkov.co.uk/f/3/3/f/33fb4e3374a5a51264073f34bb3e7f2482.png)
получается из вектора
![$\overrightarrow {PE}$ $\overrightarrow {PE}$](https://dxdy-01.korotkov.co.uk/f/8/5/a/85a8fb4dfe8672aa0a602cbae333649582.png)
поворотом на
![$\frac{\pi}{2}$ $\frac{\pi}{2}$](https://dxdy-01.korotkov.co.uk/f/0/6/7/06798cd2c8dafc8ea4b2e78028094f6782.png)
и растяжением в
![$k=\tg (\varphi)$ $k=\tg (\varphi)$](https://dxdy-02.korotkov.co.uk/f/9/f/9/9f9a438adbfe448b3f4b10776f37f84b82.png)
раз (
![$\varphi$ $\varphi$](https://dxdy-01.korotkov.co.uk/f/4/1/7/417a5301693b60807fa658e5ef9f953582.png)
- угол при вершине
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
). Соответственно, вектор
![$\overrightarrow{AQ}$ $\overrightarrow{AQ}$](https://dxdy-01.korotkov.co.uk/f/8/5/f/85f972e7d81beaa524e73b913aa240a382.png)
также получается из вектора
![$\overrightarrow{QF}$ $\overrightarrow{QF}$](https://dxdy-01.korotkov.co.uk/f/0/7/5/0757c004a2fc71892805645a479ce3dd82.png)
такими же поворотом и растяжением. Значит, вектор
![$\overrightarrow{PQ} = \overrightarrow{PA} + \overrightarrow{AQ}$ $\overrightarrow{PQ} = \overrightarrow{PA} + \overrightarrow{AQ}$](https://dxdy-04.korotkov.co.uk/f/f/8/4/f8492ad69c6c4e9a47b8593f3e5e610d82.png)
получается из вектора
![$\overrightarrow{PE}+ \overrightarrow{QF}$ $\overrightarrow{PE}+ \overrightarrow{QF}$](https://dxdy-03.korotkov.co.uk/f/e/4/a/e4a225d3597156e9c71ccd56f11d52bb82.png)
(а он, напомню, коллинеарен
![$\overrightarrow{AI}$ $\overrightarrow{AI}$](https://dxdy-04.korotkov.co.uk/f/f/7/6/f762245d48d3fac54d0aba13f1e54bc782.png)
) поворотом и растяжением. Это дает нужную ортогональность...