What are nice "proofs" of true facts that are not really rigorous but give the right answer and still make sense on some level? Personally, I consider them to be guilty pleasures. Here are examples of what I have in mind:

  1. $s=\sum_{i=0}^\infty \delta^i=1/(1-\delta)$.

    "Proof:" $s=1+\delta+\delta^2+\cdots=1+\delta s$ and hence $s=1/(1-\delta)$.

  2. $(f\circ g)'(x)=f'(g(x))g'(x)$.

    "Proof:" $\displaystyle\lim\limits_{h\to 0}\frac{f(g(x+h))-f(g(x))}{h}=\lim\limits_{h\to 0}\bigg(\frac{f(g(x+h))-f(g(x))}{g(x+h)-g(x)}\frac{g(x+h)-g(x)}{h}\bigg).$

  3. $[0,1]$ is uncountable.

    "Proof:" Pick a number from $[0,1]$ randomly. Every number has the same probability. If this probability were positive, there would be finitely many such numbers such that the probability of picking one of them exceeds $1$, which cannot be. So the probability of picking each number is $0$. If $[0,1]$ were countable, the probability of picking any real number would be $0=0+0+0+\cdots$. But by picking from a uniform distribution, I will get a real number with certainty.

It might be helpful to indicate where the lapses in rigor are and why the method works anyways.

  • 2
    $\begingroup$ Your third proof is actually incorrect beyond its lack of rigor; note that the same argument could also be used to show that the integers are uncountable. The error is that in general $0 \neq 0+0+\cdots$. $\endgroup$ – smackcrane Mar 23 '12 at 15:29
  • 1
    $\begingroup$ See this MO question: mathoverflow.net/questions/38856/… $\endgroup$ – Dan Petersen Mar 23 '12 at 15:32
  • 3
    $\begingroup$ @smackcrane: No. There is no uniform distribution over the integers, at least not if one requires countable additivity. The argument I give can actually be made rigorous by using some elementary measure theory. $\endgroup$ – Michael Greinecker Mar 23 '12 at 15:33
  • 13
    $\begingroup$ @smackcrane: Not really. I think the fallacy is the unspoken assumption that a number can be picked from $[0,1]$ with uniform probability in the first place. That this is possible (whereas there is no such thing as an uniform distribution on $[0,1]\cap\mathbb Q$, or on $\mathbb Z$) is already considerably deeper than the fact that $[0,1]$ is uncountable. $\endgroup$ – hmakholm left over Monica Mar 23 '12 at 15:34
  • 1
    $\begingroup$ joriki explained the reason in this post. You can also use your argument to prove it by way of contradiction: If there were a uniform distribution on the integers, the set of integers would be uncountable. $\endgroup$ – Michael Greinecker Mar 23 '12 at 15:51

14 Answers 14


Cayley-Hamilton Theorem. Let $A$ be an $n\times n$ matrix, and let $f(t)$ be its characteristic polynomial. Then $f(A)=0$.

"Proof." $f(t) = \det(A-tI)$. Therefore, $f(A) = \det(A-AI) = \det(A-A) = \det(0) = 0$.

Issues. One problem may not be obvious... the equation "$f(A)=0$" is really saying that the matrix we get via the evaluation (by identifying the underlying field with the subring of scalar matrices) is the zero matrix. However, the "proof" claims to prove that $f(A)$, which is supposed to be a matrix, is equal to the value of a determinant, which is a scalar.

As to why it "gives the right answers"... well, because the theorem is true. I am reminded of what Hendrik Lenstra once said in class after presenting an idea for a proof and explaining why it didn't quite work:

