Fact-checked by Grok 2 weeks ago

Trilinear coordinates

Trilinear coordinates are a system of homogeneous coordinates in triangle geometry that represent the position of a point relative to a reference triangle by the ratios of its directed distances to the three sides of the triangle.^[1] For a point P with respect to triangle \triangle ABC, the coordinates are denoted \alpha : \beta : \gamma, where \alpha, \beta, and \gamma are proportional to the signed distances from P to sides BC, CA, and AB, respectively.^[2] These coordinates are scale-invariant, meaning that multiplying all three values by a nonzero constant yields the same point, and they provide a projective framework for analyzing geometric properties within the plane of the triangle.^[1] Introduced by Julius Plücker in 1835, trilinear coordinates facilitate the study of triangle centers—points defined symmetrically in terms of the triangle's sides and angles—and enable algebraic treatments of classical problems in Euclidean geometry.^[1] Key properties include their homogeneity, which allows representation without absolute distances, and their normalization to "exact" trilinear coordinates via a scaling factor k = 2\Delta / (a\alpha + b\beta + c\gamma), where \Delta is the area of the triangle and a, b, c are the side lengths opposite vertices A, B, C.^[1] They are closely related to barycentric coordinates, with barycentrics given by a\alpha : b\beta : c\gamma, bridging analytic and areal interpretations of points.^[3] Notable applications include describing prominent triangle centers, such as the incenter at $1:1:1, the circumcenter at \cos A : \cos B : \cos C, the orthocenter at \cos B \cos C : \cos C \cos A : \cos A \cos B, and the centroid at $1/a : 1/b : 1/c.^[2] This system has been instrumental in the Encyclopedia of Triangle Centers, which catalogs over 72,000 such points as of 2025, advancing research in synthetic and projective geometry.^[3] Lines can also be represented trilinearly, with an equation l\alpha + m\beta + n\gamma = 0 defining a line through points satisfying those proportions.^[1]

Fundamentals

Definition

In triangle geometry, trilinear coordinates are defined with respect to a reference triangle ABC, where the sides opposite vertices A, B, and C are denoted by lengths a = BC, b = AC, and c = AB, respectively. For a point P in the plane of \triangle ABC, the trilinear coordinates are an ordered triple (\alpha : \beta : \gamma), where \alpha, \beta, and \gamma are proportional to the signed distances from P to the sides BC, AC, and AB, respectively. These signed distances account for the position of P relative to each side, being positive if P lies on the same side as the interior of the triangle and negative otherwise.^[1] The coordinates possess a homogeneity property, meaning that ( \alpha : \beta : \gamma ) = ( k\alpha : k\beta : k\gamma ) for any nonzero scalar k, as only the ratios \alpha : \beta : \gamma determine the position of P. This allows for various normalizations to obtain specific representations; for instance, one may scale so that \alpha + \beta + \gamma = 1, or more commonly in triangle geometry, adjust via the relation to the triangle's area \Delta such that the actual signed distances h_a = k \alpha, h_b = k \beta, h_c = k \gamma with k = 2\Delta / (a\alpha + b\beta + c\gamma), yielding normalized forms like a\alpha + b\beta + c\gamma = 2\Delta. This homogeneity facilitates computations involving ratios and proportions inherent to triangle configurations.^[1] Trilinear coordinates were introduced by Julius Plücker in 1835 as a system for analytic geometry in the plane. Unlike Cartesian coordinates, which rely on a fixed origin and axes, trilinear coordinates are tied directly to the reference triangle's sides, offering advantages in projective geometry where homogeneous representations simplify the treatment of points at infinity and transformations preserving cross-ratios. This makes them particularly suited for studying triangle centers, cevians, and conics inscribed or circumscribed relative to the triangle.^[1]

Notation

In trilinear coordinates, a point P in the plane of triangle ABC with sides a = BC, b = CA, and c = AB is represented by homogeneous coordinates (x : y : z) or (\alpha : \beta : \gamma), where the values x, y, and z (or \alpha, \beta, and \gamma) are proportional to the signed distances from P to the sides BC, CA, and AB, respectively.^[1]^[4] These coordinates are homogeneous, meaning that (x : y : z) is equivalent to (kx : ky : kz) for any nonzero scalar k, allowing for unnormalized forms where the exact proportionality constant is arbitrary.^[2] Signed distances in this system are positive when P lies on the same side of a given line as the interior of the triangle and negative when on the opposite side; the absolute values of these distances yield the actual Euclidean distances from P to the sides.^[2]^[1] Normalization variants adapt these coordinates for specific applications: the unnormalized homogeneous form preserves proportionality without scaling; and isogonal conjugate notation inverts the coordinates to (1/x : 1/y : 1/z) for the conjugate point.^[4]^[5] Common abbreviations in this context include h_a, h_b, and h_c for the altitudes from vertices A, B, and C to the opposite sides, used primarily in expressions involving distance ratios rather than absolute values.^[1]

Illustrative Examples

Vertex and side points

