кандидат технических наук;
candidate of technical sciences;
Приведено геометрическое доказательство теоремы, утверждающей, что при сечении плоскостью поверхности вращения второго порядка (квадрики вращения, КВ) образуются коники: эллипс, гипербола или парабола (типы коник). Теорема дополняет исторически известную теорему Данделена, дающую геометрическое доказательство лишь для кругового конуса, и распространяет доказательство на все КВ: эллипсоид, гиперболоид, параболоид и цилиндр. Поэтому рассмотренная теорема названа обобщенной теоремой Данделена (ОТД). Доказательство ОТД построено на малоизвестном обобщенном определении (ОДО) коники. Это ОДО определяет конику как линию, являющуюся геометрическим местом точек (ГМТ) P, для которых отношение q = PT / PD = const, где PT – тангенциальное расстояние от точки до окружности, вписанной в линию, а PD – расстояние от точки до прямой, проходящей через точки касания окружности и линии. Приведено доказательство ОДО для всех типов коник как их необходимого и достаточного условия. Доказательство заключается в построении кругового конуса и вписанной в него сферы, которая касается линии сечения в двух точках. Для этой конструкции находится положение секущей плоскости, дающей в сечении заданную конику. На основе ОДО выполнено доказательство ОТД для всех КВ при произвольном положении секущей плоскости. Для доказательства в квадрику помещают касательную сферу. Вводят вспомогательную секущую плоскость, проходящую через ось квадрики. Доказывают, что в сечении осевой плоскостью выполняется ОДО как необходимое условие коники. Устанавливают взаимосвязь осевого и заданного сечений. Это позволяет сделать вывод, что в заданном сечении выполняется ОДО как достаточное условие коники. Приведены наглядные стереометрические построения, необходимые для доказательства. Рассмотрена реализация построений 3D-компьютерными методами, показаны примеры построений в пакете AutoCAD. Часть построений выполнена с применением 2D-параметризации. С учетом аффинных преобразований показано приложение ОТД ко всем эллиптическим квадрикам. Работа предназначена для включения ОТД в новый учебный курс теоретических основ 3D-инженерной компьютерной графики в составе геометро-графической подготовки студентов.
Has been presented a geometrical proof of a theorem stating that when a plane section crosses second-order revolution surfaces (rotation quadrics, RQ), such types of conics as ellipse, hyperbola or parabola are formed. The theorem amplifies historically famous Dandelin theorem, which provides geometric proof only for the circular cone, and extends the proof to all RQ: ellipsoid, hyperboloid, paraboloid and cylinder. That is why the theorem described below has been called as Generalized Dandelin theorem (GDT). The GDT proof has been constructed on a little-known generalized definition (GDD) of the conic. This GDD defines the conic as a line, that is a geometrical locus of points (GLP) P, for which ratio q = PT / PD = const, where PT is tangential distance from the point to the circle inscribed in the line, and PD is distance from the point to the straight line passing through the tangency points of the circle and the line. Has been presented a proof of GDD for all types of conics as their necessary and sufficient condition. The proof is in the construction of a circular cone and inscribed in sphere which is tangent to a cutting plane line at two points. For this construction is defined the position of a cutting plane, giving in section the specified conic. On the GDD basis has been proved the GDT for all the RQ with the arbitrary position of the cutting plane. For the proving a tangent sphere is placed in the quadric. An auxiliary cutting plane passing through the quadric axis is introduced. It is proved that in a section by axial plane the GDD is performed as a necessary condition for the conic. The relationship between the axial section and the given one is established. This permits to make a conclusion that in the given section the GDD is performed as the conic’s sufficient condition. Visual stereometrical constructions that are necessary for the theorem proof have been presented. The implementation of constructions using 3D computer methods has been considered. The examples of constructions in AutoCAD package have been demonstrated. Some constructions have been carried out with implementation of 2D parameterization. With regard to affine transformations the possibility for application of Generalized Dandelin theorem to all elliptic quadrics has been demonstrated. This paper is meant for including the GDT in a new training course on theoretical basis for 3D engineering computer graphics as a part of students’ geometrical-graphic training.
ВведениеКонические сечения, их построение и исследование являются разделом учебного курса начертательной геометрии (НГ) [6; 9; 13; 23]. Основу этого раздела составляет теорема Данделена, доказывающая возникновение кривых второго порядка — коник:эллипса, гиперболы, параболы — при сечении прямого кругового конуса плоскостью.