Повторить

Поверхности второго порядка

Прогресс изучения0 из 7

Отмечай теоремы кнопками ✓ (изучено) и ↻ (повторить)

Все теоремы темы7
  1. Уравнение поверхности вращения
  2. Уравнение цилиндрической поверхности
  3. Конус второго порядка
  4. Исследование формы эллипсоида
  5. Исследование формы однополостного гиперболоида
  6. Исследование формы двуполостного гиперболоида
  7. Исследование формы параболоидов
теорема

Уравнение поверхности вращения

Формулировка

Если кривая F(x,z)=0F(x, z) = 0, x≥0x\ge0, лежащая в плоскости y=0y = 0, вращается вокруг оси OzOz, то полученная поверхность вращения имеет уравнение

F(x2+y2, z)=0.F\left(\sqrt{x^2 + y^2},\ z\right) = 0.

Например, вращение эллипса x2a2+z2c2=1\frac{x^2}{a^2} + \frac{z^2}{c^2} = 1 даёт эллипсоид вращения x2+y2a2+z2c2=1\frac{x^2 + y^2}{a^2} + \frac{z^2}{c^2} = 1.

Доказательство

Развернуть

Точка M(x,y,z)M(x,y,z) при вращении вокруг OzOz описывает окружность радиуса ρ=x2+y2\rho = \sqrt{x^2+y^2} в плоскости той же высоты zz. Она лежит на поверхности тогда и только тогда, когда её окружность пересекает меридиан, то есть точка (ρ,0,z)(\rho, 0, z) лежит на исходной кривой: F(ρ,z)=0F(\rho, z) = 0. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Уравнение цилиндрической поверхности

Формулировка

Уравнение F(x,y)=0F(x, y) = 0, не содержащее zz, задаёт в пространстве цилиндрическую поверхность с образующими, параллельными оси OzOz, и направляющей F(x,y)=0F(x,y) = 0, z=0z = 0. Цилиндры второго порядка: эллиптический x2a2+y2b2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1, гиперболический x2a2−y2b2=1\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1, параболический y2=2pxy^2 = 2px.

Доказательство

Развернуть

Координаты точки M(x,y,z)M(x,y,z) удовлетворяют уравнению тогда и только тогда, когда ему удовлетворяет её проекция (x,y,0)(x,y,0) на плоскость OxyOxy, то есть когда MM лежит на вертикальной прямой, проходящей через точку направляющей. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Конус второго порядка

Формулировка

Поверхность x2a2+y2b2−z2c2=0\frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 0 является конической поверхностью с вершиной в начале координат. Её сечения плоскостями z=h≠0z = h\ne0 — эллипсы с полуосями a∣h∣c\frac{a|h|}{c}, b∣h∣c\frac{b|h|}{c}, а сечение плоскостью x=0x = 0 — пара прямых yb=±zc\frac yb = \pm\frac zc.

Доказательство

Развернуть

Левая часть FF однородна второй степени: F(tx,ty,tz)=t2F(x,y,z)F(tx,ty,tz) = t^2F(x,y,z). Поэтому вместе с точкой M≠OM\ne O поверхности ей принадлежит вся прямая OMOM, и поверхность состоит из прямых, проходящих через OO. Направляющей служит, например, эллипс в сечении z=cz = c.

Сечения находим подстановкой. При z=hz = h: x2a2h2/c2+y2b2h2/c2=1\frac{x^2}{a^2h^2/c^2} + \frac{y^2}{b^2h^2/c^2} = 1. При x=0x = 0: y2b2=z2c2\frac{y^2}{b^2} = \frac{z^2}{c^2}. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Исследование формы эллипсоида

Формулировка

Эллипсоид x2a2+y2b2+z2c2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} + \frac{z^2}{c^2} = 1:

  1. ограничен: ∣x∣≤a|x|\le a, ∣y∣≤b|y|\le b, ∣z∣≤c|z|\le c;
  2. симметричен относительно координатных плоскостей, осей и начала координат;
  3. его сечения плоскостями z=hz = h при ∣h∣<c|h| < c — эллипсы с полуосями a1−h2/c2a\sqrt{1 - h^2/c^2}, b1−h2/c2b\sqrt{1 - h^2/c^2}; при ∣h∣=c|h| = c — точки; при ∣h∣>c|h| > c — пустые. То же для сечений x=hx = h, y=hy = h.

При a=ba = b это эллипсоид вращения вокруг OzOz, при a=b=ca = b = c — сфера.

Доказательство

Развернуть
  1. Каждое слагаемое левой части неотрицательно и не превосходит 1.
  2. Переменные входят в уравнение лишь во второй степени.
  3. Подставим z=hz = h: x2a2+y2b2=1−h2c2\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 - \frac{h^2}{c^2}. Правая часть положительна, равна нулю или отрицательна соответственно при ∣h∣<c|h| < c, ∣h∣=c|h| = c, ∣h∣>c|h| > c.

