Is it a fallacy?

A few days back I was just going through the posts by different enthusiasts and found the following alleged fallacy:

xN(thesetofnaturals)x2=x2x2=x+x+x+..(xtimes)2x=1+1+1+..(xtimes)(differentiatingbothsides)2x=x2=1x\in N(the\quad set\quad of\quad naturals)\\ { x }^{ 2 }={ x }^{ 2 }\\ \Longrightarrow { x }^{ 2 }=x+x+x+..(x\quad times)\\ \Longrightarrow 2x=1+1+1+..(x\quad times)\quad (differentiating\quad both\quad sides)\\ \Longrightarrow 2x=x\\ \Longrightarrow 2=1 Let me assure the reader that this is just a trivial fallacy. The fallacy can be solved by the following simple argument:

When one is defining f(x)=x^2=x+x+..+x(x times), one is tacitly defining the domain of f(x) to be N, the set of natural numbers. However, f(x) is not differentiable in the domain of N. This is because, if a function f defined from a domain D (a subset of R, the set of reals) to R (the set of reals) has to be differentiable at a real point c, then a necessary criterion is that c has to be a limit point of D and c has to be an element of D itself. In other words, c has to be a member of D such that every arbitrarily small neighbourhood of c has an element of D other than c. But no natural number is a cluster point (or limit point) of the set N, as the reader can very easily verify by taking any arbitrary natural number and choosing a neighbourhood of radius 1/2. Here lies the fallacy.

Note by Kuldeep Guha Mazumder
5 years, 12 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link]( link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}


Sort by:

Top Newest

I think it might be easier to just prove that f(x) is not continuous (as it is only defined for non-negative integers) and hence it is not differentiable at any point. To analytically show that f(x) is not continuous you need to show that  limx af(x)f(a)\ lim_{x \rightarrow\ a} f(x) \neq f(a) which is true as x is not defined  x(a1,a+1) , (i.e.a1<x<a+1) .......aZ\ \forall x \in (a-1,a+1) \ ,\ (i.e. a-1 < x < a+1) \ ....... \forall a \in Z

Curtis Clement - 5 years, 11 months ago

Log in to reply

Curtis , your attempt is worthy of appreciation but let me make a point here that the f(x) f(x) i have defined here is actually continuous throughout its domain(though it may seem weird since the commonplace notion of continuous functions makes the allusion of those functions which can be graphically presented "without lifting the pen from the paper", though this one is a series of dots on the graph plane).Let me state here the formal definition of a continuous function. Let ARA\subseteq R and f:ARf:A\rightarrow R and let cAc\in A. Then ff is said to be continuous at cc if given an ε>0\varepsilon >0 there exists a δ>0\delta >0 such that if xAx\in A and xc<δ\left| x-c \right| <\delta , then f(x)f(c)<ε\left| f(x)-f(c) \right| <\varepsilon . If ff is not continuous at cc, then it is said to be discontinuous at cc. Now note that the definition does not make any mention of whether cc is a limit point of AA or not (I hope you know what are limit points or cluster points, they are just points such that any arbitrarily small neighborhood of them contains infinitely many points in AA). If cc is so, then we have to check the three following conditions to testify the continuity of ff at cc:(i) ff must be defined at cc, so that f(c)f(c) is meaningful.(ii) The limit of ff at cc must exist in RR.(iii) The limit value must equal the functional value at cc . However, if cc is not a limit point of AA, we see, there exists a neighborhood Vδ(c){ V }_{ \delta }\left( c \right) , of cc, such that AVδ(c)={c}A\cap { V }_{ \delta }\left( c \right) =\left\{ c \right\} \quad . Thus we conclude that ff is by default continuous at those points in its domain AA, which are not limit points of AA, i.e., which are "isolated points" of AA. Note that the domain of the function defined in the above note is NN, the set of naturals and every point in NN (i.e., every natural number) is an isolated point in NN. So our function is in fact automatically continuous at every point of its domain. So from now onward, whenever you are to check the continuity of a function at a point in its domain, always study whether the point is a limit point or an isolated point of its domain. Use the notion of "drawing the curve without lifting the pen at that point", only after you find the point to be a limit point. If the point is not so, then declare the function to be continuous at that point peremptorily. I hope this note helps you..:-)

Kuldeep Guha Mazumder - 5 years, 11 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...