Abstract
A tangent sphere of a tetrahedron is a sphere that is tangent to all four face-planes (each being the affine hull of a face of the tetrahedron). Two tangent spheres of a tetrahedron are called neighboring if exactly one face-plane separates them. J. H. Grace proved that for any pair S, T of neighboring tangent spheres of a tetrahedron, there is a sphere passing through the three vertices (of the tetrahedron) lying on the separating face-plane of S, T that is tangent to both S, T in the same fashion (i.e., either externally tangent to both S, T or internally tangent to both S, T). His proof of this result was done by applying Lie’s line-sphere transformation to Schläfli’s double-six theorem for lines. The purpose of this paper is to present a proof of this result by direct calculations.
Similar content being viewed by others
Data Availibility
Data sharing not applicable to this article.
References
Asplund, E., Grünbaum, B.: On the geometry of Minkowski planes. Enseign. Math. (2) 6 (1960), 299–306 (1961)
Berger, M.: Geometry I. Springer-Verlag, New York (1987)
Grace, J.H.: Circles, spheres, and linear complexes. Trans. Cambridge Philosophical Soc. 14, 153–190 (1898)
Grace, J.H.: Tetrahedra in relation to spheres and quadrics. Proc. London Math. Soc. 52–17, 259–271 (1918)
Johnson, R.A.: Advanced Euclidean Geometry. Dover Publication, New York (1960)
Maehara, H.: Helly-type theorems for spheres. Discrete Comput. Geom. 4, 279–285 (1989)
Maehara, H., Martini, H.: Tangent spheres of tetrahedra and a theorem of Grace. Amer. Math. Monthly 127, 897–910 (2020)
Maehara, H., Tokushige, N.: On a special arrangement of spheres. Ryukyu Math. J. 19, 19–24 (2006)
Maehara, H., Tokushige, N.: From line-systems to sphere-systems, Schläfli’s double six, Lie’s line-sphere transformation, and Grace’s theorem. European J. Combin. 30(5), 1337–1351 (2009)
Martini, H., Spirova, M.: The Feuerbach circle and orthocentricity in normed planes. Enseign. Math. 53(3–4), 237–258 (2007)
Polya, G.: Mathematical discovery. John Wiley & Sons, New York (1981)
Wells, D.: The penguin dictionary of curious and interesting geometry. Penguin Books, New York (1991)
Acknowledgements
We would like to thank the reviewer for careful reading of the manuscript and many suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Maehara, H., Martini, H. An analytic proof of a theorem of Grace. J. Geom. 114, 27 (2023). https://doi.org/10.1007/s00022-023-00691-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00022-023-00691-5