Particular problem solved by solving a more general problem. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T13:45:07Z http://mathoverflow.net/feeds/question/21214 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem Particular problem solved by solving a more general problem. Sunni 2010-04-13T15:29:08Z 2010-12-14T11:12:17Z <p>It is sometimes much easier to solve a general problem than a particular one. What are good examples in mathematics that are difficult to solve but solved successfully by solving more general ones? </p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21216#21216 Answer by Cam McLeman for Particular problem solved by solving a more general problem. Cam McLeman 2010-04-13T15:49:36Z 2010-04-13T21:57:34Z <p>The only way to prove that there's at least one prime in every arithmetic progression is by proving that there are infinitely many primes in every arithmetic progression. This is intuitively a fairly tremendous jump in difficulty to get the initial rather modest result out.</p> <p>I imagine that most examples of this phenomenon take the form that the question as asked is "more difficult" only in the sense that it's been phrased in such a way as to mask what's "really going on." I think this is probably at the core of hundreds and thousands of problem-solving type puzzles -- the difficulty of the puzzle comes from masking the influence of the governing theorem, which is likely to be easier to see how to prove in its general form than it is to realize which parts of the puzzle are the important ones. In short, puzzles have red herrings, good theorems do not.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21219#21219 Answer by Kevin Buzzard for Particular problem solved by solving a more general problem. Kevin Buzzard 2010-04-13T16:17:32Z 2010-04-13T16:17:32Z <p>For what it's worth, here's a trivial one: when explaining induction to students, I sometimes stress that it might be easier to prove a stronger result by induction than a weaker one---you're trying to get more out, but you're putting more in. As a concrete example I note that proving that the sum of the first 100 odd numbers is a square sounds like it might be tricky, proving that the sum of the first $n$ odd numbers is a square for all $n\geq1$ sounds like it might be accessible using induction but in fact it still too weak, and proving that the sum of the first $n$ odd numbers is $n^2$ is really rather easy to prove. In some sense the stronger the statements get, the easier they become.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21221#21221 Answer by Qiaochu Yuan for Particular problem solved by solving a more general problem. Qiaochu Yuan 2010-04-13T16:37:43Z 2010-04-13T18:16:37Z <p>Frequently in mathematics the best way to determine the value of a sequence at a particular index is to compute its value at every index, even though the latter seems on the surface like a harder problem. </p> <p>Here is one of my favorite examples of this phenomenon. Suppose you want to know how many vectors of a particular norm there are in some lattice $L$. On the surface, this seems like a hard problem - it involves figuring out how many times some quadratic form takes some value. One can solve this problem by solving the harder problem of determining the answer for <strong>every</strong> possible norm by writing down the theta function $$\Theta_L(\tau) = \sum_{v \in L} e^{\pi i \tau \left&lt; v, v \right>}.$$</p> <p>If $L$ satisfies certain technical properties, $\Theta_L$ is a modular form with respect to some congruence subgroup, and modular forms live in finite-dimensional vector spaces; moreover, a lot is known about how to write down modular forms. For example, the theta function of the $E_8$ lattice is a modular form of weight $4$ and level $1$. The space of such forms is one-dimensional - in fact, it's spanned by an Eisenstein series - and it then follows that $$\Theta_{E_8}(\tau) = 1 + 240 \sum_{n \ge 1} \sigma_3(n) q^n$$</p> <p>where $q = e^{2\pi i \tau}$. Similar considerations lead to the well-known formulas for the number of ways to represent an integer as the sum of two or four squares. </p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21223#21223 Answer by Will Jagy for Particular problem solved by solving a more general problem. Will Jagy 2010-04-13T16:56:37Z 2010-04-13T16:56:37Z <p>The Carlson Lemmas in combinatorics. He told me at the time that he had struggled with the simple and natural way the problem was originally posed, but was able to push through a far more elaborate, stronger, and much less intuitive version.</p> <p>Timothy J. Carlson</p> <p>A dual form of Ramsey's theorem, (with S. Simpson) Advances in Mathematics 53 (1984), pp. 265-290.</p> <p>Some unifying principles in Ramsey theory, Discrete Mathematics Volume 68 , Issue 2-3, (February 1988), Pages: 117 - 169 </p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21224#21224 Answer by Joel David Hamkins for Particular problem solved by solving a more general problem. Joel David Hamkins 2010-04-13T16:58:19Z 2010-04-13T16:58:19Z <p>Cantor proved the existence of transcendental real numbers by proving that most numbers are transcendental. The set of algebraic real numbers is countable. </p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21226#21226 Answer by Ryan Thorngren for Particular problem solved by solving a more general problem. Ryan Thorngren 2010-04-13T17:01:05Z 2010-04-13T17:07:55Z <p>Occasionally when trying to prove a certain type of object exists, it is easier to show that the set of those objects is very large.</p> <p>For instance, it's difficult to give an example of a transcendental number over the rationals. However, it is quite easy to show that the set of algebraic numbers is only countably infinite, so almost every real number is transcendental.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21227#21227 Answer by Kevin Buzzard for Particular problem solved by solving a more general problem. Kevin Buzzard 2010-04-13T17:11:01Z 2010-04-13T17:11:01Z <p>This might not be correct---perhaps someone can confirm---but I was once told (when I was a graduate student) that the way that Leopoldt's conjecture was proved for abelian number fields was as follows: first do the standard reduction to show that Leopoldt is true if certain special values of certain $p$-adic $L$-functions $L(1,\chi)$ are non-zero, and then prove that these numbers are non-zero by showing that they are transcendental! As I say, I don't know for sure if this is true, but my source was pretty reliable. The emphasis was on the observation that (at the time at least), apparently the <em>only</em> way of proving the numbers were non-zero was by showing they were transcendental.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21228#21228 Answer by Harry Gindi for Particular problem solved by solving a more general problem. Harry Gindi 2010-04-13T17:16:05Z 2010-04-13T17:16:05Z <p>Proving the general solution for lambert series is much easier than dealing with specific examples c.f. Apostol - <em>Modular Functions and Dirichlet Series in Number Theory</em> ch. 1 Ex. 14. </p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21231#21231 Answer by John D. Cook for Particular problem solved by solving a more general problem. John D. Cook 2010-04-13T17:48:35Z 2010-04-13T17:48:35Z <p>Some of the previous answers have said that sometimes the easiest way to prove a set it non-empty is to show that it's large or even infinite. A variation on that idea is to show that something exists by showing that the probability of selecting it at random from some larger set is positive. As one of my professors used to say, some things are so hard to find that the best way to look for them is at random.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21233#21233 Answer by Jorge Miranda for Particular problem solved by solving a more general problem. Jorge Miranda 2010-04-13T17:54:24Z 2010-04-13T22:52:57Z <p>Another way of proving that something is nonzero is to prove that it is odd. One good example of that idea is the proof of <a href="http://en.wikipedia.org/wiki/Sperner%2527s_lemma" rel="nofollow">Sperner's lemma</a></p> <p>More generally, one can prove that something is nonzero by proving that it is nonzero mod p. That is the idea used in <a href="http://en.wikipedia.org/wiki/Chevalley-Warning_theorem" rel="nofollow">Chevalley-Warning theorem</a> (one proves that the number of solutions is 0 mod p, then proves there is a trivial solution), and in the proof of <a href="http://en.wikipedia.org/wiki/Cauchy%2527s_theorem_%2528group_theory%2529" rel="nofollow">Cauchy's theorem</a>.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21237#21237 Answer by TonyK for Particular problem solved by solving a more general problem. TonyK 2010-04-13T18:27:42Z 2010-04-13T18:27:42Z <p>Matijasevic's theorem, that all recursively enumerable sets are diophantine, was needed to prove that the set of primes is diophantine.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21277#21277 Answer by John Stillwell for Particular problem solved by solving a more general problem. John Stillwell 2010-04-14T00:01:47Z 2010-04-14T03:22:35Z <p>It is easier to prove that almost all real numbers are normal than to prove that any particular real number is normal.</p> <p>Indeed, <em>none</em> of the most natural candidates, such as $\sqrt{2}$, $\pi$ or $e$, has yet been proved normal.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/21357#21357 Answer by elfking for Particular problem solved by solving a more general problem. elfking 2010-04-14T16:58:17Z 2010-04-14T16:58:17Z <p>I believe Fermat's Last Problem was solved by proving the Modularity Theorem (for the case of semistable elliptic curves), but I don't know the proof enough to say if the problem is just a direct corollary. The Modularity theorem is not in any sense easy anyway, but at least it's been proved successfully. :)</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/40034#40034 Answer by Peter Shor for Particular problem solved by solving a more general problem. Peter Shor 2010-09-26T16:40:53Z 2010-09-26T16:40:53Z <p>The <a href="http://math.berkeley.edu/~mhaiman/math172-spring10/matrixtree.pdf" rel="nofollow">generating function proof</a> of Cayley's theorem counting labeled trees (e.g., the theorem that there are $n^{n-2}$ labeled trees on $n$ vertices) is a good example. In the lecture notes I linked to, the more general question is Theorem 1 and the particular question is Corollary 1.</p> http://mathoverflow.net/questions/21214/particular-problem-solved-by-solving-a-more-general-problem/49375#49375 Answer by Aravind for Particular problem solved by solving a more general problem. Aravind 2010-12-14T11:12:17Z 2010-12-14T11:12:17Z <p>There are perhaps many examples found in inequalities because a given inequality with a mass of variables and functions can easily hide "Simple Inequality" of which it is a special case.</p>