# Wolfram Function Repository

Instant-use add-on functions for the Wolfram Language

Function Repository Resource:

Get the isogonal conjugate of a point with respect to a triangle or tetrahedron

Contributed by:
Ed Pegg Jr

ResourceFunction["IsogonalConjugate"][ gives the isogonal conjugate of point |

The simplex may be a triangle defined by three 2D points, a tetrahedron defined by four 3D points or an *n*-simplex defined by *n*+1 points.

Given a triangle Δ*ABC*, the isogonal conjugate of *P* is constructed by reflecting the lines *PA*, *PB* and *PC* about the angle bisectors and taking the intersection.

Given a tetrahedron *ABCD*, the isogonal conjugate of *P* is constructed by reflecting the lines *PA*, *PB*, *PC* and *PD* about the angle bisectors of the dihedral edges and taking the intersection.

In triangle Δ*ABC*, the trilinear coordinates of a point are the ratio *a*:*b*:*c* of signed distances to the sides. The trilinear coordinates of the isogonal conjugate are the ratio *a*^{-1}:*b*^{-1}:*c*^{-1}.

In tetrahedron *ABCD*, the barycentric coordinates of a point are the ratio of signed volumes of the four tetrahedra points by replacing a vertex with the point *a*:*b*:*c**:**d*. Let Δ*A* be the squared face area of Δ*BCD*. The barycentric coordinates of the isogonal conjugate are then Δ*A*/*a*:Δ*B*/*b*:Δ*C*/*c*:Δ*D*/*d*.

Compute the isogonal conjugate of a point with respect to a given triangle:

In[1]:= |

Out[1]= |

Find the isogonal conjugate of a point with respect to a triangle:

In[2]:= |

Out[4]= |

The isogonal conjugate of the isogonal conjugate is the original point:

In[5]:= |

Out[5]= |

Show the triangle, point (green) and isogonal conjugate (blue):

In[6]:= |

Out[6]= |

The centers of the incircle and excircles are the only four self-conjugate points:

In[7]:= |

Out[7]= |

In[8]:= |

Out[8]= |

In[9]:= |

Out[9]= |

The product of trilinear coordinates for a point and isogonal conjugate gives three identical values:

In[10]:= |

Out[15]= |

Compute the isogonal conjugate of a Point with respect to a Triangle:

In[16]:= |

Out[16]= |

Compute the isogonal conjugate of a Point with respect to a Tetrahedron:

In[17]:= |

Out[17]= |

Compute the isogonal conjugate of a 5D point with respect to a simplex:

In[18]:= |

Out[18]= |

Find the Monge point of a semi-random tetrahedron:

In[19]:= |

Out[21]= |

Find the isogonal conjugate of the Monge point:

In[22]:= |

Out[22]= |

The circumsphere of the face reflections of a point is centered at the isogonal conjugate (and vice-versa):

In[23]:= |

Out[25]= |

For a tetrahedron, calculate the five insphere and exsphere points:

In[26]:= |

Out[27]= |

These five points are all equal to their isogonal conjugates:

In[28]:= |

Out[28]= |

Three other points are their own isogonal conjugate in a tetrahedron:

In[29]:= |

Out[30]= |

Show the 16 collinear sets of three points formed by four tetrahedral points and eight self-conjugates:

In[31]:= |

Out[34]= |

Find intersection points and repeat to obtain 50 lines:

In[35]:= |

Out[37]= |

The following triangle has nice Euler line points for the circumcenter, centroid, nine-point center and orthocenter:

In[38]:= |

Out[39]= |

The Jerabek hyperbola is the locus of the isogonal conjugates of points on the Euler line. Use GroebnerBasis to derive the implicit equation:

In[40]:= |

Out[40]= |

The isogonal conjugates of the Euler points are the orthocenter, symmedian, Kosnita point and circumcenter:

In[41]:= |

Out[41]= |

A graphic of the triangle with the Euler line (blue), circumcenter|circumcircle|perpendicular bisectors (red), centroid|medians (cyan), nine-point center|circle (brown) and orthocenter|altitudes (green) and the isogonal conjugate of the Euler line, the Jerabek hyperbola:

In[42]:= |

Out[43]= |

- 1.1.0 – 22 August 2022
- 1.0.0 – 19 August 2022

This work is licensed under a Creative Commons Attribution 4.0 International License