# Wolfram Function Repository

Instant-use add-on functions for the Wolfram Language

Function Repository Resource:

Get the three Lucas circles of a given triangle

Contributed by:
Shenghui Yang

ResourceFunction["LucasCircles"][{ gives the three Lucas circles for a triangle with vertices | |

ResourceFunction["LucasCircles"][{ returns extra related geometric objects of the Lucas circles for the given | |

ResourceFunction["LucasCircles"][{ returns a list of properties. |

The Lucas circles of a triangle are the three circles that are mutually externally tangent to each other and are each internally tangent to the circumcircle of the triangle at a vertex of the triangle.

Given triangle *ABC*, the convention of the order for Lucas circle centers and contact points follows the diagram given here (points and circles are sorted with respect to alphabetic order in subscript):

The following values are available for *property*:

"Circles" | the three Lucas circles of a triangle |

"LucasCircles" | same as "Circles" |

"InscribedSubtriangles" | the three triangles inscribed in the three Lucas circles |

"InscribedSquares" | the three inscribed squares that share one side with the triangle, used in constructing the Lucas circles |

"LucasContactPoints" | the three contact points between pairs of Lucas circles |

"LucasOuterSoddyCircle" | the circle that is internally tangent to the three Lucas circles |

"LucasInnerSoddyCircle" | the circle that is externally tangent to the three Lucas circles |

"LucasSideSoddyCircles" | the three circles that are each externally tangent to two Lucas circles and internally tangent to the circumcircle |

All | an association including all properties given above |

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

Give the three Lucas circles of a triangle:

In[1]:= |

Out[1]= |

An equivalent specification:

In[2]:= |

Out[2]= |

Find a list of properties for a triangle:

In[3]:= |

Out[3]= |

Visualize the three Lucas circles along with the reference triangle:

In[4]:= |

Out[4]= |

Find the Lucas circles for several triangles:

In[5]:= |

In[6]:= |

Out[6]= |

Display all available information from LucasCircles in a Dataset:

In[7]:= |

Out[7]= |

The Lucas circles are constructed in the following way via hatch-filled three-way inscribed squares:

In[8]:= |

In[9]:= |

Out[9]= |

The three Lucas circles are externally tangent to each other. They are internally tangent to the circumcircle of the reference triangle:

In[10]:= |

In[11]:= |

Out[11]= |

The smallest blue circle, the Lucas inner circle, is the inverse of the circumcircle with respect to the radical circle of the three Lucas circles (a circle through the pairwise contact points):

In[12]:= |

In[13]:= |

Out[13]= |

In[14]:= |

Out[14]= |

The radius of the Lucas inner circle can also be computed using the Brocard angle:

In[15]:= |

Out[15]= |

In[16]:= |

Out[16]= |

There are three circles that are each tangent to two Lucas circles externally and the circumcircle internally that are denoted by solid disks in the following diagram (in total there are 6+9=15 contact points). In fact, they are the inverses of the Lucas circles with respect to some large circles (of the same color) through two vertices of the reference triangle and one contact point of a pair of Lucas circles. Moreover, the arcs intersect orthogonally with two Lucas circles and the circumcircle of the reference triangle, respectively:

In[17]:= |

In[18]:= |

Out[18]= |

Create a Sierpiński sieve–like fractal with the Lucas circles of the reference triangle and its subtriangles recursively. The top vertex of the largest triangle is a Locator controller. Drag it around to change the Lucas circle fractal:

In[19]:= |

Out[19]= |

- 1.0.0 – 01 September 2021

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