Generalization of Apollonius Circle Arxiv:2105.03673V1 [Math.MG] 8

Generalization of Apollonius Circle

Omer¨ Avcı∗ Omer¨ Talip Akalın † Faruk Avcı ‡ Halil Salih Orhan§

May 11, 2021

Abstract Apollonius of Perga, showed that for two given points A, B in the Euclidean plane and a positive real number k 6= 1, geometric locus of the points X that satisfies the equation |XA| = k|XB| is a circle. This circle is called Apollonius circle. In this paper we generalize the definition of the Apollonius circle for two given circles Γ1, Γ2 and we show that geometric locus of the points X with the ratio of the power with respect to the circles Γ1, Γ2 is constant, is also a circle. Using this we generalize the definition of Apollonius Circle, and generalize some results about Apollonius Circle.

1 Preliminaries

Theorem 1.1 (Apollonius Theorem) For points A, B in the Euclidean plane, and a positive real number k 6= 1, the points X which satisﬁes the equation |XA| = k|BX| forms a circle. When k = 1, they form the line perpendicular to AB at the middle point of [AB] [1].

Deﬁnition 1.1 For three diﬀerent points A, B, C in Euclidean plane such that A is not on arXiv:2105.03673v1 [math.MG] 8 May 2021 the perpendicular bisector of the segment [BC]. We will use the notation KA(B,C) for the circle which consists of points that holds the equation |XB| |AB| = |XC| |AC|

and MA(B,C) for the center and rA(B,C) for the radius of that circle. During this article, we will call the notation KA(B,C), Apollonius Circle of point A to the points B,C.

∗Department of Electrical & Electronics Engineering, Bo˘gazi¸ciUniversity, 34342, Bebek, Istanbul, Turkey †Department of Computer Engineering, Bo˘gazi¸ciUniversity, 34342, Bebek, Istanbul, Turkey ‡Department of Computer Engineering, Istanbul Technical University, 34485, Maslak, Istanbul, Turkey §Department of Computer Engineering, Bo˘gazi¸ciUniversity, 34342, Bebek, Istanbul, Turkey

1 Figure 1: An example of the Apollonius Thorem for ﬁxed points A, B and k = 2

Figure 2: A brief explanation of the Deﬁniton 1.1

Deﬁnition 1.2 For a point A and a circle Γ with center O and radius r in the Euclidean plane. The power of the point A with respect to circle Γ is shown by PΓ(A) and it is equal to: 2 2 PΓ(A) = |OA| − r

Deﬁnition 1.3 For two circles Γ1, Γ2 with the centers O1,O2 respectively, in the Euclidean space the points with equal power to the circles i.e. the points X satisfying the equation

PΓ1 (X) = PΓ2 (X) forms a line which is perpendicular to the line O1O2, and it is called the radical axis of the circles Γ1, Γ2 [3].

2 Figure 3: Power of point A to the circle C

Figure 4: Radical Axis of the circles C1,C2

Theorem 1.2 For a given scalene triangle ∆ABC, the line BC and the bisectors of the angle ∠BAC intersects at two points X,Y , and those points lies on the KA(B,C).[2]

Theorem 1.3 Let O be the circumcenter of the a scalene triangle ∆ABC then, the line AO is a tangent to the circle KA(B,C) which also means that AO ⊥ AMA(B,C).

Theorem 1.4 Let ∆ABC be a scalane triangle. Then the points MA(B,C),MB(C,A),MC (A, B) are collinear. This line is called Lemoine line [4]. Also there exists two points S1,S2 and they lie on all the circles KA(B,C),KB(C,A),KC (A, B). If O is the circumcenter of the triangle ∆ABC, then the points S1,S2,O are collinear.

3 Figure 5: Graphical explanation of Theorem 1.2

Figure 6: Graphical explanation of Theorem 1.3

2 Results

Theorem 2.1 (Generalized Apollonius Circle Theorem) Let Γ1, Γ2 be two circles given in the plane. Let k be a real number. Then the geometric locus of the points X that satisﬁes the equation

PΓ1 (X) = kPΓ2 (X) (2.1) is a circle (possibly degenerate - line, single point or non-existent)

Proof: Let O1,O2 be the centers and r1, r2 be the radii of the circles Γ1, Γ2 respectively.

4 Figure 7: Graphical explanation of Theorem 1.4