При a=ba = b это уравнение поверхности, полученной вращением эллипса вокруг оси OzOz. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Исследование формы однополостного гиперболоида

Формулировка

Для однополостного гиперболоида x2a2+y2b2−z2c2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1:

  1. сечения z=hz = h — эллипсы с полуосями a1+h2/c2a\sqrt{1 + h^2/c^2}, b1+h2/c2b\sqrt{1 + h^2/c^2}; наименьший из них (при h=0h = 0) — горловой эллипс;
  2. сечения y=hy = h: при ∣h∣<b|h| < b — гиперболы с действительной осью, параллельной OxOx; при ∣h∣=b|h| = b — пара пересекающихся прямых; при ∣h∣>b|h| > b — гиперболы с действительной осью, параллельной OzOz.

Поверхность неограничена и связна: «трубка», расширяющаяся при ∣z∣→∞|z|\to\infty.

Доказательство

Развернуть
  1. При z=hz = h: x2a2+y2b2=1+h2c2>0\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 + \frac{h^2}{c^2} > 0.

  2. При y=hy = h:

x2a2−z2c2=1−h2b2.\frac{x^2}{a^2} - \frac{z^2}{c^2} = 1 - \frac{h^2}{b^2}.

При положительной правой части это гипербола с действительной осью вдоль xx. При нулевой — xa=±zc\frac xa = \pm\frac zc. При отрицательной — гипербола с действительной осью вдоль zz. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Исследование формы двуполостного гиперболоида

Формулировка

Для двуполостного гиперболоида x2a2+y2b2−z2c2=−1\frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = -1:

  1. сечения z=hz = h пусты при ∣h∣<c|h| < c, вырождаются в точку при ∣h∣=c|h| = c, являются эллипсами при ∣h∣>c|h| > c;
  2. сечения x=hx = h и y=hy = h — гиперболы с действительной осью, параллельной OzOz.

Поверхность состоит из двух полостей: z≥cz\ge c и z≤−cz\le -c.

Доказательство

Развернуть
  1. При z=hz = h: x2a2+y2b2=h2c2−1\frac{x^2}{a^2} + \frac{y^2}{b^2} = \frac{h^2}{c^2} - 1.

  2. При x=hx = h: z2c2−y2b2=1+h2a2>0\frac{z^2}{c^2} - \frac{y^2}{b^2} = 1 + \frac{h^2}{a^2} > 0 — гипербола с действительной осью вдоль zz. Для y=hy = h аналогично. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7
теорема

Исследование формы параболоидов

Формулировка

  1. Эллиптический параболоид x2a2+y2b2=2z\frac{x^2}{a^2} + \frac{y^2}{b^2} = 2z лежит в полупространстве z≥0z\ge0. Его сечения z=h>0z = h > 0 — эллипсы, а сечения x=hx = h и y=hy = h — параболы с ветвями вверх.
  2. Гиперболический параболоид x2a2−y2b2=2z\frac{x^2}{a^2} - \frac{y^2}{b^2} = 2z («седло»). Сечения z=h≠0z = h\ne0 — гиперболы, действительная ось которых параллельна OxOx при h>0h > 0 и OyOy при h<0h < 0. Сечение z=0z = 0 — пара прямых xa=±yb\frac xa = \pm\frac yb. Сечения x=hx = h — параболы с ветвями вниз, y=hy = h — с ветвями вверх.

Доказательство

Развернуть
  1. Левая часть неотрицательна, поэтому z≥0z \ge 0. При z=hz = h: x2a2+y2b2=2h\frac{x^2}{a^2} + \frac{y^2}{b^2} = 2h. При x=hx = h: y2=2b2(z−h22a2)y^2 = 2b^2\left(z - \frac{h^2}{2a^2}\right) — парабола с вершиной на высоте h22a2\frac{h^2}{2a^2}.

  2. При z=hz = h: x2a2−y2b2=2h\frac{x^2}{a^2} - \frac{y^2}{b^2} = 2h — гипербола, ориентация которой зависит от знака hh. При h=0h = 0 получаем пару прямых. При x=hx = h: y2=−2b2(z−h22a2)y^2 = -2b^2\left(z - \frac{h^2}{2a^2}\right) — ветви вниз. При y=hy = h: x2=2a2(z+h22b2)x^2 = 2a^2\left(z + \frac{h^2}{2b^2}\right) — ветви вверх. ■\blacksquare

Источники:Канатников, Крищенко, Аналитическая геометрия, гл. 12, §§12.1–12.7