BeauV wrote:A math wonk friend of mine said the line he liked was: “In mathematics, it occurs frequently that a seemingly difficult special problem can be solved by answering a more general question”.
This is true, but the more general proof, by definition, is harder as it covers more cases. The usual mental masturbation we math guys use is to prove the special result and then see what we really needed for the proof, so that we can make it as general as we can.
The problem with this is that the general statement usually sounds even more irrelevant to anything practically useful than the simple case.
This gaussian projection proof to me clearly has practical utility, however.