Without loss of generality let us choose our coordinate system such that:

O1 = (0, 0),O2 = (|O1O2|, 0)

Let X = (a, b) be a point that satisﬁes the desired relationship. Then we have:

2 2 2 2 2 2 (a + b − r1) = k((a − |O1O2|) + b − r2) we can write it down as:

2 2 2 2 2 (k − 1)a − 2ak|O1O2| + (k − 1)b = −k|O1O2| + kr2 − r1 If k = 1 this equations yields:

2 2 2 −2a = −|O1O2| + r2 − r1 from this equation we can see that a is constant but b can be anything therefore the locus points is a line that is perpendicular to O1O2 and it is known as the radical axis. If k 6= 1 then we can manipulate the equation we have into a circle equation such that:

k 2 kr2 − r2 k a − |O O| + b2 = 2 1 + |O O |2 (2.2) k − 1 1 k − 1 (k − 1)2 1 2

k Now we can see that it is a circle equation with center M = ( k−1 |O1O|, 0) we can see that depending on the value of the right hand side the geometric locus will be a circle(RHS > 0)

5 or a single point (RHS = 0) or non-existent (RHS < 0). We leave the calculation of when the right hand side of the equation is non-negative for later. Note that if the RHS of the equation is positive then the radius of the circle will be:

kr2 − r2 k r2 = 2 1 + |O O |2 (2.3) k − 1 (k − 1)2 1 2

Note that we can observe that the center M lies on the line O1O2 and it satisﬁes the relationship: −−−→ O M P (X) 1 = k = Γ1 (2.4) −−−→ P (X) O2M Γ2

Theorem 2.2 (Possible values of the power ratio) Let Γ1, Γ2 be two intersecting circles given in the plane. Let k be a real number. Then the geometric locus of the points X that satisﬁes the equation

PΓ1 (X) = kPΓ2 (X) is a circle for the all k ∈ R − {1}.

Proof: Let the intersection points of the Γ1, Γ2 be A, B. Then we have:

PΓ1 (A) = PΓ2 (A) = PΓ1 (B) = PΓ2 (B) = 0

We have shown that the equation 2.2 is a circle equation. We also know that it is not a line when k 6= 1. We can clearly see that the points A, B satisﬁes the the equation 2.1, therefore there is at least two points satisfying the circle equation 2.2 which means that it can not be a single point or non-existent therefore it must be a circle.

Theorem 2.3 (Possible values of the power ratio) Let Γ1, Γ2 be two circles that are not intersecting at two diﬀerent points. Let k be a real number. Then the geometric locus of the points X that satisﬁes the equation

PΓ1 (X) = kPΓ2 (X) is:

(i) A line when k = 1

(ii) A single point if

2 2 2 p 2 2 2 2 2 2 r1 + r2 − |O1O2| ± (r1 + r2 − |O1O2| ) − 4r1r2 k = 2 2r2

(iii) A circle if 2 2 2 p 2 2 2 2 2 2 r1 + r2 − |O1O2| + (r1 + r2 − |O1O2| ) − 4r1r2 2 < k 2r2 or 2 2 2 p 2 2 2 2 2 2 r1 + r2 − |O1O2| − (r1 + r2 − |O1O2| ) − 4r1r2 k < 2 2r2

6 (iv) Non-existent otherwise

Proof: In the equation 2.2 we stated that the shape of the geometric locus is dependent of whether the right hand side is positive, zero or negative. We stated that if it is positive the locus is a circle, if it is zero locus consists of only a single point and if it is negative there is no point on the locus. So let us ﬁnd when it is positive or negative. If we make equal the denominators they become (k − 1)2 which is positive so we need to control nominator and it is equal to:

2 2 2 2 2 2 2 2 2 (k − 1)(kr2 − r1) + k|O1O2| = k r2 + k(|O1O2| − r1 − r2) + r1

We can see that it is a quadratic equation(k as a variable and r1, r2 as constants) with positive leading coefficient. Then the equation is negative between the roots and positive otherwise. So let us find the roots of the equation. We find the roots as:

2 2 2 p 2 2 2 2 2 2 r1 + r2 − |O1O2| ± (r1 + r2 − |O1O2| ) − 4r1r2 k1,2 = 2 2r2 We can show that real roots exists because the discriminant is positive. This is because we assume that the circles Γ1, Γ2 does not intersect at two distinct points therefore we either have |O1O2| ≥ r1 + r2 or |O1O2| ≤ |r1 − r2|. Then we have:

