# Wolfram Function Repository

Instant-use add-on functions for the Wolfram Language

Function Repository Resource:

Generate three cyclic harmonic quadrangles from a reference triangle

Contributed by:
Shenghui Yang (Wolfram Research)

ResourceFunction["HarmonicQuadrilaterals"][{ gives the three harmonic quadrilaterals corresponding to the triangle with corner points |

A harmonic quadrilateral is a cyclic quadrangle in which the products of the lengths of opposite sides are equal.

Harmonic quadrilateral is closely related to pole/polar line, symmedian and other important concepts in projective and inversion geometry.

HarmonicQuadrilaterals effectively uses TriangleConstruct and reflects one vertex of the triangle with respect to the projection of the circumcenter on the symmedian cevian. This gurantees that the final polygon is always convex, given a proper ordering of the new point and that of the random triangle.

ResourceFunction["HarmonicQuadrilaterals"][Triangle[{*p*_{1},*p*_{2},*p*_{3}}]] is equivalent to ResourceFunction["HarmonicQuadrilaterals"][{*p*_{1},*p*_{2},*p*_{3}}].

HarmonicQuadrilaterals gives a list of Polygon objects.

Find three harmonic quadrilaterals that contain a triangle:

In[1]:= |

Out[2]= |

Show these:

In[3]:= |

Out[3]= |

The products of the lengths of opposite sides are equal:

In[4]:= |

Out[4]= |

In[5]:= |

Out[5]= |

Some spiral similar triangles pairs (marked as red and blue) can be found by halving the diagonal or the extension of a side:

In[6]:= |

Take the midpoint of one diagonal:

In[7]:= |

Out[8]= |

In[9]:= |

Out[9]= |

In[10]:= |

Out[10]= |

Double the length of one side:

In[11]:= |

Out[11]= |

A harmonic quadrilateral can also be constructed with GeometricScene by equating the product of the lengths of opposite sides:

In[12]:= |

Out[12]= |

The vertices of a harmonic quadrilateral are inverse to some squares and vice versa. To find a proper inversion center, use the intersection of the orthogonal circles passing through the vertices of each diagonal:

In[13]:= |

The intersections of the two solid orthogonal circles are the proper inversion centers:

In[14]:= |

Out[14]= |

Either one can be chosen as the inversion center. The gray hatch-filled polygon is a square for each diagram:

In[15]:= |

Out[15]= |

A weaker version of the result is that any cyclic quadrilateral (not necessary harmonic) is the inversion of some rectangle. The inversion center is found in the similar way as described above.

Generate a set of random harmonic quadrilaterals:

In[16]:= |

Out[19]= |

Check the distribution of the area of harmonic quadrilaterals in the unit circle:

In[20]:= |

Out[20]= |

- Amazon - Advanced Euclidean Geometry
- Amazon - Euclidean Geometry in Mathematical Olympiads by Evan Chan

- 1.0.1 – 04 May 2022
- 1.0.0 – 25 April 2022

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