×

Conic tangency equations and Apollonius problems in biochemistry and pharmacology. (English) Zbl 1016.51014

Summary: The Apollonius Circle Problem dates to Greek antiquity, circa 250 B.C. Given three circles in the plane, find or construct a circle tangent to all three. This was generalized by replacing some circles with straight lines. Viéte [Canon mathematicus seu Ad triangula cum adpendicibus, Lutetiae: Apud Ioannem Mettayer, Mathematicis typographum regium, sub signo D. Ioannis, regione Collegij Laodicensis, p. 1579] solved the problem using circle inversions before 1580. Two generations later, Descartes considered a special case in which all four circles are mutually tangent to each other (i.e. pairwise). We consider the general case in two and three dimensions, and further generalizations with ellipsoids and lines. We believe, we are the first to explicitly find the polynomial equations for the parameters of the solution sphere in these generalized cases. Doing so is quite a challenge for the best computer algebra systems. We report later some comparative times using various computer algebra systems on some of these problems. We also consider conic tangency equations for general conics in two and three dimensions.
Apollonius problems are of interest in their own right. However, the motivation for this work came originally from medical research, specifically the problem of computing the medial axis of the space around a molecule: obtaining the position and radius of a sphere which touches four known spheres or ellipsoids.

MSC:

51M15 Geometric constructions in real or complex geometry

Software:

Fermat; DOCK
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ackermann, F.; Herrmann, G.; Posch, S.; Sagerer, G., Estimation and filtering of potential protein-protein docking positions, Bioinformatics, 14, 2, 196-205 (1998)
[2] W. Adams, P. Loustaunau, An introduction to Gröbner Bases, Graduate Studies in Mathematics, Vol. 3. American Mathematical Society, Providence, RI, 1994.; W. Adams, P. Loustaunau, An introduction to Gröbner Bases, Graduate Studies in Mathematics, Vol. 3. American Mathematical Society, Providence, RI, 1994. · Zbl 0803.13015
[3] Boyd, D. W., The osculatory packing of a three-dimensional sphere, Can. J. Math., 25, 303-322 (1973) · Zbl 0258.52012
[4] Buse, L.; Elkadi, M.; Mourrain, B., Generalized resultants over unirational algebraic varieties, J. Symbolic Comput., 29, 515-526 (2000) · Zbl 0983.14039
[5] Computer algebra system, CoCoA 4.0, http://cocoa.dima.unige.it/; Computer algebra system, CoCoA 4.0, http://cocoa.dima.unige.it/
[6] Coxeter, H. S.M., The problem of Apollonius, Am. Math. Monthly, 75, 5-15 (1968) · Zbl 0161.17502
[7] R. Courant, H. Robbins, What is Mathematics? Oxford University Press, Oxford, 1941.; R. Courant, H. Robbins, What is Mathematics? Oxford University Press, Oxford, 1941.
[8] Ewing, T.; Makino, S.; Skillman, A.; Kuntz, I., DOCK 4.0: search strategies for automated molecular docking of flexible molecule databases, J. Comput. Aided Mol. Des., 15, 5, 411-428 (2001)
[9] R.H. Lewis, Computer algebra system, Fermat 2.6.4, www.bway.net/∼lewis/; R.H. Lewis, Computer algebra system, Fermat 2.6.4, www.bway.net/∼lewis/
[10] H. Cejtin, Personal communication, March 2001.; H. Cejtin, Personal communication, March 2001.
[11] Kasner, E.; Supnick, F., The Apollonian packing of circles, Proc. Natl. Acad. Sci. U.S.A., 29, 378-384 (1943) · Zbl 0063.03162
[12] D. Kapur, T. Saxena, L. Yang, Algebraic and geometric reasoning using Dixon resultants, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM Press, NY, 1994.; D. Kapur, T. Saxena, L. Yang, Algebraic and geometric reasoning using Dixon resultants, in: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM Press, NY, 1994. · Zbl 0964.68536
[13] Lagarias, Mallows, Wilks, Beyond the Descartes Circle Theorem, in preparation.; Lagarias, Mallows, Wilks, Beyond the Descartes Circle Theorem, in preparation.
[14] Lewis, R. H.; Stiller, P. F., Solving the recognition problem for six lines using the Dixon resultant, Math. Comput. Simul., 49, 203-219 (1999)
[15] Pedoe, D., On a theorem in geometry, Am. Math. Monthly, 74, 627-640 (1967) · Zbl 0146.42003
[16] R. Israel, Personal communication, March 2001.; R. Israel, Personal communication, March 2001.
[17] E. Roanes-Lozano, E. Roanes-Macias, Geometric determination of the spheres which are tangent to four given ones, in: Sloot, et al. (Eds.), Computational Science-ICCS’2002 (Part II), LNCS 2330, Springer, Heidelberg, pp. 52-61.; E. Roanes-Lozano, E. Roanes-Macias, Geometric determination of the spheres which are tangent to four given ones, in: Sloot, et al. (Eds.), Computational Science-ICCS’2002 (Part II), LNCS 2330, Springer, Heidelberg, pp. 52-61. · Zbl 1055.68128
[18] F. Soddy, Nature June (1936) 102.; F. Soddy, Nature June (1936) 102.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.