2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу 1, 2  След.
 
 Очень сложная геометрическая задача
Сообщение26.10.2011, 23:33 
Аватара пользователя


26/09/11
28
Saint-Omer
Окружность $\omega$ касается продолжений сторон выпуклого четырехугольника $ABCD$, находясь внутри угла $BAD$. Тогда внешние касательные к окружностям, вписанным в треугольники $ABD$ и $BCD$, пересекаются на $\omega$. Доказать.

(Оффтоп)

Одна просьба: кто знает откуда задача - не говорите сразу и не пишите авторское решение. Может быть кому-нибудь удастся ее решить.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 00:38 
Заблокирован
Аватара пользователя


11/09/11

650
Liouville в сообщении #496351 писал(а):
Окружность $\omega$ касается продолжений сторон выпуклого четырехугольника $ABCD$, находясь внутри угла $BAD$.

Может быть внутри угла BCD ? Иначе никак не пойму задачу :? Хорошо бы, конечно, рисунок дать.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 02:08 
Аватара пользователя


26/09/11
28
Saint-Omer
Изображение

-- 27.10.2011, 03:14 --

(Оффтоп)

Вторая просьба: кто все-таки знает откуда задача и по первой просьбе молчит, напишите: "абыр-абыр". Интересно просто :offtopic2:

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 14:28 
Аватара пользователя


02/03/08
176
Netherlands
Liouville, может осевое круговое преобразование, переводящее $ABCD$ в параллелограмм, поможет (помним, что прямые и циклы ориентированы)?

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 14:56 
Заслуженный участник


20/12/10
9055
Задача действительно интересная, поскольку даже вычислительное решение здесь не очевидно из-за обилия окружностей. Но оно есть; если интересно, напишу.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 16:43 
Заслуженный участник
Аватара пользователя


23/07/08
10894
Crna Gora
Не любой выпуклый четырехугольник можно использовать в этой задаче.
Мы, например, не можем изменить положение точки $D$, подвинув ее куда-то вправо, иначе не будет существовать окружность, касающаяся всех четырех прямых.
Может, это ключ к решению?

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 16:55 
Аватара пользователя


26/09/11
28
Saint-Omer
Dimoniada в сообщении #496451 писал(а):
Liouville, может осевое круговое преобразование, переводящее $ABCD$ в параллелограмм, поможет (помним, что прямые и циклы ориентированы)?


Вы имеете ввиду инверсию? Не думаю, ведь все прямые перейдут в окружности, все усложнится.

-- 27.10.2011, 17:59 --

nnosipov в сообщении #496459 писал(а):
Задача действительно интересная, поскольку даже вычислительное решение здесь не очевидно из-за обилия окружностей. Но оно есть; если интересно, напишу.


Интересно было бы взглянуть :shock: Напишите, если не затруднит. Можете даже не очень подробно.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 18:35 
Аватара пользователя


02/03/08
176
Netherlands
Нет, я имею ввиду такое преобразование Лаггера, функцию $z'= \frac {az+b}  {cz+d}$ дуального переменного (тут $z = tg(\frac \alpha 2)(1+\varepsilon s)$ - ориентированная прямая). Оно для четвёрки прямых $[z_1z_2z_3z_4]$ кое-чего сохраняет. Более того, из замечания svv следует, что в результате подобранного такого преобразования $ABCD$ можно перевести вообще в ромб, а не параллелограмм. Получится типа см. рис. Далее надо аккуратно объяснять, почему пунктирные касательные пересекутся именно на бесконечно удалённой вырожденной в прямую окружности $\omega$.
Изображение

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение27.10.2011, 19:57 
Заслуженный участник


20/12/10
9055
Liouville в сообщении #496494 писал(а):
Интересно было бы взглянуть :shock: Напишите, если не затруднит.

Дополним обозначения на Вашей картинке: пусть $O_1$, $O_2$ и $O_3$ --- центры 1-й, 2-й и 3-й окружностей (слева направо), $P$ и $Q$ --- точки пересечения внутренних и внешних касательных к 1-й и 2-й окружностям, $R$ --- проекция $O_3$ на прямую $AD$. Нужно доказать, что $Q$ лежит на 3-й окружности. Введём комплексную плоскость так, чтобы $A=0$, а центры $O_1$ и $O_3$ лежали на положительной вещественной полуоси. Пусть комплексные числа $z_1$, $z_2$, $z_3$ отвечают за повороты (в положительном направлении) на половинки углов $\angle BAD$, $\angle ABD$, $\angle DBC$ соответственно. Считая $B=z_1$, все остальные точки можно представить как рациональные функции от $z_k$-х с коэффициентами из $\mathbb{Q}(i)$. Точки вычисляем в следующей последовательности: $D$, $O_1$, $O_3$, $R$, $C$, $O_2$, $P$, $Q$ (точка $Q$ рационально выражается через точки $O_1$, $O_2$ и $P$). Затем проверяем, что $|Q-O_3|^2=|R-O_3|^2$.