The problem with incorrect proofs to correct statements is that it is hard to come up with a counterexample.

  • 4
    $\begingroup$ Ok, but would you call this a "non-rigourous" proof, or rather a plainly wrong one? $\endgroup$ – leonbloy Mar 23 '12 at 21:10
  • $\begingroup$ @leonbloy" This is a false argument; it's not "non-rigorous" in the same sense as the issue with, say, the 'proof' of the Chain Rule (which is really just missing some cases). But it seems to make sense on first reading. (The difference between "seem reasonable" and "follow intuition") $\endgroup$ – Arturo Magidin Mar 23 '12 at 21:12
  • $\begingroup$ The notion of "unrigorous" here is : there exists a functor which makes the statement true, although we are not going to explicit it. I don't think this example falls into this notion. $\endgroup$ – nicolas Mar 24 '12 at 10:45
  • 1
    $\begingroup$ If you replace determinant with permanent, the "proof" apparently still works yet the statement is false: $M=\left[ \begin{smallmatrix} 0&1\\ 1&0 \end{smallmatrix} \right]$ does not satisfy $M^2+1=0$. $\endgroup$ – sdcvvc Mar 24 '12 at 13:37
  • 4
    $\begingroup$ Dear Arturo, See the comment thread to this answer for a correct version of this argument. Regards, $\endgroup$ – Matt E Mar 24 '12 at 15:03

$$\begin{align*} x^{x^{x^{\scriptstyle\ldots}}} &= 2\\ x^{\left(x^{x^{x^{\scriptstyle\ldots}}}\right)} &= 2\\ x^2 &= 2\\ x &= \sqrt{2}\\ \end{align*}$$

  • 5
    $\begingroup$ Ok, maybe an obvious question, but if $x$ to the power of $x$ to the power of $x$.... converges to $2$, then why doesn't this work? I have seen similar problems worked out using radicals that apply the exact same technique. Why is this approach flawed? $\endgroup$ – ItsNotObvious Mar 23 '12 at 20:05
  • 1
    $\begingroup$ @ItsNotObvious: Well, for one thing this method implies that $x = -\sqrt{2}$ is also a valid solution, which it's not. For another, we are relying on the assumption that a solution actually exists, which is not always a valid assumption (especially when working with infinity, which often behaves very strangely). $\endgroup$ – BlueRaja - Danny Pflughoeft Mar 23 '12 at 20:21
  • 11
    $\begingroup$ @Blue: Don't get your implications backwards -- the first three lines show that if $x$ is a solution, then $x^2 = 2$... not the other way around. The fourth line follows by any observation that implies $-\sqrt{2}$ is not a solution. (e.g. because for the problem to even make sense, $x$ must be restricted to the positive reals) $\endgroup$ – user14972 Mar 24 '12 at 11:18
  • 4
    $\begingroup$ Now try this equation, using the analogous technique: $x^{x^{x^\cdots}} = 4$. $\endgroup$ – Sammy Black Apr 1 '13 at 22:35
  • 2
    $\begingroup$ @DeathkampDrone If you replace the exponent with the right hand side, you get $x^4 = 4$. Which has the same real solutions as $x^2 = 2$. Discarding the non-real and negative solutions of $x^4 = 4$, you are also left with $x = \sqrt{2}$. So the method shows that at least one of $$x^{x^{x^{x^{x^{\dotsc}}}}} = 2 \text{ and } x^{x^{x^{x^{x^{\dotsc}}}}} = 4$$ has no solution. There's no problem with the technique if you only use it for "if there is a solution, then it must be ...", but if one just assumes the existence of solutions, it leads to contradictions. $\endgroup$ – Daniel Fischer Sep 11 '14 at 14:47

This is one that comes up on math.SE from time to time.

Proposition: $[0, 1]$ has the same cardinality as $[0, 1]^2$.

"Proof 1." Write $(x, y) \in [0, 1]^2$ in their binary expansions $x = 0.x_1 x_2 x_3 ..., y = 0.y_1 y_2 y_3 ...$, and consider the map which sends $(x, y)$ to $0.x_1 y_1 x_2 y_2 x_3 y_3 ...$.

Of course the problem with this proof is that the map is not well-defined since numbers do not have unique binary expansions, e.g. we have $0.1 = 0.0111...$.

"Proof 2." Repeat Proof 1, but this time don't allow any terminating binary expansions except $0.0$; instead, when a number has two binary expansions, pick the one which ends with infinitely many ones.