In homogeneous trilinear coordinates with respect to a reference triangle ABC, the vertices are represented by the simplest forms: vertex A as (1:0:0), vertex B as (0:1:0), and vertex C as (0:0:1). These coordinates arise because each vertex lies on two sides of the triangle, resulting in zero signed distance to those sides, while the distance to the opposite side is the altitude from the vertex, which can be normalized to 1 in homogeneous representation.^[6]^[7]^[8] Points lying on the sides of the triangle have one trilinear coordinate equal to zero, reflecting their position directly on that side. For a general point P on side BC (opposite vertex A), the coordinates take the form (0 : \beta : \gamma), where the ratio \beta : \gamma determines the specific location of P along BC. In particular, this ratio corresponds to the division of the side such that the segment ratios are proportional to \gamma : \beta, connecting the geometric position to the coordinate proportions. In general, the midpoint of BC has trilinear coordinates (0 : 1/b : 1/c), where b = [AC](/page/AC) and c = [AB](/page/AB), adjusting the ratios to account for side lengths influencing the distance proportions.^[9]^[10]^[11] In the projective plane, the points at infinity on the extended sides are obtained by intersecting each side line with the line at infinity, which has the equation a \alpha + b \beta + c \gamma = 0 in trilinear coordinates, where a, b, c are the side lengths opposite vertices A, B, C respectively. For the point at infinity on side BC (\alpha = 0), substituting yields b \beta + c \gamma = 0, so the coordinates are (0 : -c : b), interpreted as the ideal direction parallel to BC. Analogous forms hold for the infinite points on the other sides, such as (-b : a : 0) on AB (\gamma = 0). These projective points extend the finite vertex representations like (1:0:0), maintaining the homogeneous structure but placing them on the line at infinity.^[9]^[10]^[6] The homogeneous nature of trilinear coordinates for these points ensures compatibility with barycentric coordinates, where the sum \alpha + \beta + \gamma is constant (often normalized to 1); for side points like those on BC, \alpha = 0 and \beta + \gamma remains constant in normalized forms, illustrating the affine embedding within the projective framework.^[6]^[8]

Centroid and incenter

The centroid G of a triangle has trilinear coordinates \frac{1}{a} : \frac{1}{b} : \frac{1}{c}, where a, b, and c are the lengths of the sides opposite vertices A, B, and C, respectively.^[4] This form arises because the perpendicular distances from the centroid to the sides are one-third of the corresponding altitudes h_a = \frac{2\Delta}{a}, h_b = \frac{2\Delta}{b}, and h_c = \frac{2\Delta}{c}, where \Delta is the area of the triangle; thus, these distances are \frac{2\Delta}{3a} : \frac{2\Delta}{3b} : \frac{2\Delta}{3c} = \frac{1}{a} : \frac{1}{b} : \frac{1}{c}.^[12] Equivalently, the coordinates can be expressed as \csc A : \csc B : \csc C, since a = 2R \sin A for circumradius R, making \frac{1}{a} \propto \csc A.^[4] Although the centroid is the balance point derived as the average of the vertices' barycentric coordinates (1:0:0), (0:1:0), and (0:0:1) yielding (1:1:1) in barycentric form, the trilinear representation accounts for the side lengths via the relation between the two systems.^[1] The incenter I, the center of the incircle, has trilinear coordinates $1 : 1 : 1.^[4] This reflects its equal perpendicular distances to all three sides, equal to the inradius r; thus, the coordinates are r : r : r = 1 : 1 : 1.^[13] To compute these, drop perpendiculars from I to the sides, each measuring r = \frac{\Delta}{s} where s = \frac{a+b+c}{2} is the semiperimeter, confirming the equality without further normalization in the trilinear system.^[12] The orthocenter H, intersection of the altitudes, has trilinear coordinates \sec A : \sec B : \sec C.^[4] These coordinates derive from the directed distances to the sides, which are proportional to \sec A, \sec B, \sec C, reflecting the geometry of the altitudes.^[12] The excenters, centers of the excircles, have trilinear coordinates with opposite signs for the side opposite the excluded vertex; for example, the excenter opposite A is -1 : 1 : 1, reflecting its position outside the triangle with a negative signed distance to side BC.^[13] The other excenters are $1 : -1 : 1 and $1 : 1 : -1.^[14]

Basic Formulas

Collinearities and concurrencies

In trilinear coordinates, three points P = (x_1 : y_1 : z_1), Q = (x_2 : y_2 : z_2), and R = (x_3 : y_3 : z_3) relative to a reference triangle \triangle ABC are collinear if and only if the determinant of the matrix formed by their homogeneous coordinates vanishes:

\det \begin{pmatrix} x_1 & y_1 & z_1 \\ x_2 & y_2 & z_2 \\ x_3 & y_3 & z_3 \end{pmatrix} = 0.

This condition arises from the projective nature of homogeneous coordinates, where collinearity corresponds to linear dependence of the coordinate vectors.^[15] The dual concept governs the concurrency of three lines in the plane of \triangle ABC. A line has the trilinear equation l x + m y + n z = 0, and three such lines with coefficients (l_i, m_i, n_i) for i=1,2,3 are concurrent if

\det \begin{pmatrix} l_1 & m_1 & n_1 \\ l_2 & m_2 & n_2 \\ l_3 & m_3 & n_3 \end{pmatrix} = 0.

