PROPERTIES OF CIRCLES IN MUTUAL CONTACT.
By Mr. Philip Beecroft, Hyde, Cheshire.
Before entering upon the properties of four circles in mutual contact, it will be necessary to premise the following proposition; it is but a simple theorem in itself, and has place here only on account of its use in demonstrating the subsequent properties.
Prop. A.
The continued product of the radii of any three circles mutually touching each other, divided by the radius of the circle passing through their points of contact, gives the area of the triangle formed by joining their centres.
Case 1. Let FEI, DFQ. DER, be three circles mutually touchlng each other exteriorly in the points D, E, F, and through their points ofcontact describe the circle DEF. Join the centres A, B, C, of the circles FEI, DFQ, DER; then the sides of the triangle thus formed will pass through the points D, E, F. Because AE = AF, BF = BD, CD = CE, the inscribed circle of the triangle ABC, will pass through the polnts D, E, F,
and the circle DEF, passing through these points, is therefore the inscribed circle.
Denote the radii AF, BD, CE, of the circles touching each other by ρ1, ρ2, ρ3, respectively,
and the radius of the circle passing through their points of contact by r; then by the Appendix to the Ladies' Diary, 1835, Davies's Horæ Geo. VII., Cor. 3, we have
= area of ΔABC, which gives the theorem in this case.
Case 2.—Let fei, dfq, der, be the position of the three circles in mutual contact, the circle fei touching the other two interiorally, and let def be the circle which passes through their points of contact. Join the centres a, b, c, of the circles fei, dfq, der, and produce the sides of the triangle thus formed; then in the same manner as above it may be shown that the circle def will touch the side bc of the triangle abc, and the sides ab, ac produced, in the points d, e, f, or def is the escribed circle to the side bc of the triangle abc. Hence (denoting the radii af, bd, ce, by ρ1, ρ2, ρ3, respectively, the radius of the circle def by r1, and the inscribed radius of the triangle abc by r), we shall have from Davies's Horæ Geo. II. and IV., ρ1 = ½{a + b + c}, and ρ2ρ3 = rr1
![{\displaystyle {\begin{aligned}{\text{Therefore }}\rho _{1}\rho _{2}\rho _{3}=\rho _{1}rr_{1}&=\textstyle {\frac {1}{2}}\{a+b+c\}rr_{1}\\&=\Delta abc\times r_{1}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2430850d0714ba45290c64c06f55534769ac4c65)
- Hence
= Δabc,
which gives the theorem in this case; and these two cases include every position in which three circles can mutually touch one another.
![{\displaystyle {\begin{aligned}{\textit {Cor.}}\quad {\text{In Case 1,}}&\,{\frac {1}{\rho _{1}\rho _{2}}}+{\frac {1}{\rho _{2}\rho _{3}}}+{\frac {1}{\rho _{3}\rho _{1}}}={\frac {1}{r^{2}}};\\{\text{and in Case 2,}}&\,{\frac {1}{\rho _{2}\rho _{3}}}-{\frac {1}{\rho _{3}\rho _{1}}}-{\frac {1}{\rho _{1}\rho _{2}}}={\frac {1}{r_{1}^{2}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef1b6494decd3b9eac7bbe1446202e61597ff906)
The first of these equations has been established in Davies's Horæ Geo. VII., and the other follows from the relations
Horæ Geo. V. and VII.
I shall now proceed to discuss the properties of four circles in mutual contact; which from their remarkable agreement I shall designate, for the sake of reference,
The Concordant Circles.
Prop. I.
If any four circles be described to touch each other mutually, another set of four circles of mutual contact may be described whose points of contact shall coincide with those of the first four.
Let FdE, FeD, DfE, def be four circles mutually touching each other in the points D, E, F, d, e, f; through the points of contact of every three of these circles describe the circles DEF, Def, dEf, deF; then these four circles will also mutually touch each other in the points D, E, F, d, e, f. Join the centres A, B, C, P, of the four circles FdE, FeD, DfE, def, that were first described.
By Prop. A, the circles DEF, Def, dEf, deF, are respectively inscribed in the triangles ABC, PBC, PAC, PAB, and touch the sides of these triangles in the triads of points D, E, F, D, e, f, d, E, f, d, e, F, respectively. Hence AB being a common tangent to the two circles DEF, deF, at the point F, these two circles touch each other in this point; similarly the two circles deF, Def, touch each other in the point e, since BP is a common tangent to them at his point; also, by identical reasoning, all the four circles DEF, Def, dEf, deF, mutually touh each other in the points D, E, F, d, e, f.
Cor. The right lines AB, BC, CA, AP, BP, CP, joining the centres of the circles FdE, FeD, DfE, def, are separately tangents to two of the circles DEF, Def, dEf, deF, and conversely the lines ab, bc, ca, aO, bO, cO, joining the centres of these four last circles, are severally tangents to two of the former four; also one set of four circles respectively pass through the points of contact of every three of the other set.
Prop. II.
Denote the radii of the four cirles def, FdE, FeD, DfE, mutually touching each other by ρ, ρ1, ρ2, ρ3, respectively, and the radii of the circles DEF, Def, dEf, deF, touching each other in the same points as the other four by r, r1, r2, r3, respectively; then
the reciprocal of the radius of the circle touching three others interiorally having the negative sign.
For, we have from the corollary to Prop. A, the equations
![{\displaystyle {\frac {1}{r^{2}}}={\frac {1}{\rho _{1}\rho _{2}}}+{\frac {1}{\rho _{2}\rho _{3}}}+{\frac {1}{\rho _{3}\rho _{1}}};\quad {\frac {1}{r_{1}{}^{2}}}={\frac {1}{\rho _{2}\rho _{3}}}+{\frac {1}{\rho _{3}\rho }}+{\frac {1}{\rho \rho _{2}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f01179628ef77b3d85bcbea1ce14251c36a1fc14)
![{\displaystyle {\frac {1}{r_{2}{}^{2}}}={1 \atop \rho _{1}\rho _{3}}+{\frac {1}{\rho _{3}\rho }}+{\frac {1}{\rho \rho _{1}}};\quad {\frac {1}{r_{3}{}^{2}}}={\frac {1}{\rho _{1}\rho _{2}}}+{\frac {1}{\rho _{2}\rho }}+{\frac {1}{\rho \rho _{1}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a991b580003c3e6f7f4f152ae3051e076480553)
![{\displaystyle {\frac {1}{\rho ^{2}}}={\frac {1}{r_{1}r_{2}}}+{\frac {1}{r_{2}r_{3}}}+{\frac {1}{r_{3}r_{1}}};\quad {\frac {1}{\rho _{1}{}^{2}}}={\frac {1}{r_{2}r_{3}}}-{\frac {1}{r_{3}r}}-{\frac {1}{rr_{2}}};}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfc1b8b3f4b499ff97d3ba54397ae7a5ba31f4ba)
![{\displaystyle {\frac {1}{\rho _{2}{}^{2}}}={\frac {1}{r_{1}r_{3}}}-{\frac {1}{r_{3}r}}-{\frac {1}{rr_{1}}};\quad {\frac {1}{\rho _{3}{}^{2}}}={\frac {1}{r_{1}r_{2}}}-{\frac {1}{r_{2}r}}-{\frac {1}{rr_{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06f49b7b39b23a5cebcb72ad7ca785db8ce286e4)
By adding together the first four equations, we get,
![{\displaystyle {\frac {1}{r^{2}}}+{\frac {1}{r_{1}{}^{2}}}+{\frac {1}{r_{2}{}^{2}}}+{\frac {1}{r_{3}{}^{2}}}={\frac {2}{\rho _{1}\rho _{2}}}+{\frac {2}{\rho _{2}\rho _{3}}}+{\frac {2}{\rho _{3}\rho _{1}}}+{\frac {2}{\rho \rho _{1}}}+{\frac {2}{\rho \rho _{2}}}+{\frac {2}{\rho \rho _{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b783cc13f1f8d51c1e38d0bda40dcede5aadf2eb)
By adding together the last four equations, we have,
![{\displaystyle {\frac {2}{r_{1}r_{2}}}+{\frac {2}{r_{2}r_{3}}}+{\frac {2}{r_{3}r_{1}}}-{\frac {2}{rr_{1}}}-{\frac {2}{rr_{2}}}-{\frac {2}{rr_{3}}}={\frac {1}{\rho ^{2}}}+{\frac {1}{\rho _{1}{}^{2}}}+{\frac {1}{\rho _{2}{}^{2}}}+{\frac {1}{\rho _{3}{}^{2}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6616fc50b9fd5e257a97ec8dbe21f98c6afc35b9)
Adding this equation to the preceding one, we obtain,
![{\displaystyle {\begin{aligned}{\frac {1}{r^{2}}}+{\frac {1}{r_{1}{}^{2}}}+{\frac {1}{r_{2}{}^{2}}}+{\frac {1}{r_{3}{}^{2}}}+{\frac {2}{r_{1}r_{2}}}+{\frac {2}{r_{2}r_{3}}}+{\frac {2}{r_{3}r_{1}}}-{\frac {2}{rr_{1}}}-{\frac {2}{rr_{2}}}-{\frac {2}{rr_{3}}}\\={\frac {1}{\rho ^{2}}}+{\frac {1}{\rho _{1}{}^{2}}}+{\frac {1}{\rho _{2}{}^{2}}}+{\frac {1}{\rho _{2}{}^{2}}}+{\frac {2}{\rho _{1}\rho _{2}}}+{\frac {2}{\rho _{2}\rho _{3}}}+{\frac {2}{\rho _{3}\rho _{1}}}+{\frac {2}{\rho \rho _{1}}}+{\frac {2}{\rho \rho _{2}}}+{\frac {2}{\rho \rho _{3}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7634fab93ad423a1a51e4efc738105fbee10c38a)
- or
[1]
which gives the theorem.
This neat theorem may be expressed in the following manner:
The sum of the reciprocals of the radii of four circles mutually touching one another is equal to the sum of the reciprocals of the radii of the four other circles mutually touching each other in the same points. Observing that when the radii of those circles which respectively touch three others exteriorally are treated as positive quantities, the radii of those circles which respectively touch three others interiorally must be considered as negative quantities; and when this is taken into consideration we shall have this and the following theorems general for all positions of four circles in mutual contact.
Prop. III.
To determine the radii of four circles mutually touching each other, in terms of the radii of the four circles mutually touching each other in the same points as the other four.
From the first four in Prop. II, we get
![{\displaystyle {\begin{aligned}-{\frac {1}{r^{2}}}+{\frac {1}{r_{1}{}^{2}}}+{\frac {1}{r_{2}{}^{2}}}+{\frac {1}{r_{3}{}^{2}}}&={\frac {2}{\rho }}{\Big \{}{\frac {1}{\rho _{1}}}+{\frac {1}{\rho _{2}}}+{\frac {1}{\rho _{3}}}{\Big \}}\\&={\frac {2}{\rho }}{\Big \{}-{\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}-{\frac {1}{\rho }}{\Big \}}\\&\qquad \qquad \qquad \qquad \qquad \qquad {\text{From Prop. II}}\\&={\frac {2}{\rho }}{\Big \{}-{\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}{\Big \}}-{\frac {2}{\rho ^{2}}}&\\&={\frac {2}{\rho }}{\Big \{}-{\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}{\Big \}}-&\\&\quad \quad \;\;{\Big \{}{\frac {2}{r_{1}r_{2}}}+{\frac {2}{r_{2}r_{3}}}+{\frac {2}{r_{3}r_{1}}}{\Big \}}\;{\text{From Prop. II}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82923627972d20996d6b56db98b7310b7c2407c8)
![{\displaystyle \therefore {\frac {2}{\rho }}={\frac {\displaystyle -{\frac {1}{r^{2}}}+{\frac {1}{r_{1}{}^{2}}}+{\frac {1}{r_{2}{}^{2}}}+{\frac {1}{r_{3}{}^{2}}}+{\frac {2}{r_{1}r_{2}}}+{\frac {2}{r_{2}r_{3}}}+{\frac {2}{r_{3}r_{1}}}}{\displaystyle -{\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f463dcba2f96cb15fc89c075dcc782151b8c942)
- or
![{\displaystyle {\frac {2}{\rho }}={\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fe4719cb3c259b0e799786d1dec7c5a8baf16a1)
In a similar manner, we obtain
![{\displaystyle {\begin{aligned}{\frac {2}{\rho _{1}}}&=-{\frac {1}{r}}-{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}\\{\frac {2}{\rho _{2}}}&=-{\frac {1}{r}}+{\frac {1}{r_{1}}}-{\frac {1}{r_{2}}}+{\frac {1}{r_{3}}}\\{\frac {2}{\rho _{3}}}&=-{\frac {1}{r}}+{\frac {1}{r_{1}}}+{\frac {1}{r_{2}}}-{\frac {1}{r_{3}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfb7c8ba5320ac09312b49360ad1e22bfd33d0cb)
Obs. The first of these equations gives the following neat theorem:
If three circles be inscribed within another given one so as mutually to touch it and each other, the reciprocal of the radius of the circle passing through their points of contact, is equal to half the sum of the reciprocals of the radii of the four circles mutually touching each other.
Cor. 1.
![{\displaystyle {\begin{aligned}{\frac {2}{r}}={\frac {1}{\rho }}-{\frac {1}{\rho _{1}}}-{\frac {1}{\rho _{2}}}-{\frac {1}{\rho _{3}}},\quad &{\frac {2}{r_{1}}}={\frac {1}{\rho }}-{\frac {1}{\rho _{1}}}+{\frac {1}{\rho _{2}}}+{\frac {1}{\rho _{3}}},\\{\frac {2}{r_{2}}}={\frac {1}{\rho }}+{\frac {1}{\rho _{1}}}-{\frac {1}{\rho _{2}}}+{\frac {1}{\rho _{3}}},\quad &{\frac {2}{r_{3}}}={\frac {1}{\rho }}+{\frac {1}{\rho _{1}}}+{\frac {1}{\rho _{2}}}-{\frac {1}{\rho _{3}}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/48db3ddf489345182c1744245cafa7f10c54536e)
Cor. 2.
Prop. IV.
The sum of the squares of the reciprocals of the radii of four circles mutually touching one another, is equal to twice the sum of their rectangles.
For, from Prop. III. Cor. 1,
from II.
- or
![{\displaystyle {\frac {1}{\rho ^{2}}}+{\frac {1}{\rho _{1}{}^{2}}}+{\frac {1}{\rho _{2}{}^{2}}}+{\frac {1}{\rho _{3}{}^{2}}}+{\frac {2}{\rho _{1}\rho _{2}}}+{\frac {2}{\rho _{2}\rho _{3}}}+{\frac {2}{\rho _{3}\rho _{1}}}-{\frac {2}{\rho \rho _{1}}}-{\frac {2}{\rho \rho _{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/749c6c9738fde69e4e6418b8b253d5c97fe8f8a8)
![{\displaystyle -{\frac {2}{\rho \rho _{3}}}={\frac {4}{\rho _{1}\rho _{2}}}+{\frac {4}{\rho _{2}\rho _{3}}}+{\frac {4}{\rho _{3}\rho _{1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32c1e1c4bd91fb497ac3339d4ed8f530da2e91c1)
![{\displaystyle \therefore {\frac {1}{\rho ^{2}}}+{\frac {1}{\rho _{1}{}^{2}}}+{\frac {1}{\rho _{2}{}^{2}}}+{\frac {1}{\rho _{3}{}^{2}}}={\frac {2}{\rho _{1}\rho _{2}}}+{\frac {2}{\rho _{2}\rho _{3}}}+{\frac {2}{\rho _{3}\rho _{1}}}+{\frac {2}{\rho \rho _{1}}}+{\frac {2}{\rho \rho _{2}}}+{\frac {2}{\rho \rho _{3}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1819a1df7983f23bdd94cd4cf815b83bb4be6cc)
When one of the circles touches the other three interiorally, its radius must be treated as a negative quantity in this theorem.
For from III.
![{\displaystyle \therefore {\frac {1}{r^{2}}}+{\frac {1}{r_{1}{}^{2}}}+{\frac {1}{r_{2}{}^{2}}}+{\frac {1}{r_{3}{}^{2}}}={\frac {2}{r_{1}r_{2}}}+{\frac {2}{r_{2}r_{3}}}+{\frac {2}{r_{3}r_{1}}}-{\frac {2}{rr_{1}}}-{\frac {2}{rr_{2}}}-{\frac {2}{rr_{3}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d615682a4575749a1c8fda4b6fb328e070c1b666)
in which the radius (r), of the circle DEF, touching three others interiorally is negative.
Prop. V.
Given three circles mutually touching each other, to determine the radius of a circle touching all three in terms of the given circles.
This will be very readily done from Prop. IV; for denoting the radii of the three given circles by
,
,
, respectively, and the raidus of the required circle by R, we shall have
![{\displaystyle {\begin{aligned}{\frac {1}{R^{2}}}+{\frac {1}{R_{\prime }{}^{2}}}+{\frac {1}{R_{\prime \prime }{}^{2}}}+&{\frac {1}{R_{\prime \prime \prime }{}^{2}}}={\frac {2}{R_{\prime }R_{\prime \prime }}}+{\frac {2}{R_{\prime \prime }R_{\prime \prime \prime }}}+{\frac {2}{R_{\prime \prime \prime }R_{\prime }}}+{\frac {2}{RR_{\prime }}}\\&+{\frac {2}{RR_{\prime \prime }}}+{\frac {2}{RR_{\prime \prime \prime }}}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1a1647129e65a353b0d1445bc9d1a75eaa9b9b8)
Whence,
In which the double sign ± shows that there may be two circles described respectively to touch all the given three, the upper sign (+) determining the radius of the lesser circle, and the lower one (−) the radius of the greater circle. And this equation will give the radius of the required circle of contact, when the three given circles touch each other in any position, by considering the radius of a circle touching the others interiorally to be a negative quantity. Thus, if the circle whose radius is
, touches the other circles interiorally,
![{\displaystyle {\frac {1}{R}}={\frac {1}{R_{\prime }}}+{\frac {1}{R_{\prime \prime }}}+{\frac {1}{R_{\prime \prime \prime }}}\pm 2{\sqrt {{\frac {1}{R_{\prime \prime }R_{\prime \prime \prime }}}-{\frac {1}{R_{\prime }R_{\prime \prime }}}-{\frac {1}{R_{\prime }}}R_{\prime \prime \prime }}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cee0613c9a85ff75d123c62e6979b5b084eaeb1f)
When the three given circles touch each other exteriorally, the larger of the two circles of contact will touch them interiorally, and its radius will therefore be a negative quantity, and the above equation for its determination then becomes
![{\displaystyle -{\frac {1}{R}}={\frac {1}{R_{\prime }}}+{\frac {1}{R_{\prime \prime }}}+{\frac {1}{R_{\prime \prime \prime }}}-2{\sqrt {{\frac {1}{R_{\prime }R_{\prime \prime }}}+{\frac {1}{R_{\prime \prime }R_{\prime \prime \prime }}}+{\frac {1}{R_{\prime \prime \prime }R_{\prime }}}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a60d3bbd459c67395e4a69dd5fa5cf8c5d6f8196)
- or,
![{\displaystyle {\frac {1}{R}}=-{\frac {1}{R_{\prime }}}-{\frac {1}{R_{\prime \prime }}}-{\frac {1}{R_{\prime \prime \prime }}}+2{\sqrt {{\frac {1}{R_{\prime }R_{\prime \prime }}}+{\frac {1}{R_{\prime \prime }R_{\prime \prime \prime }}}+{\frac {1}{R_{\prime \prime \prime }R_{\prime }}}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f7935565ab5b639140488bf8e68c2b25a5acceb)
(To be continued.)
Mr. Beecroft's paper on Infinite Series will be inserted in our next.
- ↑ The square of
gives the same result as the square of
, but the former expression is the correct one, for each of the quantities
,
,
, is evidently greater than
.
This work was published before January 1, 1929, and is in the public domain worldwide because the author died at least 100 years ago.
Public domainPublic domainfalsefalse