Conic geometry
  Back to the task list
  The task presented in this lesson is implemented in the environment of the Simplex software system.
   
  Recently, one of the definitions that I found in the book of M.Ya. Vygodsky attracted my attention. Handbook of Higher Mathematics. Publishing House "Science". M. 1977. On page 76 in paragraph 47 (Conjugate hyperbolas) it is literally written as follows: Two hyperbolas are called conjugate (Fig. 52) if they have a common center O and common axes, but the real axis of one of them is the imaginary axis of the other.
   
 

Рис. 1. Иллюстрация из справочника к определению сопряженных гипербол

Fig. 1. Illustration from the guide to the definition of conjugate hyperbolas

   
 

If you look through other similar books or "walk" through mathematical sites that talk about second-order curves, then you will see the same thing: a hyperbola has a hyperbole conjugated to it. The question is, if something like this does not exist in the ellipse, because it does not have an imaginary diameter: both diameters are real. At the same time, we know that from a projective point of view, hyperbole and ellipse do not differ. This means that if a hyperbola has a conjugate curve - a hyperbola, then the ellipse must also have something conjugate. And the imaginary diameter, apparently, should be the reason. Let's try to figure out where there is a discrepancy.

Perhaps I already wrote earlier that the concept of "imaginary diameter" of a hyperbola is a wrong concept. Now I can't find in the records where I talked about this, therefore I will state my position again, even if you know it.

The feeling that a hyperbola has an imaginary diameter stems from the analytical form of writing the hyperbole equation in comparison with an ellipse. These equations are based on affine representations of second-order curves in which there is no concept of infinity. It turns out that a hyperbola is an open curve with two separate branches, and an ellipse is a closed curve with one branch.

Projective geometry claims (and rightly so) that a hyperbola is a closed curve with one branch, which, unlike an ellipse, intersects an infinitely distant line at two improper points. Moreover, any non-degenerate curve of the second order — a conic — can be collinearly completely transformed into another non-degenerate curve by a collinear transformation. It is only necessary to find such a transformation. What we will do now. And then we'll see how, for example, the diameters and tangents of various affine types of curves will behave under such transformations.

New Project

We define two ellipses on the plane.

   
 

Fig. 2. Source ellipses

   
 
Algorithm "main"
1
Point p1 is given with coordinates -351.5 and -16.5 .
2
Point p2 is given with coordinates -320.5 and 106.5 .
3
Point p3 is given with coordinates -99.5 and 128.5 .
4
Point p4 is given with coordinates -28.5 and 21.5 .
5
Point p5 is given with coordinates -134.5 and -80.5 .
6
Point p6 is given with coordinates 38.5 and -10.5 .
7
Point p7 is given with coordinates 64.5 and 109.5 .
8
Point p8 is given with coordinates 284.5 and 131.5 .
9
Point p9 is given with coordinates 353.5 and 24.5 .
10
Point p10 is given with coordinates 249.5 and -162.5 .
11
Conic y1 is given with points p1 , p2 , p3 , p4 , p5 .
12
Conic y2 is given with points p6 , p7 , p8 , p9 , p10 .
   
  We construct the main diameters of two ellipses, find the points of their intersection with the corresponding curves, and determine the collineation as shown in Fig. 3.
   
 

Fig. 3. Determination of collinear transformation on the set of four pairs of points

   
 
Algorithm "main"
13
Point p11 is given as center of object y1 .
14
Lines o1 and o2 are principal diameters of ellipse y1 .
15
Points p12 and p13 are given as crossection of line o2 conics y1 .
16
Points p14 and p15 are given as crossection of line o1 conics y1 .
17
Point p16 is given as center of object y2 .
18
Lines o3 and o4 are principal diameters of ellipse y2 .
19
Points p17 and p18 are given as crossection of line o4 conics y2 .
20
Points p19 and p20 are given as crossection of line o3 conics y2 .
21
Collination kc1 is given with points couples: p13 - p17 , p14 - p19 , p12 - p18 , p15 - p20 .
   
  Place the set of points on the left curve and perform their collinear transformation. We will see that the images of the points are exactly located on the right curve. This means that the collineation given on the sets of points lying at the intersections of the main diameters with the curves allows us to determine the collineation with the given conditions (Fig. 4).
   
 

