2014 dxdy logo

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

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


Правила форума


В этом разделе нельзя создавать новые темы.

Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".

Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.

Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса обязан привести свои попытки решения и указать конкретные затруднения.

Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.



Начать новую тему Ответить на тему На страницу Пред.  1 ... 6, 7, 8, 9, 10, 11, 12, 13  След.
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 13:28 
Аватара пользователя


11/08/11
1135
grizzly
Я пристрастный судья, согласен. Но это не мешает мне сохранить уверенность в красоте и простоте моего решения. Скорее даже помогает :lol: А если не секрет, какое именно место там вызывает трудности для понимания? С радостью поясню подробнее.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 13:58 
Заслуженный участник
Аватара пользователя


09/09/14
6328
INGELRII
Ни коим образом не хотел бы умалять Ваших достижений в решении этой задачи, которая была признана всеми достаточно сложной и интересной. И я ведь не говорю о пробелах в Вашем решении. Но предложенная мной компиляция идей (Ваших и Evgenjy, но ценность идеи Evgenjy мне в данном случае представляется выше -- я просто чуть аккуратнее, имхо, пересказал его решение) содержит все необходимые рассуждения, по строгости и подробности ни в чём не уступает Вашему решению, но оно в несколько раз короче -- именно за счёт идейной составляющей. Лично для меня это очень важный критерий.

(Оффтоп)

Я ведь не критики ради -- мне действительно интересно мнение сообщества по вопросу понимания. Давно мечтаю поднять мега-тему "Понимания" в "Свободном полёте". Но всё ждал, пока улягутся философские страсти, а теперь жду подходящего настроения.

(Оффтоп)

А с Evgenjy у меня были тёрки в другой теме, где мы здорово повздорили, но так и не пришли к согласию. Так что мне "болеть" за его решение не было ни малейшего резону. Тут было бы уместнее сказать, что "он мне враг, но истина дороже" (шутка, конечно :)

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 14:54 


01/12/11

1047
Проведём прямую, пересекающую скрещивающиеся прямые $a$, $b$ и $c$ в точках $A$, $B$ и $C$. Для определённости, считаем точку $B$ внутренней. Через отрезок $AC и прямую $b$ проведём плоскость. Любой треугольник, построенный основании $AC с вершиной на прямой $b$ будет располагаться и на прямых $a$, $b$ и $c$. Одним из таких треугольников может быть прямоугольный треугольник.
Для прямоугольных треугольников задача решена.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 15:17 
Аватара пользователя


11/08/11
1135
grizzly
Зато мое решение можно изложить вообще без формул, и оно в понятности не проиграет. Но предлагаю уже прекратить холивар и признать, что все мы, нашедшие решения, молодцы! :D

А что скажете о жутком случае общей параллельной плоскости? У меня даже для равнобедренных треугольников возникает проблема. Не могу построить его так, чтобы угол был сколь угодно близок к развернутому. К нулю легко, а к развернутому никак. Соответственно, и метод имени меня применить невозможно. Есть идеи?

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 15:55 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
Skeptic в сообщении #1008864 писал(а):
... Одним из таких треугольников может быть прямоугольный треугольник.
Для прямоугольных треугольников задача решена.
А карась икру метал, за что его уважают металлисты. А треугольник может быть и не одним, и не прямоугольным, вот задача и не решена. :D
Не нужно нести бред в математических темах.

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


09/09/14
6328
INGELRII в сообщении #1008872 писал(а):
А что скажете о жутком случае общей параллельной плоскости? У меня даже для равнобедренных треугольников возникает проблема. Не могу построить его так, чтобы угол был сколь угодно близок к развернутому.

Почему не получается? Давайте я попробую нестрогими рассуждениями на пальцах показать, что любой треугольник можно построить. А Вы ткнёте меня в проблемное место. Но для начала скажу, как моя интуиция пришла к такой идее -- я представил себе всю 3D-картинку в чудовищно мелком масштабе и решил, что расстояние между параллельными плоскостями принципиальной роли не играет.