But now our map isn't surjective! The restriction on binary expansions above means, for example, that we can never hit $0.011010101...$.

A neat fix is just to show that $[0, 1]$ has the same cardinality as $\{ 0, 1 \}^{\mathbb{N}}$, which is straightforward to do by Cantor-Bernstein-Schroeder, and then the above argument actually works.

  • 3
    $\begingroup$ If you're going to use Cantor-Schröder-Bernstein, then you could also note that the map in "Proof 2" is injective. $\endgroup$ – Dan Petersen Mar 23 '12 at 17:26
  • $\begingroup$ @Dan: sure, but the point is that CBS can also justify the underlying idea of the proof even if it doesn't work as written. $\endgroup$ – Qiaochu Yuan Mar 23 '12 at 19:19
  • $\begingroup$ I'm just curious: isn't it enough to show that the map is injective, and that $[0,1]^2$ is no smaller than $[0,1]$ because $[0,1] \times \{0\}$ is the same size? $\endgroup$ – Neil G Mar 23 '12 at 22:44
  • $\begingroup$ @Neil: yes, it is. Again, the point is that there is a neat idea for coming up with a bijection, that it fails, and that it can be rescued. $\endgroup$ – Qiaochu Yuan Mar 23 '12 at 22:48
  • $\begingroup$ @QiaochuYuan: Yes, it's a nice example of that. Thanks. $\endgroup$ – Neil G Mar 23 '12 at 22:52

Ito's Lemma: Assume that $x(t)$ has an SDE of the type $dx(t)=\mu(t)dt+\sigma(t)dW(t)$ for $\mu$ and $\sigma$ adapted processes. Also assume that $f\in C^{1,2}$. Define $z(t):=f(t,x(t))$, then $z(t)$ obeys the following SDE: $$ df(t,x(t))=\left\{\frac{\partial f}{\partial t}+\mu\frac{\partial f}{\partial x}+\frac{1}{2}\sigma^2\frac{\partial^2f}{\partial x^2}\right\}dt+\sigma\frac{\partial f}{\partial x}dW(t) $$ "Proof": Taylor expand to obtain $$ df=\frac{\partial f}{\partial t}dt+\frac{\partial f}{\partial x}dx+\frac{1}{2}\frac{\partial^2f}{\partial x^2}dx^2+ \frac{1}{2}\frac{\partial^2f}{\partial t^2}dt^2+\frac{\partial^2f}{\partial t\partial x}dtdx. $$ Then use that $(dt)^2\approx 0$, $(dW)^2=dt$ and $dWdt\approx 0$, yielding the result.

  • 7
    $\begingroup$ unless other "proofs" in this topic, the one you provided is quite commonly used in some books on financial math to convince students that the result holds $\endgroup$ – Ilya Mar 23 '12 at 19:09

Let $X$ be an algebraic data type, i.e. an element of a semiring. Then the type $L$ of lists of $X$s is

$$L = 1 + XL$$

i.e. a list is either empty ($1$) or it is a pair consisting of an $X$ and another list ($XL$). Then we can write

$$(1-X)L = 1 \quad\Rightarrow\quad L = \frac{1}{1-X} \quad\Rightarrow\quad L = 1+X+X^2+X^3+\cdots$$

i.e. a list is either empty, or it has one element, or it has two elements, or it has three elements, etc. Which is true, despite that fact that we used subtraction and division in our "proof", neither of which are valid operations in a semiring.

The fact that this "proof" works is surprisingly deep, and has ties to category theory. This paper by Fiore and Leinster proves the result, showing that for some cases, proofs that 'pretend' the objects under consideration are complex numbers give valid results for semirings, monoids, rings and other classes of algebraic structure. Among other things they show that there is a bijection between the type of binary trees $T$, and the type of seven-tuples of binary trees, $T^7$, i.e. that


which follows trivially from the defining equation for binary trees holding elements of type $X$

$$T = 1 + XT^2$$