This determinant condition ensures the lines intersect at a single point, reflecting the projective duality between points and lines in trilinear space.^[9] These notions extend to classical theorems on triangle cevians and transversals via trilinear adaptations. For the concurrency of cevians AD, BE, and CF joining vertices A, B, C to points D on BC, E on CA, F on AB, Ceva's theorem in trilinear form states that the cevians concur if (z_1 / y_1) \cdot (x_2 / z_2) \cdot (y_3 / x_3) = 1, where D = (0 : y_1 : z_1), E = (x_2 : 0 : z_2), F = (x_3 : y_3 : 0) are the trilinear coordinates of the division points. Similarly, Menelaus' theorem for a transversal line intersecting BC at L, CA at M, and AB at N yields the collinearity condition (z_1 / y_1) \cdot (x_2 / z_2) \cdot (y_3 / x_3) = -1 in signed trilinear ratios, accounting for directed segments (with appropriate sign convention).^[9] Central to these incidences is the trilinear pole and polar relation with respect to \triangle ABC. The trilinear pole of a line l x + m y + n z = 0 is the point (m n : n l : l m), which serves as the intersection point of the polars of points on the line; conversely, the polar of a point is the line joining the poles of lines through the point. This polarity interchanges collinearities and concurrencies, preserving incidence structure in the triangle's projective geometry.^[16] A representative example is the concurrency of the medians, which join each vertex to the midpoint of the opposite side. The midpoints have trilinear coordinates (0 : 1/b : 1/c) on BC, (1/a : 0 : 1/c) on CA, and (1/a : 1/b : 0) on AB; applying Ceva's trilinear condition confirms concurrence at the centroid, with coordinates (1/a : 1/b : 1/c).^[9]

Parallel lines and angles

In trilinear coordinates, a line is represented by the homogeneous equation u x + v y + w z = 0, where u, v, w are coefficients and x : y : z are the coordinates of points on the line. Two such lines, u_1 x + v_1 y + w_1 z = 0 and u_2 x + v_2 y + w_2 z = 0, are parallel if their intersection point lies on the line at infinity, i.e., the coordinates (\xi : \eta : \zeta) of the intersection satisfy a \xi + b \eta + c \zeta = 0, where a, b, c are the side lengths opposite A, B, C. This can be checked by solving the system and verifying the condition.^[9] In the projective sense, parallel lines intersect on the line at infinity, whose trilinear equation is a x + b y + c z = 0. The point of intersection at infinity for lines in a given direction, characterized by direction cosines (l, m, n) relative to the triangle sides, has trilinear coordinates (l : m : n) satisfying a l + b m + c n = 0, where a, b, c are the side lengths opposite vertices A, B, C. This incorporates the triangle's side lengths to locate the infinite point in the projective plane.^[9] The angle \theta between two non-parallel lines with equations u_1 x + v_1 y + w_1 z = 0 and u_2 x + v_2 y + w_2 z = 0 is determined by the cosine formula that accounts for the Euclidean metric induced by the reference triangle:

\cos \theta = \frac{ u_1 u_2 + v_1 v_2 + w_1 w_2 - (v_1 w_2 + v_2 w_1) \cos A - (w_1 u_2 + w_2 u_1) \cos B - (u_1 v_2 + u_2 v_1) \cos C }{ \sqrt{Q_1} \sqrt{Q_2} },

where Q_1 = u_1^2 + v_1^2 + w_1^2 - 2 v_1 w_1 \cos A - 2 w_1 u_1 \cos B - 2 u_1 v_1 \cos C and similarly for Q_2. Here, A, B, C are the angles of the triangle, related to the side lengths by the law of cosines: \cos A = (b^2 + c^2 - a^2)/(2bc), and analogously for the others. This adjustment via the triangle's angles (and thus side lengths) yields the actual geometric angle in the plane, distinguishing it from the projective or unweighted trilinear angle \cos \phi = | u_1 u_2 + v_1 v_2 + w_1 w_2 | / \sqrt{ (u_1^2 + v_1^2 + w_1^2)(u_2^2 + v_2^2 + w_2^2) }.^[9] A complementary formula for the sine of the angle \theta is

\sin \theta = \frac{ \sin A \sin B \sin C \cdot | \det \begin{pmatrix} u_1 & v_1 & w_1 \\ u_2 & v_2 & w_2 \\ 1 & 1 & 1 \end{pmatrix} | }{ \sqrt{Q_1} \sqrt{Q_2} },

which again embeds the side lengths through \sin A = 2 \Delta / (bc), where \Delta is the area of the triangle. These formulas ensure the angle computation respects the affine structure, with side lengths scaling the metric to match Euclidean distances.^[9]

Lines and Distances

Line equations

In trilinear coordinates, the general equation of a straight line is given by ux + vy + wz = 0, where u, v, w are homogeneous coefficients that define the line relative to the reference triangle ABC. These coefficients are proportional to the signed distances from the vertices to the line, scaled by the side lengths: specifically, u : v : w = a d_A : b d_B : c d_C, with a, b, c denoting the lengths of the sides opposite vertices A, B, C, respectively, and d_A, d_B, d_C the signed perpendicular distances from those vertices to the line.^[1]^[9] An equivalent form expresses the line equation directly in terms of these signed distances and the altitudes of the triangle. Let h_a, h_b, h_c be the altitudes from vertices A, B, C to the opposite sides. Then the equation becomes \frac{d_A}{h_a} x + \frac{d_B}{h_b} y + \frac{d_C}{h_c} z = 0. This normalization arises because the altitudes relate inversely to the side lengths (h_a = 2\Delta / a, where \Delta is the area of the triangle), making the coefficients proportional to a d_A, and thus aligning with the general form. For instance, the side BC (opposite A), which has equation x = 0, satisfies this with d_A = h_a and d_B = d_C = 0.^[1]^[9] A parametric representation of the line can be obtained by specifying its intersections with the sides of the triangle. Suppose the line intersects side BC (where x = 0) at a point with coordinates (0 : \beta_1 : \gamma_1), side CA (where y = 0) at (\alpha_2 : 0 : \gamma_2), and side AB (where z = 0) at (\alpha_3 : \beta_3 : 0). The equation ux + vy + wz = 0 can then be determined up to scalar multiple by solving the system where these points satisfy the equation, yielding coefficients such as u = \beta_1 \gamma_2 - \gamma_1 \beta_2 (with analogous expressions for v and w), though explicit computation depends on the specific ratios. This form is useful for constructing lines via cevian intersections or side divisions.^[9] Cevian lines, which pass through a vertex and intersect the opposite side, admit simplified equations in trilinear coordinates. For a cevian from vertex A (coordinates (1:0:0)) to a point on side BC with coordinates (0 : \beta : \gamma), the line equation reduces to y / z = \beta / \gamma, or equivalently \beta z - \gamma y = 0 (with u = 0). Similar forms hold for cevians from B (z / x = constant) and C (x / y = constant), reflecting the fixed ratio of coordinates along the opposite side.^[1]^[9]

