Isogonal Conjugate

DOWNLOAD Mathematica Notebook IsogonalTheorem

The isogonal conjugate X^(-1) of a point X in the plane of the triangle DeltaABC is constructed by reflecting the lines AX, BX, and CX about the angle bisectors at A, B, and C. The three reflected lines then concur at the isogonal conjugate (Honsberger 1995, pp. 55-56). In older literature, isogonal conjugate points are also known as counter points (Gallatly 1913), Gegenpunkte (Gallatly 1913), and focal pairs (Morley 1954).

The trilinear coordinates of the isogonal conjugate of the point with coordinates

 alpha:beta:gamma
(1)

are

 alpha^(-1):beta^(-1):gamma^(-1).
(2)

The following labels lists a number of isogonal conjugate pairs of points.

triangle centerisogonal conjugate
circumcenter Oorthocenter H
Clawson pointX_(63)
de Longchamps pointX_(64)
Feuerbach pointX_(59)
first Brocard point Omegasecond Brocard point Omega^'
first Fermat point Xfirst isodynamic point S
first isodynamic point Sfirst Fermat point X
Gergonne pointX_(55)
incenter Iincenter I
second Napoleon pointX_(62)
isogonal mittenpunktmittenpunkt M
Kosnita point Konine-point center N
mittenpunkt Misogonal mittenpunkt
Nagel point NaX_(56)
nine-point centerKosnita Point Ko
orthocenter Hcircumcenter O
orthocenter of the orthic triangleX_(96)
first Napoleon pointX_(61)
Schiffler pointorthocenter of the contact triangle
second Brocard point Omega^'first Brocard point Omega
second Fermat point X^'second isodynamic point S^'
second isodynamic point S^'second Fermat point X^'
Spieker center SpX_(58)
symmedian point Ktriangle centroid G
symmedian point of the orthic triangleX_(97)
third Brocard point Omega^('')third power point
triangle centroid Gsymmedian point K
IsogonalTriangles

In the above figure with P and Q isogonal conjugates,

 x/y=s/r
(3)

(Honsberger 1995, pp. 54-55).

Isogonal conjugation maps the interior of a triangle onto itself. This mapping transforms lines into circumconics. The type of conic section is determined by whether the line d meets the circumcircle C^',

1. If d does not intersect C^', the isogonal transform is an ellipse;

2. If d is tangent to C^', the transform is a parabola;

3. If d cuts C^', the transform is a hyperbola, which is a rectangular hyperbola if the line passes through the circumcenter

(Casey 1893, Vandeghen 1965).

The isogonal conjugate of a point on the circumcircle is a point at infinity (and conversely). The sides of the pedal triangle of a point are perpendicular to the connectors of the corresponding polygon vertices with the isogonal conjugate. The isogonal conjugate of a set of points is the locus of their isogonal conjugate points.

The product of isotomic and isogonal conjugation is a collineation which transforms the sides of a triangle to themselves (Vandeghen 1965).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.