if you allow yourself free access to field operations.

  • $\begingroup$ Andreas Blass, a frequent visitor to this site, also wrote a well-known paper about the correspondence between $T$ and $T^7$: “Seven Trees in One”. $\endgroup$ – MJD Sep 11 '14 at 13:42
  • $\begingroup$ I see now that the Blass paper is extensively referenced in the Fiore and Leinster paper, and was the direct inspiration for theirs, which is a generalization. $\endgroup$ – MJD Sep 11 '14 at 16:50
  • $\begingroup$ @MJD Yes, good to mention the Andreas Blass paper too. I'm not sure whether I knew about it or not when I wrote this answer. If I did, then it was surely an oversight. $\endgroup$ – Chris Taylor Sep 11 '14 at 16:52
  • $\begingroup$ Thanks for the link to the Fiore and Leinster paper, which I am now enjoying. $\endgroup$ – MJD Sep 11 '14 at 16:52

Pick's Theorem: Suppose $P$ is a polygon whose vertices are all lattice points. If a $P$ contains a lattice point $p$ then it contains the entire square around $p$, or nearly so. If it passes through a point $p$ then half of $p$'s square is inside $P$ and half outside, or nearly so. So if $i$ is the number of lattice points inside $P$, and $b$ the number of lattice points on the boundary of $P$, the area of $P$ will be $i + \frac b2$, plus or minus some fudge factor to adjust for that fact that even a small polygon already contains several lattice points.

A minimal square has $b=4$ and $i=0$, so the fudge factor is apparently -1. And in fact the area of any lattice polygon is indeed $i + \frac b2 -1$.

  • $\begingroup$ You can also look at this asymptotically, since for a large enough figure, almost all interior points have distance $>\sqrt{2}$ from the boundary. In this sense, -1 is a corrective term. $\endgroup$ – Display name Jul 12 '18 at 10:20
  • $\begingroup$ What is "fudge factor" but a pejorative version of "corrective term"? $\endgroup$ – MJD Jul 12 '18 at 10:51

Euler's formula for plane connected graphs states that V + F - E = 2. Cauchy gave a proof of this that is very appealing but not "rigorous." For simplicity also assume the the plane graph G is 2-connected.

Suppose the graph G is embedded into the plane and consider the quantity: Q = V + F - E. If any face other than the infinite face is not a triangle, add internal diagonals using existing vertices to make that face a triangle.

It is easy to see that as each diagonal is added we increase F and E by 1 (V stays unchanged) but since these terms in Q have opposite signs Q remains unchanged. Now starting with the edges which bound the current plane graph (all internal faces triangles) remove triangles one at a time until one gets down to a single triangle. These reductions either involve removing a single edge (and Q will be unchanged by this operation) or removing two edges of a triangle that meet at a 2-valent vertex (and Q will be unchanged since V goes down by 1, E goes down by 2 and F goes down by 1).

Since after all reductions the value of Q is the same as at the start and the result is a triangle for which V + F - E = 2 holds, we can conclude that V + F - E = 2 for any such graph.

This way of proving Euler's polyhedral formula can be made rigorous but it requires more work to do it fully correctly.

  • 2
    $\begingroup$ There is a very nice book on the Euler's formula by Imre Lakatos: "Proofs and Refutations. The Logic of Mathematical Discovery". The author presents there many approaches (for some reasons false) to the proof of this formula. All of this serves as an example and a basis for a talk about logic, reasoning and philosophy of mathematics. I'm sure most of you know the book, to the rest I strongly recommend it. $\endgroup$ – Damian Sobota Apr 2 '12 at 21:34

