Why isn't $sum_{i=0}^{x-1} 2^{i} = 2^x-1$? [on hold]
$begingroup$
I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$
Edit: They are equal, thanks for the help
summation geometric-progressions
New contributor
$endgroup$
put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos
If this question can be reworded to fit the rules in the help center, please edit the question.
add a comment |
$begingroup$
I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$
Edit: They are equal, thanks for the help
summation geometric-progressions
New contributor
$endgroup$
put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos
If this question can be reworded to fit the rules in the help center, please edit the question.
3
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago
add a comment |
$begingroup$
I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$
Edit: They are equal, thanks for the help
summation geometric-progressions
New contributor
$endgroup$
I can't understand why these two formulas are not equal, I am certain they are but I cannot find a proof for my claim:
$$sum_{i=0}^{x-1} 2^{i} = 2^x-1$$
Edit: They are equal, thanks for the help
summation geometric-progressions
summation geometric-progressions
New contributor
New contributor
edited 13 hours ago
Xander Henderson
14.2k103554
14.2k103554
New contributor
asked 16 hours ago
Jack MöllerJack Möller
62
62
New contributor
New contributor
put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos
If this question can be reworded to fit the rules in the help center, please edit the question.
put on hold as off-topic by Arnaud D., RRL, Xander Henderson, José Carlos Santos, Did 12 hours ago
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Arnaud D., RRL, Xander Henderson, José Carlos Santos
If this question can be reworded to fit the rules in the help center, please edit the question.
3
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago
add a comment |
3
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago
3
3
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago
add a comment |
5 Answers
5
active
oldest
votes
$begingroup$
The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$
which is a telescoping series.
$endgroup$
add a comment |
$begingroup$
$$
S(x) = sum_{i=0}^{x-1} 2^{i} \
2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
$$
so this is your proof that indeed $ S(x) = 2^x - 1 $.
$endgroup$
add a comment |
$begingroup$
Use induction to prove it:
Show it is true for $x=1$
Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$
Then show that it is true for $n=k+1$ by using the above formula.
$endgroup$
add a comment |
$begingroup$
Applying the finite geometric series formula we obtain
begin{align*}
sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
end{align*}
$endgroup$
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
add a comment |
$begingroup$
You can prove this equality with the following method:
x belongs to N*
For x=1, 2^0 = 2^1 - 1 = 1
For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
.
.
.
Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),
Proof
Thus, the equality holds for all x in N*
New contributor
$endgroup$
add a comment |
5 Answers
5
active
oldest
votes
5 Answers
5
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$
which is a telescoping series.
$endgroup$
add a comment |
$begingroup$
The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$
which is a telescoping series.
$endgroup$
add a comment |
$begingroup$
The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$
which is a telescoping series.
$endgroup$
The easiest way is to notice that
$$
sum_{i=0}^{x-1}2^i=sum_{i=0}^{x-1}(2^{i+1}-2^{i})=({2^1}-2^0)+(2^2-2^1)+(2^3-2^2)+dotsb+(2^x-2^{x-1})
$$
which is a telescoping series.
answered 16 hours ago
Foobaz JohnFoobaz John
21.7k41352
21.7k41352
add a comment |
add a comment |
$begingroup$
$$
S(x) = sum_{i=0}^{x-1} 2^{i} \
2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
$$
so this is your proof that indeed $ S(x) = 2^x - 1 $.
$endgroup$
add a comment |
$begingroup$
$$
S(x) = sum_{i=0}^{x-1} 2^{i} \
2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
$$
so this is your proof that indeed $ S(x) = 2^x - 1 $.
$endgroup$
add a comment |
$begingroup$
$$
S(x) = sum_{i=0}^{x-1} 2^{i} \
2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
$$
so this is your proof that indeed $ S(x) = 2^x - 1 $.
$endgroup$
$$
S(x) = sum_{i=0}^{x-1} 2^{i} \
2 S(x) = 2 sum_{i=0}^{x-1} 2^{i} = sum_{i=0}^{x-1} 2^{i+1} = sum_{k=1}^{x} 2^{k} = S(x) + 2^x - 1
$$
so this is your proof that indeed $ S(x) = 2^x - 1 $.
edited 15 hours ago
answered 16 hours ago
AndreasAndreas
7,8561037
7,8561037
add a comment |
add a comment |
$begingroup$
Use induction to prove it:
Show it is true for $x=1$
Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$
Then show that it is true for $n=k+1$ by using the above formula.
$endgroup$
add a comment |
$begingroup$
Use induction to prove it:
Show it is true for $x=1$
Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$
Then show that it is true for $n=k+1$ by using the above formula.
$endgroup$
add a comment |
$begingroup$
Use induction to prove it:
Show it is true for $x=1$
Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$
Then show that it is true for $n=k+1$ by using the above formula.
$endgroup$
Use induction to prove it:
Show it is true for $x=1$
Assume it is true for $x=k$, this means that you are allowed to use $$sum_{i=0}^{k-1} 2^{i} = 2^k-1$$
Then show that it is true for $n=k+1$ by using the above formula.
answered 16 hours ago
Ben CrossleyBen Crossley
787318
787318
add a comment |
add a comment |
$begingroup$
Applying the finite geometric series formula we obtain
begin{align*}
sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
end{align*}
$endgroup$
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
add a comment |
$begingroup$
Applying the finite geometric series formula we obtain
begin{align*}
sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
end{align*}
$endgroup$
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
add a comment |
$begingroup$
Applying the finite geometric series formula we obtain
begin{align*}
sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
end{align*}
$endgroup$
Applying the finite geometric series formula we obtain
begin{align*}
sum_{i=0}^{x-1}2^i=frac{2^x-1}{2-1}=2^x-1
end{align*}
answered 14 hours ago
Markus ScheuerMarkus Scheuer
60.6k455145
60.6k455145
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
add a comment |
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
$begingroup$
Is there any reasoning for the downvotes?
$endgroup$
– Markus Scheuer
13 hours ago
add a comment |
$begingroup$
You can prove this equality with the following method:
x belongs to N*
For x=1, 2^0 = 2^1 - 1 = 1
For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
.
.
.
Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),
Proof
Thus, the equality holds for all x in N*
New contributor
$endgroup$
add a comment |
$begingroup$
You can prove this equality with the following method:
x belongs to N*
For x=1, 2^0 = 2^1 - 1 = 1
For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
.
.
.
Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),
Proof
Thus, the equality holds for all x in N*
New contributor
$endgroup$
add a comment |
$begingroup$
You can prove this equality with the following method:
x belongs to N*
For x=1, 2^0 = 2^1 - 1 = 1
For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
.
.
.
Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),
Proof
Thus, the equality holds for all x in N*
New contributor
$endgroup$
You can prove this equality with the following method:
x belongs to N*
For x=1, 2^0 = 2^1 - 1 = 1
For x=2, 2^0 + 2^1 = 2^2 - 1 = 3
.
.
.
Assume that the equality is correct up to (x-1) and demonstrate for the next order (see attached image),
Proof
Thus, the equality holds for all x in N*
New contributor
New contributor
answered 15 hours ago
Wane MamadouWane Mamadou
1
1
New contributor
New contributor
add a comment |
add a comment |
3
$begingroup$
Prove by induction on $xgeq 1$.
$endgroup$
– Wuestenfux
16 hours ago
$begingroup$
Did you really mean to say "(...) are not equal, I am certain they are"?
$endgroup$
– StackTD
16 hours ago
$begingroup$
Multiply the left hand side by $(2-1)$ using the distributive law, simplify.
$endgroup$
– Ned
16 hours ago
$begingroup$
If you are familiar with geometric progressions, you could also use $sum_limits{i = 0}^{x-1} u_1r^i = frac{u_1left(1-r^xright)}{1-r}$.
$endgroup$
– KM101
15 hours ago
$begingroup$
See math.stackexchange.com/questions/29023/value-of-sum-limits-n-xn
$endgroup$
– Arnaud D.
14 hours ago