P.S. Выражения получаются громоздкими, например
$$
C=-{\frac {z_{{1}} \left( {z_{{1}}}^{2}{z_{{2}}}^{4}{z_{{3}}}^{2}+2\,{z_
{{3}}}^{2}-{z_{{2}}}^{4}{z_{{3}}}^{2}+{z_{{2}}}^{2}+{z_{{1}}}^{2}{z_{{
2}}}^{2} \right)  \left( z_{{2}}z_{{3}}+i \right)  \left( -z_{{2}}z_{{
3}}+i \right) }{{z_{{2}}}^{2}{z_{{3}}}^{4}+{z_{{1}}}^{2}{z_{{2}}}^{2}{
z_{{3}}}^{4}+2\,{z_{{3}}}^{2}+{z_{{2}}}^{2}+{z_{{1}}}^{2}{z_{{2}}}^{2}
+2\,{z_{{1}}}^{2}{z_{{2}}}^{4}{z_{{3}}}^{2}}}.
$$

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение29.10.2011, 17:50 


18/06/10
323
Давно уж я не занимался школьной геометрией…
Мы имеем одну касательную к двум окружностям $R_1$ $R_2$ . Это линия $BD$. Построим от нее перпендикуляр до пересечения с большой окружностью $w$. Теперь проведем касательную к окружности $R_1$ параллельную к линии $BD$. Получим два катета прямоугольного треугольника. Вторая касательная будет гипотенузой полученного треугольника. Катет и гипотенуза соединятся на большой окружности $w$, так как гипотенуза перпендикулярна касательной $BC$. Гипотенуза будет или иметь точку на окружности $w$ или являться касательной к большой окружности $w$ . Тогда окружность $R_2$ является окружностью вписанной в прямоугольный треугольник, а окружность $R_1$ вписанная в прямоугольную трапецию, которая является продолжением прямоугольного треугольника.

(Оффтоп)

Если я ответил правильно, напишите «абыр-абыр», а если нет «рыба-рыба».

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение29.10.2011, 19:24 
Заслуженный участник


20/12/10
9055
timots в сообщении #497113 писал(а):
Мы имеем одну касательную к двум окружностям $R_1$ $R_2$ . Это линия $BD$. Построим от нее перпендикуляр до пересечения с большой окружностью $w$. Теперь проведем касательную к окружности $R_1$ параллельную к линии $BD$. Получим два катета прямоугольного треугольника. Вторая касательная будет гипотенузой полученного треугольника. Катет и гипотенуза соединятся на большой окружности $w$, так как гипотенуза перпендикулярна касательной $BC$. Гипотенуза будет или иметь точку на окружности $w$ или являться касательной к большой окружности $w$ . Тогда окружность $R_2$ является окружностью вписанной в прямоугольный треугольник, а окружность $R_1$ вписанная в прямоугольную трапецию, которая является продолжением прямоугольного треугольника.
Вероятно, этот бредовый текст возник из-за кажущейся перпендикулярности прямой $BD$ одной из общих внешних касательных к первым двум окружностям.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение29.10.2011, 20:09 


18/06/10
323
nnosipov в сообщении #497152 писал(а):
Вероятно, этот бредовый текст возник из-за кажущейся перпендикулярности прямой одной из общих внешних касательных к первым двум окружностям.

Да нет. Из построения.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение29.10.2011, 21:03 
Заслуженный участник


20/12/10
9055
timots в сообщении #497175 писал(а):
Да нет. Из построения.
Это неважно, в любом случае текст бредовый. Чего стоит вот такое "обоснование":
timots в сообщении #497113 писал(а):
Вторая касательная будет гипотенузой полученного треугольника. Катет и гипотенуза соединятся на большой окружности $w$, так как гипотенуза перпендикулярна касательной $BC$.
С чего Вы взяли, что гипотенуза (вторая внешняя касательная) будет перпендикулярна $BC$? Это тоже неверно.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение30.10.2011, 18:35 


18/06/10
323
nnosipov
Вообще я задачу решал, а не вел философский спор. Если Вы считаете, что задача решена неправильно, то предложите свой вариант.
У меня есть еще несколько вариантов решение данной задачи. К сожалению, для меня они требуют дополнительных построений. А я не умею чертить на компьютере. Одно из них построить на точках касания с окружностью $w$ четырехугольник, опустить биссектрисы углов $A$ и $C $ на биссектрисы полученных треугольников ит.д. и т.п.
Мне задача интересна, так как уже давно таких задач не решал.

 Профиль  
                  
 
 Re: Очень сложная геометрическая задача
Сообщение30.10.2011, 19:06 
Заслуженный участник


20/12/10
9055
timots в сообщении #497481 писал(а):
Мне задача интересна, так как уже давно таких задач не решал.
Решайте на здоровье, но имейте в виду то, что эта задача довольна сложная, школьную геометрию лучше вспоминать на более простых примерах. Уметь чертить на компьютере вовсе не обязательно, это можно делать карандашом на бумаге. Если Вы делаете какие-то дополнительные построения, то описывайте их чётко и недвусмысленно (а не так, как в Вашем тексте выше).

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 26 ]  На страницу 1, 2  След.

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group