X2883–X2966¶
Isogonal Conjugates with Respect to Special Triangles
X2883–X2966 (Isogonal Conjugates with Respect to Special Triangles) — 16 representative centers (from 84 in collection) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
Group Preamble — Isogonal Conjugates wrt Special Triangles (Isogonal Conjugates with respect to Special Triangles)
Suppose A'B'C' is the medial triangle of ABC and X is a triangle center wrt ABC. Let X' be the isogonal conjugate of X wrt A'B'C'. Then X' is a triangle center wrt ABC. In order to determine its center function g, the method of TCCT, p. 207 applies. Write X =\(x : y : z\) (wrt ABC). Then trilinears of X wrt A'B'C' are
(- ax + by + cz)/a : (ax - by + cz)/b : (ax + by - cz)/c,
so that the isogonal conjugate of X wrt A'B'C' is
a/(- ax + by + cz) : b/(ax - by + cz) : c/(ax + by - cz),
which, in trilinears wrt ABC, is \(g(a,b,c,x,y,z) : g(b,c,a,y,z,x) : g(c,a,b,z,x,y)\), where
\(g(a,b,c,x,y,z) = bc(ax - by - cz)[b^{2}(ax + by - cz) + c^{2}(ax - by + cz)]\)
This point is the isogonal conjugate of X wrt the medial triangle, or, more simply, the medial isogonal conjugate of X. In like manner, other conjugates of X wrt other triangles are defined. In this section, only isogonal conjugates are considered, and trilinears wrt to selected triangles are given by first trilinear wrt ABC, as follows:
EXCENTRAL-ISOGONAL CONJUGATE OF X =\(x : y : z\)
a/[(b + c - a)(y + z)] + b/[(c + a - b)(z + x)] + c/[(a + b - c)(x + y)]
In each of the above cases,\(x : y : z\), as a triangle center, is given by trilinears \(h(a,b,c) : h(b,c,a) : h(c,a,b)\) for some function h. Accordingly, each of the first trilinears given above defines a triangle center \(f(a,b,c) : f(b,c,a) : f(c,a,b)\).
The term “complementary conjugate” already in use at the time of this writing (11/25/04) is a synonym for “medial isogonal conjugate”, as is “anticomplementary conjugate” for “anticomplementary isogonal conjugate”; accordingly, the earlier terms will be used in the sequel. Also, “excentral isogonal conjugate” is “X188-aleph conjugate” and “orthic isogonal conjugate” is “X4-Ceva conjugate”; in these cases, the new terminology will be used.
The subject of isogonal conjugation with respect to a central triangle continues at the preamble just before X6000.