Fig. 4. The result of converting a point series, with a carrier on the first conic to a point series on the second conic

   
 
Algorithm "main"
22
Point p21 belongs to an object y1 with parameter [0~1~32] .
23
The image p22 of object p21 on collination $c1 .
   
  Now we modify the right conic into a hyperbola. As one pair of points for determining collineation, we will choose the intersection points of the known diameter of the hyperbola, but as the second pair we will take two improper points - the intersection points of the second conic with the infinitely distant line. And we are convinced that the collinear transformation works as successfully as in the previous case.
   
 

Fig. 5. The result of the transformation of a point series, with support on the first conic to a point series on the second conic - a hyperbola

   
 

From the result it should be concluded that the second conic - the hyperbola - has a legitimate second main diameter and this diameter is an infinitely distant straight line. This diameter is not imaginary, but real!

It follows from this that the definition of the center of a second-order curve, which supposedly is the image of an infinitely distant straight line in polarization, is incorrect! The center of the second-order curve lies at the intersection of its main diameters, so the center of the hyperbola is not at the point "lying" in the middle between the "hyperbola segments", where they approach each other at the minimum distance, but at infinity in the direction of the first main diameter of the curve!

For the same reason, the concept of the diameter of a second-order curve in general is incorrectly interpreted. All diameters must go through the center of the curve, and if the center of the hyperbola is at infinity, then all diameters must go through this infinitely distant point, that is, they are all parallel to the first main diameter!

The foregoing can be easily illustrated.

   
 
Algorithm "main"
1
Point p1 is given with coordinates -351.5 and -16.5 .
2
Point p2 is given with coordinates -320.5 and 106.5 .
3
Point p3 is given with coordinates -99.5 and 128.5 .
4
Point p4 is given with coordinates -28.5 and 21.5 .
5
Point p5 is given with coordinates -134.5 and -80.5 .
6
Point p6 is given with coordinates 38.5 and -10.5 .
7
Point p7 is given with coordinates 140.5 and 22.5 .
8
Point p8 is given with coordinates 284.5 and 131.5 .
9
Point p9 is given with coordinates 353.5 and 24.5 .
10
Point p10 is given with coordinates 249.5 and -162.5 .
11
Conic y1 is given with points p1 , p2 , p3 , p4 , p5 .
12
Conic y2 is given with points p6 , p7 , p8 , p9 , p10 .
13
Point p11 is given as center of object y1 .
14
Lines o1 and o2 are principal diameters of ellipse y1 .
15
Points p12 and p13 are given as crossection of line o2 conics y1 .
16
Points p14 and p15 are given as crossection of line o1 conics y1 .
17
Point p16 is given as center of object y2 .
18
Lines o3 and o4 are principal diameters of ellipse y2 .
19
Points p17 and p18 are given as crossection of line o4 conics y2 .
20
Points p19 and p20 are given as crossection of line o3 conics y2 .
21
Collination kc1 is given with points couples: p13 - p17 , p14 - p19 , p12 - p18 , p15 - p20 .
22
Point p21 belongs to an object y1 with parameter [0~1~32] .
23
The image p22 of object p21 on collination kc1 .
   
 

Fig. 6. On the construction of diameters of a hyperbola

   
 
Algorithm "main"
24
Line o5 is given with point p11 and angle [0~180~32] to axis OX.
25
The image o6 of object o5 on collination kc1 .
   
  Now let's talk about the asymptotes. The asymptotes of a hyperbola are straight lines that approach a curve and touch it at infinity. We draw two asymptotes of the hyperbola and see what they transform into inverse collineation.
   
 

