ПРЯМОЛИНЕЙНЫЕ ОБРАЗУЮЩИЕ ПОВЕРХНОСТИ

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

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

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

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

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

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

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

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

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

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

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

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

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

.

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

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