Published by the Romanian Academy Publishing House
DOI
Print ISSN
1222-9016
Online ISSN
2601-744X
google scholar link
??
Paper (preprint) in HTML form
1959-Gergely
Original text
Rate this translation
Your feedback will be used to help improve Google Translate
A GENERALIZATION OF POLAR THEORY TO ICE LINE AND ICE SURFACE
E. GERGEIN
Cluj
The theory of plane convex figures, and likewise the theory of convex surfaces and solids, is an important and large field of mathematical research. This work deals with the generalization of polar theory to an important class of convex figures and convex surfaces, namely egg-shaped figures and egg-shaped surfaces
We can realize this generalization in several ways, using various characteristic features of polar kinship, naturally such properties which allow a generalization to egg lines and egg surfaces.
In the following, we will only consider two possibilities of this generalization.
In the first part, we define the polar curve in the case of the oval, and the polar surface in the case of the oval surface, using harmonic pairs of points. In the second part, only in the case of the oval, we will allow the points of the diagram to correspond to the so-called "conjugate curves." These curves are the geometric loci of the points of intersection of the tangents at those points on an oval where the lines through the pole intersect the polar curve. These curves are also generalizations of the polar curves in the case of conic sections. This generalization is not possible in the case of the oval surface.
§ 1 Polar curves and conjugate curves of the oval lines
In the following, we understand an oval curve to be a convex, closed curve that has a definite tangent at every point. We can note that the convexity of the curve implies a monotonic change in the direction of the tangent and also the property that the curve has no corners.
The oval curve is a Jordan curve and, as such, divides the points on its plane into inner and outer points. For the outer points, we can generalize the concept in various ways.
I. Two definite tangents pass through an outer point to the oval curve; the line through the points of tangency of these tangents we call the polar line of that point.
II. Let us consider such a line a through the outer pointP_(1)which intersects the oval. The polar curve of the pointPis the geometric locus of the point whichPfrom the points of intersection of the line a with the curve of the egg, it is harmonically separated. This determination also makes sense in the case of an interior point with respect to the curve of the egg, and in this way all interior points also have a polar curve.
The term I only has meaning for the outer points of the oval line,
III. We determine the conjugate curve of a point.P(inner or outer) as the geometric locus of the points of intersection of the tangents at the common points of the oval line and the line through the pointPThese curves are also generalizations of the polar concept for conic sections.
In the following, we will deal with cases II and III.
1. Polar curves.
a) Polar curves of an external point.
Fig. 1
It is necessary to introduce some new terms.
The triangle with sidesa, andbTangents of the oval line through the outer pointKand the tendon through the points of contactAandBof this tangential line, we call the tangent triangle of the pointK(Figure 1).
The pointsAandBdivide the oval into two arcs; one is inside the tangent triangle, the other outside. We call this inner arc, and the outer arc the arc for the pointK.
Let us take all such straight lines through the pointK, which intersect the oval. These straight lines also intersect the chordABThe intersection point of such a straight line with the inner arc is...Cand the harmonically corresponding point to the pair of pointsKDletE. The set of pointsEwe call the harmonic curve of the inner arc
The harmonic curve together with the inner arc gives an oval shape in the projection plane; the polar curve of the point.KWith regard to the filine, the tendonAB.
Fig. 2
Proof: We show that a straight linegintersects this harmonic curve at most at two points. Indeed: one point of intersection through our construction corresponds to a single point on the inner arc and the straight linegcorresponds to a straight lineg^('); thisg^(')can intersect the convex inner arc at most two points and therefore it is also true for the harmonic curve
To study the polar curve, it is necessary to study the relative position of two oval lines, especially the case of a circle and an oval line.
An oval and a circle have an even number of points of intersection, but they can also share some arcs. We will exclude this last case. Let us observe all circles in the plane of the oval. The maximum number of points of intersection of a circle with the oval is called the order of the oval with respect to the circle.
For an even number2nThere always exists an egg line with order>= 2nRegarding the circle, let's consider a circle.2nPoints. It can be seen that it is possible to construct an oval that intersects the circle at these points, and whose arcs between the points of intersection lie alternately inside and outside the circle. The order of this oval, with respect to the circle, is greater than or equal to2n.
We can use the order with respect to the circle for a classification of the oval lines, corresponding to the concept of the order of a general curve with respect to the straight lines of the plane, where the order is the maximum number of intersection points of the curve and the straight line.
A fine line and a straight line have at most two points of intersection, and thus the order—in this sense—of an oval is 2, and further classification in this way is not possible. The order of an ellipse with respect to a circle is 4; this number is the minimum order of an oval with respect to a circle.
Similarly, for an oval line, we can construct other oval lines which intersect the given oval line at a given even number of points.
According to this, we can also study the shape of the polar curve using the harmonic curve.
There are three possible cases:
a) the harmonic curve lies entirely within the curve of the egg
; b) the harmonic curve lies entirely outside the curve of the egg;
c) the harmonic curve intersects the curve of the egg, or the two share a common arc.
In case a), the polar curve lies entirely inside the area defined by the chord.ABand the outer arc of the egg-shaped area limited and does not cut the tendonAB(except for the points)AandB). (Figure 2).
In case b), the Po-
Fig. 3
Lar curve inside (except for the points)AandB) of the tangent triangle.
In case c), we must distinguish 3 possibilities with regard to the relative position of the oval line and the arc.O_(1)(Figure 3): c_(1)) the points of intersection of the oval lineOwith the bowO_(1); c_(2)) the points of contact of the oval lineOand the arcO_(1); c_(2)) the common arc of the egg line and the arcO_(1).
The points of intersection of curves 0 andO_(1)correspond to certain points on the polar curves; these points are the points of intersection of the chordABand the polar curve.
The polar curve touches at points which correspond to the points of the casec_(2)correspond to the tendonAB(possibly at inflection points). In the casec_(3), a part of the chordABis shared with the polar curve. In this case, the polar curve, together with the inner or outer arc, does not form an oval shape
This is generally true also in cases a) and b).
Let us denote byalpha(Figure 4) the angle betweent_(1)andcand withxthe oriented segment of the linecbetween the outer arc and the arcO_(1)(the positive direction from the pointKafter the outer arc). The function
Pig. 4
tionx(alpha)is continuous and partially monotonic, or constant. The monotonic parts of the functionx(alpha)The corresponding arcs are concave or convex with respect to the outer arc.
A polar curve has a tangent at every point. We can easily construct this tangent (Fig. 5).
Let's take the outermost point.Kand its polar curve;Pa point on the polar curve.KCDis a lineKPdifferent straight lines;Qis the point on the polar curve on the line KCD. The linesAC,PQandVolmeet at one pointT; the routesACandBDare tendons of the filine andPQa chord of the polar curve. If the straight lineKCDthe straight lineKABAs the lines approach, they approach each other.ACTandBDTthe tangents at the pointsAandBand so the point approachesTthe intersection point of the tangents (in the special case these tangents are parallel and then pointTto infinity). The straight linePQtherefore approaches a well-defined straight line and^(50)The polar curve has a well-defined tangent at all its points.
Pig. 5
Fig. 6
The construction of the tangent is therefore very easy; we construct the tangents at the points of intersection of the linesKPand the oval curve; the tangent to the polar curve is the one passing through the pointPand the straight line determined by the intersection of the tangents.
It is now clear that the change in the direction of the tangent to the polar curve is continuous
THEOREM. A single polar curve passes through all the interior points of the oval in every direction.
In other words, for all line elements belonging to an interior point, we can define a single exterior point such that for the polar curve of this point, the given line element is a tangent element.
Proof: (Figure 6). LetPan interior point of the oval and a a straight line through the pointP. We denote the tangents to the oval line parallel to a by .bandcand their points of contact withBandC; the points of intersection of the lineawith the oval withMandNand finally the tangents at these points withmandn. The pointSruns along the straight line from infinity to point M. Let us draw the chords of the oval through the points of tangency of the tangentsSThese tendons simply cover the inside of the oval line between the tendon and the point.MIf the pointSon the straightain the opposite sense from infinity toNIf the string runs, then the corresponding chord simply covers the interior from the chord to point N. So, if the pointSthe straighta- with the exception of the routeMN- passes through, the corresponding tendons simply cover the entire inside of the oval line, and so it goes for a single pointSthe corresponding tendon through the pointS. We therefore have the existence of a through the pointPgoing
and the straightatouching polar curve and becauseaIf any straight line passing through the point is the endpoint, we have proven the first part of our theorem. We denote the endpoints of the chord thus constructed byD,E. The pointK, whose polar curve throughPgoes and the straightaat the pointPtouches, forms withPregarding the pointsD,Ea harmonic pair of points; consequently, the pointKand thus the polar curve in question is completely determined, and therefore our theorem is completely proven.
b) The polar curve of an interior point.
It is clear that the polar curve of an interior pointBentirely in
Fig. 7
outside the oval. Through the pointBpass those chords whose midpoint is precisely the pointBThe straight lines determined by such curves are the asymptotes of the polar curve of the point.BAnd so the polar curve of an intrinsic point has as many points at infinity as there are such chords passing through it whose midpoint is the given point.
The polar curve of an interior point has at least one point at infinity; therefore, such polar curves have at least one branch extending to infinity (Figure 7). A curve passing through the pointBThe percutaneous tendon has two parts.ABandBC. Let it beAB>>BC. By rotating aroundBThe lengths of the segments change constantly. This is due to a rotation at an angle.pithe line segmentBCtransitions intoABand thus there exists at least one position of the chord in whichBthe midpoint. Therefore, on the line defined by this chord, the point is...Bcorresponding conjugate point. A point on the polar curve at infinity.
Infinitely many polar curves pass through all exterior points. (Figure 8). It is clear that the polar curves of the points which lie on the polar curve of the pointKlie, throughKgo. The construction of the tangent to a polar curve at an external point is as follows; we assume that the polar curve to the pointBheard. The points of intersection of the lines.KPwe denote withMandNand the intersection of the tangents of the oval line at the pointsMandNwithT. The tangent we are looking for is the straight line determined byKandT. We can prove this construction in a similar way to how we proved a polar curve through an interior point
Eig, S
Fig. 9
Fig. 10 a
Lemma. (Fig. 9) Let K be the harmonic point of the interior point B with respect to the points of intersection AC of the line KB with the oval, andMThe intersection point of the tangents at A and C. The line MK
does not intersect the oval. Truly, the oval and the pointKcannot lie in the vertical angle formed by the lines MA and MC, and therefore MK cannot intersect the oval line.
The straight lineMKis the tangent at pointsKof the polar curve of the pointBand in this way we proved that the tangents of the polar curves are given byKThey cannot cut the egg line. Consequently, they pass through it.KThe tangents drawn through the outer point do not determine polar curve tangents at the angle in which the oval line lies, and thus we cannot draw polar curve tangents in all directions through an outer point, as in the case of an inner point.
In the following, we will prove that through an external pointKin all directions whose defining line does not intersect the oval line, a single line in question at the pointKtouching polar curve.
We introduce the concept of the conjugate curve of a point with respect to the oval. The conjugate curve is the geometric locus of the points of intersection of the tangents drawn at the endpoints of the chord passing through the point in question. We will consider the conjugate curve of an exterior point.Kstudy (Figure 10a). We are to prove that aKA straight line that does not intersect the egg curve.ethe conjugate curve of the pointKat a single pointCcuts. In this
Fig. 10b
case - which is formed by the points of contact of thecgoing tangents going straightalpha. throughKLetDbe the harmonically conjugate point ofKon the line a with respect to the oval. The polar curve of the pointDgoes throughKand its tangent is precisely the straight lineε.
From a point on the lineewe construct the two tangents to the oval. (Figure 10b). The line passing through the points of tangency of these tangents intersects the lineeat that point. teQ^('). It is clear that one pointQa single pointQ^(')corresponds. We refer to this pointQas the conjugate point of the pointQon the straightc.
One remark. The one between the dots ? andQ^(')Existing correspondence is involutory in the case of an ellipse, but is generally not in the case of an ovary
We will call the conjugate point of the point after this.Q^(')withQ^(''), the conjugates of the pointQ^('')withQ^(''')and so on. It is an open question whether this correspondence is involutory only for the ellipse for all points of all lines or not. If for the pointsQ,Q^('),Q^(''),dots,Q^((n)),Q^((n))=Q, then we call the sequence of points a chain of degree n. Many closure problems also arise in connection with this concept.
IfQthe straightedescribes, then different points can be... andQ_(2)not the same pointQ^(')correspond. Truly, let us observe the tendons which are formed by the points of contact of the pointsQ_(1)andQ_(2)drawn tangents are determined. If the pointsQ_(1)andQ_(2)a single pointQIf that were the case, then these two tendons would intersect at an outer point of the oval line, but this is not possible due to the continuous rotation of these tendons.
In this way, the correspondence of the points isQandQ^(')unambiguous. We still need to prove that the pointQ^(')the entire straightedescribes when the pointQIt does.
Let the pointsAandBbe the points of contact of the witheparallel tangents. The straight lineABintersects the linecat the pointK; we call this point the midpoint of the line with respect to the line. Let the pointLthe conjugate of the pointK. The direction from the pointKtoLLet's take that as the negative direction. The pointQDescribe the straight lineefrom the point+∞to the point-oo. To the infinite
Fig. 11
Fig. 12
Point on the line corresponds to the pointK. IfOin the interval[+oo,K]then it is clear thatQ^(')in the interval[K,-oo]lies.
Let us construct the conjugate curve of the infinity point of the linee(Figure 11). This curve intersects the straight line.ein a single pointK_(1)and the conjugate point of theK_(1)is the infinite point of the lineeWe refer to this pointK_(1)the quasi-center of the line with respect to the oval (in the case of the ellipse, the points areKandK_(1)identical, the pointLis the middle point of the linee.
The location of the pointQ^('), as a result of its construction, is a continuous function of the position of the point.Q(except for the pointK_(1)).
IfQthe interval[+oo,K]describes, then the pointQ^(')describes the segment ofKuntilL; and ifQmoves within the intervalKK_(1)then describesQthe interval[L,-oo], and finally, whenQthe interval[K_(1),-oo]describes, then goesQ^(')from+∞to the pointK. Our result is thatQ^(')the entire straightedescribes and thus we have proven the theorem concerning the directions of the polar curves passing through an external point
Some special ovarian lines
Interesting special ovarian lines are those that contain a so-called partial centerOhave, i.e., where a point exists in their plane for which some arcs of the oval are symmetrical, but the complementary arcs are not, (Figure 12) the arcsa,a^('), respectivelyb,b^(')are symmetrical, butc,c^('), andd,d^('), not). In this case, the polar curve of point O has no finite points in the angles containing the symmetrical arcs; in these angle sectors, the polar curve is an infinite straight line.
It is clear that we can construct such oval curves for which the polar curves of two
different points have points of intersection in the previously given number; there are even oval curves for which some polar curves have identical arcs. Consequently, there is no general theorem for the number of polar curves through two points. Indeed, ifAandBtwo interior points andaandbif their polar curves are, then all their points of intersection pass through corresponding polar curvesAandBWe saw, however, that the set of intersection points of two polar curves can consist of isolated points—in any number—and can even form continuous arcs. In this way, such pairs of points can exist in the plane of an oval curve through which a given number of polar curves pass.
Fig. 13
even their quantity can have the cardinality of the continuum.
2. The conjugate curves
We have seen that the conjugate curve of an exterior point passes through all points.Kintersects a straight line at a single point. In the following, we prove some simple but important properties of conjugate curves
The conjugate curve of an exterior pointKhas a single branch and this branch has a point at infinity. (Figure 13).
It is only necessary to state that through the pointKOnly such a straight line intersecting the oval is valid for which the tangents drawn at its points of intersection with the oval are parallel. We call a chord for which the tangents drawn at its endpoints are parallel a quasi-diameter of the oval.
Two quasidiameters intersect within the linea ova. Indeed, a quasidiameter a divides the linea ova into two arcs:o_(1)ando_(2). It is clear that ifbis another quasidiameter, then one of its endpoints lies on the arco_(1), the other one ono_(2), and so the quasidiameter goesbin the strip which is determined by the tangents drawn at the endpoints of a, from one half-plane determined by a to the other half-plane, that is, it intersects the quasidiameterainside the oval. In this way, the lines containing the quasidiameter simply cover the outside of the oval, and thus the stated property is proven.
The shape and position of the conjugate curve of an external pointKis indicated in Figure 14. Starting from the points of contactA,Bthe tangents drawn from the pointKthe conjugate curve lies entirely outside the oval, it has a single asymptote and the direction of this asymptote is identical to the direction of the tangents drawn through the endpoints of theKgoing quasidiameters.
The conjugate curve of an interior point B has as many branches extending to infinity as there are quasidiameters passing through the point.Bgo.
This property is evident.
Fig. 14
For a centrally symmetric oval (with center O), the conjugate curve of the point isOthe infinite straight line.
The conjugate curves of two interior points intersect at a single point
Be the pointMthe intersection point of the conjugate curveG_(P)of the pointPand the conjugate curveG_(Q)of the pointQ. Then, according to the definition of the conjugate curve, the curve defined by the points of tangency of the curve defined byMThe chord through the points is determined by the tangents.PandQgo and so the pointMis uniquely determined (Mis possibly at infinity).
The more general theorem also applies
: The conjugate curves of two points intersect if and only if the line defined by the two points intersects the oval. Two conjugate curves can only have a single point of intersection.
One remark. These proven properties are analogous to the polar properties of the ellipse, observing that in the case of the ellipse, the conjugate curve - by its definition - is only the outer part of the polar line.
2. The Polar Theory of Egg Surfaces
1) The polar surface of an external point.
LetKbe an outer point of the egg surfaceO(Figure 15). We construct on a throughKgoing straight lines a the withKRegarding the points of intersection of the line a with the egg surface, harmonic pointC: the geometric locus of the pointsC, is the polar surface of the pointKA plane passing through the line a intersects the egg surface in an egg-shaped line and the set of polar curves of the point.KThe polar surface is defined by this oval line.
Fig. 15
theorem: The polar surface of an external point has a well-defined tangent plane at all points
LetCany point on the polar surface of the pointKWe denote the points of intersection of the line KC and the oval byA,B. A plane passing through the lineKCintersects the egg surface in an egg-shaped line. The construction of the tangent toCthe polar curves of the pointKRegarding this oval line, we know that all tangents constructed in this way lie in a plane. The planes of tangencyp_(1)andp_(2)of the egg surface at the pointsAandBintersect in a straight lineb(possibly at infinity). The tangents to the oval at the pointsAandBlie in the planesp_(1),p_(2)and thus their point of intersection lies on line b. In this way, the tangents of the polar curves pass through the point of intersection of the oval plane with the line.b, consequently all these tangents lie in the area ofband the pointCdeterministic plane; this is the tangent plane of the polar surface at the pointC.
Note that with the continuous change of the pointCon the polar surface, the points also changeA,Bconstantly changing and consequently also the levelsp_(1),p_(2)and so does the straight lineb; from this it follows that the change in the direction of the tangent plane of the polar surface is also continuous.
THEOREM: At an interior point, all surface elements are the tangent elements of the polar surfaces, and each surface element corresponds to a single polar surface.
In connection with this problem, we define the following:P(Inner or outer) adjoint congruence of the line with respect to the egg surface. Through the pointPA set of lines intersecting the egg surface passes through this point; the set of lines of intersection of the tangent planes passing through the points of intersection of the egg surface with the line in question forms the congruence of lines adjoint to the point. Between the line passing through the pointPThere is a one-to-one relationship between the passing line and the line of congruence.
Let us study the view through an external point.Klines of congruence. (Fig. 16) LetPbe an interior point. The lines pointing to the pointKrelative tangent curve (the geometric locus of the points of tangency of the line originating from the pointK(tangent drawn to the egg surface), we callE. The points of intersection of the egg surface and the points of the curveEand of the pointPCertain tendons also describe a different curve on the egg surface.E_(1)and we call this the curve projected with respect to the pointPof theECurve. The projected curve is the complement.
part of the curveEand from the topPcertain cones. BeCan intersection point of the curvesEandE_(1)(if such intersection points exist).Cis a point on the curveEand so the line intersectsCPthe egg surface at one pointC^(')of the curveE_(1). The pointCalso lies onE_(1)And that's the point.C^(')also an intersection point of the curvesEandE_(1)In this way, the points of intersection of the curves can be determined.EandE_(1)to be arranged into such pairs of points that the lines determined by a pair pass through the pointPgo. The tangent planes determined by such a pair of points intersect in a - throughKgoing - straight lines leading toPadjoint line congruence.
In this way, so many
lines of congruence pass through the pointK, like half the number of intersection points of the curvesEandE_(1).
For an outer pointKand for its tangent curveEsuch inner points existPthe egg surface for which the projected curve is the curveEcuts and those for which these theEdoes not intersect. The sets of these points - we call themDandD^(')- form regions inside the egg surface due to the continuity properties of the egg surface. The boundary of these regions is the geometric locus of those points for which the curveEand their projected curves touch at least at one point, because they diverge from the curve at that pointEcertain part of the egg surface lie. For the points of the areaDand for its boundary points, the adjoint congruence is given by the pointKstraight lines, but for the points of the areaD^(')The conjugate congruence does not have such a straight line.
In this way, an outer point causes the inner points of the oval line to be divided into areas.
We therefore possess a picture of the lines of the adjoint congruence.
One remark: With an analogous construction, we can for an arbitrary curveEon the oval line - not for the tangent curves of the outer points - the projected curveE_(1)determine with respect to the interior points. The set of such interior points for whichEandE_(1)0,2,4,dots,2n dotsWe call points of intersectionD_(0),D_(2),D_(4),cdots,D_(2n),dotsIn this way, all curves result in a division of the inner points of the egg surface into areas, and through an analogous construction we obtain a division of the outer points
through an inner pointBmoving tendonshcorresponds to a quantitykof the line of congruence and the setsof the planes is of the kand the pointBDefinitely. It's an open question whethersall through the pointBincludes the passing levels, or in other words, whether in each passing pointBAre one or more lines of congruence located in the plane? (Figure 17).
Fig. 17
LetSbe a plane passing through the pointB. Determine the planes of tangency passing through a straight line that does not intersect the surface of the egg, and the points of tangency of these planes, as well as the chord containing these points which defines the planeSin one pointTthe intersection line of the egg surface withSintersects. The set of pointsTDue to the continuity properties of the egg surface, it is a simply connected, closed area whose boundary line is the egg line, i.e., the interior of the egg line.
So we have proven that in the plainSat least one straight linecof the line congruence adjoint to the pointBexists, i.e., at least one line with the following property: that which is defined by the points of tangency of the lineegoing planes of contact, a specific chord containing a straight line passes through the pointP. On the line containing this chord, we determine the harmonic point with respect to the surface of the egg, corresponding to the pointB. The tangent plane to the polar surface of this point is precisely the given planeS.
In the following, we prove that at an interior point, each surface element is a tangent element only for a single polar surface. (Figure 18). The planesThe given surface element bisects the egg surface in an egg line.O. Let's take all the outer parallel curves lying in the planesliegenden ParallelkurvenO(d)of the egg lineO, where thedThe distance between the two curves is... The planesdivides the egg surface into partsO_(1)andO_(2)Through the tangents of the curveO(d)We determine the tangent planes to the egg surface. It is clear that the point of tangency of one of these planes is inO_(1), the other inO_(2)lies. The geometric locus of the points of contact thus constructed for a givenO(d)consists of two closed continuous curves, g_(1)(d)transitions intoO_(1)andg_(2)(d)transitions intoO_(2). IfdfromOuntil+∞grows, coverg_(1)(d)andg_(2)(d),O_(1), respectivelyO_(2)of the ovary lineOup to the pointCandD, which are the points of contact of the tangent planes parallel to s
Fig. 18
are. The curvesg_(1)(d)andg_(2)(d)simply cover the surfacesO_(1)respectiveO_(2). Truly, two curvesg_(i)(d_(1))andg_(i)(d_(2))(i=1,2)They cannot intersect or touch each other because at any point of intersection or touch – if such a thing existed – the egg surface has a well-defined tangent plane, and this planesintersects in a similarly well-defined straight line. The construction method of the curveg_(1)(d)andg_(2)(d)establishes a one-to-one relationship between its points. The tendons determined by corresponding points pass through internal points of the oval lineOdue to the convexity of the egg surface. For a certaindthe points determined in this way describe a curveg_(3)(d). IfdfromOuntiloogrows, the curves coverg_(3)(d)simply the inside of the egg lineOand converge after the intersection pointEof the lineCDwith the plane. A single curve passes through all interior points of the ovalg_(3)(d)If two such curves pass through a pointg_(3)(d_(1))nndg_(3)(d_(2))would go, then the correspondingg_(1)(d_(1)),g_(2)(d_(1))andg_(1)(d_(2)),g_(2)(d_(2))curves would have such a position which would be contrary to their construction
In this way we have proven that all straight lineseof the planesa single such point corresponds to the oval line or a single interior point through which a single one of the lineseThe corresponding tendon goes, and with this we have proven our theorem.
2. The polar surface of an interior point
The polar surface of an interior pointBlies entirely on the outer edge of the egg surface. On suchBpassing straight lines, for whichBThe polar surface has infinite points if the midpoint of the chord lying on the straight line is the polar surface. In all cases throughBThe polar surface has infinite points on the planes that intersect it; indeed, such a plane does not intersect the
The surface of an egg lies within an oval, and thus our claim is a consequence of a previously proven property of the interior points. It is possible that the surface of an egg possesses symmetrical regions or curves with respect to some interior points. Then, in the portion of space defined by the symmetrical regions/curves and the points in question, the polar surface of the point is part of the infinite plane. The cones defined by the boundary lines of the symmetrical regions and their centers of symmetry are the asymptotic cones of the polar surfaces of the point in question.
Due to the polar correspondence, there is also a relationship between planes and lines passing through an interior point.Bstraight linecintersects the polar surface of the pointBat a single pointP(finite or infinite point). The polar surface of the pointPgoes throughBand has a well-defined tangent plane S at this point. This relationship is one-to-one.
The polar surface of an interior point has a well-defined tangent plane at all its points.
Be the pointKa point on the polar surface of the interior pointB. The lineKBcuts the egg surface at the pointsAC; the planes passing throughKBintersect the egg surface in egg lines, and the polar surface in throughKPlanar curves. The tangent of this curve at the pointKis through this point and through the intersection pointDthe tangents of the oval line at the pointsACdetermined. PointDlies in the tangent planes of the pointsAandB, that is, on their line of intersectionc. In this way, the tangents of the lines lying on the polar surface and through lieKCurves in the plane defined by the pointKand the line c. This plane is the tangent plane of the polar surface
A plane passing through an external point and not intersecting the egg surface is the tangent plane of a polar surface belonging to an internal point.
A plane passing throughKbut intersecting the surface of the egg cannot be a tangent plane to a polar surface. The plane passing through the pointKThe polar surfaces correspond to the points on the polar surface of the point.K.
LetBbe one of these points. The plane lines passing through the lineKBintersect the egg-shaped surface in egg-shaped curves. The tangents of the polar curves of the pointBregarding these egg lines, which are in the byKThe contact plane is - according to a property proven in the case of egg lines - located in the outer part of the egg lines and thus in the outer part of the egg surface.
LetBa point on the polar surface of an external pointKThe polar surface of the pointBgoes throughKand has a well-defined tangent plane there. In this way, a corresponds to aKplane of the lineKB. These levels are defined by the points leading to the pointKThe adjoint congruence line is determined, and such a plane contains precisely that of the line.KBcorresponding lines of congruence. Level of contact.
We must therefore prove that in a throughKThe plane passing through and not intersecting the polar surface contains a single straight line of congruence.
Letsa plane passing throughKthe egg surface but not intersecting it (Figure 19). Using the lines a of the plane, we construct the tangent planes of the egg surface and denote the line determined by their points of tangency bya_(1). The points of tangency of those tangent planes which pass through the pointKThe straight lines are determined and lie on a curve.c, the corresponding straight linesa_(1)link the pairs of points on the curveeand thus give a one-to-one relationship of the curveewith itself. Bek(r)a circle of fibeneswith the centerKand with the radiusrand we
Fig. 19
want to construct the tangent plane of the egg surface using all tangents to this circle. The corresponding lines a connect two points on the egg surface: one point lies on the surfaceO_(1), the other one onO_(2), whereO_(1)andO_(2)the one from the curveecertain parts of the egg surface. This fact is a consequence of the continuous change of the tangent planes. In this way, the lines intersect.a_(1)the cone shellK_(1)of the cone of contact on its between pointsKand the curveeLying parts at a single pointA(the cone of tangency is a convex surface) and thus each line a of the plane s corresponds to a single point.AThe tangents of the circlek(r)corresponding pointsAdescribe onK_(1)a continuous closed curveg(r). That straight line which defines the points of tangency of the withsconnects parallel contact planes, intersectsK_(1)at the pointP. The throughKThe curve corresponding to the straight line is the curvee. Asrincreases, the curves describeg(r)the entire areaK_(1)of the curveeto the pointP,K_(1)simply covering. In this way, for a certainr_(0)the curveg(r_(0))throughKand the pointK, as a point on the curveg(r_(0)), corresponds to a single tangentbof the circlek(r_(0)). According to the given construction, the lineb_(1)- which are the points of contact of thebincludes tangent planes - throughKThisb_(1)intersects the polar surface of the pointKin one pointBand the planesis the tangent plane of the polar surface of the pointBat the pointKThe construction is unambiguous, and thus we have proven our theorem.