Fig. 7. Conversion of the conic asymptotes into lines tangent to an ellipse at the intersection points of one of the diameters with the curve

   
 
Algorithm "main"

24

Point p23 is a symmetry center of points p19 and p20 .
25
Line o5 is given with p23 and p17 .
26
Line o6 is given with p23 and p18 .
27
Collination kc2 is given with points couples: p17 - p13 , p19 - p14 , p18 - p12 , p20 - p15 .
28
The image o7 of object o5 on collination kc2 .
29
The image o8 of object o6 on collination kc2 .
   
 

It can be seen from the drawing that the asymptotic lines were transformed into straight lines tangent to the ellipse at the points of intersection of the same diameter of the ellipse with itself.

But then we still have two unused points from the second diameter. Having drawn two tangents to the ellipse through these points, we transform them into a direct collineation.

   
 

Fig. 8. Collinear transformation of blue tangents drawn to the left curve into tangents obtained from the right curve

   
 

The result is not long in coming. We see that the lines turned into two tangents to the hyperbole at the points of intersection of the first diameter with the curve itself.

Everything is strict, harmonious and logical!

And now we can talk about tangent hyperbolas.

To begin with, we construct an arbitrary hyperbola and find it conjugate as described in the reference book. We set the hyperbola.

   
 

Fig. 9. The initial hyperbola in the problem of constructing the conjugate hyperbola

   
  New Project
   
 
Algorithm "main"
1
Point p1 is given with coordinates -258.5 and 57.5 .
2
Point p2 is given with coordinates -102.5 and -15.5 .
3
Point p3 is given with coordinates -49.5 and -128.5 .
4
Point p4 is given with coordinates -0.5 and 85.5 .
5
Point p5 is given with coordinates 73.5 and -37.5 .
6
Conic y1 is given with points p1 , p2 , p3 , p4 , p5 .
   
  Using the generalized concept of the asymptotes of a hyperbola, we construct four asymptotes: essentially tangent to the curve at the points of its intersection with the main diameters. We will call such tangents "principal" by analogy with the principal diameters of the curve.
 

Fig. 10. The construction of the "main" tangents to the hyperbole.

   
 
Algorithm "main"
7
Lines o1 , o2 , o3 , o4 are asymptote of conic y1 .
   
  Find the four intersection points of the main tangents.
   
 

Fig. 11. Construction of four intersection points of the main tangent conics

   
 
Algorithm "main"
8
Point p6 is given as intersection of lines o1 and o4 .
9
Point p7 is given as intersection of lines o2 and o3 .
10
Point p8 is given as intersection of lines o2 and o4 .
11
Point p9 is given as intersection of lines o1 and o3 .
   
  We construct two "middle" points and two infinitely distant points on the hyperbole
   
 

Fig. 12. Determination of the elements of the frame of the conjugate hyperbola

   
 
Algorithm "main"
12
Line o5 is given with p6 and p7 .
13
Line o6 is given with p9 and p8 .
14
Point p10 is given as center of object o5 .
15
Point p11 is given as center of object o6 .
   
  You can easily build a conic on existing facilities. We choose the midpoints and their line carriers as tangent points and tangents that define the future conic. As the fifth element of the frame, we take one of the infinitely distant points on the red conic.
   
 

Fig. 13. Blue hyperbole - the desired conjugate hyperbole

   
 
Algorithm "main"

16

Points p12 and p13 are given as crossection of line iline conics y1 .
17
Conic y2 is given on point p13 , tangent line o5 , passing point p10 , and tangent line o6 , passing point p11 .
   
  But we will not dwell on the result achieved. Also, as in the previous task, we perform a collinear transformation of the red hyperbola into the red ellipse. In the same collineation, we transform the blue conjugate hyperbola. It can be seen from the figure that the new blue hyperbola is the conjugate hyperbola to the ellipse to "no less" than its prototype to the original hyperbole.
   
 