$$\begin{align*} f(x) &= \cos(x) + i\sin(x)\\ \frac{df}{dx} &= -\sin(x) + i\cos(x) = if(x)\\ \frac{1}{f(x)} \frac{df}{dx} &= i\\ \int\frac{1}{f(x)} df &= \int i dx\\ \ln(f(x)) &= ix + C\\ f(x) &= e^{ix + C} \end{align*}$$ And since $f(0) = 1$, $C = 0$, so $$e^{ix} = \cos(x) + i\sin(x)$$

  • $\begingroup$ What are you saying is the error here? Your argument shows (modulo ambiguity over what $\ln(f(x))$ means for complex-valued $f$, but that could be fixed) that if $f(x) = \cos x + i\sin x$ then $f(x) = e^{ix}$. If would help if you included in your answer a statement of the result you are "proving" to help readers judge if the "proof" is false or not. $\endgroup$ – KCd Mar 24 '12 at 20:20
  • $\begingroup$ @KCd: To quote from the complaints when I posted this proof here: "There appear to be some gaps here; the most significant one concerns the use of a complex logarithm. You seem to have overlooked the fact there are many more solutions to exp(C) = 1 than merely C = 0. Their existence is an implication of Euler's formula itself. To avoid circular logic, the crucial thing is to make clear what definitions you are using for exp, sin, and cos (and also, in this case, of the complex logarithm)." $\endgroup$ – BlueRaja - Danny Pflughoeft Mar 25 '12 at 6:11
  • 1
    $\begingroup$ Also, you can't just multiply both side with $\mathrm{d}x$! $\endgroup$ – Sellerie Sep 5 '18 at 15:13
  • $\begingroup$ @Sellerie: Er, while that could be considered symbol-pushing, that part is actually valid. $\endgroup$ – BlueRaja - Danny Pflughoeft Sep 5 '18 at 15:18
  • $\begingroup$ How so? Care to elaborate a bit more? To me, $\frac{\partial f}{\partial x}$ is just a symbol. $\endgroup$ – Sellerie Sep 5 '18 at 15:21

Δ = difference operator Δf (x) = f(x+1)-f(x)

D = differentiation

so D = 1/ʃ and Δ = 1 / Σ.

Taylor's theorem: Δ = exp(D)-1

So: $$\sum = 1/(\exp(D)-1) = (1/D)(D / (\exp(D)-1)) \\ = \int (1 - (1/2) D + (1/12)D^2 - (1/720)D^4 \ldots) \\ = \int + 1/2 + (1/12)D - (1/720)D^3 + ... $$ This can actually be made rigourous, at the expense of some error terms and conditions on the functions f to which it is applied: you get the Euler-Maclaurin summation formula

  • 1
    $\begingroup$ This is very close to the formal justification given here. In fact, for polynomials, this formula is exact. $\endgroup$ – robjohn Mar 24 '12 at 12:46

Fourier Inversion Theorem For every $f \in L^1(\mathbb{R})$ such that $\hat{f}(\xi)=\int_{-\infty}^\infty f(x)e^{-i x \xi}\, dx$ also is in $L^1(\mathbb{R})$ the following formula holds:

$$ f(x)=\int_{-\infty}^\infty \hat{f}(\xi) e^{i x \xi}\, \frac{d \xi}{2\pi}\qquad \text{a.e.}$$

"Proof" We have

$$\tag{1} \int_{-\infty}^\infty \hat{f}(\xi)e^{i x \xi} \, \frac{d\xi}{2\pi}=\int_{-\infty}^\infty\frac{d\xi}{2\pi} \int_{-\infty}^\infty dy\, f(y)e^{i\xi(x-y)} =\int_{-\infty}^\infty dy\, f(y)\left( \int_{-\infty}^\infty \frac{d\xi}{2\pi} e^{i \xi(x-y)}\right) $$


$$\tag{1!} \int_{-\infty}^\infty \frac{d\xi}{2\pi} e^{i \xi(x-y)}=\delta(x-y),$$ $$\tag{2!} \int_{-\infty}^\infty f(y)\delta(x-y)\, dy=f(x).$$

Inserting $(1!)$ and $(2!)$ into $(1)$ we conclude the "proof". ////

The problem here lies in equations marked with (!), because they are meaningless as they stand. However, they may be interpreted as placeholders for rigorous approximation processes: for example, the proof goes on fine if we start with

$$\int_{-\infty}^\infty \hat{f}(\xi)\Phi(h\xi)e^{i x \xi}\, \frac{d\xi}{2\pi}, $$

where $\Phi$ is a suitable kernel and $h>0$, then mimic the above reasoning and let $h \to 0$ in the end.


Central Limit Theorem (taken from my website)

In what follows, the fourier transform used is $$ \widehat{f}(\xi)=\int_{-\infty}^\infty f(x)\,e^{-i2\pi x\xi}\;\mathrm{d}x $$ Suppose we have a probability density function, $\phi$, which has a mean of $0$ and a variance of $1$ (this can be achieved by translation and scaling). Then, the following are true for the fourier transform of the pdf:

  1. $\widehat{\phi}(0)=1$ (i.e. $\int_{-\infty}^\infty\phi(x)\:\mathrm{d}x=1$; $\phi$ is a probability measure)

  2. $\widehat{\phi}\vphantom{\phi}^\prime(0)=0$ (i.e. $\int_{-\infty}^\infty (-i2\pi x)\phi(x)\:\mathrm{d}x=0$; the mean of $\phi$ is $0$)

  3. $\widehat{\phi}\vphantom{\phi}^{\prime\prime}(0)=-4\pi^2$ (i.e. $\int_{-\infty}^\infty (-i2\pi x)^2\phi(x)\:\mathrm{d}x=-4\pi^2$; the variance of the pdf is $1$)

Thus, to second order, the fourier transform of the pdf looks like $$ \widehat{\phi}(\xi)=1-2\pi^2\xi^2\tag{1} $$ The Central Limit Theorem looks at the sum of $k$ random variates contracted by $\sqrt{k}$ and scaled by $\sqrt{k}$. This maintains the unit integral while compensating for the increased variance due to summation.

The pdf of the sum of random variates is the convolution of the pdf of the variates. The fourier transform of a convolution is the product of the fourier transforms. The fourier transform of a function contracted by $\sqrt{k}$ and scaled by $\sqrt{k}$ is the fourier transform expanded by $\sqrt{k}$.

Thus, the fourier transform of the pdf of the sum of $k$ independent trials contracted and scaled appropriately is $$ \left(1-\frac{2\pi^2\xi^2}{k}\right)^k\tag{2} $$ which, for large $k$ approaches $$ e^{-2\pi^2\xi^2}\tag{3} $$ the inverse fourier transform of which is $$ \frac{1}{\sqrt{2\pi}}e^{-x^2/2}\tag{4} $$ The distribution in $(4)$ is gaussian normal distribution with mean $0$ and variance $1$.


"Proof" of the Gaussian distribution.

One can derive the (univariate) Gaussian from the binomial, but I think the usual and historical approach is to begin with "basic assumptions" and go from there. (This is a typical note.) We assume a "large number of errors, of equal magnitude, equally likely to be positive or negative."

These assumptions are meta-mathematical. As one author put it, "mathematicians...think physicists have verified it and physicists...think mathematicians have proved it theoretically." $^*$

The usual proof of the Gaussian is therefore not a proof at all, but a mathematical edifice constructed on intuition about random errors. Because the intuition is informed by experience, the idea works, is plausible, but it really doesn't qualify as a proof.

$^*$ Young, Statistical Treatment of Experimental Data, p65.

  • $\begingroup$ Does your answer refer to the function derived in my answer using the Fourier transform? Depending on the context, the argument in my answer can be made rigorous. I think that would qualify as a proof. $\endgroup$ – robjohn Apr 22 '14 at 21:32
  • 1
    $\begingroup$ @robjohn: The idea was paraphrased from an unnamed source in the text I cited. I will look at your answer (time permitting) and edit mine if that seems indicated. The answer was not given with reference to yours and I don't doubt your assertion is correct. Thanks. $\endgroup$ – daniel Apr 22 '14 at 22:13
  • $\begingroup$ @robjohn: I think my answer is essentially a duplicate of yours. If you agree I will take mine down in the interest of good site husbandry. I didn't see this at the time. $\endgroup$ – daniel Apr 24 '14 at 3:57
  • $\begingroup$ I didn't think that your answer was a duplicate. I only asked if your answer was talking about the function derived in my answer (the pdf of the Gaussian distribution). Your answer seems to be saying that the proof of the Gaussian distribution is not rigorous, that it is "a mathematical edifice constructed on intuition about random errors". My answer derives the Gaussian distribution as the limit of repeated convolutions of any probability distribution with mean $0$ and variance $1$. $\endgroup$ – robjohn Apr 24 '14 at 8:29
  • $\begingroup$ @robjohn: It is talking about the same function, yes, and I think my argument is overstated. $\endgroup$ – daniel Apr 24 '14 at 13:48

