Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Cubic plane curve

From Wikipedia, the free encyclopedia
(Redirected fromCubic curve)
Type of a mathematical curve
"Cubic curve" redirects here. For information on polynomial functions of degree 3, seeCubic function.
A selection of cubic curves.Click the image to see information page for details.

Inmathematics, acubic plane curve is aplane algebraic curveC defined by acubic equation

F(x,y,z)=0{\displaystyle F(x,y,z)=0}

applied tohomogeneous coordinates(x:y:z){\displaystyle (x:y:z)} for theprojective plane; or the inhomogeneous version for theaffine space determined by settingz = 1 in such an equation. HereF is a non-zero linear combination of the third-degreemonomials

x3,y3,z3,x2y,x2z,y2x,y2z,z2x,z2y,xyz{\displaystyle x^{3},y^{3},z^{3},x^{2}y,x^{2}z,y^{2}x,y^{2}z,z^{2}x,z^{2}y,xyz}

These are ten in number; therefore the cubic curves form aprojective space of dimension 9, over any givenfieldK. Each pointP imposes a single linear condition onF, if we ask thatC pass throughP. Therefore, we can find some cubic curve through any nine given points, which may be degenerate, and may not be unique, but will be unique and non-degenerate if the points are ingeneral position; compare to two points determining a line and howfive points determine a conic. If two cubics pass through a given set of nine points, then in fact apencil of cubics does, and the points satisfy additional properties; seeCayley–Bacharach theorem.

Singular cubicy2 =x2 ⋅ (x + 1). A parametrization is given byt ↦ (t2 – 1,t ⋅ (t2 – 1)).

A cubic curve may have asingular point, in which case it has aparametrization in terms of aprojective line. Otherwise anon-singular cubic curve is known to have nine points ofinflection, over analgebraically closed field such as thecomplex numbers. This can be shown by taking the homogeneous version of theHessian matrix, which defines again a cubic, and intersecting it withC; the intersections are then counted byBézout's theorem. However, only three of these points may be real, so that the others cannot be seen in the real projective plane by drawing the curve. The nine inflection points of a non-singular cubic have the property that every line passing through two of them contains exactly three inflection points.

The real points of cubic curves were studied byIsaac Newton. The real points of a non-singular projective cubic fall into one or two 'ovals'. One of these ovals crosses every real projective line, and thus is never bounded when the cubic is drawn in theEuclidean plane; it appears as one or three infinite branches, containing the three real inflection points. The other oval, if it exists, does not contain any real inflection point and appears either as an oval or as two infinite branches. Like forconic sections, a line cuts this oval at, at most, two points.

A non-singular plane cubic defines anelliptic curve, over any fieldK for which it has a point defined. Elliptic curves are now normally studied in some variant ofWeierstrass's elliptic functions, defining aquadratic extension of the field ofrational functions made by extracting the square root of a cubic. This does depend on having aK-rational point, which serves as thepoint at infinity in Weierstrass form. There are many cubic curves that have no such point, for example whenK is therational number field.

The singular points of an irreducible plane cubic curve are quite limited: onedouble point, or onecusp. A reducible plane cubic curve is either a conic and a line or three lines, and accordingly have two double points or atacnode (if a conic and a line), or up to three double points or a single triple point (concurrent lines) if three lines.

Cubic curves in the plane of a triangle

[edit]

Suppose thatABC is a triangle with sidelengthsa=|BC|,{\displaystyle a=|BC|,}b=|CA|,{\displaystyle b=|CA|,}c=|AB|.{\displaystyle c=|AB|.} Relative toABC, many named cubics pass through well-known points. Examples shown below use two kinds of homogeneous coordinates:trilinear andbarycentric.

To convert from trilinear to barycentric in a cubic equation, substitute as follows:

xbcx,ycay,zabz;{\displaystyle x\to bcx,\quad y\to cay,\quad z\to abz;}

to convert from barycentric to trilinear, use

xax,yby,zcz.{\displaystyle x\to ax,\quad y\to by,\quad z\to cz.}

Many equations for cubics have the form

f(a,b,c,x,y,z)+f(b,c,a,y,z,x)+f(c,a,b,z,x,y)=0.{\displaystyle f(a,b,c,x,y,z)+f(b,c,a,y,z,x)+f(c,a,b,z,x,y)=0.}

In the examples below, such equations are written more succinctly in "cyclic sum notation", like this:

cyclicf(x,y,z,a,b,c)=0{\displaystyle \sum _{\text{cyclic}}f(x,y,z,a,b,c)=0}.

