Trilinear coordinates

The ratio notation x : y : z for trilinear coordinates is often used in preference to the ordered triple notation (x, y, z), with the latter reserved for triples of directed distances (a', b', c') relative to a specific triangle. The trilinear coordinates x : y : z, can be rescaled by any arbitrary value without affecting their ratio. The bracketed, comma-separated triple notation (x, y, z) can cause confusion because conventionally this represents a different triple than e.g. (2x, 2y, 2z), but these equivalent ratios x : y : z = {}\!2x : 2y : 2z represent the same point. ==Examples==

The trilinear coordinates of the incenter of a triangle are ; that is, the (directed) distances from the incenter to the sidelines are proportional to the actual distances denoted by , where is the inradius of . Given side lengths we have: Note that, in general, the incenter is not the same as the centroid; the centroid has barycentric coordinates (these being proportional to actual signed areas of the triangles , where = centroid.) The midpoint of, for example, side has trilinear coordinates in actual sideline distances (0 , \tfrac{\Delta}{b} , \tfrac{\Delta}{c}) for triangle area , which in arbitrarily specified relative distances simplifies to . The coordinates in actual sideline distances of the foot of the altitude from to are (0, \tfrac{2\Delta}{a}\cos C, \tfrac{2\Delta}{a}\cos B), which in purely relative distances simplifies to . ==Formulas==

Collinearities and concurrencies Trilinear coordinates enable many algebraic methods in triangle geometry. For example, three points :\begin{align} P &= p:q:r \\ U &= u:v:w \\ X &= x:y:z \\ \end{align} are collinear if and only if the determinant : D = \begin{vmatrix} p & q & r \\ u & v & w \\ x & y & z \end{vmatrix} equals zero. Thus if is a variable point, the equation of a line through the points and is . From this, every straight line has a linear equation homogeneous in . Every equation of the form lx+my+nz=0 in real coefficients is a real straight line of finite points unless is proportional to , the side lengths, in which case we have the locus of points at infinity. The dual of this proposition is that the lines :\begin{align} p\alpha + q\beta + r\gamma &= 0 \\ u\alpha + v\beta + w\gamma &= 0 \\ x\alpha + y\beta + z\gamma &= 0 \end{align} concur in a point if and only if . Also, if the actual directed distances are used when evaluating the determinant of , then the area of triangle is , where K = \tfrac{-abc}{8\Delta^2} (and where is the area of triangle , as above) if triangle has the same orientation (clockwise or counterclockwise) as , and K = \tfrac{-abc}{8\Delta^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 : \begin{vmatrix} l & m & n \\ l' & m' & n' \\ a & b & c \end{vmatrix}=0, where 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{(mn'-m'n)\sin A + (nl'-n'l)\sin B + (lm'-l'm)\sin C}{ll' + mm' + nn' - (mn'+m'n)\cos A -(nl'+n'l)\cos B - (lm'+l'm)\cos C}. Thus they are perpendicular 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 from vertex to side is :y\cos B-z\cos C=0. Line in terms of distances from vertices The equation of a line with variable distances from the vertices whose opposite sides are is :apx+bqy+crz=0. Actual-distance trilinear coordinates The trilinears with the coordinate values being the actual perpendicular distances to the sides satisfy :aa' +bb' + cc' =2\Delta for triangle sides and area . This can be seen in the figure at the top of this article, with interior point partitioning triangle into three triangles with respective areas \tfrac{1}{2}aa' , \tfrac{1}{2}bb', \tfrac{1}{2}cc'. Distance between two points The distance between two points with actual-distance trilinears 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{a b c}{4\Delta^2}\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 from a point , in trilinear coordinates of actual distances, to a straight line lx+my+nz=0 is :d=\frac{la'+mb'+nc'}{\sqrt{l^2+m^2+n^2-2mn\cos A -2nl\cos B -2lm\cos C}}. Quadratic curves The equation of a conic section in the variable trilinear point 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 having center at actual-distance coordinates 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 of any circumconic of a triangle is :lyz+mzx+nxy=0. If the parameters respectively equal the side lengths (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 is :yz(x'-y'-z')+zx(y'-z'-x')+xy(z'-x'-y')=0. Inconics Every conic section 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{x}\cos \frac{A}{2}\pm \sqrt{y}\cos \frac{B}{2}\pm\sqrt{z}\cos \frac{C}{2}=0, while the equation for, for example, the excircle adjacent to the side segment opposite vertex can be written as :\pm \sqrt{-x}\cos \frac{A}{2}\pm \sqrt{y}\cos \frac{B}{2}\pm\sqrt{z}\cos \frac{C}{2}=0. Cubic curves Many cubic curves are easily represented using trilinear coordinates. For example, the pivotal self-isoconjugate cubic , as the locus of a point such that the -isoconjugate of is on the line is given by the determinant equation : \begin{vmatrix}x&y&z\\ qryz&rpzx&pqxy\\ u&v&w\end{vmatrix} = 0. Among named cubics are the following: : Thomson cubic: , where is centroid and is incenter : Feuerbach cubic: , where is Feuerbach point : Darboux cubic: , where is De Longchamps point : Neuberg cubic: , where is Euler infinity point. ==Conversions==

Between trilinear coordinates and distances from sidelines For any choice of trilinear coordinates to locate a point, the actual distances of the point from the sidelines are given by where can be determined by the formula k = \tfrac{2\Delta}{ax + by + cz} in which are the respective sidelengths , and is the area of . Between barycentric and trilinear coordinates A point with trilinear coordinates has barycentric coordinates where are the sidelengths of the triangle. Conversely, a point with barycentrics has trilinear coordinates \tfrac{\alpha}{a} : \tfrac{\beta}{b} : \tfrac{\gamma}{c}. Between Cartesian and trilinear coordinates Given a reference triangle , express the position of the vertex in terms of an ordered pair of Cartesian coordinates and represent this algebraically as a vector using vertex as the origin. Similarly define the position vector of vertex as Then any point associated with the reference triangle can be defined in a Cartesian system as a vector \vec P = k_1\vec A + k_2\vec B. If this point has trilinear coordinates then the conversion formula from the coefficients and in the Cartesian representation to the trilinear coordinates is, for side lengths opposite vertices , : x:y:z = \frac{k_1}{a} : \frac{k_2}{b} : \frac{1 - k_1 - k_2}{c}, and the conversion formula from the trilinear coordinates to the coefficients in the Cartesian representation is : k_1 = \frac{ax}{ax + by + cz}, \quad k_2 = \frac{by}{ax + by + cz}. More generally, if an arbitrary origin is chosen where the Cartesian coordinates of the vertices are known and represented by the vectors and if the point has trilinear coordinates , then the Cartesian coordinates of are the weighted average of the Cartesian coordinates of these vertices using the barycentric coordinates as the weights. Hence the conversion formula from the trilinear coordinates to the vector of Cartesian coordinates of the point is given by : \vec{P}=\frac{ax}{ax+by+cz}\vec{A}+\frac{by}{ax+by+cz}\vec{B}+\frac{cz}{ax+by+cz}\vec{C}, where the side lengths are :\begin{align} & |\vec C - \vec B| = a, \\ & |\vec A - \vec C| = b, \\ & |\vec B - \vec A| = c. \end{align} ==See also==