Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет flaass ([info]flaass)
@ 2003-11-16 18:27:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Метод Кованого Сапога
Авва задал хорошую задачку по геометрии:
Все звенья замкнутой четырехзвенной ломаной в пространстве касаются одной сферы. Доказать, что точки касания лежат в одной плоскости.

Решим ее методом Кованого Сапога. Суть его в том, что если твой кованый сапог достаточно тяжел, то, топча им достаточно долго, ты стопчешь что угодно. Мой - тяжел :)

Переформулировка 1. Четыре окружности на сфере внешним образом касаются друг друга по циклу. Доказать, что точки касания на одной окружности.
[Окружности - это окружности касания конусов с вершинами в вершинах ломаной.]
Переформулировка 2. То же самое - на плоскости.
[Стереографическая проекция.]
Переформулировка 3. Параллельные прямые П1 и П2, между ними касающиеся окружности О1 и О2, О1 касается П1, О2 касается П2. Доказать, что три точки касания - на одной прямой.
[Инверсия с центром в одной из точек касания.]
Итак, все свелось к простой планиметрической задачке. Любой решит.

Но задача была в другом: найти _красивое_ решение. Думаю...


(Добавить комментарий)

гм
(Анонимно)
2003-11-16 03:30 (ссылка)
А можно поподробнее про переход от шага 2 к шагу 3?..

(Ответить)

угу
[info]sudaplatov@lj
2003-11-16 08:38 (ссылка)
Инверсию можно сделать сразу в одной точке касания.
Первое что приходит в голову - все сохраняется.
Получаем плоскость, параллельную прямую, две окружности
лежащие в плоскостях проходящих через эту прямую и касающиеся
соотв. прямых пересечений, и еще одна окружность касающаяся
плоскости.
Теперь надо доказать что 3 точки касания окружностей
лежат на одной прямой на плоскости.
Правда если сделать проекцию то получим то что у вас.

(Ответить) (Ветвь дискуссии)

Re: угу
[info]flaass@lj
2003-11-16 20:54 (ссылка)
Чем хорош метод сапога - что топтать можно многими разными способами. Два притопа, три прихлопа или три притопа, два прихлопа - результат один :)

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: угу
[info]sudaplatov@lj
2003-11-17 03:50 (ссылка)
Наскоко я помню, хотя могу ошибаться,
это алгебро-геометрическая задача.
Кто-то мне про нее говорил, вроде бы.
Хотя это и так понятно - прямые дают
линяйное условие на квадрики в P^{3},
при ограничении на квадрику точки
пересечения дают линейное условие
на подсистему из квадрик.
Квадрики на квадрики высекаются
квадриками из P^{3} - т.к. H^{1}(O)=0.
Если прямые не общие, то и точки должны
быть не общие - ну и т.д.
Теперь по правилам надо раздуть
прямые, и посмотреть что будет на раздутие,
но думаю будет плохо - индуцированное
раздутие квадрики будет с двойной точкои,
так как прямые касаются.
Похожие конструкцие были вроде у Штейнера
и Кастельнуово - в Грифитс-Харисе есть.
Квадрики и прочее (условия налагаемые).
Можно еще попробовать рассмотреть
двойственное P^{3} и в нем рассмотреть
эту задачу - может будет легче.

(Ответить) (Уровень выше)