In Euclidean geometry, a triangle conic is a conic in the plane of the reference triangle and associated with it in some way. For example, the circumcircle and the incircle of the reference triangle are triangle conics. Other examples are the Steiner ellipse, which is an ellipse passing through the vertices and having its centre at the centroid of the reference triangle; the Kiepert hyperbola which is a conic passing through the vertices, the centroid and the orthocentre of the reference triangle; and the Artzt parabolas, which are parabolas touching two sidelines of the reference triangle at vertices of the triangle.
The terminology of triangle conic is widely used in the literature without a formal definition; that is, without precisely formulating the relations a conic should have with the reference triangle so as to qualify it to be called a triangle conic (see [1] [2] [3] [4] ). However, Greek mathematician Paris Pamfilos defines a triangle conic as a "conic circumscribing a triangle △ABC (that is, passing through its vertices) or inscribed in a triangle (that is, tangent to its side-lines)". [5] [6] The terminology triangle circle (respectively, ellipse, hyperbola, parabola ) is used to denote a circle (respectively, ellipse, hyperbola, parabola) associated with the reference triangle is some way.
Even though several triangle conics have been studied individually, there is no comprehensive encyclopedia or catalogue of triangle conics similar to Clark Kimberling's Encyclopedia of Triangle Centres or Bernard Gibert's Catalogue of Triangle Cubics. [7]
The equation of a general triangle conic in trilinear coordinates x : y : z has the form
The equations of triangle circumconics and inconics have respectively the forms
In the following, a few typical special triangle conics are discussed. In the descriptions, the standard notations are used: the reference triangle is always denoted by △ABC. The angles at the vertices A, B, C are denoted by A, B, C and the lengths of the sides opposite to the vertices A, B, C are respectively a, b, c. The equations of the conics are given in the trilinear coordinates x : y : z. The conics are selected as illustrative of the several different ways in which a conic could be associated with a triangle.
No. | Name | Definition | Equation | Figure |
---|---|---|---|---|
1 | Circumcircle | Circle which passes through the vertices | ||
2 | Incircle | Circle which touches the sidelines internally | ||
3 | Excircles (or escribed circles) | A circle lying outside the triangle, tangent to one of its sides and tangent to the extensions of the other two. Every triangle has three distinct excircles. | ||
4 | Nine-point circle (or Feuerbach's circle, Euler's circle, Terquem's circle) | Circle passing through the midpoint of the sides, the foot of altitudes and the midpoints of the line segments from each vertex to the orthocenter | ||
5 | Lemoine circle | Draw lines through the Lemoine point (symmedian point) K and parallel to the sides of triangle △ABC. The points where the lines intersect the sides lie on a circle known as the Lemoine circle. |
No. | Name | Definition | Equation | Figure |
---|---|---|---|---|
1 | Steiner ellipse | Conic passing through the vertices of △ABC and having centre at the centroid of △ABC | ||
2 | Steiner inellipse | Ellipse touching the sidelines at the midpoints of the sides | ||
No. | Name | Definition | Equation | Figure |
---|---|---|---|---|
1 | Kiepert hyperbola | If the three triangles △XBC, △YCA, △ZAB, constructed on the sides of △ABC as bases, are similar, isosceles and similarly situated, then the lines AX, BY, CZ concur at a point N. The locus of N is the Kiepert hyperbola. | ||
2 | Jerabek hyperbola | The conic which passes through the vertices, the orthocenter and the circumcenter of the triangle of reference is known as the Jerabek hyperbola. It is always a rectangular hyperbola. | ||
No. | Name | Definition | Equation | Figure |
---|---|---|---|---|
1 | Artzt parabolas [9] | A parabola which is tangent at B, C to the sides AB, AC and two other similar parabolas. | ||
2 | Kiepert parabola [10] | Let three similar isosceles triangles △A'BC, △AB'C, △ABC' be constructed on the sides of △ABC. Then the envelope of the axis of perspectivity the triangles △ABC and △A'B'C' is Kiepert's parabola. | ||
An Hofstadter ellipse [11] is a member of a one-parameter family of ellipses in the plane of △ABC defined by the following equation in trilinear coordinates:
where t is a parameter and
The ellipses corresponding to t and 1 −t are identical. When t = 1/2 we have the inellipse
and when t → 0 we have the circumellipse
The family of Thomson conics consists of those conics inscribed in the reference triangle △ABC having the property that the normals at the points of contact with the sidelines are concurrent. The family of Darboux conics contains as members those circumscribed conics of the reference △ABC such that the normals at the vertices of △ABC are concurrent. In both cases the points of concurrency lie on the Darboux cubic. [12] [13]
Given an arbitrary point in the plane of the reference triangle △ABC, if lines are drawn through P parallel to the sidelines BC, CA, AB intersecting the other sides at Xb, Xc, Yc, Ya, Za, Zb then these six points of intersection lie on a conic. If P is chosen as the symmedian point, the resulting conic is a circle called the Lemoine circle. If the trilinear coordinates of P are u : v : w the equation of the six-point conic is [14]
The members of the one-parameter family of conics defined by the equation
where is a parameter, are the Yff conics associated with the reference triangle △ABC. [15] A member of the family is associated with every point P(u : v : w) in the plane by setting
The Yff conic is a parabola if
(say).
It is an ellipse if and and it is a hyperbola if . For , the conics are imaginary.
In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity , a number ranging from to .
In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
An ellipsoid is a surface that can be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
In geometry, the nine-point circle is a circle that can be constructed for any given triangle. It is so named because it passes through nine significant concyclic points defined from the triangle. These nine points are:
In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches the three sides. The center of the incircle is a triangle center called the triangle's incenter.
In mathematics, the matrix representation of conic sections permits the tools of linear algebra to be used in the study of conic sections. It provides easy ways to calculate a conic section's axis, vertices, tangents and the pole and polar relationship between points and lines of the plane determined by the conic. The technique does not require putting the equation of a conic section into a standard form, thus making it easier to investigate those conic sections whose axes are not parallel to the coordinate system.
In mathematics, a cubic plane curve is a plane algebraic curve C defined by a cubic equation
In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered c. 1802 by Charles Dupin, while he was still a student at the École polytechnique following Gaspard Monge's lectures. The key property of a Dupin cyclide is that it is a channel surface in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry.
In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word line may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points.
In geometry, the trilinear coordinatesx : y : z of a point relative to a given triangle describe the relative directed distances from the three sidelines of the triangle. Trilinear coordinates are an example of homogeneous coordinates. The ratio x : y is the ratio of the perpendicular distances from the point to the sides opposite vertices A and B respectively; the ratio y : z is the ratio of the perpendicular distances from the point to the sidelines opposite vertices B and C respectively; and likewise for z : x and vertices C and A.
In Euclidean geometry, a circumconic is a conic section that passes through the three vertices of a triangle, and an inconic is a conic section inscribed in the sides, possibly extended, of a triangle.
In inversive geometry, an inverse curve of a given curve C is the result of applying an inverse operation to C. Specifically, with respect to a fixed circle with center O and radius k the inverse of a point Q is the point P for which P lies on the ray OQ and OP·OQ = k2. The inverse of the curve C is then the locus of P as Q runs over C. The point O in this construction is called the center of inversion, the circle the circle of inversion, and k the radius of inversion.
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.
In the geometry of curves, an orthoptic is the set of points for which two tangents of a given curve meet at a right angle.
In geometry, two conic sections are called confocal if they have the same foci.
In geometry, focal conics are a pair of curves consisting of either
In geometry, the Feuerbach hyperbola is a rectangular hyperbola passing through important triangle centers such as the Orthocenter, Gergonne point, Nagel point and Schiffler point. The center of the hyperbola is the Feuerbach point, the point of tangency of the incircle and the nine-point circle.
In mathematics, modern triangle geometry, or new triangle geometry, is the body of knowledge relating to the properties of a triangle discovered and developed roughly since the beginning of the last quarter of the nineteenth century. Triangles and their properties were the subject of investigation since at least the time of Euclid. In fact, Euclid's Elements contains description of the four special points – centroid, incenter, circumcenter and orthocenter - associated with a triangle. Even though Pascal and Ceva in the seventeenth century, Euler in the eighteenth century and Feuerbach in the nineteenth century and many other mathematicians had made important discoveries regarding the properties of the triangle, it was the publication in 1873 of a paper by Emile Lemoine (1840–1912) with the title "On a remarkable point of the triangle" that was considered to have, according to Nathan Altschiller-Court, "laid the foundations...of the modern geometry of the triangle as a whole." The American Mathematical Monthly, in which much of Lemoine's work is published, declared that "To none of these [geometers] more than Émile-Michel-Hyacinthe Lemoine is due the honor of starting this movement of modern triangle geometry". The publication of this paper caused a remarkable upsurge of interest in investigating the properties of the triangle during the last quarter of the nineteenth century and the early years of the twentieth century. A hundred-page article on triangle geometry in Klein's Encyclopedia of Mathematical Sciences published in 1914 bears witness to this upsurge of interest in triangle geometry.
In triangle geometry, the Kiepert conics are two special conics associated with the reference triangle. One of them is a hyperbola, called the Kiepert hyperbola and the other is a parabola, called the Kiepert parabola. The Kiepert conics are defined as follows: