260
$\begingroup$

I'm looking for cases of invalid math operations producing (in spite of it all) correct results (aka "every math teacher's nightmare").

One example would be "cancelling" the 6's in

$\frac{64}{16}.$

Another one would be something like

$\frac{9}{2} - \frac{25}{10} = \frac{9 - 25}{2 - 10} = \frac{-16}{-8} = 2 \;\;.$

Yet another one would be

$x^1 - 1^0 = (x - 1)^{(1 - 0)} = x - 1\;\;.$

Note that I am specifically not interested in mathematical fallacies (aka spurious proofs). Such fallacies produce shockingly wrong ends by (seemingly) valid means, whereas what I am looking for all cases where one arrives at valid ends by (shockingly) wrong means.

Edit: fixed typo in last example.

  • 0
    He means when young studens who don't get at all the basic operations have mistakes and do something wrong but the answer is right, I saw this all the time.2015-05-10

37 Answers 37

396

I was quite amused when a student produced the following when cancelling a fraction:

$\frac{x^2-y^2}{x-y}$

He began by "cancelling" the $x$ and the $y$ on top and bottom, to get:

$\frac{x-y}{-}$

and then concluded that "two negatives make a positive", so the final answer has to be $x+y$.

  • 1
    on internet i saw this: $\dfrac{\sqrt{\not{x}}}{{\not{x}}}=\dfrac{\sqrt{\;}}{}$2015-05-10
148

enter image description here

Here's a pretty funny one from xkcd.

  • 15
    Algebraically, $x \cdot x^2 = x^4/x$.2014-02-27
128

A student in a test was asked to give an example of two irrational numbers whose sum is irrational.

He chose $x = \sqrt{2}$, and $y=\sqrt{3}$, and computed the sum $x+y$ using a calculator. Unfortunately, he only took two digits, which led to the following:

$x = 1.41$, and $y = 1.73$, which implies that $x+y = 3.14$.

The student concluded that $\sqrt{2}+\sqrt{3}=\pi$.

  • 0
    http://math.stackexchange.com/questions/701822/geometric-explanation-of-sqrt-2-sqrt-3-approx-pi2014-09-18
99

Here's another classical freshman calculus example:

Find $\frac{d}{dx}x^x$.

Alice says "this is like $\frac{d}{dx}x^n = nx^{n-1}$, so the answer is $x x^{x-1} = x^x$." Bob says "no, this is like $\frac{d}{dx}a^x = \log a \cdot a^x$, so the answer is $\log x \cdot x^x$." Charlie says "if you're not sure, just add the two terms, so you'll get partial credit".

The answer $\frac{d}{dx}x^x = (1 + \log x)x^x $ turns out to be correct.

  • 0
    @Ovi: If you like, this is an instance of the "multivariable chain rule", or thinking about the "total derivative".2017-11-06
79

From MathWorld / Printer's Errors:

Typesetting "errors" in which exponents or multiplication signs are omitted but the resulting expression is equivalent to the original one. Examples include $\begin{align} 2^5 9^2 &= 2592, \\ 3^4 425 &= 34425, \\ 31^2 325 &= 312325,\end{align}$ and $2^5 \cdot \frac{25}{31} = 25 \ \frac{25}{31},$ where a whole number followed by a fraction is interpreted as a mixed fraction (e.g., $1 \frac{1}{2} = 1 + \frac{1}{2} = \frac{3}{2}$).

That page also contains a link to your first example of "cancelling" 6s, denoted "Anomalous Cancellation", and containing three other examples with both numerator and denominator less than $100$: $\frac{98}{49} = \frac{8}{4} = 2, \qquad \qquad \frac{95}{19} = \frac{5}{1} = 5, \qquad \qquad \frac{65}{26} = \frac{5}{2}.$

  • 2
    Thanks for the pointer. That page also lists all the "all proper solutions up to 3-digit denominators" (where "solutions" are fractions amenable to "anomalous cancellation"), but for some reason it does not include fractions like 101/202. It also does not mention that the four examples with 2-digit denominators are particularly productive: 2666666/6666665 = 2/5, 499999/999998 = 1/2, etc.2012-12-17
69

This one is from Mathematical Fallacies, Flaws, and Flimflam - Edward J. Barbeau.

A student on a quiz was asked to integrate $\displaystyle \int \frac{1}{1+x}\;{dx}$. His/her answer was as follows:

$ \displaystyle \begin{aligned} \int \frac{1}{1+x}\;{dx} &= \int \bigg(\frac{1}{x}+\frac{1}{1}\bigg)\;{dx} \\& = \int \frac{1}{x}\;{dx}+\int\frac{1}{1}\;{dx} \\&= \log(x)+\log(1) \\&= \log(x+1)+C. \end{aligned}$

37

I dont't know if this counts. But I really like it. Let $A$ be a square matrix over a field $K$ and $ \chi = \det(X \cdot \operatorname{Id} - A) \in K[X] $ the characteristic polynomial of $A$. Then $\chi(A) = 0$, because "it's just plugging in".

  • 6
    @Marc: You can define the determinant for matrices over any commutative ring. The ring $K[A]$ is commutative, and so matrices over $K[A]$ have determinants in $K[A]$.2012-12-18
34

I was once writing something where for stylistic reasons it made sense to change the way I wrote a vector of non-negative integers by writing $(a_1,\dotsc,a_n)$ as $1^{a_1}\dotsm n^{a_n}$, like a product, and omitting $i$ from the string if $a_i=0$, so for example $(1,0,0,3,0,0,0,1)$ would be $14^38$ (all the vectors in the actual problem had a large number of zeros, one of the reasons to change to this more concise notation). Most of the time all of the non-zero numbers were $1$s, so they all ended up looking like integers.

Naturally the first time I actually did a calculation in this notation, I wanted to remind anybody reading that the numbers had to be read back as these vectors, not as integers. Unfortunately, the first line was:

$(0,0,0,1,1,1,0,0,0)+(1,0,0,0,1,0,0,0,1)-(1,0,0,0,1,1,0,0,0)=(0,0,0,1,1,0,0,0,1)$

or in my notation:

$456+159-156=459$

Amusing, but fairly unhelpful!

  • 6
    Maybe you accidentally wrote one of the sixes or nines upside-down?2019-03-04
34

$\sin(x) = 0$

Thus we have either $x = 0$ or $\sin = 0$. A function cannot be equal to a number, therefore we must have x = 0.

I knew someone who once got as far as the first step, although in their defense I think it was just a temporary brain fart. The conclusion is correct if you're working with a restriction of the sine function to, say, $(-\pi, \pi)$.

33

Here is my example: $ \lim_{n\to\infty}\frac{1+2^2+3^3+\ldots+n^n}{n^n}=\lim_{n\to\infty}\left(\frac{1}{n^n}+\frac{2^2}{n^n}+\ldots+\frac{n^{n}}{n^n}\right)=0+0+\ldots+ 1=1. $

  • 0
    Alternatively, I believe you can L'Hopital and prove by induction?2015-10-20
30

Kepler's second law famously states that the radius vector from the sun to a planet will sweep out equal areas under equal times. His proof of this law included the following errors:

(1) He assumed that the velocity of the planet, as the planet traversed its orbit, was inversely proportional to the distance from the sun.

(2) Let $P_1P_2\dots P_{n+1}$ be points on an arc of the orbit of the planet, and such that the distances $|P_{i+1}-P_i|$ for $i=1,\dots,n$ are all equal to some small $\Delta s$. Let $S$ be the position of the sun, and let $r_i = |P_i -S|$ be the radial distance between the sun and the planet's position at $P_i$. Kepler then assumed that the area swept out by the radius vector from $S$, as the planet moved from $P_1$ to $P_n$, was proportional to the sum $(r_1+r_2\dots+r_n)\Delta s$.

Both these assumptions are wrong, but fortunately the effects of these errors cancel each other, and so Kepler was able to state his correct second law of planetary motion.

  • 3
    @DanielMcLaury, I think it's more accurate to say that Kepler observed the result, rather than deriving it, as I commented to kjo a minute ago (http://math.stackexchange.com/questions/260656/cant-argue-with-success-looking-for-bad-math-that-gets-away-with-it#comment3068816_298012).2015-10-31
26

Old John's example is gorgeous, but consider famous freshman's dream $ (a+b)^p = a^p + b^p \pmod p . $

Various things which are true because of complex numbers, could be derived incorrect way in reals, e.g. using symbols like $\sqrt{-2}$, etc.

In probability theory there are lot of issues with dependent random variables, which can still yield correct results.

Also, check out this: \begin{align} S(a,b) &= \sum_{k=a}^{b} 2^k\\ T(a) &= \sum_{k=a}^{\infty} 2^k = 2^a + 2\sum_{k={a+1}}^{\infty} 2^{k-1} = 2^a + 2T(a)\\ T(a) &= \frac{2^a}{1-2} = -2^a \quad(\text{sum of positive elements is negative!})\\ S(a,b) &= T(a) - T(b+1) = -2^a - (-2^{b+1}) = 2^{b+1}-2^a \end{align} and this:

\begin{align} \sum_{k=0}^{n} 2^k &= \frac{2^{n+1}-1}{1-2} \\ \frac{d}{d2}\sum_{k=0}^{n} 2^k &= \frac{d}{d2}\frac{2^{n+1}-1}{1-2}\quad(\text{differentiate over two!})\\ \sum_{k=0}^{n} k2^{k-1} &= \frac{1-(n+1)2^n+n2^{n+1}}{(1-2)^2} \end{align}

Cheers!

  • 0
    It should also be pointed out the Freshman's dream example could be false if $n$ is not prime. For example, $(1 + 3)^4 = 256 \equiv 0 \pmod{4}$ but $1^4 + 3^4 = 82 \equiv 2 \pmod{4}.$ The freshman's dream (including the url to which you linked) deals only with the case of prime characteristic.2013-02-07
25

If $G$ is a group and $K,N$ are normal in $G$ with $K \subseteq N$ then $G/N \cong (G/K)\large/\normalsize(N/K)$ which is obviously true by just cancelling the terms on the rhs.

  • 2
    @YoTengoUnLCD It's the 3rd isomorphism theorem. There are lots of proofs around.2015-11-02
23

Earlier, I asked my friend to simplify $\dfrac{\cos^2 (73) + \cos^2(17)}{\cos^2(63) + \cos^2(27)}$. Here is his work:

$\frac{\cos^2(73) + \cos^2(17)}{\cos^2(63) + \cos^2(27)} = \frac{\cos^2(73 + 17)}{\cos^2(63 + 27)} = \frac{\cos^2{(90)}}{\cos^2(90)} = \frac{\cos^2}{\cos^2} = 1$

20

A classical example due to Euler, I believe:

Notice that the roots of $\sin(x)$ are precisely the numbers $k \pi$ where $k$ is any integer. But the same is true of the product

$x \left(1 - \frac{x^2}{\pi^2 1^2}\right) \left(1 - \frac{x^2}{\pi^2 2^2}\right)\ldots$

so the two must be equal. The coefficient of $x^3$ in the product is $-\frac{1}{\pi^2} \sum_{n=1}^\infty \frac{1}{n^2}$, and the coefficient of $x^3$ in the Taylor series of $\sin(x)$ is simply $-\frac{1}{6}$. Therefore,

$\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$

If part of your brain is tempting you to think that this argument might be right after all, note that if you apply exactly the same reasoning to the function $\sin(\pi x)$ then you get the value $\frac{\pi^3}{6}$. Nevertheless, this is so eerie that I can't help but wonder if there's something to it...

  • 1
    I know I've seen this in Conway's *Functions of one complex variable* if you happen to have that handy. Here's something just found by Googling: http://www.ams.org/bookstore/pspdf/gsm-97-prev.pdf2012-12-28
19

My "favorite" error with complex numbers is $ \frac{i}{i}=\frac{\sqrt[2\,\,]{-1}}{\sqrt[2]{-1}}=\sqrt[2\,\,]{\frac{-1}{-1}}=\sqrt[2\,\,]{1}=1. $

  • 0
    @Jonas Meyer, thanks. I didn't realize the power laws were constrained like that, to me they were just identities. Doesn't that then undermine the proof for Euler's Formula, where $e^{-ix}$ is divided by $e^{-ix}$ (once the derivative is proved to be constant), yielding the desired identity?2012-12-20
17

Slightly contrived:

Given $n = \frac{2}{15}$ and $x=\arccos(\frac{3}{5})$, find $\frac{\sin(x)}{n}$.

$ \frac{\sin(x)}{n} = \mathrm{si}(x) = \mathrm{si}x = \boxed{6} $

12

One example from me:

$ \sqrt{5 \frac{5}{24}} = 5 \sqrt{\frac{5}{24}} $ $ \sqrt{12 \frac{12}{143}} = 12 \sqrt{\frac{12}{143}} $

  • 4
    probably... that would make it ambigous.. that's why you *never* use it to denote addition. No operator means multiplication.2012-12-19
11

When I asked my student to get rid of irrationality in the denominator of fraction $ \frac{1}{\sqrt[3]{3}+\sqrt[3]{5}} $ He gave an immediate solution $ \frac{1}{3^{1/3}+5^{1/3}} $ What can I say, no roots no irrationalities :-)

I must confess, this example doesn't fit in the original citeria.

  • 1
    I'm not sure this really qualifies for this question. The question is about bad mathematical steps that lead to the correct answer.2015-05-10
7

You all probably, no doubt, have seen the proof to the question: Is Hell Endo or Exothermic.

This one always makes me laugh...


Dr. Schambaugh, of the University of Oklahoma School of Chemical Engineering, Final Exam question for May of 1997. Dr. Schambaugh is known for asking questions such as, "why do airplanes fly?" on his final exams. His one and only final exam question in May 1997 for his Momentum, Heat and Mass Transfer II class was: "Is hell exothermic or endothermic? Support your answer with proof."

Most of the students wrote proofs of their beliefs using Boyle's Law or some variant. One student, however, wrote the following:

"First, We postulate that if souls exist, then they must have some mass. If they do, then a mole of souls can also have a mass. So, at what rate are souls moving into hell and at what rate are souls leaving? I think we can safely assume that once a soul gets to hell, it will not leave.

Therefore, no souls are leaving. As for souls entering hell, let's look at the different religions that exist in the world today. Some of these religions state that if you are not a member of their religion, then you will go to hell. Since there are more than one of these religions and people do not belong to more than one religion, we can project that all people and souls go to hell. With birth and death rates as they are, we can expect the number of souls in hell to increase exponentially.

Now, we look at the rate of change in volume in hell. Boyle's Law states that in order for the temperature and pressure in hell to stay the same, the ratio of the mass of souls and volume needs to stay constant. Two options exist:

If hell is expanding at a slower rate than the rate at which souls enter hell, then the temperature and pressure in hell will increase until all hell breaks loose. If hell is expanding at a rate faster than the increase of souls in hell, then the temperature and pressure will drop until hell freezes over. So which is it? If we accept the quote given to me by Theresa Manyan during Freshman year, "that it will be a cold night in hell before I sleep with you" and take into account the fact that I still have NOT succeeded in having sexual relations with her, then Option 2 cannot be true...Thus, hell is exothermic."

The student, Tim Graham, got the only A.

  • 13
    And this whole thread is off topic from this entire site. A whole thread of incorrect proofs, please...2012-12-19
6

A very common mistake in analysis.

Exercise: Let's $K\subset\mathbb{R}^{n}$compact and a function $f:K\to \mathbb{R}$ locally Lipschitz, i.e. for all $x$ in the compact $K$ there is an open set $V_x$ containing $x$ and a constant $L_x$ such that $ \left|\,f(u)-f(v)\,\right| Proof that $f$ is too Lipschitz in all $K$.

"Proof:" Let $\{V_x\}_{x\in K}$ the open cover of $K$ where each $V_x$ is as in the hipotesis of exercise. As $K$ is compact there is a finite pen cover $\left\{V_{x_{_1}},\dots, V_{x_{_N}}\right\}$. Then for all $u,v\in K$ we have $ \left| f(u)-f(v) \right|<\max\left\{L_{x_{_1}},\dots,L_{x_{_N}}\right\}\cdot \|u-v\|, \quad \forall u,v\in K. $

So just $L=\max\left\{L_{x_{_1}},\dots,L_{x_{_N}}\right\}$ to a constant that is valid for all $K$. Then $f$ is too Lipschitz in all $K$.

  • 0
    @RagibZaman "connect up the$u$and$v$via a path through the Vx balls" What if$K$is not convex?2013-10-18
6

A classical example.

Cayley Hamilton Theorem states that for any matrix $A \in Mat(\mathbb R)_{n \times n}$, $A$ is a root of its characteristic polynomial $P_A(t)=det(A-tI)$.

Proof:

$P_A(A)=det(A-AI)=det(A-A)=det(0)=0$

5

There is a lot of treatment with little rigor around the first infinitesimal calculations. For example consider a circle of radius $r$, we can approximate it's area by filling it with equal triangles.

infinitesimal to circle area

The area of ​​each triangle is given(approximately) by $lr/2$, where $l$ is the base of the triangle. If we have $n$ triangles, the sum of their areas is given by $nlr/2$. By increasing the number of triangles to infinity, the sum of the bases of the triangles approximates the length of the circumference, i.e, if $n\rightarrow\infty$ then $nl\rightarrow2\pi r$. Thus, the sum of the areas of the triangles tends to $2\pi r^2/2 = \pi r^2$, which is the area of the circle.

The result is correct but we calculates $\infty\cdot 0$ with almost no rigor at all.

  • 5
    @JisangYoo There _is_ something fundamentally different between lengths and areas. If shape A contains shape B, we know that area(A)>area(B), but we do not always have that perimeter(A)>perimeter(B). I think that's the basic idea behind why nonrigorous arguments about area, like the OP's, work, while the same sort of reasoning, like the one you mentioned, doesn't.2015-04-19
4

This happened to me last week with a quiz I gave to my Algebra 2 class doing radical equations.

Solve $\sqrt{-5x+35}+7=x$

WRONG $\sqrt{-5x+35}=x-7$ $-5x+35=x^2-49$ $0=x^2+5x-84=0$ $0=(x+12)(x-7)$ Thus $x=-12, 7$. Checking for extraneous solutions yields the only solution as $x=7$

RIGHT $\sqrt{-5x+35}=x-7$ $-5x+35=x^2-14x+49$ $0=x^2-9x+14$ $0=(x-2)(x-7)$ Thus $x=2,7$. Checking for extraneous solutions yields the only solution as $x=7$

I assumed most of them were cheating.... I was wrong!

  • 3
    A couple of early quizzes I graded had the first two lines, or variations of them, but didn't finish the step by step method and just circled $x=7$ as the answer. It is a basic Algebra 2 class, so I definitely have students who do this often. But after a while, I noticed that most students made that error above. The students I asked afterward all said the same thing; I thought when you squared (x-7) you got $x^2-49$.2014-02-19
3

Another one I came across was a function composition problem.

Let $g(x)=x^2.$ Find $(g\circ g)(x)$.

Well it should be $(g\circ g)(x)=g(g(x))=g(x^2)=(x^2)^2=x^{2\cdot{2}}=x^4$ But of course I should have caught that my students would do the "natural thing" and say $(g\circ g)(x)=g(x)\cdot g(x)=x^2\cdot x^2=x^{2+2}=x^4$

I blame myself for not catching this one, but.....

3

$\newcommand{\+}{^{\dagger}} \newcommand{\angles}[1]{\left\langle\, #1 \,\right\rangle} \newcommand{\braces}[1]{\left\lbrace\, #1 \,\right\rbrace} \newcommand{\bracks}[1]{\left\lbrack\, #1 \,\right\rbrack} \newcommand{\ceil}[1]{\,\left\lceil\, #1 \,\right\rceil\,} \newcommand{\dd}{{\rm d}} \newcommand{\down}{\downarrow} \newcommand{\ds}[1]{\displaystyle{#1}} \newcommand{\expo}[1]{\,{\rm e}^{#1}\,} \newcommand{\fermi}{\,{\rm f}} \newcommand{\floor}[1]{\,\left\lfloor #1 \right\rfloor\,} \newcommand{\half}{{1 \over 2}} \newcommand{\ic}{{\rm i}} \newcommand{\iff}{\Longleftrightarrow} \newcommand{\imp}{\Longrightarrow} \newcommand{\isdiv}{\,\left.\right\vert\,} \newcommand{\ket}[1]{\left\vert #1\right\rangle} \newcommand{\ol}[1]{\overline{#1}} \newcommand{\pars}[1]{\left(\, #1 \,\right)} \newcommand{\partiald}[3][]{\frac{\partial^{#1} #2}{\partial #3^{#1}}} \newcommand{\pp}{{\cal P}} \newcommand{\root}[2][]{\,\sqrt[#1]{\vphantom{\large A}\,#2\,}\,} \newcommand{\sech}{\,{\rm sech}} \newcommand{\sgn}{\,{\rm sgn}} \newcommand{\totald}[3][]{\frac{{\rm d}^{#1} #2}{{\rm d} #3^{#1}}} \newcommand{\ul}[1]{\underline{#1}} \newcommand{\verts}[1]{\left\vert\, #1 \,\right\vert} \newcommand{\wt}[1]{\widetilde{#1}}$ $\large \lim_{x \to 0^{+}}{8 \over x} = \infty\quad\imp\quad\lim_{x \to 0^{+}}{3 \over x} =\omega $

3

By linearity

$\log(1+2+3) = \log(1)+\log(2)+\log(3).$

(just don't try to generalize this)

  • 1
    $\log\left(1+1+2+4\right)=\log\left(1\right)+\log\left(1\right)+\log\left(2\right)+\log\left(4\right)$ and $\log\left(1+1+1+2+5\right)=\log\left(1\right)+\log\left(1\right)+\log\left(1\right)+\log\left(2\right)+\log\left(5\right)$2018-04-27
2

Does this count? It can be shown that following the steps will give the correct answer, but the steps themselves are sometimes questionable. Let $y=(x-1)^3(x-2)^5(x-3)^7$. Find $\dfrac{dy}{dx}$.

Take the log of both sides. We get $\log y=3\log(x-1)+5\log(x-2)+7\log(x-3).$ Thus $\frac{1}{y}\frac{dy}{dx}=\frac{3}{x-1}+\frac{5}{x-2}+\frac{7}{x-3},$ and therefore $\frac{dy}{dx}=3(x-1)^2(x-2)^5(x-3)^7 + 5(x-1)^3(x-2)^4(x-3)^7+7(x-1)^3(x-2)^5(x-3)^6.$ Simple, generalizes, true for all $x$, including many $x$ at which log is not defined.

Remark: One can find many examples in Euler: formal manipulations that lead to the correct answer through in principle unjustified steps. About this, Euler wrote something like "Sometimes my pencil is more clever than I am."

  • 0
    The argument can be completed by defining logs of negative numbers. You can can take the log as set valued (defined up to addition of multiples of $2i\pi$), define a derivative, and the argument will work for all complex numbers other than -1, -2, or -3. Or you can take a branch cut away from a point you are looking at to choose a particular complex number as the log, and the equation will hold up to a difference of a constant number of `2\pi i`s.2018-10-07
2

Recently seen:

Given $\gcd(a, b) = c$ we have $c\mid a$ and $c \mid b$, so $(c\mid a) \cdot (c \mid b) = (c \cdot c) \mid (a \cdot b) = c^2 \mid ab,$ hence $c^2 \mid ab$.

  • 0
    Yes, distribution was the wrong word to use. You're right. Thanks for the correction. This particular derivation is wrong of course: for starters, what does (statement 1) = (statement 2) mean?2014-03-18
2

I'm learning right now why you don't ask first-year calculus students to determine

$\lim_{x \to -\infty} \frac{x}{\sqrt{x^2+1}}:$

because you'll get back a bunch of

$\frac{x}{\sqrt{x^2+1}} \to \frac{-\infty}{\infty} = \frac{-\not\infty^1}{\not \infty^1} = -1.$

1

Question is : Find $\lim_{x \to 1}\left(\frac{x}{x-1}-\frac{1}{\ln(x)}\right)$

My answer is : Divide and rule!!

$\lim_{x \to 1}\left(\frac{x}{x-1}-\frac{1}{ln(x)}\right) = \lim_{x \to 1}\left(\frac{x}{x-1}\right)-\lim_{x \to 1}\left(\frac{1}{ln(x)}\right)$

Now using L'Hospital rule!

$\lim_{x \to 1}\left(\frac{x}{x-1}-\frac{1}{ln(x)}\right) = \lim_{x \to 1}\left(\frac{x}{x-1}\right)-\lim_{x \to 1}\left(\frac{1}{ln(x)}\right)=\frac{1}{1}-0=1$

1

When I was in kinder-garden I was sick one day so I missed class and the next day the teacher gave us a quiz on basic multiplication. But I didn't know what multiplication was so when I got the test paper I thought that she wrote the + signs really badly. I didn't want to make her feel bad by pointing it out (not that my writing was any good either).

So I took the test. She graded it with me and explained that multiplication was something different so I said that I must have missed every question. Then she went through and checked every problem. Except it turned out that I got one problem right. 2x2 which happens to equal 2+2. If 0x0 was on there I would have gotten 2 problems right :)

  • 1
    … yawn. But, – you did multiplication in kindergarten?2016-06-30
1

Consider: $\int_{-\infty}^{+\infty}\dfrac{e^{2x}-e^x}{x(1+e^{2x})(1+e^x)}dx =ln2$ This integral has been worked out here: Finding value of integration with infinite limit But it is rather difficult because the linear $x$ term in the denominator. So I am deciding to omit $x$ and instead do $\int_{-\infty}^{+\infty}\dfrac{e^{2x}-e^x}{(1+e^{2x})(1+e^x)}dx ?$ This one is LOTS easier and the answer is still $ln2$. Works for me...

  • 1
    This is a general principle since it works also for $\int_0^{\infty}\frac x{x^3+1}dx=\int_0^{\infty}\frac 1{x^3+1}dx=\frac{2\pi\sqrt{3}}9$2017-09-27
1
  • $Lim_{x\rightarrow\infty}x.e^{-x}=\infty ×0=0$
  • $Lim_{x\rightarrow\infty}log(x+1)-log(x)=\infty -\infty=0$
0

Well, using $\frac{dy}{dx}$ as a ratio is also one such example. It carries no meaning at all to use $\frac{dy}{dx}$ as ratio but it works each time to get you to the right result instead of appreciating the limit process behind it. I think it is as much abuse of notation as is eliminating 6's from a fraction, it is just that in this case the notation is designed such that each time you abuse it, you will get the right answer but you won't know actually why if you just rely on the notation. For example: $\frac{dy}{dx}=\frac{dy}{dt} \frac{dt}{dx}$ due to chain rule and not due to treating $\frac{dy}{dx}$ as a fraction just like $\frac{x^2-y^2}{x-y}=x+y$ by algebra and not by

$\frac{x^2-y^2}{x-y}$

"cancelling" the $x$ and the $y$ on top and bottom, to get:

$\frac{x-y}{-}$

and then conclude that "two negatives make a positive", so the final answer is be $x+y$.

Now if you see a student prove $\frac{5^2-3^2}{5-3}=8$ by the wrong method, will he be correct as this method of proof will hold for all $x,y \in R$ until $x \neq y$.

Also in three dimensions you have stuff like $ \frac{\partial x}{\partial y}\cdot\frac{\partial y}{\partial z}\cdot\frac{\partial z}{\partial x}=-1. $

Also, $dy$ isn't even defined , let alone be manipulated like a real number.

  • 1
    -1, what about non-standard analysis?2014-04-08
0

I notice that most of the answers are cute and humorous, so I may incur the wrath of the forum by posting an answer that is neither cute nor humorous.

I would have to say that most informal proofs are not valid, but there are formal proofs that come to the same conclusion, so the conclusion is correct, but informal proofs tend to be incomplete and lack rigor.

Cantor's diagonal argument is a good example. How long will it take to get a seventh grader to understand something like this, http://us.metamath.org/mpegif/ruc.html ? I don't even know if that is right.

Yet, most seventh graders will understand vsauce's 2 minute explanation of the theory. But it is incomplete. https://www.youtube.com/watch?v=s86-Z-CbaHA&feature=youtu.be&t=4m35s

Vsauce is correct when he says (paraphrased) "If there is a 1 to 1 correspondence between the two, then we can match one whole number to each real number, then the sets are the same size".

The hidden assumption is that we must use the whole numbers in order of magnitude. Which is not true.

So he is wrong when he says "We have used up every single whole number, the entire infinity of them, and yet we can still come up with more real numbers." The truth is that he did not need to "use up every single whole number".

To avoid this, all he had to do is match a subset of the whole numbers with his purported list of all real numbers. Like this

$4 \to r_1$

$44 \to r_2$

$444 \to r_3$

$4444 \to r_4$

and so on.

Then vsauce can generate another infinite list of real numbers that were not on his first list and again we can match them to a subset of the whole numbers like this

$14 \to rr_1$

$144 \to rr_2$

$1444 \to rr_3$

$14444 \to rr_4$

and so on.

And we can repeat this a countable infinite number of times, while vsauce can repeat his operation an uncountable infinite number of times.

But that is what vsauce needs to prove, and he can only do it with the formal proof, and that will take a very long and involved video.

0

The problem : solve the equation $e^{(x-2)}+e^{(x+8)}=e^{(4-x)}+e^{(3x+2)}$

Incorrect method

As everybody knows $e^a+e^b=e^{ab}$

So let's apply it to solve the equation :

$\begin{array}{lll} e^{(x-2)}+e^{(x+8)}=e^{(4-x)}+e^{(3x+2)} & \iff & e^{(x-2)(x+8)}=e^{(4-x)(3x+2)} \\ & \iff & (x-2)(x+8)=(4-x)(3x+2) \\ & \iff & x^2+6x-16=10x-3x^2+8 \\ & \iff & 4x^2-4x-24=0 \\ & \iff & x^2-x-6=0 \\ & \iff & (x+2)(x-3)=0 \\ \end{array}$

Thus $x=-2$ or $x=3$.

Correct method:

Let's set $X=e^x$ and $a=e^2$ and substitute

$\frac Xa+a^4X=\frac {a^2}X+aX^3\iff X^2+a^5X^2=a^3+a^2X^4\iff(a^2X^2-1)(X^2-a^3)=0$

Leading also to $x=-2$ and $x=3$.




The problem : simplify the expression $\sin(x+y)\sin(x-y)$

Incorrect method

As everybody knows $f(a+b)f(a-b)=f(a)^2-f(b)^2$

Applying the formula gives immediately

$\sin(x+y)\sin(x-y)=\sin^2(x)-\sin^2(y)$

Correct method

$\begin{array}{lll} \sin(x+y)\sin(x−y) &=& \big[\sin(x)\cos(y)+\cos(x)\sin(y)\big]\ \big[\sin(x)\cos(y)−\cos(x)\sin(y)\big]\\ &=&\sin^2(x)\cos^2(y)−\cos^2(x)\sin^2(y)\\ &=&\sin^2(x)(1−\sin^2(y))−(1−\sin^2(x))\sin^2(y)\\ \require{cancel}&=&\sin^2(x)−\cancel{\sin^2(x)\sin^2(y)}−\sin^2(y)+\cancel{\sin^2(x)\sin^2(y)}\\ &=&\sin^2(x)−\sin^2(y)\\ \end{array}$