2 2 2 2 2 (r1 + r2) ≥ |O1O2| ⇒ r1 + r2 + 2r1r2 − |O1O2| ≥ 0 and 2 2 2 2 2 (r1 − r2) ≥ |O1O2| ⇒ r1 + r2 − 2r1r2 − |O1O2| ≥ 0 therefore 2 2 2 2 2 2 (r1 + r2 − |O1O2| ) − 4r1r2 ≥ 0 so we are done.

Deﬁnition 2.1 Here we will generalize the Deﬁnition 1.1. Let A be a point and Γ1, Γ2 be two circles in the plane. Then we know that the geometric locus of the points X satisfying the equation: P (X) P (A) Γ1 = Γ1 PΓ2 (X) PΓ2 (A) is a circle(possibly degenerate). We will show this circle with KA(Γ1, Γ2) and we will call it Apollonius circle of point A to the circles Γ1, Γ2. Also let us denote the center of this circle as MA(Γ1, Γ2) and the radius of the circle as rA(Γ1, Γ2).

Corollary 2.1 If there is a point S that lies on both Γ1 and Γ2 then S also lies on the KA(Γ1, Γ2).

Corollary 2.2 If the circles Γ1, Γ2 intersects at the points S1,S2, then KA(Γ1, Γ2) is equivalent to the circumcircle of the triangle ∆S1AS2.

7 Figure 8: An example of generalized Apollonius circle

Theorem 2.4 Let Γ1, Γ2, Γ3 be three circles in the plane with the centers O1,O2,O3 and radii r1, r2, r3 respectively. Then the points MO1 (Γ2, Γ3), MO2 (Γ3, Γ1) and MO3 (Γ1, Γ2) are collinear if and only if the following equation holds: 3 3 X 2 2 2 2 X 2 2 2 2 |OiOi+1| |OiOi+2| (ri+1 − ri+2) = ri+1ri+2(|OiOi+1| − |OiOi+2| ) (2.5) i=1 i=1 where Oi+3 = Oi and ri+3 = ri for i = 1, 2, 3. Proof: In this theorem we present a generalization of the Lemoine line for the generalized deﬁnition of the Apollonius circle. For convenience let us show MOi (Γi+1, Γi+2) with Mi for i = 1, 2, 3 (note that Γi+3 = Γi). In the proof of 2.1 we have shown that Mi lies on the line Oi+1Oi+2 and from the Equation 2.4 we have: −−−−→ O M P (O ) i+1 i = Γi+1 i (2.6) −−−−→ P (O ) Oi+2Mi Γi+2 i

Now from Menelaus Theorem we know that, M1,M2,M3 are collinear if and only if the following equation holds: −−−→ −−−→ −−−→ O2M1 O3M2 O1M3 −−−→ −−−→ −−−→ = 1 O3M1 O1M2 O2M3 From the Equation 2.4 we can transform this equation into this: P (O ) P (O ) P (O ) Γ2 1 Γ3 2 Γ1 3 = 1 (2.7) PΓ3 (O1) PΓ1 (O2) PΓ2 (O3) 2 2 and we also know that PΓj (Oi) = |OiOj| − rj therefore the equation transform into:

2 2 2 2 2 2 |O1O2| − r2 |O2O3| − r3 |O3O1| − r1 = 1 (2.8) 2 2 2 2 2 2 |O1O3| − r3 |O2O1| − r1 |O3O2| − r2 and if we rearrange this, we get the desired equation.

8 Corollary 2.3 Let Γ1, Γ2, Γ3 be three circles in the plane with the centers O1,O2,O3 and radii r1, r2, r3 respectively. If the centers O1,O2,O3 forms an equilateral triangle, or all three of the radii of the circles Γ1, Γ2, Γ3 are equal then the points MO1 (Γ2, Γ3), MO2 (Γ3, Γ1) and

MO3 (Γ1, Γ2) are collinear.

Proof: It is clear that if we have

|O1O2| = |O2O3| = |O3O1| or r1 = r2 = r3 both sides of the equation 2.5 is equal to zero and therefore the equation holds.

Figure 9: Theorem 2.4 for three equal-radius circles centered at A, B, C

