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

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. Доказать, что три точки касания - на одной прямой.
[Инверсия с центром в одной из точек касания.]
Итак, все свелось к простой планиметрической задачке. Любой решит.

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


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

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

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


(Читать комментарии) -