Distances between points and to lines

In trilinear coordinates, the Euclidean distance between two points P = (x_1 : y_1 : z_1) and Q = (x_2 : y_2 : z_2) is computed by first normalizing the coordinates to actual values, such as dividing by their sums to obtain (x_i / s_i, y_i / s_i, z_i / s_i) where s_i = x_i + y_i + z_i for i = 1,2. The squared distance is then given by d^2 = \frac{ a^2 (y_1 z_2 - y_2 z_1)^2 + b^2 (z_1 x_2 - z_2 x_1)^2 + c^2 (x_1 y_2 - x_2 y_1)^2 }{ (s_1 s_2)^2 } , where a, b, c are the side lengths opposite vertices A, B, C respectively. This formula arises from embedding the points in Cartesian coordinates via the triangle's vertices and applying the standard distance metric, adjusted for the homogeneous nature of trilinear representation.^[18] A related expression for the squared distance, emphasizing the oblique geometry of the trilinear system, is p^2 \sin^2 C = (x - x')^2 + (y - y')^2 + 2 (x - x')(y - y') \cos C for normalized coordinates (x, y, z) and (x', y', z'), where the distance is measured in the sector opposite angle C; analogous forms hold by cycling the angles for the other sectors.^[9] The distance from a point P = (x : y : z) to a line given by u x + v y + w z = 0 in trilinear coordinates is d = \frac{ |u x + v y + w z| }{ \sqrt{ (u/a)^2 + (v/b)^2 + (w/c)^2 } } \times k , where k is a normalization factor depending on the scaling of the coordinates (often k = 1 for normalized trilinears with sum 1, or adjusted by the area Δ of the triangle for unnormalized cases). This formula derives from the projection of the point onto the line in the oblique system, with the denominator representing the norm of the line's normal vector scaled by the side lengths.^[9] An equivalent form using sines of the angles is d = \frac{ |l x + m y + n z| }{ \sqrt{ l^2 \sin^2 A + m^2 \sin^2 B + n^2 \sin^2 C } } , which accounts for the angular structure of the reference triangle in the line equation l x + m y + n z = 0.^[9] For infinitesimal displacements in normalized trilinear coordinates, the line element is given by the metric tensor form ds^2 = \left( \frac{dx}{a} \right)^2 + \left( \frac{dy}{b} \right)^2 + \left( \frac{dz}{c} \right)^2 , providing a diagonal approximation that scales the differentials by the reciprocal side lengths to reflect the varying "stretch" along each direction perpendicular to the sides. This metric facilitates integration for arc lengths and is consistent with the finite distance formulas when expanded to second order.^[18] In the special case of two parallel lines with equations u x + v y + w z = p_1 and u x + v y + w z = p_2 (sharing the same normal coefficients u : v : w), the distance between them is d = \frac{ |p_1 - p_2| }{ \sqrt{ (u/a)^2 + (v/b)^2 + (w/c)^2 } } \times k , where k is the same normalization factor as in the point-to-line distance; this follows directly from applying the point-to-line formula to any point on one line relative to the other, yielding a constant value independent of the chosen point.^[9]

Altitudes and vertex distances

In a triangle ABC with sides a, b, c opposite vertices A, B, C respectively, and area Δ, the altitude from vertex A to side BC has length h_a = 2Δ / a. This length represents the perpendicular distance from A to BC and can also be expressed as h_a = b sin C = c sin B. In trilinear coordinates, the altitude from A is the line passing through the vertex A at (1 : 0 : 0) and satisfying the equation β cos B - γ cos C = 0.^[9] The foot of this altitude, denoted H_A, lies on BC and has trilinear coordinates 0 : cos C : cos B.^[9] Similarly, the feet H_B and H_C from B and C have coordinates cos C : 0 : cos A and cos B : cos A : 0, respectively. These points form the orthic triangle, whose vertices are the projections of the altitudes onto the sides. The orthocenter H, the intersection of the altitudes, has trilinear coordinates sec A : sec B : sec C.^[4] The signed distances from H to the sides BC, CA, AB are 2R cos A, 2R cos B, 2R cos C respectively, where R is the circumradius of the triangle; these distances determine the position of H relative to the sides and reflect its location inside the triangle for acute angles or outside for obtuse ones.^[2] The excenters, centers of the excircles, have trilinear coordinates -1 : 1 : 1 for the excenter I_A opposite A, 1 : -1 : 1 for I_B, and 1 : 1 : -1 for I_C.^[19] The distances from an excenter to the triangle's sides equal the corresponding exradius in magnitude, with signs indicating tangency type: for I_A, the distance to BC is the positive exradius r_a = Δ / (s - a), where s is the semiperimeter, while distances to AB and AC are -r_a due to external tangency. These signed distances parallel the altitudes but account for the excenters' positions outside the triangle.