The cubics listed below can be defined in terms of theisogonal conjugate, denoted byX*, of a pointX not on a sideline ofABC. A construction ofX* follows. LetLA be the reflection of lineXA about the internal angle bisector of angleA, and defineLB andLC analogously. Then the three reflected lines concur inX*. In trilinear coordinates, ifX=x:y:z,{\displaystyle X=x:y:z,} thenX=1x:1y:1z.{\displaystyle X^{*}={\tfrac {1}{x}}:{\tfrac {1}{y}}:{\tfrac {1}{z}}.}

Neuberg cubic

[edit]
Neuberg cubic of triangleABC: The locus ofX such that, ifXA, XB, XC are the reflections ofX in the sidelinesBC, CA, AB, then the linesAXA, BXB, CXC are concurrent.

Trilinear equation:cyclic(cosA2cosBcosC)x(y2z2)=0{\displaystyle \sum _{\text{cyclic}}(\cos {A}-2\cos {B}\cos {C})x(y^{2}-z^{2})=0}

Barycentric equation:cyclic(a2(b2+c2)+(b2c2)22a4)x(c2y2b2z2)=0{\displaystyle \sum _{\text{cyclic}}(a^{2}(b^{2}+c^{2})+(b^{2}-c^{2})^{2}-2a^{4})x(c^{2}y^{2}-b^{2}z^{2})=0}

TheNeuberg cubic (named afterJoseph Jean Baptiste Neuberg) is thelocus of a pointX such thatX* is on the lineEX, whereE is the Euler infinity point (X(30) in theEncyclopedia of Triangle Centers). Also, this cubic is the locus ofX such that the triangleXAXBXC is perspective toABC, whereXAXBXC is the reflection ofX in the linesBC, CA, AB, respectively

The Neuberg cubic passes through the following points:incenter,circumcenter,orthocenter, bothFermat points, bothisodynamic points, the Euler infinity point, other triangle centers, the excenters, the reflections ofA, B, C in the sidelines ofABC, and the vertices of the six equilateral triangles erected on the sides ofABC.

For a graphical representation and extensive list of properties of the Neuberg cubic, seeK001 at Berhard Gibert'sCubics in the Triangle Plane.

Thomson cubic

[edit]
Example of Thomson cubic (black curve).X is on the cubic, such that the isogonal conjugate ofX (X′) is on the lineX(2) –X.

Trilinear equation:cyclicbcx(y2z2)=0{\displaystyle \sum _{\text{cyclic}}bcx(y^{2}-z^{2})=0}

Barycentric equation:cyclicx(c2y2b2z2)=0{\displaystyle \sum _{\text{cyclic}}x(c^{2}y^{2}-b^{2}z^{2})=0}

The Thomson cubic is the locus of a pointX such thatX* is on the lineGX, whereG is the centroid.

The Thomson cubic passes through the following points: incenter, centroid, circumcenter, orthocenter, symmedian point, other triangle centers, the verticesA, B, C, the excenters, the midpoints of sidesBC, CA, AB, and the midpoints of the altitudes ofABC. For each pointP on the cubic but not on a sideline of the cubic, the isogonal conjugate ofP is also on the cubic.

For graphs and properties, seeK002 atCubics in the Triangle Plane.

Darboux cubic

[edit]
Darboux cubic of triangleABC: The locus ofX such that ifD, E, F are the feet of perpendiculars fromX to the sidelinesBC, CA, AB then the linesAD, BE, CF are concurrent.

Trilinear equation:cyclic(cosAcosBcosC)x(y2z2)=0{\displaystyle \sum _{\text{cyclic}}(\cos {A}-\cos {B}\cos {C})x(y^{2}-z^{2})=0}

Barycentric equation:cyclic(2a2(b2+c2)+(b2c2)23a4)x(c2y2b2z2)=0{\displaystyle \sum _{\text{cyclic}}(2a^{2}(b^{2}+c^{2})+(b^{2}-c^{2})^{2}-3a^{4})x(c^{2}y^{2}-b^{2}z^{2})=0}

The Darboux cubic is the locus of a pointX such thatX* is on the lineLX, whereL is thede Longchamps point. Also, this cubic is the locus ofX such that the pedal triangle ofX is the cevian triangle of some point (which lies on the Lucas cubic). Also, this cubic is the locus of a pointX such that the pedal triangle ofX and the anticevian triangle ofX are perspective; the perspector lies on the Thomson cubic.

The Darboux cubic passes through the incenter, circumcenter, orthocenter, de Longchamps point, other triangle centers, the verticesA, B, C, the excenters, and the antipodes ofA, B, C on the circumcircle. For each pointP on the cubic but not on a sideline of the cubic, the isogonal conjugate ofP is also on the cubic.

For graphics and properties, seeK004 atCubics in the Triangle Plane.

Napoleon–Feuerbach cubic

[edit]

