A Novel Method for Drawing a Circle Tangent to Three Circles Lying on a Plane by Straightedge,Compass,and Inversion Circles
Ahmad Sabihi

TL;DR
This paper introduces a new geometric method using inversion and straightedge-compass constructions to draw a circle tangent to three given circles on a plane, avoiding Laguerre transformations.
Contribution
The paper presents a novel geometric approach employing inversion and tangent circles to construct a circle tangent to three given circles without advanced transformations.
Findings
Method successfully constructs tangent circle using inversion techniques.
Algorithm enables drawing with straightedge and compass only.
Survey of conformal mapping and inversion theory included.
Abstract
In this paper, we present a novel method to draw a circle tangent to three given circles lying on a plane. Using the analytic geometry and inversion (reflection) theorems, the center and radius of the inversion circle are obtained. Inside any one of the three given circles, a circle of the similar radius and concentric with its own corresponding original circle is drawn.The tangent circle to these three similar circles is obtained. Then the inverted circles of the three similar circles and the tangent circle regarding an obtainable point and a computable power of inversion (reflection) constant are obtained. These circles (three inverted circles and an inverted tangent circle)will be tangent together.Just,we obtain another reflection point and power of inversion so that those three reflected circles (inversions of three similar circles) can be reflections of three original circles,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications · Computational Geometry and Mesh Generation · History and Theory of Mathematics
A Novel Method for Drawing a Circle Tangent to
Three Circles Lying on a Plane by Straightedge,Compass,and Inversion Circles
Ahmad Sabihi
Professor and researcher at some of Iranian Universities Permanent Address: First floor, Bldg.name: Anita, Golbarg blind alley, Ershad alley (No.33), Avecina St., Isfahan, Iran, Tel:+98(31)34486478, Cell Phone:+989131115784, E-mail: [email protected]
**Abstract In this paper, we present a novel method to draw a circle tangent to three given circles lying on a plane. Using the analytic geometry and inversion (reflection) theorems, the center and radius of the inversion circle are obtained. Inside any one of the three given circles, a circle of the similar radius and concentric with its own corresponding original circle is drawn.The tangent circle to these three similar circles is obtained. Then the inverted circles of the three similar circles and the tangent circle regarding an obtainable point and a computable power of inversion (reflection) constant are obtained. These circles (three inverted circles and an inverted tangent circle)will be tangent together.Just,we obtain another reflection point and power of inversion so that those three reflected circles (inversions of three similar circles) can be reflections of three original circles, respectively. In such a case,the reflected circle tangent to three reflected circles regarding same new inversion system will be tangent to the three original ones. This circle is our desirable circle. A drawing algorithm is also given for drawing desirable circle by straightedge and compass. A survey of conformal mapping theory and inversion in higher dimensions is also accomplished. Although, Laguerre transformation might be used for solution of this problem, but we do not make use of this method. Our novelty is just for drawing a circle tangent to three given circles applying a tangent circle to three identical circles concentric with three given ones and then inverting them as original ones by compass and straightedge not any thing else.
Keywords: Inversion Circles;Conformal Mapping;Transformation Geometry;Three-Circle Tangency Problem;Inversion in Higher Dimension; Laguerre transformation**
1 Introduction
The most important and interest problem,which was posed as a challenge by Apollonius [1] in the third century BC is three-circle tangency problem.This problem is stated as ”given three circles lying on a certain plane in general,construct all circles tangent to them ”. Apollonius generated the construction for nine cases,briefly, given three objects, each of them being a circle, a line, or a point, construct a circle tangent to all three given objects. The simplest case is the elementary constructs of a circle through three given points. The most challenging case is that one can draw a circle tangent to three given circles.That case is of the most emphasis here. Euclid and Archmedes had presented the construction for three points and three lines,but Apollonius gave the construction methods in his own books I and II on three-circle problem as well. Altshiller-Court [2]in 1925 gave a construction of same problem by reducing it to the construction of PCC (Point Circle-Circle). François Viète, Isaac Newton, and Joseph-Diaz Gergonne [3] individually solved the problem by different approaches.Viète made use of the geometric fundamentals, Newton the conic approach, and Gergonne developed a new understanding of inversion geometry properties.Viète’s work is fine for any three given circles,but not in an environment, where the given conditions can change after completion of the construction. Newton’s solution is also a bit problematic when it comes to dynamic geometry software. A change in the size or location of one of the given circles is likely to capsize the construction. His construction method is not unique so that decision must be made along the construction way. The method is based on the intersection of hyperbolas. An intersection of two hyperbolas is the case not three. Two hyperbolas can intersect at four points, and only two of which solve problem [3]. Gergonne in 1816 [3] published an inversion-based solution to the tangency problem. The Gergonne’s solution can be applied to many of the nine other cases.His method is the most exhaustive solution,which is specially flexible regarding positions of the given circles.
Inversion was invented by J.Steiner around 1830 and transformation by inversion in circle was invented by L.I.Magnus in 1831 [5]. For further information, refer to [6-9]. The author,surveys on inversive geometry,transformation theory, and conformal mapping in the Section 2. A novel geometrical method for drawing a circle tangent to the three given circles is given in the Section 3. A new algorithm for drawing same by Compass,and Straightedge without using any other axillary tools comes in the Section 4.
2 Inversive Geometry,Transformation Theory,and Conformal Mapping
Let be a circle passing through the point perpendicular to . Let be a second point of intersection of with ,then is tangent to . This means that where is the radius of . and are called the reflection circle and center respectively. Also,the location of point does not depend on circle ,because lies on the line at distance equal to . The point is known as the inverse,inversion,or reflection of with respect to . Therefore, is the reverse or reflect of and vice versa. Except the center of ,which is called as the center of inversion,all points as in the plane have inverse images as . The term inversion also applies to define transformation of the plane.This transformation maps the points inside to the points in its exterior and vice versa. The center of inversion is often [4-5] left over as a point with no inverse image,but sometimes is said to be mapped to the point at infinity. The origin or zero in the circle inversion mapping requires a special definition to adjoin a point at infinity as . is called the radius of inversion, as the power of inversion. As stated in the introduction,inversive geometry refers to a study of transformation geometry by Euclidean transformations together with inversion in an n-sphere so:
[TABLE]
where denotes the radius of the inversion. In two dimensions,with ,this is indeed a circle inversion with respect to the unit circle so that . If two inversions in concentric circles are combined,then a similarity,homothetic transformation will be resulted by the ratio of the circle radii:
[TABLE]
The algebraic form of the inversion in a unit circle is because
[TABLE]
and the reciprocal of is . In the complex plane,reciprocation leads to the complex projective line and is often called the Riemann sphere. The subspaces and sub groups of this space and group of mappings,were applied to produce early models of hyperbolic geometry given by Arthur Cayley,Felix Klein, Henri Poincaré. Therefore,inverse geometry includes the ideas originated by Lobachevsky and Bolyai in their plane geometry. More generally, a map is called conformal or angle-preserving at ,if it preserves oriented angles between curves through with respect to their orientations. Conformal maps preserve both angles and shapes of infinitesimally small figures,but not necessarily their size. Some examples of conformal maps could be made from complex analysis. Let be an open subset of the complex plane,,then a function is defined as a conformal map if and only if it is holomorphic and its derivation is everywhere non-zero on .But if is anti-holomorphic (conjugate to a holomorphic function),it still preserves angles except it reverses their orientation. Conformal mapping application in electromagnetic potential,heat conduction,and flow of fluids are taken into considerations. The ideas are that the problems at hand with a certain geometry could be mapped into a problem with simpler geometry or a geometry which have already been solved. A such mappings are found by transformation [10]. For further study,refer to [11-12]. Laguerre transformation [13] might be used for solving our problem using a plane spanned by three points in a three dimensional space and transforming it into a horizontal plane, but we do not make use of such transformations. Also, methods of Cyclography might be applied to solve it. Our novelty is just for drawing a circle tangent to three given circles applying a tangent circle to three identical circles concentric with three given ones and then inverting them as original ones by compass and straightedge not any thing else.
3 The Novel Method
**3.1 General Descriptions
**Let ,and be three given circles of optional radii . Let’s draw three similar circles of radii concentric with each one of circles so that inequality holds. Adjoin the centers of circles together by straight-lines. Then draw perpendicular bisector of the created line-segments. The intersection point of perpendicular bisectors is indeed the center of tangent circle to the three similar circles of the radii since it is equidistance from the circles’ centers. Also, having equal radii,the distances of the intersection point from three circles are identical. This means that we able to draw a tangent circle to the three similar circles from the intersection point. Just, let the problem be solved. Using the reflection theorems and methods,the reflected objects (or reflected circles) of three similar circles of radii with respect to a fixed point (where will be obtained later by drawing) are obtained. In this paper,we carry out following steps 3.1.1 through 3.1.7 based on Fig.1
3.1.1Consider the three given circles ,and of radii and ,, respectively.
3.1.2Draw the concentric circles of radii denoted by ,and (these symbols are not shown in Fig.1) inside the circles ,and , respectively.
3.1.3Draw the tangent circle to the three similar circles of the radii , if their centers are not on a line
3.1.4Draw the reflected circles of the three similar circles of radii denoted by ,and with respect to the reflection center
3.1.5Draw the reflected circle of the tangent circle i.e.. This reflected circle is also tangent to the reflected circles of the three similar circles of the radii .
3.1.6Define a new center and a power of inversion so that the three reflected circles ,and (created by three similar circles of radii ) can be as the new reflected circles of ,and . The new reflection center is identical to the old one.
3.1.7Draw the reflection of the tangent circle with respect to the new given center (or same old one) and new reflection constant (power of inversion value). This circle denotes and is a desirable circle in this paper, where is tangent to the three given circles.
3.1.8If the centers of the three given circles (and three similar circles),and are on a straight line,then we should draw a tangent line to the three similar circles instead of a tangent circle and obtain the reflected circle of this line and continue steps 3.1.5 to 3.1.7.
**3.2 Determination of the Center and Radius of Reflection Circle
**
Theorem1, Let we have the first reflection center referring Fig.1. We know the following relations hold:
[TABLE]
where denotes the power of inversion of the three similar circles. The points and denote reflected points for points ,,,, and on the three reflection circles ,and , respectively. Then, to make the reflected circles ,and as the reflections of the circles , and , respectively, a new center of reflection can be defined so that lies on the previous one. Hence,the center should be the reflection center of both reflection systems so that:
[TABLE]
**Proof
**To have as the common center of both reflection systems:
[TABLE]
[TABLE]
where denotes the ratio of the second power of the inversions of both reflection systems. This is a constant value. It also denotes the ratio of the powers of the point with respect to concentric circles of radii ,and . This means that ratio of the tangent line segments drawn from the point over both concentric circles ,and should be identical. The problem is that we wish to find geometrical location of all points whose powers are identical with respect to two given concentric circles. Referring Fig. 1 and Fig.2,we have the relations (5-3).
[TABLE]
Therefore,using (4-3) and (5-3)
[TABLE]
where to denote tangent lines drawn from the point or same (a typical reflection center) to the three similar circles of the radii ,respectively. Also, to denote tangent lines from same point to the circles ,and , respectively. For example, for circles and (two concentric circles shown in Fig.2) of the center we have:
[TABLE]
The geometrical location of the point is a circle of the radius and the center . For the two other concentric circles ,and , the method is similar. Due to we can choose an optional value e.g. . We know and are the centers and and , the radii of two other concentric circles, respectively, therefore regarding (7.3), we have
[TABLE]
Let the representing parametric equations of ,and as follows:
[TABLE]
Let be the mentioned typical reflection center. Using the equations (9-3),we obtain the circle centers ,, and then
[TABLE]
By the same method,we obtain
[TABLE]
[TABLE]
Theorem2, let , and denote the new circle’s equations eliminating zero indices as follows, then the center of inversion for three given circles is obtained by intersection of normal lines created by these circles.
[TABLE]
[TABLE]
[TABLE]
**Proof
**Consider
[TABLE]
[TABLE]
[TABLE]
The equations (16-3) to (18-3) are indeed the equations of the normal lines to the lines which adjoin the centers of both circles , , and , respectively. Take the points and placing at the bisector of the line segments constructed, then referring to Fig.3, we could make the relations (19-3).
[TABLE]
Therefore, the lines passing through the points ,and denote our desirable geometrical locations of the points. These locations point out to the set of the points, whose difference of their power of distances from the centers of each two circles are constant values. These are the lines perpendicular to the line segments adjoining their two centers. The distance between the perpendicular line and the center of the line segment for each two circles is:
[TABLE]
The given lines presented by the equations (16-3) to (18-3) should intersect each other at a unique point because
[TABLE]
Therefore, from the intersection of the two lines and ,the line is obtained.Thus,the point satisfies three line equations (16-3) through (18-3). This means that the center of inversion is found and the problem is solved.
4 The Novel Drawing Method by the Straightedge and Compass in form of a New Algorithm
The algorithm is given regarding Figs.1,3
4.1Draw three similar concentric circles ,and of radii inside the three given circles ,and , respectively so that .
4.2Adjoin the centers of the circles ,and to each other.
4.3Draw the perpendicular bisectors of the line segments adjoining each of two centers to meet at a point as (not shown in Fig.3).
4.4Adjoin the point and center of one of the circles,say, (Fig.3) to meet at the point .
4.5 Draw a circle of the center and radius to be tangent to the three similar circles ,and .
4.6 Regarding Fig.3,the reflection center point could be found as follows:
Draw the radical axis of both circles ,, and .This can be done by drawing two optional circles to be intersected with circles,say,,and . These two radical axes intersect with one another at the point . A perpendicular line should be drawn from this point to the line segment to meet it at a point. This point is called . Lie the compass’s needle on the and open its other arm by based on what is shown in the Fig.3. Then, draw an arc toward smaller circle side,say,, to be intersected with at the point . Draw a perpendicular line to from the point . This line is indeed representing the line . The method should be repeated for drawing the lines , and by same method. These lines will intersect each other at the point ,which denotes the reflection center.
4.7 Obtain the reflections of three similar circles of equal radii (i.e. )and with respect to the reflection center and power of inversion . These reflections denote ,and according to Fig.1. The circle is tangent to the circles ,and .
4.8According to given proof, three circles ,and can also be as reflections of the three circles ,and with regard to same reflection center and by different power of inversion .
4.9Based on the explanations given in 4.8 and referring to the relation (4-3), we find out that . Therefore, the new power of inversion is obtained by the relation . Both and are known,thus is also known, because, we can obtain size by the relation and by means of straightedge and compass tools. This means that the reflections of the three given circles ,and of the center and constant can be the three main circles ,and , respectively.
4.10Referring to Fig.1,the reflection of the circle is ,which is a desirable solution. is tangent to the three circles ,and due to is also reflection of with regard to the point and the reflection constant .Therefore,the problem of three-circle tangency is completely drawn by compass and straightedge.
Only tools applying in this method to draw desirable circle,are both Compass and straightedge without any additional ones. Our method may be extended to three-dimension space by turning the plane of each one of circles about their related diameter. In such a case,we can make a sphere tangent to three given spheres. Also,this method would also be interested if it could be extended to higher dimension spheres. If three original circles are of concentric circles or only one of three circles is placed inside another one and the other one is outside of both,then we will not be able to draw a tangent circle to them. Further investigations about drawing limitations are left for readers.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] T.Heath,A History of Greek Mathematics,Dover Publications,New York,Two Vols.(1981).
- 2[2] N.Altshiller-Court,College Geometry:A Second Course in Plane Geometry for Colleges and Normal Schools,Johnson Publishing,Atlanta,(1925).
- 3[3] P.Kunkel,The Tangency Problem of apollonius:Three Looks,BSHM Bulletin.,22(2007)34-46.
- 4[4] R.Courant and H.Robbins,What is Mathematics,Oxford University Press,(1996).
- 5[5] H.S.M. Coxeter,Introduction to Geometry,John Wiley and Sons,(1961).
- 6[6] H.S.M. Coxeter and S.L.Greitzer,Geometry Revisited,MAA,(1967).
- 7[7] Liang-Shin Hahn,Complex Numbers and Geometry,MAA,(1994).
- 8[8] D.Hilbert and S.Cohn-Vossen,Geometry and Imagination,Chesla Publishing Co.,New York.(1990).
