7
$\begingroup$

Especially (but not only) in the case of induction proofs, it happens that a stronger claim $B$ is easier to prove than the intended claim $A$ since the induction hypothesis gives you more information. I am trying to come up with exercises for beginner students that help to demonstrate this point (and also interested in the general phenomenon). Do you know any good examples (preferably elementary ones) where strengthening a claim makes the proof easier?

Here is an example of what I mean (Problem 16 from chapter 7 of Engel's `Problem solving strategies'):

Show that $\frac{1}{2}\frac{3}{4}...\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n}}$ for $n\geq 1$. This is much harder than proving the stronger statement that $\frac{1}{2}\frac{3}{4}...\frac{2n-1}{2n}\leq\frac{1}{\sqrt{3n+1}}$ for $n\geq 1$, which is a straightforward induction.

$\endgroup$

marked as duplicate by Benjamin Dickman, Andrew Sanfratello, JTP - Apologise to Monica, JPBurke, Dag Oskar Madsen Nov 6 '14 at 17:42

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

4
$\begingroup$

This has been asked many times before in MathOverflow

$\endgroup$
  • $\begingroup$ The links are certainly helpful, but contain very few elementary cases that are suitable as exercises. $\endgroup$ – M Carl Nov 5 '14 at 13:24
  • 2
    $\begingroup$ @MCarl There is also this question. $\endgroup$ – dtldarek Nov 5 '14 at 17:53
  • 2
    $\begingroup$ @MCarl Consider this one: math.stackexchange.com/questions/899109/… $\endgroup$ – user26486 Nov 5 '14 at 18:58
  • $\begingroup$ Just posted an answer to that math SE question, but considering it's about eigenvalues I'm not sure it's elementary enough for the question here on Maths Ed SE. $\endgroup$ – DavidButlerUofA Nov 5 '14 at 19:52
  • $\begingroup$ Thanks to Benjamin Dickman's comment on the question, I found the answer I was referring to in my comment above: matheducators.stackexchange.com/a/2171/77 (Note that the answer in the link is quite different from what I said. I have deleted my comment above, as I don't think it's a particularly good answer.) $\endgroup$ – Joel Reyes Noche Nov 6 '14 at 2:45
3
$\begingroup$

Proving Cauchy-Schwarz for a general inner product is easier than proving it for any particular inner product. For example, it is quite hard to prove for the dot product on $\mathbb{R}^n$.

The reason it is easier to prove it in general is that the definition of an inner product high light only the essential properties needed for the proof, so the "space" of possible proofs is constrained.

I think this is on of the general reasons why it is easier to prove something harder: there is a more limited number of possible approaches to the proof. What is harder is to discover a hard theorem.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.