6. Соприкасающаяся плоскость и соприкасающаяся полуплоскость кривой в пространстве E3. Вогнутость.
На кривой пространства
точка будет называться обыкновенной второго порядка, если она является такой с точки зрения прямой геометрии и, кроме того, неимеет стационарной касательной, что записывается в допустимой параметризации так:
Рассмотрим три точки близкие к такой точке
Плоскость, проходящая через эти три точки, определяется решением однородной системы
Допустим, что Вычтем в атой системе первое уравнение из второго, второе из третьего и применим оба раза теорему о конечном приращении. Мы получим два уравнения, которые могут заменить два последних уравнения системы (6.2):
Вычитая второе из этих уравнений из первого, мы получаем тем же путем уравнение
которое может заменить второе из предыдущих уравнений. Окончательно уравнение плоскости может быть записано в виде
В силу непрерывности левая часть этого уравнения не обращается в нуль тождественно, если достаточно близки к Когда эти три точки стремятся к мы видим, что плоскость имеет предел, называемый соприкасающейся плоскостью кривой в точке Уравнение ее имеет вид
Мы напишем это уравнение в следующей форме, где значение параметра не уточнено:
Обозначив текущую точку через можно записать это уравнение векторной форме:
В случае плоской кривой соприкасающаяся плоскость в любой из ее точек будет плоскостью кривой.
Процессом, аналогичным проведенному здесь, можно показать, что соприкасающуюся плоскость в точке можно определить и как предел плоскости, проходящей через касательную в и через близкую точку, а также как предел плоскости, параллельной касательной в близкой точке, или как предел плоскости, проходящей через и касательную в близкой точке.
Как и в случае касательной, можно при некоторых условиях обобщить понятие соприкасающейся плоскости на некоторые случаи точек, не являющихся обыкновенными точками; мы не будем останавливаться на этих обобщениях.
Сделаем теперь замену параметра: Мы получим
Последнее уравнение показывает нам, в силу наличия положительного множителя перед что полуплоскость, называемая соприкасающейся полуплоскостью в рассматриваемой точке:
( действительные параметры, X произвольно ), не зависит от параметризации. Посмотрим, в чем заключается геометрический смысл этого явления.
Дадим и приращение ; точка перейдет в и мы будем иметь
где обозначает вектор, стремящийся к нулю вместе с
Рассмотрим теперь произвольную плоскость, проходящую через касательную и отличную от соприкасающейся плоскости, определенную вектором и вектором А. Ее уравнение имеет вид
Заменяя на имеем
Это смешанное произведение имеет тот же знак, что и
или тот же знак, что и
для если достаточно мало. Другими словами, точки кривой, достаточно близкие к находятся в том же полупространстве, что и соприкасающаяся полуплоскость по отношению к заданной плоскости.
Это значит, что если мы рассмотрим две полуплоскости, проходящие через касательную и образующие как угодно малый двугранный угол, содержащий внутри соприкасающуюся полуплоскость, то все точки кривой, достаточно близкие к лежат внутри этого двугранного угла. Поэтому говорят, что вогнутость кривой в точке направлена внутрь соприкасающейся полуплоскости.
Пусть кривая имеет в обыкновенную точку порядка 3 в смысле прямой геометрии, причем ее параметризация является допустимой; мы скажем, что эта точка является обыкновенной порядка 3 в эвклидовой геометрии, если соприкасающаяся плоскость в этой точке не стационарна, т. е.
В эвклидовой геометрии точка называется обыкновенной порядка если она обыкновенная порядка смысле прямой геометрии и обыкновенная порядка 3 в эвклидовом смысле. В этой геометрии всякое дальнейшее различение становится излишним.
УПРАЖНЕНИЯ
(см. скан)