Посмотрим на три параллельные плоскости, на которых лежат наши прямые. Возьмём для определённости ту, что лежит между двумя другими. Спроецируем на неё прямые с двух других плоскостей. Рассмотрим теперь уже плоскую задачу. Решив её, "вернём" полученное решение обратно в пространство, чуть подправив положение точек. Мы сможем это сделать из соображений непрерывности (не знаю, насколько сложно будет подобрать нужную параметризацию, но надеюсь, что не особенно сложно). А решить плоскую задачу должно быть намного проще (я думаю, что решение на плоскости всегда найдётся).

Ваша интуиция согласится взять эту идею за основу? Если да, то какой из шагов рассуждения "на пальцах" вызывает наибольшие сомнения?

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 18:14 


06/12/14
510
Прикольная дискуссия :D
grizzly, не знаю, мне как то и плоская задача не очень то очевидна. Ну а переход из плоскости снова в 3D и подавно..

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 19:18 
Заслуженный участник
Аватара пользователя


09/09/14
6328
unistudent в сообщении #1008914 писал(а):
не знаю, мне как то и плоская задача не очень то очевидна. Ну а переход из плоскости снова в 3D и подавно..


Это здорово! Значит, как минимум, получилось сформулировать по дороге неочевидный плоский аналог задачи. (Там тоже свои подзадачи -- (а) прямые общего положения и (б) три прямые пересекаются в одной точке.)

А как предложенные решения, которые используют идеи параметризации -- они для Вас достаточно убедительны?

Но вызов принят -- я поищу пока идею решения плоской задачи.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 19:45 


06/12/14
510
grizzly в сообщении #1008950 писал(а):
А как предложенные решения, которые используют идеи параметризации -- они для Вас достаточно убедительны?

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

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 19:58 
Заслуженный участник
Аватара пользователя


09/09/14
6328
unistudent в сообщении #1008961 писал(а):
Нормально, вроде-бы, но непонятно..

Тогда Вам от меня ожидать нечего :) В любом случае я даже если и дам решение оставшейся задачи или её части, то оно не будет алгебраическим. Я потому и задал такой вопрос -- будьте уверены, что в нём не было никакого подвоха.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 20:00 


13/08/14
350
Решение при наличии общей параллельной плоскости $Q$.
Воспользуемся тем же построением со специальным выбором.
1 Прямые $a$ и $b$ такие, что угол между ними не менее $\pi/3$. Проведем плоскость, которая параллельна прямой $c$ и перпендикулярна $Q$. Точки пересечения построенной плоскости с прямыми $a$ и $b$ будут точками $A$ и $B$. На отрезке $AB$ строим треугольник $ABC$ так, чтобы угол $C$ был не более $\pi/3$. Вращаем треугольник $ABC$ вокруг $AB$. Если отодвигать плоскость в бесконечность, то при достаточно большом удалении прямая $c$ пройдет внутри окружности.
2 Второе положение точек $A$ и $B$, когда отрезок $AB \perp Q$.
3 При движении из первого положения во второе точка пересечения с прямой $c$ из внутренности окружности непрерывно уходит в бесконечность.
4 Особый случай, когда все углы между всеми прямыми равны $\pi/3$, а треугольник равносторонний. В этом случае задача решения не имеет.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение28.04.2015, 20:49 
Заслуженный участник
Аватара пользователя


09/09/14
6328
Evgenjy
Пока не принимается. Я привык читать доказательства с конца, а тут сразу такое:
Evgenjy в сообщении #1008965 писал(а):
4 Особый случай, когда все углы между всеми прямыми равны $\pi/3$, а треугольник равносторонний. В этом случае задача решения не имеет.

