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

Consider the following:

  • $1 = 1^2$
  • $2 + 2 = 2^2$
  • $3 + 3 + 3 = 3^2$

Therefore,

  • $\underbrace{x + x + x + \ldots + x}_{x \textrm{ times}}= x^2$

Take the derivative of lhs and rhs and we get:

  • $\underbrace{1 + 1 + 1 + \ldots + 1}_{x \textrm{ times}} = 2x$

Which simplifies to:

  • $x = 2x$

and hence

  • $1 = 2$.

Clearly something is wrong but I am unable pinpoint my mistake.

share|cite|improve this question
    
Please edit your title to make it more clear which fake proof you are asking about. – Larry Wang Jul 29 '10 at 2:47
4  
Right before taking the derivative, x was an integer, and what you did before that point only makes sense for x integer. Then you computed the derivative, and then that does not make sense. – Mariano Suárez-Alvarez Jul 29 '10 at 2:48
    
@Kaestur I am not sure what you want me to do. Is there a specific name for this fake proof? – user116 Jul 29 '10 at 2:51
    
@Srikant: To clarify, the reason I asked that is so that people about to ask a similar question in the future may see yours come up as a suggested duplicate. Something including "derivative of 1+...+1 (x times)" would be uniquely identifying, I think. If there is a canonical name for this one, chances are people about to ask it won't know it, but will recognize that line. – Larry Wang Jul 29 '10 at 3:04
    
@Kaestur I actually think retaining the title as it is written now is better as most people are more likely to write 'proof of 1 = 2' rather than some description of their proof in the title. – user116 Jul 29 '10 at 4:22
up vote 46 down vote accepted

You cannot take the derivative with respect to x of x + x + x + ... (repeated x times) one term at a time because the number of terms depends on x.

Even beyond that, if you can express x2 as x + x + x + ... (repeated x times), then x must be an integer and if the domain of the expression is the integers, (continuous) differentiation does not make sense and/or the derivatives do not exist.

(edit: I gave my first reason first because the second reason can be smoothed over by taking "repeated x times" to mean something like $\underset{\lfloor x\rfloor\mathrm{\ addends}}{\underbrace{x+x+\cdots+x}}+(x-\lfloor x\rfloor)\cdot x$.)

share|cite|improve this answer
16  
A simpler version: 1+1+...+1 repeated x times = x. Now you can see that the left hand side is obviously not constant with respect to x. – Jules Feb 22 '11 at 19:44

I think the discrete/continuous issue is sort of a red herring. To me, the problem is forgetting to use the chain rule!

To un-discretize, think of the function $F(u,v) = uv$, which we could think of as $u + \dots + u$, $v$ times. Then $x^2 = F(x,x)$. Differentiating both sides gives $2x = F_u(x,x) + F_v(x,x)$, which is perfectly true. In the fallacious example, the problem is essentially that the $F_v$ term has been omitted. In some sense, one has forgotten to differentiate the operation "$x$ times" with respect to $x$! Of course, the notation makes this easier to do.

share|cite|improve this answer
8  
This is a nice explanation. – Matt E Aug 11 '10 at 4:35
1  
I side with you on this one. I answered a similar thing here – Pedro Tamaroff Jul 27 '12 at 2:41

You cannot differentiate the LHS of your equation

x + x + x + ... (repeated x times) = x^2

This is because the LHS is not a continuous function; the number of terms depends on x so the LHS is not well defined when x is not an integer. We can only differentiate continuous functions, so this is not valid.

share|cite|improve this answer
8  
The problem is not so much that the LHS is not continuous: it is defined on a discrete set (so in particular it is continuous!). – Mariano Suárez-Alvarez Jul 29 '10 at 3:00

Here's my explanation from an old sci.math post:


Zachary Turner wrote on 26 Jul 2002:

Let D = d/dx = derivative wrt x. Then

D[x^2] = D[x  +   x  + ... +   x  (x times)]
       = D[x] + D[x] + ... + D[x] (x times)
       =   1  +   1  + ... +   1  (x times)
       =   x

An obvious analogous fallacious argument proves both

  • $ $ D[x f(x)] = Df(x) (x times) = x Df(x)

  • $ $ D[x f(x)] = Dx (f(x) times) = f(x), via Dx = 1

vs. the correct result: their sum $\rm\:f(x) + x\, Df(x)\:$ as given by the Leibniz product rule (= chain rule for times). The error arises from overlooking the dependence upon x in both arguments of the product $\rm\: x \ f(x)\:$ when applying the chain rule.

The source of the error becomes clearer if we consider a discrete analog. This will also eliminate any tangential concerns on the meaning of "(x times)" for non-integer x. Namely, we consider the shift operator $\rm\ S:\, n \to n+1\ $ on polynomials $\rm\:p(n)\:$ with integer coefficients, where $\rm\:S p(n) = p(n+1).\:$ Here is a similar fallacy

  S[n^2] =  S[n  +   n  + ... +   n  (n times)]
         =  S[n] + S[n] + ... + S[n] (n times)
         =  1+n  + 1+n  + ... + 1+n  (n times)
         = (1+n)n

But correct is $\rm\ S[n^2] = (n+1)^2.\:$ Here the "product rule" is $\rm\ S[fg] = S[f]\, S[g],\ $ not $\rm\: S[f] g\:$ as above.