Coordinate Variants

Actual-distance trilinear coordinates

Actual-distance trilinear coordinates, also known as exact trilinear coordinates, provide a representation of a point in the plane of a reference triangle using the actual signed distances to its sides, rather than ratios adjusted by side lengths. For a point P relative to triangle ABC with sides a = BC, b = CA, c = AB, these coordinates are given by (d_a : d_b : d_c), where d_a, d_b, and d_c denote the signed distances from P to sides BC, CA, and AB, respectively; the sign is positive if P lies on the same side of the line as the triangle's interior and negative otherwise.^[1]^[2] These coordinates relate to standard trilinear coordinates (\alpha : \beta : \gamma), which are proportional to the signed distances, via a scaling factor k = \frac{2\Delta}{a\alpha + b\beta + c\gamma}, where \Delta is the area of triangle ABC; the actual distances are then d_a = k \alpha, d_b = k \beta, d_c = k \gamma. This scaling ensures the coordinates capture true metric values while preserving the homogeneous ratio form of trilinear systems.^[20] The primary advantage of actual-distance trilinear coordinates lies in their direct geometric interpretation as verifiable lengths, enabling straightforward computations of metric properties such as point-to-line distances and inter-point separations within the triangle.^[1] This makes them particularly suitable for applications requiring precise spatial measurements, unlike purely ratio-based systems. Normalization in actual-distance trilinear coordinates typically satisfies the relation a d_a + b d_b + c d_c = 2\Delta, linking the coordinates to the triangle's area and ensuring consistency for interior points; for points outside, signed values maintain the homogeneity but adjust the sum accordingly. Unlike standard trilinear coordinates, which are scale-invariant in ratios, this variant fixes absolute magnitudes tied to the triangle's geometry, though the colon notation preserves projective equivalence.^[20] Applications of actual-distance trilinear coordinates include facilitating area computations via the distance-area formula and extending to three-dimensional analogs like tetralinear coordinates for tetrahedra, where signed distances to faces support volume calculations; however, their use remains predominantly in planar geometry for triangle-based metric analysis.^[1]^[21]

Relation to barycentric coordinates

Barycentric coordinates, also known as areal coordinates, represent the position of a point P inside a triangle ABC as a weighted average of the vertices, where the weights \alpha : \beta : \gamma are proportional to the areas of the sub-triangles PBC, PCA, and PAB, respectively, and are typically normalized such that \alpha + \beta + \gamma = 1.^[22] These coordinates can be interpreted as the masses placed at the vertices A, B, and C such that the center of mass coincides with P.^[23] The relation between trilinear coordinates (x : y : z) and barycentric coordinates arises from the fact that the area of sub-triangle PBC is \alpha \Delta = \frac{1}{2} a x, where \Delta is the area of \triangle ABC and a = BC is the length of the side opposite A.^[22] Thus, \alpha = \frac{a x}{2 \Delta}, showing that the barycentric coordinate \alpha is proportional to the product of the side length a and the trilinear coordinate x. Similarly for \beta and \gamma. The homogeneous barycentric coordinates corresponding to trilinear coordinates (x : y : z) are therefore (a x : b y : c z), which can be normalized by dividing by their sum to obtain the affine barycentric coordinates. Conversely, the trilinear coordinates from homogeneous barycentric coordinates (\alpha : \beta : \gamma) are (\alpha / a : \beta / b : \gamma / c).^[1] Both coordinate systems are homogeneous, meaning they are defined up to scalar multiplication, which facilitates their use in projective geometry. However, barycentric coordinates are often normalized to sum to 1 for affine interpretations, while trilinear coordinates are frequently adjusted by side lengths in applications, such as when expressing distances or poles and polars. Trilinear and barycentric coordinates share applications in classical triangle geometry, including proofs of Ceva's theorem for concurrency of cevians and Menelaus's theorem for collinear points on the sides, as well as mass point geometry where barycentric weights simulate balancing forces at vertices.^[24]

Conversions

To and from side distances

Trilinear coordinates can be directly derived from the signed perpendicular distances d_a, d_b, d_c from a point to the sides opposite vertices A, B, C of a reference triangle, respectively. The homogeneous trilinear coordinates are given by (d_a : d_b : d_c), known as the actual-distance form when scaled such that a d_a + b d_b + c d_c = 2\Delta, where a, b, c are the lengths of the sides opposite A, B, C and \Delta is the area of the triangle.^[2]^[9] Conversely, the signed distances can be recovered from trilinear coordinates (x : y : z). The distances are d_a = k x, d_b = k y, d_c = k z, with scaling factor k = 2\Delta / (a x + b y + c z).^[9] This follows from the relation that the area is \Delta = \frac{1}{2} a d_a + \frac{1}{2} b d_b + \frac{1}{2} c d_c for points inside the triangle.^[9] The signs of the distances are preserved in the coordinates, allowing representation of points outside the triangle where one or more distances may be negative.^[2] These conversions are particularly useful in computational geometry software, where side-distance measurements (e.g., from sensors or simulations) need to be transformed into coordinate representations for further geometric computations within triangular domains.^[4]

To and from Cartesian coordinates

