Trilinear coordinates

Notation

The ratio notation x:y:z for trilinears 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 trilinears should be avoided, because the notation (x, y, z), which means an ordered triple, does not allow, for example, (x, y, z) = (2x, 2y, 2z), whereas the "colon notation" does allow x : y : z = 2x : 2y : 2z.

Examples

The trilinears of the 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 = 1 : 1 : 1

centroid = 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; 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 , Δ b , Δ c ) for triangle area Δ , which in arbitrarily specified relative distances simplifies to 0 : c a : a b . The coordinates in actual sideline distances of the foot of the altitude from A to BC are ( 0 , 2 Δ a cos ⁡ C , 2 Δ a cos ⁡ B ) , which in purely relative distances simplifies to 0 : cos ⁡ C : cos ⁡ B .

Collinearities and concurrencies

Trilinears enable many algebraic methods in triangle geometry. For example, three points

P = p : q : rU = u : v : wX = x : y : z

are collinear if and only if the determinant

D = | p q r u v w x y z |

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. 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γ = 0uα + 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 (area of (PUX)) = KD, where K = abc/8∆² if triangle PUX has the same orientation (clockwise or counterclockwise) as triangle ABC, and K = –abc/8∆² otherwise.

Parallel lines

Two lines with trilinear equations l x + m y + n z = 0 and l ′ x + m ′ y + n ′ z = 0 are parallel if and only if

| l m n l ′ m ′ n ′ a b c | = 0 ,

where a, b, c are the side lengths.

Angle between two lines

The tangents of the angles between two lines with trilinear equations l x + m y + n z = 0 and l ′ x + m ′ y + n ′ z = 0 are given by

± ( m n ′ − m ′ n ) sin ⁡ A + ( n l ′ − n ′ l ) sin ⁡ B + ( l m ′ − l ′ m ) sin ⁡ C l l ′ + m m ′ + n n ′ − ( m n ′ + m ′ n ) cos ⁡ A − ( n l ′ + n ′ l ) cos ⁡ B − ( l m ′ + l ′ m ) cos ⁡ C .

Perpendicular lines

Thus two lines with trilinear equations l x + m y + n z = 0 and l ′ x + m ′ y + n ′ z = 0 are perpendicular if and only if

l l ′ + m m ′ + n n ′ − ( m n ′ + m ′ n ) cos ⁡ A − ( n l ′ + n ′ l ) cos ⁡ B − ( l m ′ + l ′ m ) cos ⁡ C = 0.

Altitude

The equation of the 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

a p x + b q y + c r z = 0.

Actual distance trilinears

The trilinears with the coordinate values a', b', c' being the actual perpendicular distances to the sides satisfy

a a ′ + b b ′ + c c ′ = 2 Δ

for triangle sides a, b, c and area Δ . 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 .

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 = l a 0 ′ + m b 0 ′ + n c 0 ′ l 2 + m 2 + n 2 − 2 m n cos ⁡ A − 2 n l cos ⁡ B − 2 l m cos ⁡ C .

Quadratic curves

The equation of a conic section in the variable trilinear point x : y : z is

r x 2 + s y 2 + t z 2 + 2 u y z + 2 v z x + 2 w x y = 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 ⁡ 2 A + ( y − b ′ ) 2 sin ⁡ 2 B + ( z − c ′ ) 2 sin ⁡ 2 C = 2 r 2 sin ⁡ A sin ⁡ B sin ⁡ C .

Circumconics

The equation in trilinears x, y, z of any circumconic of a triangle is

l y z + m z x + n x y = 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 trilinears of the circumconic with center x' : y' : z' is

y z ( x ′ − y ′ − z ′ ) + z x ( y ′ − z ′ − x ′ ) + x y ( z ′ − x ′ − y ′ ) = 0.

Inconics

Every conic section inscribed in a triangle has equation in trilinears

l 2 x 2 + m 2 y 2 + n 2 z 2 ± 2 m n y z ± 2 n l z x ± 2 l m x y = 0 ,

with exactly one or three of the unspecified signs being negative.

The equation of the incircle can be simplified to

± x cos ⁡ A 2 ± y cos ⁡ B 2 ± z cos ⁡ C 2 = 0 ,

while the equation for, for example, the excircle adjacent to the side segment opposite vertex A can be written as

± − x cos ⁡ A 2 ± y cos ⁡ B 2 ± z cos ⁡ C 2 = 0.

Cubic curves

Many cubic curves are easily represented using trilinears. 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

| x y z q r y z r p z x p q x y u v w | = 0.

Among named cubics Z(U,P) are the following:

Thomson cubic: Z(X(2),X(1)), where X(2) = centroid, X(1) = incenterFeuerbach cubic: Z(X(5),X(1)), where X(5) = Feuerbach pointDarboux cubic: Z(X(20),X(1)), where X(20) = De Longchamps pointNeuberg cubic: Z(X(30),X(1)), where X(30) = Euler infinity point.

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 = 2 Δ a x + b y + c z 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 trilinears x : y : z has barycentric coordinates ax : by : cz where a, b, c are the sidelengths of the triangle. Conversely, a point with barycentrics α : β : γ has trilinears α/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 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₁A + k₂B. If this point P has trilinear coordinates x : y : z then the conversion formula from the coefficients k₁ and k₂ in the Cartesian representation to the trilinear coordinates is, for side lengths a, b, c opposite vertices A, B, C,

x : y : z = k 1 a : k 2 b : 1 − k 1 − k 2 c ,

and the conversion formula from the trilinear coordinates to the coefficients in the Cartesian representation is

k 1 = a x a x + b y + c z , k 2 = b y a x + b y + c z .

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

P _ = a x a x + b y + c z A _ + b y a x + b y + c z B _ + c z a x + b y + c z C _ ,

where the side lengths are |C − B| = a, |A − C| = b and |B − A| = c.