Many famous problems in mathematics are phrased as a search for a specific construction. This often requires some creativity and understanding of the theory behind the problem. The typical examples are the three geometric problems of antiquity: squaring of the circle, doubling of the cube, and trisection of angles through a compass and straightedge only.
To solve these problems, we develop the concept of a constructible number in the complex plane. A complex number is constructible if its corresponding point in the Euclidean plane is constructible by using a unruled straightedge, compass and line segment of unit length. Using the language of field theory, it turns out that the constructible numbers are the "quadratic closure of the rational numbers". While this complete characterization is somewhat beyond us for now, we can show that a constructible number must be an algebraic number (which means that it is the root of a polynomial with integer coefficients). This follows by considering what the various compass and straightedge constructions actually allow. As such, since is transcendental, it shows that we are unable to square the circle.
More recently, Godel's Incompleteness Theorems proved in 1931 establishes that there is no complete and consistent set of axioms for mathematics, which negatively answers Hilbert's second problem. This is a somewhat surprising theorem in logic, which has far-reaching consequences.
Closer to home, we come across this idea often in geometry problems, in which construction of points crucial in the diagram helps us to establish the proof easily. Various algebraic identities like
can help shed light on deeper implications in mathematics.
In a construction problem, we seek an explicit characterization or identification, which allows us to verify that the statement is true. This is different from existence problems, in which we merely know that the statement is true, but do not know for what values it is true.
1. A longevity chain is a sequence of consecutive integers, whose digit sums are never a multiple of 9. What is the longest possible length of a longevity chain?
Solution: We know that any number which is a multiple of 9, has a digit sum which is a multiple of 9. Hence, the longevity chain can have at most 8 elements.
As an explicit example, the sequence is a sequence of 8 consecutive integers, whose digit sums are never a multiple of 9.
Hence, the answer is 8.
In this problem, the understanding that we needed was how digit sums relate to multiples of 9. With that understanding, the construction of the solution is straightforward.
2. Does there exist a family of concentric circles, such that each circle contains exactly 1 lattice point, and each lattice point is on a circle?
Solution: Consider the center of these concentric circles. Since each lattice point is on a unique concentric circle, this means that the distance of each lattice point to the center must be distinct.
Claim: The point works as the center of the concentric circles.
Suppose not, then we must have 2 lattice points whose distances are the same. This implies that
Expanding the terms, we get that
If , then the LHS is rational while the RHS is irrational, which is a contradiction. Thus . Hence, , which implies that , or that . Since the second term is never 0 (because are integers), we must have This contradicts the assumption that the points are distinct.
In this problem, we played around with the conditions and rephrased it into a number-theoretic statement, which made it easier to approach.
Note: There is an existence solution which works by showing that the plane cannot be covered by countably many lines.
3. Is it possible to find 7 points in the plane, such that out of every subset of 3 points, there are 2 points that are a unit distance apart?
Solution: Let be 4 points such that . Let's rotate this slightly about , to get such that .
Claim: This set of 7 points satisfy the conditions.
Proof: If the 3 points lie in or , then we are done. Otherwise, we must have 2 points that are in each of these sets. If these points are not or , then they will be a unit distance apart. Hence, the 3 points must thus be , but this gives us , so we are done.