The fallacy actually boils down to operator noncommutativity. On the space of functions $\rm\:f(x),\:$ consider "x" as the linear operator of multiplication by x, so $\rm\ x:\, f(x) \to x f(x).\:$ Then the linear operators $\rm\:D\:$ and $\rm\:x\:$ generate an operator algebra of polynomials $\rm\:p(x,D)\:$ in NON-commutative indeterminates $\rm\:x,D\:$ since we have

  (Dx)[f] = D[xf] = xD[f] + f = (xD+1)[f], so  Dx = xD + 1 ≠ xD

  (Sn)[f] = S[nf] = (n+1)S[f], so  Sn = (n+1)S ≠ nS

This view reveals the error as mistakenly assuming commutativity of the operators $\rm\:x,D\:$ or $\rm\:n,S.$

Perhaps something to ponder on boring commutes !

share|cite|improve this answer

Lets define what is x+x+x+... x times for x - real. Natural definition is x+x+x.. := x*x (note - just the same as Isaac has wrote in his edit).

Suppose we want left our initial definition as is. We don't know what is x+x+.. repeat x times for x - real (and note we don't have rule how to obtain derivative from such func). So lets use definition of derivative. f(x):=x+x+x.. repeat x times, Df(x)=(f(x+h)-f(x))/h, h->0. Df(x)=((x+h+x+h+x+h.. repeat x+h times) - (x+x+x.. repeat x times))/h, h->0. Suppose x+x+... repeat a+b times := (x+x+.. repeat a times) + (x+x+.. repeat b times) we have Df(x)=((x+h+x+h+x+h.. repeat x times) - (x+x+x.. repeat x times) + (x+h+x+h+x+h.. repeat h times))/h, h->0, Df(x)=((h+h+h.. repeat x times) + (x+h+x+h+x+h.. repeat h times))/h, h->0, or Df(x)=(1+1+1.. repeat x times) + (x+h+x+h+x+h.. repeat 1 times), h->0 and at last Df(x)=x + x+h, h->0 = 2x

share|cite|improve this answer

There is the sum rule in differentiation: $$(f_1(x)+f_2(x)+...+f_k(x))'=f_1'(x)+f_2'(x)+...+f_k'(x),$$ where $k$ is any positive integer number.
We can not use this rule to take the derivative of LHS, because $x$ in "$x$ times" is not a number, it is a variable, like in "function $f(x)$".

share|cite|improve this answer

We can create the same "paradox" with finite differences over integers.

Given $f: \mathbb Z \to \mathbb Z$ define $$ \Delta f (n)=f(n+1)-f(n) $$ we have the following obvious "theorems":

  • $\Delta(n)=n+1-n=1$
  • $\Delta(n^2)=(n+1)^2-n^2=2n+1$
  • $\Delta (f_1+\cdots +f_k)=\Delta f_1 + \cdots +\Delta f_k$
  • $f(n)=g(n) \; \forall n \quad \implies \quad \Delta f(n)=\Delta g(n) \; \forall n$

So we can start with the correct equality:

$$ \underbrace{n + n + n + \ldots + n}_{n \textrm{ times}}= n^2 $$

and we apply $\Delta$ on both sides taking advantage from the "theorems" above: we get $$ \underbrace{1 + 1 + 1 + \ldots + 1}_{n \textrm{ times}} = 2n+1 $$ so we conclude $n=2n+1$ and we have the paradox.

Here maybe the mistake is more clear: the rule $\Delta (f_1+\cdots +f_k)=\Delta f_1 + \cdots +\Delta f_k$ doesn't work when $k$ is a function (of the same variable of the $f_i$), in fact it amounts to do a computation like this: $$ \Delta(\underbrace{n + \ldots + n}_{n \textrm{ times}})= \underbrace{(n+1) + \ldots + (n+1)}_{\color{Red}{n \textrm{ times}}}-(\underbrace{n + \ldots + n}_{n \textrm{ times}})=n $$ that is wrong, the right way being this: $$ \Delta(\underbrace{n + \ldots + n}_{n \textrm{ times}})= \underbrace{(n+1) + \ldots + (n+1)}_{\color{Green}{(n+1) \textrm{ times}}}-(\underbrace{n + \ldots + n}_{n \textrm{ times}})=n+(n+1). $$

share|cite|improve this answer

Even if x were to be an integer, once you have x=2x, a possible value for is 0 which would make that equation true. Thus if x can be zero, then you are simply dividing by a variable that equals 0. And you cannot divide by zero!!!!

share|cite|improve this answer
    
The derivative of $f(x) = x^2$ at $x = 0$ is $0$. No division by zero necessary. -1 – Thomas Mar 3 '14 at 4:40

The problem is that the equation $x + \cdots + x = x^2$ only holds for two values of $x$, namely if you added $x$ with itself $n$ times, it holds at $x=0$ and $x=n$. Therefore your equation becomes $nx = x^2$, the differential is $n = 2x$ (the number of terms in the LHS of the equation should not depend on the real/complex parameter $x$) and the only thing you can deduce from this is that the first equation is equivalent to $x^2 - nx = x(x-n) = 0$ and the second equation is $x=n/2$, so when $x=0$ or $x=n$ then the sum of the $x$'s and $x^2$ are equal, and when $x=n/2$ the derivative of the sum and $x^2$ are equal. The deduction that $1=2$ is simply not true. The equality $nx = x^2$ is not comparable to an equality like $\sin x^2 = 1 - \cos x^2$ : the equation $nx = x^2$ holds for only two values of $x$, where as the trigonometric equation holds for any real/complex value of $x$.

Hope that helps,

share|cite|improve this answer

protected by Daniel Fischer Sep 12 '15 at 18:40

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?