Что значит "задача решения не имеет"? Ваш метод его не находит? Потому как совсем несложно привести явный пример существования решения при заданных условиях.
Ну вот, например: плоскость $Q$ перпендикулярна оси $OX$, одна прямая -- ось $OZ$, вторая проходит через точку $A=(1;0;0)$, третья -- через точку $B=(-1;0;0)$ (углы между прямыми заданы, так что этих данных достаточно с точностью до симметрий). Если выбрать на оси $OZ$ точку $C=(0;0;\sqrt{3})$, получим равносторонний треугольник $ABC$.

Посмотрите, пжл, в чём проблема и тогда продолжим обсуждение.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение29.04.2015, 02:00 


06/12/14
510
В тех же обозначениях, что и раньше $$(a,a)=A_0+2A_tt+t^2,$$где $A_0=A_2^2+A_3^2, \quad A_t=A_3\tau_3.$
$$(b,b)=B_0+2B_ss+s^2,$$ где $B_0=B_2^2+B_3^2, \quad B_s=B_3\kappa_3.$

$$(a,b)=C_0+C_s s+C_t t+C_{ts} st, \qquad (1) $$ где

$C_0=B_3A_3+B_2A_2(\vec{v},\vec{g}), \quad 
C_s=A_3\vec{\kappa_3}+A_2(\vec{v},\vec{\kappa}), \quad 
C_t=B_3\tau_3+B_2(\vec{\tau},\vec{g}),  \quad 

C_{ts}=(\vec{\tau},\vec{\kappa}). $

Для $A_3,B_3$ имеем $$A_3=C-\delta, \quad B_3=-C-\delta,$$где $C \ge 0,$ а $\delta$-свободный параметр.
Треугольник равнобедренный, когда $(a,a)=(b,b)$. Соответствующее этому условию уравнение $$(t+A_t)^2-(s+B_s)^2=A_t^2-B_s^2+B_0-A_0 \qquad (2)$$ - это ур-е гиперболы. Чтобы треугольник был правильным, надо, чтобы на этой гиперболе существовала точка, удовлетворяющая условию $$\cos\frac{\pi}{3} = \frac{(a,b)}{(a,a)}.$$ Выражаем из (2) $s$ $$s=\sqrt{(t+A_t)^2+K}-B_s, \quad K=-A_t^2+B_s^2-B_0+A_0$$

и подставляем в (1):$$(a,b)=C_0+C_t t+(C_s +C_{ts} t)(\sqrt{(t+A_t)^2+K}-B_s).  $$ Рассматриваем функцию переменного $t$:$$\cos\theta=f(t;\delta)= \frac{C_0+C_t t+(C_s +C_{ts} t)(\sqrt{(t+A_t)^2+K}-B_s)}{A_0+2A_tt+t^2}.$$ Достаточно показать, что существуют значения $t$, при которых $\cos\theta \ge 1/2$.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение29.04.2015, 12:45 
Заслуженный участник
Аватара пользователя


09/09/14
6328
unistudent
Посмотрел плоскую задачу. Уверился в том, что решение всегда существует. Элегантного решения пока не вижу, а с тупым описанием перебора случаев пока повременю -- авось и вовсе не потребуется.

Evgenjy
Очевидно, что переход от плоского решения к пространственному с небольшой потерей точности всегда возможен. Также очевидно, что эту потерю можно сделать сколь угодно малой. Чуть менее очевидно, что после перехода в пространство эту потерю точности можно устранить. Я в этом по прежнему уверен (хотя и не прилагал пока усилий по обоснованию). Могу поставить 3 очка репутации на то, что решение существует всегда, без исключений.

 Профиль  
                  
 
 Re: Скрещивающиеся прямые
Сообщение29.04.2015, 13:53 


06/12/14
510
grizzly А вот я склоняюсь к тому, что существует такая конфигурация, для которой правильный треугольник построить нельзя, ни в 3D ни на плоскости

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 187 ]  На страницу Пред.  1 ... 6, 7, 8, 9, 10, 11, 12, 13  След.

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



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

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


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

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