Intuitive proof of equality area. enter image description here

  • $\begingroup$ Wow, how to explain this? $\endgroup$ – user4205580 Feb 12 '15 at 12:35
  • 1
    $\begingroup$ @user4205580 See math.stackexchange.com/questions/239278/puzzle-on-the-triangle $\endgroup$ – Elias Costa Feb 12 '15 at 15:39
  • $\begingroup$ That explains a lot. They are not the same because... well... they are not the same. $\endgroup$ – user4205580 Feb 12 '15 at 16:42
  • $\begingroup$ On a 5x13 triangle the hypotenuse should never pass through a pair of integer coordinates. $\endgroup$ – DanielV Dec 30 '18 at 6:26

“Proof” of Parseval’s Identity
Let $f\left(x\right)=\frac{a_0}{2}+\sum_{k=1}^{\infty}a_k \cos kx+b_k \sin kx$
Denote $T\left(x\right)= \sum_{k=1}^{\infty}a_k \cos kx+b_k \sin kx$, then
$$f^2\left(x\right)=\frac{a_0^2}{4}+a_0 T\left(x\right)+T^2\left(x\right)$$
$T^2\left(x\right)$ can be expressed as Cauchy Product
$$T^2\left(x\right)=\sum_{k=1}^{\infty}\sum_{m=1}^{k}\left(a_m \cos mx+b_m \sin mx\right)\left(a_{k+1-m}\cos\left(k+1-m\right)x+b_{k+1-m}\sin\left(k+1-m\right)x\right)\\= \sum_{k=1}^{\infty}\sum_{m=1}^{k}a_m a_{k+1-m}\cos mx \cos\left(k+1-m\right)x +b_m b_{k+1-m}\sin mx \sin\left(k+1-m\right)x+a_{k+1-m}b_m\cos\left(k+1-m\right)x\sin mx+a_m b_{k+1-m}\cos mx \sin\left(k+1-m\right)x $$
Taking integral from $-\pi$ to $\pi$ on both side, by the orthogonality of trigonometric functions, we note that all terms with product of unidentical trigonometric functions will become zero, therefore we have
$$\int_{-\pi}^{\pi}T^2\left(x\right)dx=\sum_{k=1}^{\infty}\int_{-\pi}^{\pi}\left(a_k^2 \cos^2 kx+b_k^2 \sin^2 kx\right)dx\\=\pi\sum_{k=1}^{\infty}a_k^2+b_k^2$$
And note that $\int_{-\pi}^{\pi}\frac{a_0^2}{4}dx=\frac{\pi a_0^2}{2}$ and $\int_{-\pi}^{\pi}a_0 T\left(x\right)dx=0$,
Thus we have finished proving the identity
It seems a beautiful proof, but unfortunately, it is TOTALLY WRONG. There are several fatal mistakes inside the proof.
1)Integral does NOT NECESSARILY commute with infinite sum, it is not available to directly take integral inside the sum $\sum_{k=1}^{\infty}$ without proving anything.
2)The Cauchy product of two convergent series NEED NOT to converge, unless you can prove the absolute convergence of one series, or the convergence of the Cauchy product series, which both seems impossible in this proof.
3)The Fourier series of $f\left(x\right)$ is NOT IDENTICALLY equal to $f\left(x\right)$. It even does not converge at some point EVEN IF $f$ is continuous! That means you should firstly prove the almost-everywhere convergence of Fourier series in $L^2$, which is a HUGE theorem.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.