Igma notation 2i-1 = 2n, for all n is an element of N

  • Thread starter Thread starter mbcsantin
  • Start date Start date
  • Tags Tags
    Element Notation
AI Thread Summary
The discussion centers on proving or disproving the equation \(\sum_{i=1}^{n} 2^{i - 1} = 2^n\) for all natural numbers \(n\). A participant tested the equation with \(n=1\) and found that the left side equals 1 while the right side equals 2, thus providing a counterexample that disproves the statement. The conclusion drawn is that the original equation does not hold for all natural numbers. The correct formula for the sum is suggested to be \(\sum_{i=1}^{n} 2^{i-1} = 2^n - 1\). The discussion emphasizes the importance of testing small values to validate mathematical statements.
mbcsantin
Messages
16
Reaction score
0
prove or disprove

n
sigma notation 2i-1 = 2n, for all n is an element of N.
i=1

N = natural numbers
 
Physics news on Phys.org


Rewritten using LaTeX,
\sum_{i=1}^{n} 2^{i - 1} = 2^n.

Have you made any real attempt at this problem? Do you have a guess as to whether it's true or false? What I like to do on these types of "prove or disprove" questions is just plug in certain (small) values of n, and see if it works. If they all work, perhaps it really is true, and you should try to prove it; otherwise, it's false as you found a counterexample.

And once you find that it's false, can you guess a correct formula for the sum and prove that?
 


adriank said:
Rewritten using LaTeX,
\sum_{i=1}^{n} 2^{i - 1} = 2^n.

Have you made any real attempt at this problem? Do you have a guess as to whether it's true or false? What I like to do on these types of "prove or disprove" questions is just plug in certain (small) values of n, and see if it works. If they all work, perhaps it really is true, and you should try to prove it; otherwise, it's false as you found a counterexample.

And once you find that it's false, can you guess a correct formula for the sum and prove that?

Here is my attempt at this problem:

n
sigma notation 2i-1= 2n, for all n is an element of N
i=1

n=1

1
sigma notation 21-1= 20 = 1 not equal to 21
i=1

n=1 is an element of N

Hence,
n
sigma notation 2i-1=2n doesn't hold for all n is an element of N
i=1

did i do this right?
 


Your solution is correct, although it's slightly unclear, and you should use more words to describe what you're doing.

You were trying to disprove
\sum_{i=1}^{n} 2^{i - 1} = 2^n \text{ for all } n \in \mathbb{N}.
(It's much prettier in LaTeX; you should learn (at least by example) how to use it. n \in \mathbb{N} is read "n in N" or even "natural numbers n" in this case. Click the images to see the code used to make them.) You put in n = 1 and showed that the two sides aren't equal; that is a counterexample, so your disproof is correct.
 


mbcsantin said:
prove or disprove

n
sigma notation 2i-1 = 2n, for all n is an element of N.
i=1

N = natural numbers

mbcsantin said:
Here is my attempt at this problem:

n
sigma notation 2i-1= 2n, for all n is an element of N
i=1

n=1

1
sigma notation 21-1= 20 = 1 not equal to 21
i=1

n=1 is an element of N

Hence,
n
sigma notation 2i-1=2n doesn't hold for all n is an element of N
i=1

did i do this right?
Yes, you did! Now what is your answer to the question?

And you might like to look at
\sum_{i= 1}^n 2^{i-1}= 2^n- 1[/itex]
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top