To convert between trilinear and Cartesian coordinates for a point relative to triangle ABC, the triangle is first positioned in the Euclidean plane with vertices A at (0, 0), B at (c, 0), and C at (p, q), where c is the length of side AB opposite vertex C, and the coordinates p and q of C are selected to achieve the required side lengths a (opposite A, so BC = a) and b (opposite B, so AC = b). This placement aligns side AB along the x-axis for simplicity in distance calculations, with the area Δ of the triangle given by (1/2) c q assuming q > 0.^[25] The trilinear coordinates (α : β : γ) of a point P = (x, y) are the homogeneous ratios of the signed distances from P to sides BC, CA, and AB, respectively, where α is the distance to BC (side a), β to CA (side b), and γ to AB (side c). The signed distance to a general line ax + by + d = 0, oriented consistently with the triangle's interior (positive inside), is (a x + b y + d) / √(a² + b²); however, since the coordinates are homogeneous, the denominator can be omitted, and the equations of the sides are derived from the vertex positions—for example, the line AB is y = 0, so γ ∝ y. These distances must use consistent normalization for the line coefficients to ensure the ratios reflect relative proportions accurately.^[1] Conversely, to find the Cartesian coordinates (x, y) from given trilinear coordinates (α : β : γ), first transform to homogeneous barycentric coordinates u : v : w = a α : b β : c γ, reflecting the inverse proportionality to side lengths due to the area-based nature of barycentrics. Normalize these to affine form by dividing by their sum S = a α + b β + c γ, yielding ũ = (a α) / S, ṽ = (b β) / S, Ź = (c γ) / S, where ũ + ṽ + Ź = 1. The position is then the convex combination x = ũ · 0 + ṽ · c + Ź · p and y = ũ · 0 + ṽ · 0 + Ź · q. This process leverages barycentric coordinates as an intermediate step for the embedding in the plane.^[26]^[25] The transformation from normalized barycentric to Cartesian can be compactly represented in matrix form:

\begin{pmatrix} x \\ y \\ 1 \end{pmatrix} = \begin{pmatrix} 0 & c & p \\ 0 & 0 & q \\ 1 & 1 & 1 \end{pmatrix} \begin{pmatrix} ũ \\ ṽ \\ Ź \end{pmatrix},

where the matrix columns are the homogeneous coordinates of vertices A, B, and C; the inverse matrix facilitates the reverse computation when needed.^[25] Numerical stability in these conversions can be compromised for points near vertices, where one trilinear coordinate approaches zero while others grow large, or near sides, where small distances amplify rounding errors in floating-point arithmetic—issues analogous to those in barycentric-based algorithms for ray-triangle intersections, often mitigated by careful scaling or exact arithmetic.^[27]

Advanced Applications

Quadratic curves

The general equation of a quadratic curve, or conic section, in trilinear coordinates x : y : z relative to a reference triangle is the homogeneous second-degree polynomial

a x^2 + b y^2 + c z^2 + 2f y z + 2g z x + 2h x y = 0.

This form arises because trilinear coordinates are homogeneous, ensuring the equation defines a projective conic in the plane of the triangle, with coefficients a, b, c, f, g, h determining the specific shape and orientation relative to the sides.^[28] Circumconics represent the subclass of conics passing through the three vertices A(1:0:0), B(0:1:0), and C(0:0:1) of the reference triangle. Substituting these vertex coordinates into the general equation forces a = 0, b = 0, and c = 0, reducing it to the simplified cross-term form

$2h x y + 2f y z + 2g z x = 0,

or equivalently,

h x y + f y z + g z x = 0.

This equation captures all conics through the vertices, with the coefficients reflecting symmetries tied to the triangle's angles and side lengths; for instance, the circumcircle itself corresponds to specific choices of h, f, g proportional to the sines of the angles.^[29] Inconics are the dual counterpart, consisting of conics tangent to the three sides of the triangle (the lines x=0, y=0, z=0). They satisfy the general conic equation with tangency conditions f^2 = b c, g^2 = c a, h^2 = a b. A standard parameterization is

l^2 x^2 + m^2 y^2 + n^2 z^2 - 2 l m x y - 2 m n y z - 2 n l z x = 0,

where l : m : n are the trilinear coordinates of the Brianchon point. The coefficients relate to the tangent lengths t_a, t_b, t_c from vertices A, B, C, with the Brianchon point proportional to $1/t_a : 1/t_b : 1/t_c. The points of tangency on sides BC, CA, AB divide them in ratios involving t_b : t_c, etc., adjusted for side lengths a, b, c.^[30]^[31] A prominent circumconic is the Steiner circumellipse, the unique ellipse passing through the vertices and centered at the triangle's centroid. Its trilinear equation is

b c \, y z + c a \, z x + a b \, x y = 0,

where a, b, c are the side lengths opposite vertices A, B, C. This conic is characterized by its axes aligning with the principal moments of inertia of the triangle treated as a lamina, providing a geometric interpretation of the triangle's mass distribution properties.^[32] The Brocard porism describes a continuous family of triangles inscribed in a fixed circumconic (such as the circumcircle) and circumscribed about a fixed inconic (the Brocard inellipse), all maintaining a constant Brocard angle \omega. This configuration yields infinitely many such triangles, analogous to Poncelet's porism, linking the conics to the triangle's Brocard geometry.^[33]

Cubic curves

In trilinear coordinates x : y : z, a general cubic curve in the plane of a triangle is given by a homogeneous polynomial equation of degree 3, such as

a x^3 + b y^3 + c z^3 + d x^2 y + e x^2 z + f x y^2 + g y^2 z + h y z^2 + i z^2 x + j x y z = 0,

