Question: Can the Decreasing Sequence be Proven Using Different Methods?

Click For Summary

Discussion Overview

The discussion revolves around proving that the sequence \(\{a_k\} = \left(1 + \frac{1}{k}\right)^{-k}\) is decreasing. Participants explore various methods of proof, including differences between terms, ratios, and derivatives, while addressing potential errors in reasoning.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant proposes that the sequence is decreasing by showing \(a_{k+1} - a_k < 0\) using the expression \(\left(\frac{k}{k+1}\right)^k\).
  • Another participant argues that the ratio of terms should be considered instead of the difference, stating that the ratio must be less than 1 for the sequence to be decreasing.
  • A different perspective is introduced with an example sequence \(1/2, 1/2, 1/2\) to illustrate a misunderstanding of the definition of a decreasing sequence.
  • One participant suggests using the derivative of a transformed expression \(e^{f(k)}\) to analyze the behavior of the sequence, indicating that if \(f'(k) < 0\), then the sequence is decreasing.
  • Another participant discusses the application of the binomial theorem to show that \((1 + \frac{1}{k})^k\) is increasing, leading to the conclusion that \((1 + \frac{1}{k})^{-k}\) is decreasing.
  • Several participants engage in correcting each other's calculations regarding derivatives and inequalities, indicating a collaborative effort to refine their proofs.
  • There are inquiries about whether the original proof method can still be valid, suggesting a desire to explore multiple avenues for establishing the sequence's behavior.

Areas of Agreement / Disagreement

Participants express differing views on the appropriate methods for proving that the sequence is decreasing. There is no consensus on a single method, and multiple competing approaches are presented.

Contextual Notes

Some participants acknowledge errors in their reasoning or calculations, leading to further refinement of their arguments. The discussion reveals a complexity in establishing the behavior of the sequence, with various assumptions and conditions not fully resolved.

Who May Find This Useful

Readers interested in mathematical proofs, particularly in the context of sequences and series, may find the exploration of different proof techniques and the discussion of errors insightful.

murshid_islam
Messages
468
Reaction score
21
i have to prove that the sequence {ak} is decreasing, where
[tex]\{a_k\} = \{\left({1+\frac{1}{k}}\right)^{-k}\}[/tex]

this is what i did:

[tex]a_k = {\left(\frac{k}{k+1}}\right)^k[/tex]

[tex]a_{k+1}-a_{k}[/tex]

[tex]= {\left(\frac{k+1}{k+2}}\right)^{k+1}-{\left(\frac{k}{k+1}}\right)}^{k}[/tex]

[tex]= {\left(\frac{1+\frac{1}{k}}{1+\frac{2}{k}}}\right)^{k+1}-{\left(\frac{k}{k+1}}\right)^{k}[/tex]

[tex]< {\left(\frac{1+\frac{1}{k}}{1+\frac{1}{k}}}\right)^{k+1}-{\left(\frac{k}{k+1}}\right)^{k}[/tex]

[tex]= 1 - \left({\frac{k}{k+1}}\right)^{k}[/tex]

[tex]< 1-1[/tex] since [tex]\left({\frac{k}{k+1}}\right)^{k} < 1[/tex]

therefore, [tex]a_{k+1}-a_{k} < 0[/tex]

therefore, the sequence is decreasing.

am i right?
 
Last edited:
Physics news on Phys.org
Hmm..no
The RATIO between the terms should be less than 1, not the DIFFERENCE!
The difference should be less than 0
 
Suppose we take the sequence 1/2, 1/2, 1/2.

ak+1 - ak = 0 < 1.

Therefore, the sequence is decreasing :P
 
arildno said:
Hmm..no
The RATIO between the terms should be less than 1, not the DIFFERENCE!
The difference should be less than 0
ok, i made a stupid mistake. i have edited my proof. is it correct now?
 
Last edited:
No, it is not.
The reason is that since the last fraction is LESS than 1, the DIFFERENCE between 1 and the fraction is GREATER than the difference between 1 and 1.
Your first bound is too crude to derive the result.
 
Last edited:
I suggest the following:

Put the expression under the form of e^f(k). The derivative of that expression would be e^f(k) * f'(k). Knowing that e^f(k) is positive for k sufficiently large, find the sign that f'(k) assumes for an also sufficiently k. If the sign is negative, the expression e^f(k) * f'(k) is negative for this value of k and beyond, and you have proven that e^f(k) is decreasing.

Edit: you will find f(k) = ln (1 + 1/k) * - k. If y = ln (1 + 1/k), y' = -1/k(k+1) and f'(k) = -ky' - y = 1/(k+1) - ln (1 + 1/k).

Now (unfortunately), this is not relevant. We are confronted to another inequality, ln (1 + 1/k) > 1/(k+1).

Sorry that I've wasted so much time... maybe the second inequality would help, but I doubt it. To compensate I'll give you another proof , we have:

(1+1/k)^k is increasing, for

[tex](1+1/n)^{n} = 1 + n\frac{1}{n} + \frac{1}{2!}(1-\frac{1}{n})+ ... + \frac{1}{n!}(1 - \frac{1}{n})(1 - \frac{2}{n})...(1 - \frac{n-1}{n})[/tex].

This is simply by using the binominial theorem. Now if,

[tex]S_n = 1 + n\frac{1}{n} + \frac{1}{2!}(1-\frac{1}{n})+ ... + \frac{1}{n!}(1 - \frac{1}{n})(1 - \frac{2}{n})...(1 - \frac{n-1}{n})[/tex],

then S_m > S_n. Since (1+1/m)^m = S_m + ..., then (1+1/m)^m > (1+1/n)^n

and

(1+1/m)^-m < (1+1/n)^-n

Thus the expression is decreasing. It should be noted that this is only a proof for integrer values of n.
 
Last edited:
Werg22 said:
you will find f(k) = - ln (1 + 1/k) * k. You have y = ln (1 + 1/k), y' = ln k/(1 + 1/k)
is it correct?
if [tex]y = \ln\left(1+\frac{1}{x}\right)[/tex] then i get [tex]y' = \frac{-1}{x(x+1)}[/tex]
 
Last edited:
is there any way to prove that the sequence is decreasing the way i started?
 
Last edited:
murshid_islam said:
is it correct?
if [tex]y = \ln\left(1+\frac{1}{x}\right)[/tex] then i get [tex]y' = \frac{-1}{x(x+1)}[/tex]

Wait, wait, wait, my proof is erroneous. [tex]y = \ln\left(1+\frac{1}{x}\right)[/tex] then [tex]y' = \frac{-1}{x(x+1)}[/tex]

You are correct. I'll edit my proof right now.
 
Last edited:
  • #10
is there any way to prove the sequesnce is decreasing by one of the following:
[tex]a_{k+1}-a_k < 0[/tex]

[tex]\frac{a_{k+1}}{a_k} < 1[/tex]

[tex]f'(k) < 0[/tex]
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K