Wolfram Function Repository
Instant-use add-on functions for the Wolfram Language
Function Repository Resource:
Get the three Lucas circles of a given triangle
ResourceFunction["LucasCircles"][{p1,p2,p3}] gives the three Lucas circles for a triangle with vertices p1,p2 and p3. | |
ResourceFunction["LucasCircles"][{p1,p2,p3},property] returns extra related geometric objects of the Lucas circles for the given property. | |
ResourceFunction["LucasCircles"][{p1,p2,p3},{prop1,…}] returns a list of properties. |
"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 |
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]= |
This work is licensed under a Creative Commons Attribution 4.0 International License