Fig. 14. Constructing a conjugate hyperbola to an ellipse

   
 
Algorithm "main"
18
Point p14 is given with coordinates 95 and 22 .
19
Point p15 is given with coordinates 121 and 124 .
20
Point p16 is given with coordinates 307 and 144 .
21
Point p17 is given with coordinates 366 and 54 .
22
Point p18 is given with coordinates 277 and -32 .
23
Conic y3 is given with points p14 , p15 , p16 , p17 , p18 .
24
Point p19 is given as center of object y3 .
25
Lines o7 and o8 are principal diameters of ellipse y3 .
26
Points p20 and p21 are given as crossection of line o8 conics y3 .
27
Points p22 and p23 are given as crossection of line o7 conics y3 .
28
Point p24 is given as center of object y1 .
29
Lines o9 and o10 are principal diameters of ellipse y1 .
30
Points p25 and p26 are given as crossection of line o10 conics y1 .
31
Points p27 and p28 are given as crossection of line o9 conics y1 .
32
Collination kc1 is given with points couples: p26 - p21 , p28 - p22 , p25 - p20 , p27 - p23 .
33
The image y4 of object y2 on collination kc1 .
   
 

Based on the results obtained, it should be concluded that the definition given in the reference manual with respect to hyperbola does not have generality and, moreover, is not based on those geometric images that are the root cause of this geometric phenomenon.

It would seem that we have already received a new result. But still, we will not stop. Perform another collinear transformation, but this time translate the red ellipse into a new red circle. We will transform in the new collineation the second blue hyperbola.

   
 

Fig. 15. The result is the transformation of conics into a circle and the form of a conjugating hyperbola for a circle

   
  A remarkable feature of the last construction is that the blue hyperbola is not only equilateral, as in the previous cases, but it also asymptotically approaches two straight bisectors of the axes of a circle located at an angle of 90 degrees to each other and passing through the center of the circle.
   
 

Fig. 16. A hyperbola conjugate to a circle

   
 
Algorithm "main"
34
Circle d1 is given with center coords 616 , 78 and radius 71 .
35
Point p29 is given as center of object d1 .
36
Line o11 is given with point p29 and angle 0 к оси OX.
37
Line o12 is given with point p29 and angle 90 к оси OX.
38
Points p30 and p31 are given as intersections of line o11 and circle d1 .
39
Points p32 and p33 are given as intersections of line o12 and circle d1 .
40
Collination kc2 is given with points couples: p21 - p30 , p22 - p33 , p20 - p31 , p23 - p32 .
41
The image y5 of object y4 on collination kc2 .
   
  The resulting image has such an "attractive symmetry" that you involuntarily want to turn the blue conic about the center of the circle ninety degrees to "fill the void." Let's do it and get the purple hyperbola.
   
 

Fig. 17. The second conjugate conic to the circle

   
 
Algorithm "main"
42
Point p34 belongs to an object y5 with parameter 1.5956087 .
43
Point p35 belongs to an object y5 with parameter 0.88634686 .
44
Point p36 belongs to an object y5 with parameter 1.0994135 .
45
Point p37 is given as result of point p29 rotation around center p35 with angle 90 .
46
Point p38 is given as result of point p29 rotation around center p31 with angle 90 .
47
Point p39 is given as result of point p29 rotation around center p36 with angle 90 .
48
Point p40 is given as result of point p29 rotation around center p34 with angle 90 .
49
Point p41 is given as result of point p29 rotation around center p30 with angle 90 .
50
Conic y6 is given with points p37 , p38 , p39 , p40 , p41 .
   
  To make up for the completeness of the picture, we transform the lilac conic in reverse collineations at all stages of our construction.
   
 

Fig. 18. Construction of the second conjugate conics

   
 