where the coefficients satisfy conditions ensuring the curve is a triangle cubic, passing through the vertices and intersecting the sides appropriately.^[34] Such cubics often exhibit symmetries with respect to the triangle's vertices and key centers, and non-singular examples possess nine inflection points, three of which typically coincide with the triangle's vertices.^[35] The Darboux cubic is the envelope of the Simson lines of points on the circumcircle and also the locus of points whose pedal triangles are perspective with the reference triangle; it is a self-isogonal cubic with pivot at the de Longchamps point X_{20}. Its trilinear equation is

(\cos A - \cos B \cos C) x (y^2 - z^2) + (\cos B - \cos C \cos A) y (z^2 - x^2) + (\cos C - \cos A \cos B) z (x^2 - y^2) = 0.

This cubic passes through the incenter X_1, circumcenter X_3, orthocenter X_4, and de Longchamps point X_{20}, among others, and features inflection points at the vertices with no finite singularities.^[36] The Neuberg cubic is the locus of points whose reflections over the triangle's sides form a triangle perspective to the reference triangle; it is a self-isogonal cubic with pivot at the Euler infinity point X_{30}. Its trilinear equation is

(\cos C - 2 \cos A \cos B) (x^2 - y^2) z + (\cos A - 2 \cos B \cos C) (y^2 - z^2) x + (\cos B - 2 \cos C \cos A) (z^2 - x^2) y = 0.

It passes through the vertices, incenter X_1, orthocenter X_4, excenters, and circumcenters of the tangential triangles, with inflection points at the vertices and the circular points at infinity, remaining non-singular in the finite plane.^[37] The Thomson cubic is the locus of centers of circumconics whose normals at the vertices are concurrent; it is a self-isogonal cubic with pivot at the centroid X_2. Its trilinear equation is

bc x (y^2 - z^2) + ca y (z^2 - x^2) + ab z (x^2 - y^2) = 0.

This curve passes through the vertices, midpoints of the sides, centroid X_2, orthocenter X_4, incenter X_1, symmedian point X_6, and excenters, featuring inflection points at the vertices and is non-singular.^[38]

References