Trilinear equation:cycliccos(BC)x(y2z2)=0{\displaystyle \sum _{\text{cyclic}}\cos(B-C)x(y^{2}-z^{2})=0}

Barycentric equation:cyclic(a2(b2+c2)+(b2c2)2)x(c2y2b2z2)=0{\displaystyle \sum _{\text{cyclic}}(a^{2}(b^{2}+c^{2})+(b^{2}-c^{2})^{2})x(c^{2}y^{2}-b^{2}z^{2})=0}

The Napoleon–Feuerbach cubic is the locus of a pointX* is on the lineNX, whereN is the nine-point center, (N =X(5) in theEncyclopedia of Triangle Centers).

The Napoleon–Feuerbach cubic passes through the incenter, circumcenter, orthocenter, 1st and 2nd Napoleon points, other triangle centers, the verticesA, B, C, the excenters, the projections of the centroid on the altitudes, and the centers of the 6 equilateral triangles erected on the sides ofABC.

For a graphics and properties, seeK005 atCubics in the Triangle Plane.

Lucas cubic

[edit]
Lucas Cubic of triangleABC: The locus of a pointX such that the cevian triangle ofX is the pedal triangle of some pointX'; the pointX' lies on the Darboux cubic.

Trilinear equation:cycliccos(A)x(b2y2c2z2)=0{\displaystyle \sum _{\text{cyclic}}\cos(A)x(b^{2}y^{2}-c^{2}z^{2})=0}

Barycentric equation:cyclic(b2+c2a2)x(y2z2)=0{\displaystyle \sum _{\text{cyclic}}(b^{2}+c^{2}-a^{2})x(y^{2}-z^{2})=0}

The Lucas cubic is the locus of a pointX such that the cevian triangle ofX is the pedal triangle of some point; the point lies on the Darboux cubic.

The Lucas cubic passes through the centroid, orthocenter, Gergonne point, Nagel point, de Longchamps point, other triangle centers, the vertices of the anticomplementary triangle, and the foci of the Steiner circumellipse.

For graphics and properties, seeK007 atCubics in the Triangle Plane.

1st Brocard cubic

[edit]
First Brocard Cubic: It is the locus ofX such the intersections ofXA', XB', XC' with the sidelinesBC, CA, CB, whereA'B'C' is the first Brocard triangle of triangleABC, are collinear. In the figureΩ andΩ′ are the first and second Brocard points.

Trilinear equation:cyclicbc(a4b2c2)x(y2+z2)=0{\displaystyle \sum _{\text{cyclic}}bc(a^{4}-b^{2}c^{2})x(y^{2}+z^{2})=0}

Barycentric equation:cyclic(a4b2c2)x(c2y2+b2z2)=0{\displaystyle \sum _{\text{cyclic}}(a^{4}-b^{2}c^{2})x(c^{2}y^{2}+b^{2}z^{2})=0}

LetA'B'C' be the 1st Brocard triangle. For arbitrary pointX, letXA, XB, XC be the intersections of the linesXA′, XB′, XC′ with the sidelinesBC, CA, AB, respectively. The 1st Brocard cubic is the locus ofX for which the pointsXA, XB, XC are collinear.

The 1st Brocard cubic passes through the centroid, symmedian point, Steiner point, other triangle centers, and the vertices of the 1st and 3rd Brocard triangles.

For graphics and properties, seeK017 atCubics in the Triangle Plane.

2nd Brocard cubic

[edit]

Trilinear equation:cyclicbc(b2c2)x(y2+z2)=0{\displaystyle \sum _{\text{cyclic}}bc(b^{2}-c^{2})x(y^{2}+z^{2})=0}

Barycentric equation:cyclic(b2c2)x(c2y2+b2z2)=0{\displaystyle \sum _{\text{cyclic}}(b^{2}-c^{2})x(c^{2}y^{2}+b^{2}z^{2})=0}

The 2nd Brocard cubic is the locus of a pointX for which the pole of the lineXX* in the circumconic throughX andX* lies on the line of the circumcenter and the symmedian point (i.e., the Brocard axis). The cubic passes through the centroid, symmedian point, both Fermat points, both isodynamic points, the Parry point, other triangle centers, and the vertices of the 2nd and 4th Brocard triangles.

For a graphics and properties, seeK018 atCubics in the Triangle Plane.

1st equal areas cubic

[edit]
First equal area cubic of triangleABC: The locus of a pointX such that area of the cevian triangle ofX equals the area of the cevian triangle ofX*.

Trilinear equation:cyclica(b2c2)x(y2z2)=0{\displaystyle \sum _{\text{cyclic}}a(b^{2}-c^{2})x(y^{2}-z^{2})=0}

