Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I am asked to prove (that is exactly the phrasing, not 'establish') a reduction formula, e.g. for $$I_n=\int_0^1 x^n \cosh x~ \mathrm{d} x $$ that $$I_n=\sinh 1 - n\cosh 1 + n(n-1)I_{n-2}$$ where $n\geqslant0$, is it sufficient to just integrate by parts so that \begin{align*} I_n&=x^n \sinh x \bigg|_0^1 - n\int_0^1 x^{n-1}\sinh x~\mathrm{d}x\\&=\sinh1 - n\left[x^{n-1}\cosh x\bigg |_0^1 -(n-1)\int_0^1x^{n-2}\cosh x ~\mathrm{d}x \right]\\&=\sinh 1 -n\cosh1-n(n-1)I_{n-2}\end{align*} or do I have to prove it otherwise by induction?

Thank you.

share|cite|improve this question
That's fine. I think you have to check $n=0,1$ technically. – anon Dec 13 '12 at 2:23
All done. Nothing to do. No induction needed or relevant. Proof complete for $n\ge 2$. – André Nicolas Dec 13 '12 at 2:23
Integrating by parts is enough, since you found the relation analytically. Induction should be used when you don't know or it's not possible to find exact analytical form but you have some hypothesis that you want to check. – Kaster Dec 13 '12 at 2:25
up vote 1 down vote accepted

I would ask your instructor, but I would be content with just using IBP, thus not needing induction. Another thing - if it said to "verify", you could simply take the derivative of the expression they give for the reduction formula and you should get the original back since a function and its primitive are equal, up to a constant.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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