Algorithm "main"
51
Collination kc3 is given with points couples: p30 - p21 , p33 - p22 , p31 - p20 , p32 - p23 .
52
Collination kc4 is given with points couples: p21 - p26 , p22 - p28 , p20 - p25 , p23 - p27 .
53
The image y7 of object y6 on collination kc3 .
54
The image y8 of object y7 on collination kc4 .
   
 

The algorithm presented in our conversation convinces us that any conic has two, and not one, main conjugate conics.

New Projects

Having the opportunity to build conjugate conics, we begin the study of their properties as a single geometric design. Imagine a family of three conjugate conics in Fig. 19.

   
 

Fig. 19. Initial data for explaining the geometric properties of conjugate conics

   
 

Property 1

The polarity induced by any of the conics of the resulting construction translates both conics conjugate to it into themselves.

   
 

Fig. 20. The result of the conversion of the red conic in polarization relative to the green conic

   
 

Property 2

Four real foci of two hyperbolas included in the conjugation complex are on the same circle.

   
 

Fig. 21. Illustration to the explanation of properties 2, 3 and 4

   
 

Property 3

The circle passing through the real foci intersect one hyperbola at the points through which the directrixes of the second hyperbola pass (see Fig. 21).

Property 4

Directrixes of adjacent hyperbolas intersect at points lying on an ellipse conjugate to these hyperbolas.

Property 5

The circle drawn through the foci of the ellipse and one of the foci from the hyperbola that does not lie with the original two on the same line intersects the ellipse at the points obtained from the intersection of the directrix corresponding to this focus with the ellipse, and the center of this circle lies on the directrix. This statement is true for both real and imaginary foci. Such a circle will be called focal.

   
 

Fig. 22. Illustration for the explanation of property 5

   
 

Property 6

The asymptotes of the ellipse intersect on a circle passing through four foci of hyperbolas (Fig. 23, a). The asymptotes of both hyperbolas also intersect on this circle (Fig. 23, b, c)

   
 

Fig. 23 a. Illustration for explaining property 6 with respect to an ellipse

Fig. 23 b Illustration for the explanation of property 6 with respect to blue hyperbola

Fig. 23, c. Illustration for the explanation of property 6 with respect to red hyperbola

   
 

Property 7

The circles generated from imaginary and from real foci are orthogonal.

   
 

Fig. 24. Illustration for the explanation of property 7

   
 

Property 8

Lines drawn through the center of the ellipse and the intersection points of unpaired focal circles intersect, including tangents and directrixes of adjacent hyperbolas.

   
 

Fig. 25. Explanation to property 8

   
 

Property 9

The straight lines drawn from the center of the ellipse to the intersection points of the directrixes of the hyperbolas intersect, including at the intersection points of the diametrical circles constructed on these points.

   
 

Fig. 26. Explanation to property 9

   
 

Property 10

The circle drawn through the focal points of adjacent conjugate hyperbolas also passes through one of the intersection points of the diametrical circles constructed on the intersection points of the directrixes of conics

 

Fig. 27. Illustration for property 10

   
 

Property 11

A line tangent to an ellipse at the point of intersection with the directrixes of adjacent hyperbolas passes through the foci of these hyperbolas.

   
 

Fig. 28. Illustration for property 11

   
 

Property 12

Lines drawn from the actual focus of one of the hyperbolas touch the adjacent hyperbola at points lying on the circle passing through the real foci of these hyperbolas. These points also lie on the directrix formed from the pair focus of the initial hyperbola.

   
 

Fig. 29. Illustration for property 12

   
 

Property 13

A circle centered at one of the foci of the hyperbola drawn through the points of tangency of the lines dropped from the pair focus to the adjacent focal circle touches the adjacent conjugate hyperbola at the intersection points of the adjacent hyperbola with the circle drawn through the real foci of the conjugate hyperbolas.

   
 

Fig. 30. Illustration for property 13