[1]
Trilinear Coordinates -- from Wolfram MathWorld
Trilinear coordinates are denoted alpha:beta:gamma or (alpha,beta,gamma) and also are known as homogeneous coordinates or "trilinears."
[2]
[PDF] 22 trilinear coordinates
es- sentially, trilinear coordinates are defined by measuring signed distances from the sides of a given triangle.
[3]
ENCYCLOPEDIA OF TRIANGLE CENTERS - PART 1 - Evansville
Aug 22, 2002 · Each triangle center P has homogeneous trilinear coordinates, or simply trilinears, of the form x : y : z. This means there is a nonzero ...
[4]
TRILINEAR COORDINATES - Evansville
Any three numbers proportional to the directed distances from P to the sidelines BC, CA, AB, in that order, are called homogeneous trilinear coordinates for P.Missing: notation standard conventions
[5]
Isogonal Conjugate -- from Wolfram MathWorld
The trilinear coordinates of the isogonal conjugate of the point with coordinates. alpha:beta:gamma. (1). are. alpha^(-1):beta^(-1):gamma^. (2). The following ...
[6]
[PDF] arXiv:1604.05248v1 [math.MG] 15 Apr 2016
Apr 15, 2016 · 0 and O is the midpoint of BC. Then. Fmin = F(A) = 0. 1.3. α > 90 ... in σ with trilinear coordinates (x,y,z) and replace in (3.1), then ...
[7]
Conics and Transformations Defined by the Parallelians of a Triangle
Hence, the vertices of Δ are described by the homogeneous trilinear coordinates A = 1 : 0 : 0 , B = 0 : 1 : 0 , and C = 0 : 0 : 1 , and the unit point equals ...
[8]
https://doi.org/10.3390/math13213424
[9]
[PDF] Trilinear Coordinates
MODERN Analytical Geometry excels the method tffvpes Cartes in the precision with which it deals with the Infinite and the. Imaginary.Missing: sources | Show results with:sources
[10]
[PDF] Notes on trilinear coordinates of a triangle
Conventions: a, b, and c always represent the edge lengths (or edges) of a triangle. A, B, and C always represent the angles. (or vertices) of the triangle.Missing: origin | Show results with:origin
[11]
[PDF] Trilinear Coordinates - Log College Press
Apr 5, 2024 · TRILINEAR COORDINATES. Page 2. 1837. ARTES. SCIENTIA. VERITAS. LIBRARY. OF THE ... Poncelet * has discovered and illustrated geometrically the.Missing: invented | Show results with:invented
[12]
[PDF] Triangle Centres and Homogeneous Coordinates
Since the incentre is equidistant from the sides, its trilinear coordinates are simply. 1 : 1 : 1 (see Figure 1). Centroid. Let G be the centroid of △ABC (see.
[13]
ENCYCLOPEDIA OF TRIANGLE CENTERS - Evansville
The normalized trilinear coordinates for X are (hx,hy,hz), where h=2*area(ABC)/(ax + by + cz). Note 2. The definition of combo readily extends to finite sets of ...Glossary · PART 36 · Tables · Sketches<|control11|><|separator|>
[14]
Excircle
Every Triangle has three excircles, and the Trilinear Coordinates of the Excenters are $-1:1:1$ , $1:-1:1$ , and $1:1:-1$ . The Radius $r_i$ of the excircle ...
[15]
Collinear -- from Wolfram MathWorld
alpha_3:beta_3:gamma_3 in trilinear coordinates are collinear if the determinant. |alpha_1 beta_1 gamma_1; alpha_2 beta_2 gamma_2; alpha_3 beta_3 gamma_3|=0.
[16]
Trilinear Pole -- from Wolfram MathWorld
Given a line with trilinear coordinate equation, the point mn:nl:lm is called the trilinear pole of the line with respect to DeltaABC.
[17]
GLOSSARY, a support page for ENCYCLOPEDIA TRIANGLE ...
Aug 13, 2025 · In this Glossary, points and lines are given in homogeneous coordinates. The coordinates are assumed to be trilinear unless otherwise indicated.
[18]
[PDF] Trilinear coordinates and other methods of modern analytical ...
Trilinear Coordinates. The Point. 9. Exercises on ... distance between two points in terms of their oblique coordinates (x, y) and {x, y') is given by the formula.
[19]
ENCYCLOPEDIA OF TRIANGLE CENTERS
Below is a merged response that consolidates all the information from the provided segments into a single, comprehensive summary. To maximize density and clarity, I will use a table in CSV format for the trilinear coordinates, followed by detailed notes, source information, and a consolidated list of useful URLs. This approach ensures all details are retained while making the information easy to read and reference.
[20]
Exact Trilinear Coordinates -- from Wolfram MathWorld
The trilinear coordinates alpha:beta:gamma of a point P relative to a reference triangle are proportional to the directed distances a^':b^':c^' from P to the ...Missing: definition | Show results with:definition
[21]
[PDF] transformation of trilinear and quadriplanar coordinates to ... - RRuff
This is selected as the tetra- hedron of reference; and the origin of 3-dimensional cartesian coordinates is placed at the centroid of the tetrahedron. One or ...
[22]
[PDF] A New Electric Field Interpretation of Barycentric and Trilinear ...
Oct 25, 2020 · The barycentric and trilinear coordinate systems are two of the most commonly used homogeneous coordinate systems in analytical geometry.
[23]
Barycentric Coordinates -- from Wolfram MathWorld
... Menelaus' theorem (Coxeter 1969, pp. ... (Bottema 1982, Yiu 2000). See also. Areal Coordinates, Exact Trilinear Coordinates, Homogeneous Barycentric Coordinates, ...
[24]
Homogeneous Barycentric Coordinates -- from Wolfram MathWorld
Barycentric and areal coordinates can provide particularly elegant proofs of geometric theorems such as Routh's theorem, Ceva's theorem, and Menelaus' theorem ( ...
[25]
[PDF] Barycentric coordinates or Barycentrics
Sep 10, 2024 · For another more conventional view of. Ceva's theorem look at the file Ceva's theorem. ... Trilinear Coordinates. Cambridge University Press ...
[26]
Converting between barycentric and trilinear coordinates
Jan 18, 2023 · Trilinear coordinates describe the position of a point relative to the three sides of a triangle. It's surprisingly simple to convert from one to the other.
[27]
[PDF] Fast, Minimum Storage Ray/Triangle - Program of Computer Graphics
the vertex location data is not shared between triangles. To ensure numerical stability, the test which eliminates parallel rays must compare the determinant to ...
[28]
Conic Section -- from Wolfram MathWorld
The general equation of a conic section in trilinear coordinates is. ualpha^2+vbeta^2+wgamma^2+2fbetagamma+2ggammaalpha+. (9). (Kimberling 1998, p. 234). For ...
[29]
Circumconic -- from Wolfram MathWorld
A circumconic is a conic section that passes through the vertices of a triangle (Kimberling 1998, p. 235). Every circumconic has a trilinear equation.Missing: coordinates | Show results with:coordinates
[30]
Inconics_In_Trilinears
The conic meets side BC at two points {A',A''} determined by solving equation (1) with x=0: by2 + cz2 + 2fyz = 0. The two solutions coincide exactly when the ...
[31]
Steiner Circumellipse -- from Wolfram MathWorld
It has circumconic parameters x:y:z=1/a:1/b:1/c, (1) giving trilinear equation ... Alignments of Remarkable Points of a Triangle." Amer. Math. Monthly 72 ...Missing: coordinates | Show results with:coordinates
[32]
Triangle Cubic -- from Wolfram MathWorld
A triangle cubic is a curve that can be expressed in trilinear coordinates such that the highest degree term in the trilinears alpha , beta , and gamma ...
[33]
POINTS ON CUBICS: Introduction and Z-Cubics
Aug 10, 2004 · The cubics are defined in terms of points P = p : q : r and U = u : v : w, or else a point U and line given by trilinear coefficients L, M, N; ...
[34]
Darboux Cubic -- from Wolfram MathWorld
The Darboux cubic Z(X_(20)) of a triangle DeltaABC is the locus of all pedal-cevian points ( ... x=cosA-cosBcosC and trilinear equation. (cosA-cosBcosC) ...Missing: coordinates | Show results with:coordinates
[35]
Neuberg Cubic -- from Wolfram MathWorld
It is a self-isogonal cubic with pivot point at the Euler infinity point X_(30), so it has parameter x=cosA-2cosBcosC and trilinear equation (Cundy and ...Missing: coordinates | Show results with:coordinates
[36]
Thomson Cubic -- from Wolfram MathWorld
It is a self-isogonal cubic with pivot point at the triangle centroid, so its parameter is x=bc and its trilinear equation is given by bcalpha(beta^2-gamma ...Missing: coordinates | Show results with:coordinates