Problem:
A sphere is the set of points at a fixed positive distance from its center. Let be a set of 2010-dimensional spheres. Suppose that the number of points lying on every element of is a finite number . Find the maximum possible value of .
Solutions — 2
Solution 1
Solution:
The answer is for any number of dimensions. We prove this by induction on the dimension.
Note that 1-dimensional spheres are pairs of points, and 2-dimensional spheres are circles.
Base case, :
The intersection of two circles is either a circle (if the original circles are identical and in the same place), a pair of points, a single point (if the circles are tangent), or the empty set. Thus, in dimension , the largest finite number of intersection points is , because the number of pairwise intersection points is , , or for distinct circles.
We now prove that the intersection of two -dimensional spheres is either the empty set, a -dimensional sphere, or a -dimensional sphere (which only occurs if the original spheres are identical and coincident). Consider two spheres in -dimensional space, and impose a coordinate system such that the centers of the two spheres lie on one coordinate axis. Then the equations for the two spheres become identical in all but one coordinate:
If , the spheres are concentric, and so they are either nonintersecting or coincident, intersecting in a -dimensional sphere. If , then subtracting the equations and solving for yields . Plugging this into either equation above yields a single equation that describes a -dimensional sphere.
Assume we are in dimension , and suppose for induction that for all less than , any two distinct -dimensional spheres intersecting in a finite number of points intersect in at most two points. Suppose we have a collection of -dimensional spheres . Without loss of generality, suppose the are distinct. Let be the intersection of and for . If any are the empty set, then the intersection of the is empty. None of the is a -dimensional sphere because the are distinct. Thus each of is a -dimensional sphere, and the intersection of all of them is the same as the intersection of the -dimensional spheres. We can then apply the inductive hypothesis to find that intersect in at most two points. Thus, by induction, a set of spheres in any dimension which intersect at only finitely many points intersect at at most two points.
We now exhibit a set of 2010-dimensional spheres, and prove that their intersection contains exactly two points. Take the spheres with radii and centers , where the sign of each coordinate is independent from the sign of every other coordinate. Because of our choice of radius, all these spheres pass through the points . Then the intersection is the set of points which satisfy the equations . The only solutions to these equations are the points (since must be the same as for all , because we may hold all but one of the choices constant, and change the remaining one).
Therefore, the maximum possible value of is .
Solution 2
Solution:
Answer: 2 The answer is 2 for any number of dimensions. We prove this by induction on the dimension.
Note that 1-dimensional spheres are pairs of points, and 2-dimensional spheres are circles.
Base case, : The intersection of two circles is either a circle (if the original circles are identical, and in the same place), a pair of points, a single point (if the circles are tangent), or the empty set. Thus, in dimension 2, the largest finite number of intersection points is 2, because the number of pairwise intersection points is 0, 1, or 2 for distinct circles.
We now prove that the intersection of two -dimensional spheres is either the empty set, a -dimensional sphere, a -dimensional sphere (which only occurs if the original spheres are identical and coincident). Consider two spheres in -dimensional space, and impose a coordinate system such that the centers of the two spheres lie on one coordinate axis. Then the equations for the two spheres become identical in all but one coordinate:
If , the spheres are concentric, and so they are either nonintersecting or coincident, intersecting in a -dimensional sphere. If , then subtracting the equations and solving for yields . Plugging this in to either equation above yields a single equation that describes a -dimensional sphere.
Assume we are in dimension , and suppose for induction that for all less than , any two distinct -dimensional spheres intersecting in a finite number of points intersect in at most two points. Suppose we have a collection of -dimensional spheres . Without loss of generality, suppose the are distinct. Let be the intersection of and for . If any are the empty set, then the intersection of the is empty. None of the is a -dimensional sphere because the are distinct. Thus each of is a -dimensional sphere, and the intersection of all of them is the same as the intersection of the -dimensional spheres. We can then apply the inductive hypothesis to find that intersect in at most two points. Thus, by induction, a set of spheres in any dimension which intersect at only finitely many points intersect at at most two points.
We now exhibit a set of 2010-dimensional spheres, and prove that their intersection contains exactly two points. Take the spheres with radii and centers , where the sign of each coordinate is independent from the sign of every other coordinate. Because of our choice of radius, all these spheres pass through the points . Then the intersection is the set of points which satisfy the equations . The only solutions to these equations are the points (since must be the same as for all , because we may hold all but one of the choices constant, and change the remaining one).