Skip to main content
2 of 2
replaced http://mathoverflow.net/ with https://mathoverflow.net/

This answers expands on my comment on the original question.

1. Given two circles in the plane, there is (at least) a line which is tangent to both of them: this is not true unless we allow lines with complex coefficients (and even then there's an exception, see below). In the real plane, two circles have:

$\bullet$ no common tangents if one is contained in the other's interior,

$\bullet$ two common tangents if they intersect at two points, and

$\bullet$ four common tangents if they're disjoint and neither's interior contains the other.

At the boundaries between these cases, the circles can have 1 or 3 common tangents if they're tangent internally or externally. There's also a generate case where the two circles coincide and thus have infinitely many common tangents.

2. Given three spheres in the space, there is a plane which is tangent to all of them: again not true, and and with a wider variety of counterexamples, and a wider variety of degenerate cases where there are infinitely many common tangents. Aside of these degenerate examples, the maximum number of common tangent planes is $8$. (See below for how to compute them.) A simple configuration with infinitely many tangent planes is three identical spheres with collinear centers. More generally, three spheres with collinear centers that have one tangent plane have infinitely many, because we can rotate the plane about the line $l$ joining the centers. But make one sphere a bit larger or smaller about the same center, and there's no common tangent plane at all, and then this stays true if we move the centers a bit off $l$.

3. In general, given $n$ spheres in $n$-dimensional space, is there a hyperplane which is tangent to all of them? [The proposer wrote "$n$ n-spheres", but current terminology uses "n-sphere" for a sphere in ${\bf R}^{n+1}$.] Again, not necessarily; the number can range from $0$ to $2^n$, or be infinitely large, and there are various ways for the number to be zero, most simply when one sphere is contained in another's interior.

The hyperplanes in ${\bf R}^n$ constitute an $n$-dimensional space, more precisely a projective space ${\bf RP}^n$ with a point removed (the hyperplane at infinity, which is not relevant to us because it is not tangent to any sphere). The hyperplanes tangent to a given sphere constitute a degree-$2$ hypersurface in this projective space. Generically $n$ such surfaces in $n$-dimensional space meet in $2^n$ points, but it is possible for none of them to have real coordinates; and there are also special configurations that intersect in a positive-dimensional variety, most simply when they are linearly dependent (but this is far from the only reason, as noted in this mathoverflow answer).

4. What other generalizations does this problem admit? I wrote that one gets the same $2^n$ enumeration with $n$ arbitrary quadrics in place of spheres, but Mariano Suárez-Alvarez suggested a much more complete answer:

The ultimate generalization (or, at least, one of them) is, I guess, intersection theory and enumerative geometry.

Still, there are special features of the $n$-sphere problem that do not survive generalization even to $n$ quadrics. Most notably, the $2^n$ tangent planes can be given in closed form, each requiring only the extraction of a single square root. Suppose the spheres have centers $v_i \in {\bf R}^n$ and radii $r_i \in (0,\infty)$. A hyperplane $a \cdot x = b$ is tangent to the sphere $|x-v_i|=r$ iff $a \cdot v_i - b = \pm r_i |a|$. Now for each of $2^n$ choices of $\pm$ signs we get $n$ simultaneous linear equations in $n+1$ variables: the coordinates of $a$, and the length $|a|$. Generically there is a line of solutions, and then the additional condition that $|a|$ really be the length of the vector $a$ gives a quadratic equation on that line which usually has $2$ solutions, either real or complex conjugate. [This gives $2^n$ hyperplanes, not twice that number, because switching all the $\pm$ signs yields the same solution.] But there are also non-generic cases where the equations are dependent, and so give a higher-dimensional space of solutions (not necessarily defined over ${\bf R}$), or inconsistent, and so give no solutions at all. If I did this right, one of these happens iff the centers of the spheres lie on a linear subspace of dimension at most $n-2$. So for $n=2$ we're back to concentric circles, with infinitely many solutions if they coincide, and none otherwise, not even over ${\bf C}$. Likewise for $n=3$ we get the configurations of three spheres with collinear centers.

Noam D. Elkies
  • 79.9k
  • 15
  • 281
  • 376