logo
АНАЛИТ

4.3.9. Прямолинейные образующие поверхности

Определение 44. Прямая называется прямолинейной образующей поверхности, если она целиком лежит на поверхности.

Очевидно, любая плоскость имеет бесконечно много прямолинейных образующих. Цилиндрические и конические поверхности, согласно их определению, тоже имеют бесконечно много прямолинейных образующих. Эллипсоид не может иметь прямолинейных образующих, т.к. он заключён внутри параллелепипеда.

Теорема 1. Эллиптический параболоид не имеет прямолинейных образующих.

Доказательство. Пусть q: Прямая q будет целиком лежать на эллиптическом параболоиде, заданном уравнением (91), тогда и только тогда, когда уравнениеудовлетворяется при любом значении t. Преобразовав его, получим

. Этому уравнению удовлетворяет любое действительное число t тогда и только тогда, когда все его коэффициенты равны нулю, т.е. Отсюда следует, чтоm = n =р = 0, что невозможно, ибо m, n, р – координаты направляющего вектора прямой. Итак, никакая прямая не может целиком лежать на эллиптическом параболоиде.

Теорема 2. Двуполостный гиперболоид не имеет прямолинейных образующих.

Доказательство аналогично доказательству теоремы 1, проведите его самостоятельно.

Теорема 3. Однополостный гиперболоид имеет два бесконечных семейства прямолинейных образующих.

Доказательство. Пусть гиперболоид задан уравнением . Отсюда, илиЭто уравнение, а поэтому и данное уравнение эквивалентно как уравнению(), так и уравнению (). Обозначая в () каждую дробь через , получим, что уравнение (), а поэтому и уравнение гиперболоида, эквивалентно системе где пробегает все возможные действительные значения. Но при каждом значении эта система есть общие уравнения прямой. Так как   любое действительное число, то получили бесконечное множество прямых, целиком покрывающих гиперболоид. Через каждую точку гиперболоида проходит точно одна из таких прямых.

Обозначая в () каждую дробь через , получим, что уравнение (), а поэтому и уравнение гиперболоида, эквивалентно системе где R. Но при каждом конкретном значении эта система есть общие уравнения прямой. Так как   любое действительное число, то получили бесконечное множество прямых, целиком покрывающих гиперболоид. Через каждую точку гиперболоида проходит точно одна из таких прямых. Очевидно первое и второе множества прямых – различные.

Итак, на однополостном гиперболоиде укладываются два бесконечных семейства прямолинейных образующих.

Теорема 4. На гиперболическом параболоиде лежат два бесконечных семейства прямолинейных образующих.

Доказательство. Уравнение (38) можно преобразовать к виду

.

Это уравнение эквивалентно как уравнению (), так и уравнению (). Уравнение () эквивалентно системе . При любом эта система задаёт прямую. Получили семейство прямых, целиком покрывающих параболоид. Через каждую точку параболоида проходит точно одна прямая этого семейства.

Уравнение () эквивалентно системе Получили второе семейство прямых, целиком покрывающих параболоид. Через каждую точку параболоида проходит точно одна прямая этого семейства.

Итак, на поверхности гиперболического параболоида лежат два бесконечных семейства прямолинейных образующих.

Пример 5. Найдите прямолинейные образующие гиперболического параболоида

Х2  4У2 = Z,

проходящие через точку М(1, 2, 15).

Решение. Так как координаты точки М удовлетворяют данному уравнению, то эта точка лежит на данном параболоиде. Запишем данное уравнение в виде (Х 2У)(Х + 2У) = Z1, получим две пропорции и , каждая из которых эквивалентна данному уравнению. Эти пропорции, в свою очередь, эквивалентны соответственно системам уравнений() и (), где и  любые действительные числа. Так как искомые образующие должны проходить через точку М, то координаты этой точки должны удовлетворять уравнениям этих образующих, т.е. иОтсюда = , = . Подставив их в () и (), получим

и . После преобразований получим общие уравнения двух образующих, проходящих через точкуМ:

и