HOME
TheInfoList



300px In
geometry Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space that are related ...
, the trilinear coordinates ''x:y:z'' of a point relative to a given
triangle A triangle is a polygon In geometry Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is conce ...
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 ( extended if necessary) 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 the diagram at right, the trilinear coordinates of the indicated interior point are the actual distances (''a' '', ''b' '', ''c' ''), or equivalently in ratio form, ''ka' '':''kb' '':''kc' '' for any positive constant ''k''. If a point is on a sideline of the reference triangle, its corresponding trilinear coordinate is 0. If an exterior point is on the opposite side of a sideline from the interior of the triangle, its trilinear coordinate associated with that sideline is negative. It is impossible for all three trilinear coordinates to be non-positive. The name "trilinear coordinates" is sometimes abbreviated to "trilinears".


Notation

The ratio notation ''x'':''y'':''z'' for trilinear coordinates is different from the ordered triple notation (''a' '', ''b' '', ''c' '') for actual directed distances. Here each of ''x'', ''y'', and ''z'' has no meaning by itself; its ratio to one of the others ''does'' have meaning. Thus "comma notation" for trilinear coordinates should be avoided, because the notation (''x'', ''y'', ''z''), which means an ordered triple, does not allow, for example, (''x'', ''y'', ''z'') = (2''x'', 2''y'', 2''z''), whereas the "colon notation" does allow ''x'' : ''y'' : ''z'' = 2''x'' : 2''y'' : 2''z''.


Examples

The trilinear coordinates of the
incenter
incenter
of a triangle ''ABC'' are 1 : 1 : 1; that is, the (directed) distances from the incenter to the sidelines ''BC'', ''CA'', ''AB'' are proportional to the actual distances denoted by (''r'', ''r'', ''r''), where ''r'' is the inradius of triangle ''ABC''. Given side lengths ''a, b, c'' we have: :* ''A'' = 1 : 0 : 0 :* ''B'' = 0 : 1 : 0 :* ''C'' = 0 : 0 : 1 :*
incenter
incenter
= 1 : 1 : 1 :*
centroid In mathematics and physics, the centroid or geometric center of a plane figure is the arithmetic mean position of all the points in the figure. Informally, it is the point at which a cutout of the shape could be perfectly balanced on the tip of a ...
= ''bc'' : ''ca'' : ''ab'' = 1/''a'' : 1/''b'' : 1/''c'' = csc ''A'' : csc ''B'' : csc ''C''. :* circumcenter = cos ''A'' : cos ''B'' : cos ''C''. :* orthocenter = sec ''A'' : sec ''B'' : sec ''C''. :* nine-point center = cos(''B'' − ''C'') : cos(''C'' − ''A'') : cos(''A'' − ''B''). :* symmedian point = ''a'' : ''b'' : ''c'' = sin ''A'' : sin ''B'' : sin ''C''. :* ''A''-excenter = −1 : 1 : 1 :* ''B''-excenter = 1 : −1 : 1 :* ''C''-excenter = 1 : 1 : −1. Note that, in general, the incenter is not the same as the
centroid In mathematics and physics, the centroid or geometric center of a plane figure is the arithmetic mean position of all the points in the figure. Informally, it is the point at which a cutout of the shape could be perfectly balanced on the tip of a ...
; the centroid has barycentric coordinates 1 : 1 : 1 (these being proportional to actual signed areas of the triangles ''BGC'', ''CGA'', ''AGB'', where ''G'' = centroid.) The midpoint of, for example, side ''BC'' has trilinear coordinates in actual sideline distances (0 , \frac , \frac) for triangle area \Delta, which in arbitrarily specified relative distances simplifies to 0:ca:ab. The coordinates in actual sideline distances of the foot of the altitude from ''A'' to ''BC'' are (0, \frac\cos C, \frac\cos B), which in purely relative distances simplifies to 0:\cos C:\cos B.


Formulas


Collinearities and concurrencies

Trilinear coordinates enable many algebraic methods in triangle geometry. For example, three points :''P = p'' : ''q'' : ''r'' :''U = u'' : ''v'' : ''w'' :''X = x'' : ''y'' : ''z'' are
collinear In geometry Geometry (from the grc, γεωμετρία; ''wikt:γῆ, geo-'' "earth", ''wikt:μέτρον, -metron'' "measurement") is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space th ...
if and only if the
determinant In mathematics Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It ...
: D = \beginp&q&r\\ u&v&w\\x&y&z\end equals zero. Thus if ''x:y:z'' is a variable point, the equation of a line through the points ''P'' and ''U'' is ''D'' = 0.William Allen Whitworth (1866
Trilinear Coordinates and Other Methods of Analytical Geometry of Two Dimensions: an elementary treatise
link from
Cornell University Cornell University ( ) is a private, statutory, Ivy League and land-grant research university in Ithaca, New York. Founded in 1865 by Ezra Cornell and Andrew Dickson White, the university was intended to teach and make contributions in a ...
Historical Math Monographs.
From this, every straight line has a linear equation homogeneous in ''x, y, z''. Every equation of the form ''lx+my+nz'' = 0 in real coefficients is a real straight line of finite points unless ''l : m: n'' is proportional to ''a : b : c'', the side lengths, in which case we have the locus of points at infinity. The dual of this proposition is that the lines :''pα + qβ + rγ = 0'' :''uα + vβ + wγ = 0'', :''xα + yβ + zγ = 0'' concur in a point (α, β, γ) if and only if ''D'' = 0. Also, if the actual directed distances are used when evaluating the determinant of ''D'', then the area of triangle ''PUX'' is ''KD'', where ''K'' = ''abc/8∆''''2'' (and where ''∆'' is the area of triangle ''ABC'', as above) if triangle ''PUX'' has the same orientation (clockwise or counterclockwise) as triangle ''ABC'', and ''K'' = ''–abc/8∆''''2'' otherwise.


Parallel lines

Two lines with trilinear equations lx+my+nz=0 and l'x+m'y+n'z=0 are parallel if and only if : \beginl&m&n\\ l'&m'&n'\\a&b&c\end=0, where ''a, b, c'' are the side lengths.


Angle between two lines

The tangents of the angles between two lines with trilinear equations lx+my+nz=0 and l'x+m'y+n'z=0 are given by :\pm \frac.


Perpendicular lines

Thus two lines with trilinear equations lx+my+nz=0 and l'x+m'y+n'z=0 are perpendicular if and only if :ll'+mm'+nn'-(mn'+m'n)\cos A-(nl'+n'l)\cos B-(lm'+l'm)\cos C=0.


Altitude

The equation of the altitude (geometry), altitude from vertex ''A'' to side ''BC'' is :y\cos B-z\cos C=0.


Line in terms of distances from vertices

The equation of a line with variable distances ''p, q, r'' from the vertices ''A'', ''B'', ''C'' whose opposite sides are ''a, b, c'' is :apx+bqy+crz=0.


Actual-distance trilinear coordinates

The trilinears with the coordinate values ''a', b', c' '' being the actual perpendicular distances to the sides satisfy :aa' +bb' + cc' =2\Delta for triangle sides ''a, b, c'' and area \Delta. This can be seen in the figure at the top of this article, with interior point ''P'' partitioning triangle ''ABC'' into three triangles ''PBC'', ''PCA'', and ''PAB'' with respective areas (1/2)''aa' '', (1/2)''bb' '', and (1/2)''cc' ''.


Distance between two points

The distance ''d'' between two points with actual-distance trilinears ''a''''i'' : ''b''''i'' : ''c''''i'' is given by :d^2\sin ^2 C=(a_1-a_2)^2+(b_1-b_2)^2+2(a_1-a_2)(b_1-b_2)\cos C or in a more symmetric way :d^2 = \frac\left(a(b_1-b_2)(c_2-c_1)+b(c_1-c_2)(a_2-a_1)+c(a_1-a_2)(b_2-b_1)\right).


Distance from a point to a line

The distance ''d'' from a point ''a' '': ''b' '': ''c' '', in trilinear coordinates of actual distances, to a straight line ''lx + my + nz'' = 0 is :d=\frac.


Quadratic curves

The equation of a conic section in the variable trilinear point ''x'' : ''y'' : ''z'' is :rx^2+sy^2+tz^2+2uyz+2vzx+2wxy=0. It has no linear terms and no constant term. The equation of a circle of radius ''r'' having center at actual-distance coordinates (''a', b', c' '') is :(x-a')^2\sin 2A+(y-b')^2\sin 2B+(z-c')^2\sin 2C=2r^2\sin A\sin B\sin C.


Circumconics

The equation in trilinear coordinates ''x, y, z'' of any circumconic of a triangle is :lyz+mzx+nxy=0. If the parameters ''l, m, n'' respectively equal the side lengths ''a, b, c'' (or the sines of the angles opposite them) then the equation gives the circumcircle. Each distinct circumconic has a center unique to itself. The equation in trilinear coordinates of the circumconic with center ''x' : y' : z' '' is :yz(x'-y'-z')+zx(y'-z'-x')+xy(z'-x'-y')=0.


Inconics

Every conic section inscribed figure, inscribed in a triangle has an equation in trilinear coordinates: :l^2x^2+m^2y^2+n^2z^2 \pm 2mnyz \pm 2nlzx\pm 2lmxy =0, with exactly one or three of the unspecified signs being negative. The equation of the incircle can be simplified to :\pm \sqrt\cos \frac\pm \sqrt\cos \frac\pm\sqrt\cos \frac=0, while the equation for, for example, the excircle adjacent to the side segment opposite vertex ''A'' can be written as :\pm \sqrt\cos \frac\pm \sqrt\cos \frac\pm\sqrt\cos \frac=0.


Cubic curves

Many cubic curves are easily represented using trilinear coordinates. For example, the pivotal self-isoconjugate cubic ''Z(U,P)'', as the locus of a point ''X'' such that the ''P''-isoconjugate of ''X'' is on the line ''UX'' is given by the determinant equation : \beginx&y&z\\ qryz&rpzx&pqxy\\u&v&w\end = 0. Among named cubics ''Z(U,P)'' are the following: : Thomson cubic: ''Z(X(2),X(1))'', where ''X(2) = ''
centroid In mathematics and physics, the centroid or geometric center of a plane figure is the arithmetic mean position of all the points in the figure. Informally, it is the point at which a cutout of the shape could be perfectly balanced on the tip of a ...
, ''X(1) = '' : Cubic plane curve#Napoleon–Feuerbach cubic, Feuerbach cubic: ''Z(X(5),X(1))'', where ''X(5) = ''Feuerbach point : Cubic plane curve#Darboux cubic, Darboux cubic: ''Z(X(20),X(1))'', where ''X(20) = ''De Longchamps point : Cubic plane curve#Neuberg cubic, Neuberg cubic: ''Z(X(30),X(1))'', where ''X(30) = ''Euler infinity point.


Conversions


Between trilinear coordinates and distances from sidelines

For any choice of trilinear coordinates ''x:y:z'' to locate a point, the actual distances of the point from the sidelines are given by ''a' = kx'', ''b' = ky'', ''c' = kz'' where ''k'' can be determined by the formula k = \frac in which ''a'', ''b'', ''c'' are the respective sidelengths ''BC'', ''CA'', ''AB'', and ∆ is the area of ''ABC''.


Between barycentric and trilinear coordinates

A point with trilinear coordinates ''x'' : ''y'' : ''z'' has barycentric coordinates (mathematics), barycentric coordinates ''ax'' : ''by'' : ''cz'' where ''a'', ''b'', ''c'' are the sidelengths of the triangle. Conversely, a point with barycentrics ''α'' : ''β'' : ''γ'' has trilinear coordinates ''α/a'' : ''β/b'' : ''γ/c''.


Between Cartesian and trilinear coordinates

Given a reference triangle ''ABC'', express the position of the vertex ''B'' in terms of an ordered pair of Cartesian coordinates and represent this algebraically as a vector (geometric), vector ''B'', using vertex ''C'' as the origin. Similarly define the position vector of vertex ''A'' as ''A''. Then any point ''P'' associated with the reference triangle ''ABC'' can be defined in a Cartesian system as a vector ''P'' = ''k''1''A'' + ''k''2''B''. If this point ''P'' has trilinear coordinates ''x : y : z'' then the conversion formula from the coefficients ''k''1 and ''k''2 in the Cartesian representation to the trilinear coordinates is, for side lengths ''a'', ''b'', ''c'' opposite vertices ''A'', ''B'', ''C'', : x:y:z = \frac : \frac : \frac, and the conversion formula from the trilinear coordinates to the coefficients in the Cartesian representation is : k_1 = \frac, \quad k_2 = \frac. More generally, if an arbitrary origin is chosen where the Cartesian coordinates of the vertices are known and represented by the vectors ''A'', ''B'' and ''C'' and if the point ''P'' has trilinear coordinates ''x'' : ''y'' : ''z'', then the Cartesian coordinates of ''P'' are the weighted average of the Cartesian coordinates of these vertices using the barycentric coordinates ''ax'', ''by'' and ''cz'' as the weights. Hence the conversion formula from the trilinear coordinates ''x, y, z'' to the vector of Cartesian coordinates ''P'' of the point is given by : \underline=\frac\underline+\frac\underline+\frac\underline, where the side lengths are , ''C''''B'', = ''a'', , ''A''''C'', = ''b'' and , ''B''''A'', = ''c''.


See also

*Morley's trisector theorem#Morley's triangles, giving examples of numerous points expressed in trilinear coordinates *Ternary plot *Viviani's theorem


References


External links

*
Encyclopedia of Triangle Centers - ETC
by Clark Kimberling; has trilinear coordinates (and barycentric) for more than 7000 triangle centers {{Authority control Linear algebra Affine geometry Triangle geometry Coordinate systems