PSP писал(а):
А в самом общем виде задача выглядит так:
Есть множество кривых, заданных параметрически:




-фиксированно.
Нужно найти среди этого множества кривых такое их подмножество кривых, которые проходят через 2-е заданные точки

Как её решать, не знаю..Нужны идеи..
Факт 1: предположим, что уравнение кривой в пространстве задано параметрически:
![\[
\left\{ \begin{gathered}
x = f(t) \hfill \\
y = g(t) \hfill \\
z = h(t) \hfill \\
\end{gathered} \right.
\] \[
\left\{ \begin{gathered}
x = f(t) \hfill \\
y = g(t) \hfill \\
z = h(t) \hfill \\
\end{gathered} \right.
\]](https://dxdy-02.korotkov.co.uk/f/5/8/6/586f022bc7b0e8fee6b781338d34e57d82.png)
Тогда линейное преобразование параметра не меняет кривой, т.е. система
![\[
\left\{ \begin{gathered}
x = f(at + b) \hfill \\
y = g(at + b) \hfill \\
z = h(at + b) \hfill \\
\end{gathered} \right.
\] \[
\left\{ \begin{gathered}
x = f(at + b) \hfill \\
y = g(at + b) \hfill \\
z = h(at + b) \hfill \\
\end{gathered} \right.
\]](https://dxdy-03.korotkov.co.uk/f/e/8/6/e86b016a385486952d66594eb6c0942e82.png)
задает точно ту же кривую, что и предыдущая при любых a,b, a не равно 0.
Факт 2. Предложенные уравнения кривой инвариантны относительно смещения начала отсчета по t. Т.е. если мы заменим t на
![\[t - \tau \] \[t - \tau \]](https://dxdy-01.korotkov.co.uk/f/c/4/d/c4d9ddc0f95b1ea94611b9ea2fb73a2482.png)
, мы получим уравнения точно такого же вида (но с другими неизвестными коэффициентами C,D). Следовательно, без нарушения общности задачи мы вправе выбрать "момент времени" прохождения, т.е. соответствующее значение параметра t? любой из заданных точек/ Вполне резонно положить t=0.
Факт 3. Опять же без нарушения общности задачи можно "убрать" все "k" в значения соответствующих коэффициентов C,D, и поменяем знаки при косинусах - чтобы все было единообразно. Вообще, меня умиляет запись общего решения некоторого диф.ура y=f(x)-C/2. Зачем минус, зачем пополам - произвольную константу в общих решениях принято записывать +C. Шаг влево, шаг вправо - помарка в решении.
С учетом всех перечисленных фактов решаем такую задачу: найти все кривые вида
![\[
\left\{ \begin{gathered}
x = C_1 \cos (kt) + C_2 \sin (kt) + D_1 t + C_3 \hfill \\
y = C_4 \cos (kt) + C_5 \sin (kt) + D_2 t + C_6 \hfill \\
z = C_7 \cos (kt) + C_8 \sin (kt) + D_3 t + C_9 \hfill \\
\end{gathered} \right.
\] \[
\left\{ \begin{gathered}
x = C_1 \cos (kt) + C_2 \sin (kt) + D_1 t + C_3 \hfill \\
y = C_4 \cos (kt) + C_5 \sin (kt) + D_2 t + C_6 \hfill \\
z = C_7 \cos (kt) + C_8 \sin (kt) + D_3 t + C_9 \hfill \\
\end{gathered} \right.
\]](https://dxdy-01.korotkov.co.uk/f/8/6/4/8640d019ec3569a0bef2ee9b1be94e3582.png)
проходящие через две заданные точки причем через первую точку кривая проходит при значении параметра t=0. Из условия прохождения через первую точку при t=0 немедленно получаем, что
![\[
\left\{ \begin{gathered}
C_1 = x_0 - C_3 \hfill \\
C_4 = y_0 - C_6 \hfill \\
C_7 = z_0 - C_9 \hfill \\
\end{gathered} \right.
\] \[
\left\{ \begin{gathered}
C_1 = x_0 - C_3 \hfill \\
C_4 = y_0 - C_6 \hfill \\
C_7 = z_0 - C_9 \hfill \\
\end{gathered} \right.
\]](https://dxdy-03.korotkov.co.uk/f/6/7/b/67b5287217964ac989f59d1bede80eaf82.png)
Записываем условия для второй точки:
![\[
\left\{ \begin{gathered}
x_1 = (x_0 - C_3 )\cos (kt_1 ) + C_2 \sin (kt_1 ) + D_1 t_1 + C_3 \hfill \\
y_1 = (y_0 - C_6 )\cos (kt_1 ) + C_5 \sin (kt_1 ) + D_2 t_1 + C_6 \hfill \\
z_1 = (z_0 - C_9 )\cos (kt_1 ) + C_8 \sin (kt_1 ) + D_3 t_1 + C_9 \hfill \\
\end{gathered} \right.
\] \[
\left\{ \begin{gathered}
x_1 = (x_0 - C_3 )\cos (kt_1 ) + C_2 \sin (kt_1 ) + D_1 t_1 + C_3 \hfill \\
y_1 = (y_0 - C_6 )\cos (kt_1 ) + C_5 \sin (kt_1 ) + D_2 t_1 + C_6 \hfill \\
z_1 = (z_0 - C_9 )\cos (kt_1 ) + C_8 \sin (kt_1 ) + D_3 t_1 + C_9 \hfill \\
\end{gathered} \right.
\]](https://dxdy-03.korotkov.co.uk/f/2/5/4/254307c1a243f559e40bba0e32ffa49e82.png)
Откуда могут быть найдены
![\[D_1 ,D_2 ,D_3 \] \[D_1 ,D_2 ,D_3 \]](https://dxdy-02.korotkov.co.uk/f/d/3/4/d34ab8c942f1a96871ec89bfc4f96e6882.png)
Таким образом, произвольно варьируя параметр
![\[t_1 \] \[t_1 \]](https://dxdy-03.korotkov.co.uk/f/6/c/2/6c23ef3dbe59c976ac084dac9cfb74b182.png)
(не равен 0) и
![\[C_2 ,C_3 ,C_5 ,C_6 ,C_8 ,C_9 \] \[C_2 ,C_3 ,C_5 ,C_6 ,C_8 ,C_9 \]](https://dxdy-04.korotkov.co.uk/f/7/c/6/7c6e03cac97a46aedbc4115226be6d5482.png)
мы получим ВСЕ кривые, удовлетворяющие заданному свойству.
PSP писал(а):
(Задача имеет очень серьёзный физический смысл..)
Ну валяйте, рассказывайте.