New opportunities of theoretical nature problems solving in AutoCAD package, associated with the use of parameterization, geometric and dimensional dependencies have been demonstrated in this paper. Some examples have been presented. The parametrization use allows simplify the decision algorithms, increase their accuracy, as well as raise the complexity level of geometric tasks regarded in the learning process, make them available for students enrolled in the bachelor program.

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.

A method of Dandelin’s spheres construction for second order arbitrary rotation surfaces based on parameterization in AutoCAD package has been proposed. Examples have been provided. The estimation of accuracy related to definition of focal points and directrixes by proposed method has been given. It has been shown that the error is in the range 10–3...10–8. A conclusion about high efficiency of parameterization as a tool for geometric modeling has been drawn.