Barycentric equation:cyclica2(b2c2)x(c2y2b2z2)=0{\displaystyle \sum _{\text{cyclic}}a^{2}(b^{2}-c^{2})x(c^{2}y^{2}-b^{2}z^{2})=0}

The 1st equal areas cubic is the locus of a pointX such that area of the cevian triangle ofX equals the area of the cevian triangle ofX*. Also, this cubic is the locus ofX for whichX* is on the lineS*X, whereS is the Steiner point. (S =X(99) in theEncyclopedia of Triangle Centers).

The 1st equal areas cubic passes through the incenter, Steiner point, other triangle centers, the 1st and 2nd Brocard points, and the excenters.

For a graphics and properties, seeK021 atCubics in the Triangle Plane.

2nd equal areas cubic

[edit]

Trilinear equation:(bz+cx)(cx+ay)(ay+bz)=(bx+cy)(cy+az)(az+bx){\displaystyle (bz+cx)(cx+ay)(ay+bz)=(bx+cy)(cy+az)(az+bx)}

Barycentric equation:cyclica(a2bc)x(c3y2b3z2)=0{\displaystyle \sum _{\text{cyclic}}a(a^{2}-bc)x(c^{3}y^{2}-b^{3}z^{2})=0}

For any pointX=x:y:z{\displaystyle X=x:y:z} (trilinears), letXY=y:z:x{\displaystyle X_{Y}=y:z:x} andXZ=z:x:y.{\displaystyle X_{Z}=z:x:y.} The 2nd equal areas cubic is the locus ofX such that the area of the cevian triangle ofXY equals the area of the cevian triangle ofXZ.

The 2nd equal areas cubic passes through the incenter, centroid, symmedian point, and points inEncyclopedia of Triangle Centers indexed asX(31),X(105),X(238),X(292),X(365),X(672),X(1453),X(1931),X(2053), and others.

For a graphics and properties, seeK155 atCubics in the Triangle Plane.

See also

[edit]

References

[edit]
  • Bix, Robert (1998),Conics and Cubics: A Concrete Introduction to Algebraic Curves, New York: Springer,ISBN 0-387-98401-1.
  • Cerin, Zvonko (1998), "Locus properties of the Neuberg cubic",Journal of Geometry,63 (1–2):39–56,doi:10.1007/BF01221237,S2CID 116778499.
  • Cerin, Zvonko (1999), "On the cubic of Napoleon",Journal of Geometry,66 (1–2):55–71,doi:10.1007/BF01225672,S2CID 120174967.
  • Cundy, H. M. & Parry, Cyril F. (1995), "Some cubic curves associated with a triangle",Journal of Geometry,53 (1–2):41–66,doi:10.1007/BF01224039,S2CID 122633134.
  • Cundy, H. M. & Parry, Cyril F. (1999), "Geometrical properties of some Euler and circular cubics (part 1)",Journal of Geometry,66 (1–2):72–103,doi:10.1007/BF01225673,S2CID 119886462.
  • Cundy, H. M. & Parry, Cyril F. (2000), "Geometrical properties of some Euler and circular cubics (part 2)",Journal of Geometry,68 (1–2):58–75,doi:10.1007/BF01221061,S2CID 126542269.
  • Ehrmann, Jean-Pierre & Gibert, Bernard (2001), "A Morley configuration",Forum Geometricorum,1:51–58.
  • Ehrmann, Jean-Pierre & Gibert, Bernard (2001), "The Simson cubic",Forum Geometricorum,1:107–114.
  • Gibert, Bernard (2003), "Orthocorrespondence and orthopivotal cubics",Forum Geometricorum,3:1–27.
  • Kimberling, Clark (1998), "Triangle Centers and Central Triangles",Congressus Numerantium,129:1–295. See Chapter 8 for cubics.
  • Kimberling, Clark (2001),"Cubics associated with triangles of equal areas",Forum Geometricorum,1:161–171.
  • Lang, Fred (2002), "Geometry and group structures of some cubics",Forum Geometricorum,2:135–146.
  • Pinkernell, Guido M. (1996), "Cubic curves in the triangle plane",Journal of Geometry,55 (1–2):142–161,doi:10.1007/BF01223040,S2CID 123411561.
  • Salmon, George (1879),Higher Plane Curves (3rd ed.), Dublin: Hodges, Foster, and Figgis.

External links

[edit]
Rational curves
Elliptic curves
Analytic theory
Arithmetic theory
Applications
Higher genus
Plane curves
Riemann surfaces
Constructions
Structure of curves
Divisors on curves
Moduli
Morphisms
Singularities
Vector bundles
Retrieved from "https://en.wikipedia.org/w/index.php?title=Cubic_plane_curve&oldid=1254491442"
Category:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp