КОНИЧЕСКАЯ ПОВЕРХНОСТЬ. КОНУС

   Определение 1. Конической поверхностью называется поверхность, образованная движением прямой АВ, которая непрерывно перемещается, проходя постоянно через неподвижную точку S и пересекая при этом плоскую линию MN.
   Прямая АВ называется образующей, точка S - вершиной, а линия MN - направляющей конической поверхности. Направляющая MN может быть замкнутой и незамкнутой.
   Определение 2. Конусом называется тело, которое ограничено частью замкнутой конической поверхности, расположенной по одну сторону от вершины S, и плоскостью Р, пересекающей эту поверхность.
   Часть секущей плоскости, выделенная конической поверхностью, называется основанием конуса. Часть конической поверхности, заключенная между его вершиной и основанием, называется боковой поверхностью конуса. Высотой конуса называется отрезок перпендикуляра, опущенного из вершины конуса на плоскость его основания.
   Рассмотрим следующие виды конусов.
  1. Конус, в основании которого лежит многоугольник, называется пирамидой. Боковая поверхность пирамиды состоит из треугольников с общей вершиной S.
       Пирамида называется правильной, если в ее основании лежит правильный многоугольник и высота проходит через центр основания.
  2. Конус, в основании которого лежит круг и высота проходит через центр круга, называется прямым круговым.
   Прямой круговой конус можно рассматривать как тело, полученное от вращения прямоугольного треугольника AOS вокруг его катета. При этом гипотенуза AS описывает коническую боковую поверхность, каждая точка гипотенузы - окружность, катет - круг (основание конуса). Поэтому в сечении прямого кругового конуса плоскостями, параллельными основанию, получаются круги. При пересечении прямого кругового конуса плоскостью, проходящей через его вершину S и пересекающей его основание, получается треугольник. Сторонами этого треугольника являются образующие конуса и хорда (в частности, диаметр) его основания. Сечение, проходящее через высоту (ось) кругового конуса, называется осевым.
   Теорема 1. Если конус Т пересечь плоскостью, параллельной его основанию, то его образующая SA и высота SO разделятся этой плоскостью на пропорциональные части, т. е.
.
   Доказательство. Соединим точки О и А, О1 и В, при этом О1В || ОА, как прямые, полученные при пересечении параллельных плоскостей Р и Q третьей плоскостью ASO. В силу теоремы о параллельных прямых, пересекающих стороны угла, имеем
.
что и требовалось доказать.
   Следствие. Если пирамиду пересечь плоскостью, параллельной ее основанию, то ее боковые ребра и высота разделятся этой плоскостью на пропорциональные части.
   Теорема 2. Если пирамиду SABCDE пересечь плоскостью, параллельной ее основанию, то:    Доказательство. 1) А1В1 || АВ, B1C1 || BC, ..., как отрезки, полученные при пересечении параллельных плоскостей Р и Q плоскостями боковых граней. Поэтому Ð А1В1С1 = Ð ABC, Ð B1C1D1 = ÐBCD, ....
   Из подобия треугольников ABS и A1B1S, BCS и B1C1S, ... имеем
… ,
откуда следует, что
.
   Итак, у многоугольников ABCDE и A1B1C1D1E1 соответственные углы равны и стороны пропорциональны. Следовательно, фигуры A1B1C1D1E1 и ABCDE подобны.
   2. Площади подобных многоугольников относятся как квадраты сходственных сторон:
.
Но
и поэтому
.
   Справедлива более общая теорема.
   Теорема 3. Если произвольный конус К пересечь плоскостью Р, параллельной его основанию F, то площадь сечения Ф и площадь основания относятся как квадраты их расстояний от вершины конуса, т. е.
.
   Доказательство. Покроем основание F квадратной сеткой ранга n и выделим входящую фигуру и выходящую фигуру , составленные из квадратов этой сетки. При неограниченном возрастании n площади этих фигур, и , стремятся к площади F:
.                        (*)
На фигурах и , как на основаниях, построим пирамиды и с общей вершиной S. Сечения этих пирамид плоскостью Р, параллельной плоскости их оснований, обозначим соответственно через и . Ясно, что лежит в Ф, а Ф - в . Поэтому сечения и будут входящей и выходящей фигурой для Ф и согласно определению (§4 гл. XV)
                        (**)
По теореме 2 о площадях параллельных сечений пирамиды
 .
Поэтому
 .
   Пусть n неограниченно возрастает. Так как отношение не зависит от n, то по свойству предела
и
 ,
Отсюда и из равенств (*) и (**) следует, что
 ,
или