Tennis ball theorem

In geometry, the tennis ball theorem states that any smooth curve on the surface of a sphere that divides the sphere into two equal-area subsets without touching or crossing itself must have at least four inflection points, points at which the curve does not consistently bend to only one side of its tangent line.^[1] The tennis ball theorem was first published under this name by Vladimir Arnold in 1994,^[2]^[3] and is often attributed to Arnold, but a closely related result appears earlier in a 1968 paper by Beniamino Segre, and the tennis ball theorem itself is a special case of a theorem in a 1977 paper by Joel L. Weiner.^[4]^[5] The name of the theorem comes from the standard shape of a tennis ball, whose seam forms a curve that meets the conditions of the theorem; the same kind of curve is also used for the seams on baseballs.^[1]

The tennis ball theorem can be generalized to any curve that is not contained in a closed hemisphere. A centrally symmetric curve on the sphere must have at least six inflection points. The theorem is analogous to the four-vertex theorem according to which any smooth closed plane curve has at least four points of extreme curvature.

Statement

Precisely, an inflection point of a doubly continuously differentiable ( $C^{2}$ ) curve on the surface of a sphere is a point $p$ with the following property: let $I$ be the connected component containing $p$ of the intersection of the curve with its tangent great circle at $p$ . (For most curves $I$ will just be $p$ itself, but it could also be an arc of the great circle.) Then, for $p$ to be an inflection point, every neighborhood of $I$ must contain points of the curve that belong to both of the hemispheres separated by this great circle. The theorem states that every $C^{2}$ curve that partitions the sphere into two equal-area components has at least four inflection points in this sense.^[6]

Examples

The tennis ball and baseball seams can be modeled mathematically by a curve made of four semicircular arcs, with exactly four inflection points where pairs of these arcs meet.^[7] A great circle also bisects the sphere's surface, and has infinitely many inflection points, one at each point of the curve. However, the condition that the curve divide the sphere's surface area equally is a necessary part of the theorem. Other curves that do not divide the area equally, such as circles that are not great circles, may have no inflection points at all.^[1]

Proof by curve shortening

One proof of the tennis ball theorem uses the curve-shortening flow, a process for continuously moving the points of the curve towards their local centers of curvature. Applying this flow to the given curve can be shown to preserve the smoothness and area-bisecting property of the curve. Additionally, as the curve flows, its number of inflection points never increases. This flow eventually causes the curve to transform into a great circle, and the convergence to this circle can be approximated by a Fourier series. Because curve-shortening does not change any other great circle, the first term in this series is zero, and combining this with a theorem of Sturm on the number of zeros of Fourier series shows that, as the curve nears this great circle, it has at least four inflection points. Therefore, the original curve also has at least four inflection points.^[8]^[9]

Related theorems

A generalization of the tennis ball theorem applies to any simple smooth curve on the sphere that is not contained in a closed hemisphere. As in the original tennis ball theorem, such curves must have at least four inflection points.^[5]^[10] If a curve on the sphere is centrally symmetric, it must have at least six inflection points.^[10]

A closely related theorem of Segre (1968) also concerns simple closed spherical curves, on spheres embedded into three-dimensional space. If, for such a curve, $o$ is any point of the three-dimensional convex hull of a smooth curve on the sphere that is not a vertex of the curve, then at least four points of the curve have osculating planes passing through $o$ . In particular, for a curve not contained in a hemisphere, this theorem can be applied with $o$ at the center of the sphere. Every inflection point of a spherical curve has an osculating plane that passes through the center of the sphere, but this might also be true of some other points.^[4]^[5]

This theorem is analogous to the four-vertex theorem, that every smooth simple closed curve in the plane has four vertices (extreme points of curvature). It is also analogous to a theorem of August Ferdinand Möbius that every non-contractible smooth curve in the projective plane has at least three inflection points.^[2]^[9]

References