Figure 10: Theorem 2.4 when centers of the circles form an equilateral triangle

9 Theorem 2.5 Let Γ1, Γ2, Γ3 be three circles in the plane with the centers O1,O2,O3 and radii r1, r2, r3 respectively. Let O be the circumcenter of the triangle ∆O1O2O3. Assume that the points MO1 (Γ2, Γ3), MO2 (Γ3, Γ1) and MO3 (Γ1, Γ2) are collinear. Let the line li be the radical axis of the circles KOi+1 (Γi+2, Γi+3) and KOi+2 (Γi+3, Γi+1) for i = 1, 2, 3. Then the lines l1, l2, l3 are the same line and this line passes through the point O.

Proof: For convenience let us show the center MOi (Γi+1, Γi+2) with Mi and the circles

KOi (Γi+1, Γi+2) with Ki and rOi (Γi+1, Γi+2) with Ri for i = 1, 2, 3. We know that radical axis of two circles is perpendicular to the line passing through the centers of the circles. And since M1,M2,M3 are collinear then all of the lines l1, l2, l3 are perpendicular to the line passing through M1,M2,M3. Therefore l1 k l2 k l3 which means that they coincide or never intersect. If we show that all of this three lines pass through O then we also show that they are the same line. It is suﬃcient to show that O ∈ l1. From the deﬁnition of radical axis we know that:

O ∈ l1 ⇔ PK2 (O) = PK3 (O)

Let N1,N2,N3 be the middle points of the [O2O3], [O3O1], [O1O2] respectively. Also let r be the radius of the circle (O1O2O3). We know that M2 ∈ O1O3 and ON2 ⊥ O1O3, then from Pythagoras Theorem we have:

2 2 2 |OM2| = |M2N2| + |ON2| and also we have: 2 2 2 2 r = |OO1| = |O1N2| + |ON2| therefore: 1 |ON |2 = r2 − |O O |2 2 4 1 3 so we have: 1 |OM |2 = |M N |2 + r2 − |O O |2 2 2 2 4 1 3 then we will calculate |M2N2|, let us say: −−−→ O1M2 −−−→ = k O3M2 From Equation 2.4 we know that:

2 2 |O2O1| − r1 k = 2 2 |O2O3| − r3

Since N2 is the middle point of O1O3, we have: −−−→ O1N2 −−−→ = −1 O3N2 By combining them we get: −−−→ M N k + 1 2 2 = −−−→ 2(k − 1) O3O1

10 therefore we have: k + 1 2 |M N |2 = 2 2 2(k − 1) and then we get: k |OM |2 = |M N |2 − |O N |2 + |OO |2 = |O O |2 + r2 2 2 2 1 2 1 1 3 (k − 1)2

From the deﬁnition of power we have:

2 2 PK2 (O) = |OM2| − R2

From Equation 2.3 we know that:

k kr2 − r2 R2 = |O O |2 + 3 1 2 (k − 1)2 1 3 k − 1

So by combining them we get:

kr2 − r2 P (O) = r2 + 3 1 K2 k − 1

2 2 |O2O1| −r1 and if we put k = 2 2 , we ﬁnally get: |O2O3| −r3

2 2 2 2 2 2 2 (|O1O2| − r1)r3 − (|O2O3| − r3)r1 PK2 (O) = r + 2 2 2 2 |O1O2| + r3 − |O2O3| − r1

and then we can see that PK2 (O) = PK3 (O) if and only if:

2 2 2 2 2 2 2 2 2 2 2 2 (|O1O2| − r1)r3 − (|O2O3| − r3)r1 (|O1O3| − r1)r2 − (|O2O3| − r2)r1 2 2 2 2 = 2 2 2 2 |O1O2| + r3 − |O2O3| − r1 |O1O3| + r2 − |O2O3| − r1 and if we rearrange the equation we can see that it is equivalent to the equation 2.5.

References

[1] Prasolov,V.(2001), Problems in Plane and Solıd Geometry-v.1 Plane Geometry, Moscow.

[2] Altshiller, N.(1915), On the Circles of Apollonius, The American Mathematical Monthly, Volume 22, No: 8, 261-263.

[3] Coxeter, H.S.M.(1967), Geometry Revisited, The Mathematical Association of America, Washington.

[4] Weisstein, E.(1999), Encyclopedia of Mathematics, CRC Press, Volume 1-2 , Florida.