Первое знакомство с пакетом Mathematica
Упражнения
Задачи взяты из книги А. С. Мищенко, Ю. П. Соловьева, А. Т. Фоменко, "Сборник задач по дифференциальной геометрии и топологии" [5].
(2.1) Точка равномерно движется по прямой
, равномерно вращающейся вокруг точки
. Составить уравнение траектории точки
(спираль Архимеда).
Решение. Пусть - начало координат. Если
- начальный угол между прямой
и положительным направлением оси абсцисс, а
- угловая скорость вращения прямой
вокруг
, то в момент времени
угол
между
и осью абсцисс изменяется линейно и записывается в виде
![\tt
In[209]:= $\varphi$ [t\_]:=$\varphi$ 0+ $\omega$ t](/sites/default/files/tex_cache/0b24bde8a9ec550faf2fbced7e11f915.png)
Если начальное расстояние от до
равно
, а точка
движется по
со скоростью
, то в момент времени
расстояние
между
и
равно
![\tt In[210]:= r[t\_]:=r0+vt;](/sites/default/files/tex_cache/9a28ff9ced3a6d800410447023cae927.png)
Таким образом, координаты точки в момент времени
равны
![\tt
In[211]:= $\gamma$[t\_]:=r[t] \{Cos[$\varphi$[t]], Sin[$\varphi$[t]]\} \\ \\
In[212]:= $\gamma$[t] \\ \\
Out[212]=\{(r0+tv)Cos[$\varphi$0+t$\omega$], (r0+tv)Sin[$\varphi$0+t$\omega$]\}](/sites/default/files/tex_cache/e0415127726ab988ca1e12f66c390600.png)
Изобразим траекторию, фиксировав некоторые значения параметров:
![\tt
In[213]:=ParametricPlot[$\gamma$[t] /. \{$\varphi$0 $\to$ 0, r0 $\to$ 1, $\omega$ $\to$ 5, v $\to$ 1\}, \\
\phantom{In[213]:=P}\{t, 0, 10\}]](/sites/default/files/tex_cache/a8f5dcff73dad3c0868c4bd2fd9217fb.png)
![\tt
In[214]: Clear[$\varphi$, $\gamma$, r]](/sites/default/files/tex_cache/1cee2aa423016cc78768b689f90656f0.png)
(2.19) Под каким углом пересекаются кривые и
?
Решение. Найдем точки пересечения кривых:
![\tt
In[215]:=res=Solve$\left[\left\{x^{2}==4y, y== \frac{8}{x^2+4)\right\},\{x,y\}\right]$ \\ \\
Out[215]=$\left\{\left\{y \to -2, x \to -2i \sqrt{2}\right\}\right.$, \\ \\
\phantom{Out[215]= }$\left.\left\{y \to -2, x \to 2i \sqrt{2}\right\}, \{y \to 1, x \to -2\}, \{y\to 1, x\to 2\} \right\}$](/sites/default/files/tex_cache/291090a912242beac78ce90bc54da2b9.png)
Так как кривые вещественные, подходят лишь третье и четвертое решения. Так как кривые инвариантны при замене на
, углы пересечения в обеих точках одинаковы, поэтому достаточно вычислить угол лишь, скажем, для четвертого решения. Заметим, что обе кривые являются графиками функций параметра
, поэтому они могут быть параметризованы
. Имеем (функция
, которую мы используем ниже, равна евклидовой длине вектора
)
![\text{In[216]:=}\gamma 1[x\_]:=\left\{x, \frac{x^2}{4}\right\}; \gamma 2[x\_]:=\left\{x, \frac{8}{x^2+4}\right\};\\
\phantom{\text{In[216]:=}}v1:=\gamma 1'[x]\text{ /. res}[\![4]\!]; v2:=\gamma 2'[x]\text{ /. res}[\![4]\!];\\
\phantom{\text{In[216]:=}}\varphi=\text{ArcCos} \left[\frac{v1.v2}{\text{Norm}[v1]\text{Norm}[v2]}\right] \\ \\
\text{Out[218]=ArcCos}\left[\frac{1}{\sqrt{10}}\right]](/sites/default/files/tex_cache/e0cc51e2abbf68f72ebb13e163cc9e20.png)
Изобразим эти кривые:
![\text{In[219]:=Plot}\left[\left\{\frac{x^2}{4}, \frac{8}{x^2+4}\right\}, \{x,0,3\}\right]](/sites/default/files/tex_cache/d2bbf7467595fb3d7ee6f069160b60be.png)
![\tt
In[220]:=Clear[$\gamma$1, $\gamma$2, v1, v2, res, $\varphi$]](/sites/default/files/tex_cache/48a01161c026fa61367fcf12f2a7d32e.png)
(2.22) Вокруг оси вращается окружность
. Составить уравнение поверхности вращения.
Решение. Если точку с координатами повернуть на угол
вокруг оси
, то у полученной точки будут координаты
![\tt
In[221]:=r[$\varphi$\_, v\_] := \{(a+b Cos[v])Cos[$\varphi$], (a+bCos[v])Sin[$\varphi$], \\
\phantom{In[221]:=r[$\varphi$}b Sin[v]\};](/sites/default/files/tex_cache/d30037829f47fb28159e1bcd41ccb6f3.png)
Нарисуем эту поверхность (являющуюся, очевидно, тором) при следующих значениях параметров: при изменении
и
в пределах от 0 до
.
![\tt
In[222]:=ParametricPlot3D[r[$\varphi$, v]/. \{a $\to$ 4, b $\to$ 2\}, \{$\varphi$, 0, 2$\pi$ \}, \\
\phantom{In[222]:=P}\{v, 0, 2 $\pi$\}]](/sites/default/files/tex_cache/8f08187d16adb1d39ad8eac2d01ef954.png)
Изобразим зависимость тора от параметров (здесь означает, что параметр
может меняться в пределах между 1 и 6, причем начальное его значение равно 4; аналогично для параметра
):
![\tt
In[223]:= \\ \\
\phantom{In}Module[\{r,a,b\}, \\
\phantom{InM}r[$\varphi$\_, v\_] := \{(a+bCos[v])Cos[$\varphi$], (a+bCos[v])Sin[$\varphi$], \\
\phantom{InMod}bSin[v]\}; \\
\phantom{InM}Manipulate[ParametricPlot3D[r[$\varphi$, v] /. \{a$\to$aa, b$\to$bb\}, \\
\phantom{InMod}\{$\varphi$, 0, 2$\pi$\}, \{v, 0, 2$\pi$\}, Mesh$\to$None, PlotPoints$\to$30, \\
\phantom{InMod}PlotRange$\to$\{\{-12,12\}, \{-12, 12\}, \{-6,6\}\}, ImageSize$\to$300], \\
\phantom{InMo}\{\{aa, 4\}1,6\}, \{\{bb,2\},1,6\}] \\
\phantom{In}]](/sites/default/files/tex_cache/483782910ebaa8af883aa861ff7818c3.png)
![\tt In[224]:=Clear[r]](/sites/default/files/tex_cache/63dfc2ea266bd720a0fcdc0cb795bd1d.png)