^ Jump up to: ^a ^b ^c Chamberland, Marc (2015), "The Tennis Ball Theorem", Single digits: In praise of small numbers, Princeton University Press, Princeton, NJ, p. 114, doi:10.1515/9781400865697, ISBN 978-0-691-16114-3, MR 3328722
^ Jump up to: ^a ^b Martinez-Maure, Yves (1996), "A note on the tennis ball theorem", American Mathematical Monthly, 103 (4): 338–340, doi:10.2307/2975192, MR 1383672
^ Arnol'd, V. I. (1994), "20. The tennis ball theorem", Topological invariants of plane curves and caustics, University Lecture Series, vol. 5, Providence, RI: American Mathematical Society, pp. 53–58, doi:10.1090/ulect/005, ISBN 0-8218-0308-5, MR 1286249
^ Jump up to: ^a ^b Segre, Beniamino (1968), "Alcune proprietà differenziali in grande delle curve chiuse sghembe", Rendiconti di Matematica, 1: 237–297, MR 0243466
^ Jump up to: ^a ^b ^c Weiner, Joel L. (1977), "Global properties of spherical curves", Journal of Differential Geometry, 12 (3): 425–434, MR 0514446. For the tennis ball theorem (applicable more generally to curves that are not contained in a single hemisphere), see Theorem 2, p. 427
^ Thorbergsson, Gudlaugur; Umehara, Masaaki (1999), "A unified approach to the four vertex theorems II", in Tabachnikov, Serge (ed.), Differential and Symplectic Topology of Knots and Curves, Amer. Math. Soc. Transl. Ser. 2, vol. 190, Amer. Math. Soc., Providence, RI, pp. 229–252, doi:10.1090/trans2/190/12, MR 1738398. See in particular pp. 242–243.
^ Juillet, Nicolas (April 5, 2013), "Voyage sur une balle de tennis", Images des mathématiques (in French), CNRS
^ Ovsienko, V.; Tabachnikov, S. (2005), Projective differential geometry old and new: From the Schwarzian derivative to the cohomology of diffeomorphism groups, Cambridge Tracts in Mathematics, vol. 165, Cambridge: Cambridge University Press, p. 101, ISBN 0-521-83186-5, MR 2177471
^ Jump up to: ^a ^b Angenent, S. (1999), "Inflection points, extatic points and curve shortening" (PDF), Hamiltonian systems with three or more degrees of freedom (S'Agaró, 1995), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 533, Dordrecht: Kluwer Acad. Publ., pp. 3–10, MR 1720878
^ Jump up to: ^a ^b Pak, Igor (April 20, 2010), "Theorems 21.22–21.24, p. 203", Lectures on Discrete and Polyhedral Geometry

External links

Weisstein, Eric W., "Tennis Ball Theorem", MathWorld

[digits-1] Jump up to: ^a ^b ^c Chamberland, Marc (2015), "The Tennis Ball Theorem", Single digits: In praise of small numbers, Princeton University Press, Princeton, NJ, p. 114, doi:10.1515/9781400865697, ISBN 978-0-691-16114-3, MR 3328722

[mm-2] Jump up to: ^a ^b Martinez-Maure, Yves (1996), "A note on the tennis ball theorem", American Mathematical Monthly, 103 (4): 338–340, doi:10.2307/2975192, MR 1383672

[va-3] Arnol'd, V. I. (1994), "20. The tennis ball theorem", Topological invariants of plane curves and caustics, University Lecture Series, vol. 5, Providence, RI: American Mathematical Society, pp. 53–58, doi:10.1090/ulect/005, ISBN 0-8218-0308-5, MR 1286249

[segre-4] Jump up to: ^a ^b Segre, Beniamino (1968), "Alcune proprietà differenziali in grande delle curve chiuse sghembe", Rendiconti di Matematica, 1: 237–297, MR 0243466

[global-5] Jump up to: ^a ^b ^c Weiner, Joel L. (1977), "Global properties of spherical curves", Journal of Differential Geometry, 12 (3): 425–434, MR 0514446. For the tennis ball theorem (applicable more generally to curves that are not contained in a single hemisphere), see Theorem 2, p. 427

[tabachnikov-6] Thorbergsson, Gudlaugur; Umehara, Masaaki (1999), "A unified approach to the four vertex theorems II", in Tabachnikov, Serge (ed.), Differential and Symplectic Topology of Knots and Curves, Amer. Math. Soc. Transl. Ser. 2, vol. 190, Amer. Math. Soc., Providence, RI, pp. 229–252, doi:10.1090/trans2/190/12, MR 1738398. See in particular pp. 242–243.

[tennis-7] Juillet, Nicolas (April 5, 2013), "Voyage sur une balle de tennis", Images des mathématiques (in French), CNRS

[pgon-8] Ovsienko, V.; Tabachnikov, S. (2005), Projective differential geometry old and new: From the Schwarzian derivative to the cohomology of diffeomorphism groups, Cambridge Tracts in Mathematics, vol. 165, Cambridge: Cambridge University Press, p. 101, ISBN 0-521-83186-5, MR 2177471

[angenent-9] Jump up to: ^a ^b Angenent, S. (1999), "Inflection points, extatic points and curve shortening" (PDF), Hamiltonian systems with three or more degrees of freedom (S'Agaró, 1995), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 533, Dordrecht: Kluwer Acad. Publ., pp. 3–10, MR 1720878

[pak-10] Jump up to: ^a ^b Pak, Igor (April 20, 2010), "Theorems 21.22–21.24, p. 203", Lectures on Discrete and Polyhedral Geometry

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]