Proof without words 7

Sum of squares

 

Proof without words 6

Il Teorema di Nicomaco

Image credits: https://en.m.wikipedia.org/wiki/Proof_without_words

Proofs without words 5

For every natural number $n$, the quantity $n^2-n$ is divisible by $2$.

Credits: Benjamin Dickman's answer in MO60457

Proofs without words 4

 Viviani's Theorem: In an equilateral triangle, the sum of the distances of an interior point to the three sides equals the altitude of the triangle.

Image from the web, attribution unknown

(Image from the web, attribution unknow

An overkill proof of the divergence of the harmonic series

 The following proof can be found in the MO thread [1].

Assume that the harmonic series $\sum_{n=1}^{+ \infty}\frac{1}{n}$ converges. Then the sequence of functions $\{f_n\}$ defined by $f_n = \frac{1}{n} \chi_{[0, \, n]}$ is dominated by the function $$g = \chi_{[0, \, 1]} + \frac{1}{2} \chi_{[1, \, 2]}+\frac{1}{3} \chi_{[2, \, 3]}+ \frac{1}{4} \chi_{[3, \, 4]}+\ldots,$$ which is by assumption absolutely integrable over $\mathbb{R}$. 

By applying Lebesgue's Dominate Convergence Theorem [2] we get: $$1 = \lim_n \int_{\mathbb{R}} f_n(x) dx = \int_{\mathbb{R}}  \lim_n f_n(x)dx = 0,$$ a contradiction. $\Box$

References

[1] https://mathoverflow.net/questions/42512/awfully-sophisticated-proof-for-simple-facts

[2] https://en.wikipedia.org/wiki/Dominated_convergence_theorem

Four colors suffice

The "Four colors suffice" postmark used by the University of Illinois at Urbana-Champaign (UIUC) after the celebrated proof of the Four Colors Problem by Kenneth Appel and Wolfgang Haken [1]. 

According to [2], the proof "was greeted with enthusiasm [...] but also with skepticism, great disappointment and outright rejection. Their extensive use of computers was widely criticized, and raised philosophical questions as to whether a proof is valid if it cannot be checked by hands."

References.

[1] K. Appel and W. Haken: Every planar map is four colorable I-II, Illinois J. Math. 21, No. 3 (1977).
[2] Wolfgang Haken (1928-2022), Memorial Tribute, Notices of the AMS 70, Number 9 (2023). DOI: https://doi.org/10.1090/noti2781

Automorphisms of the real numbers

Theorem. The only field automorphism of $\mathbb{R}$ is the identity.

Proof. If $f \colon \mathbb{R} \to \mathbb{R}$ is a field automorphism, we want to prove that $f=\operatorname{id}$. The proof will be divided into three steps, following the treatment given in Makoto Kato’s answer in [1].

Step 1. $f \colon \mathbb{R} \to \mathbb{R}$ is order-preserving. 

Let $x>0$ be a positive real number. Then there exists $y$ such that $x=y^2$, hence $f(x)=f(y)^2 > 0$. If $b > a$, then $b - a >0$ and so $f(b) - f(a)$ = $f(b - a) > 0$, i.e. $f(b) > f(a).$ 

Step 2. $f \colon \mathbb{R} \to \mathbb{R}$ fixes all elements of the subfield $\mathbb{Q}$. 

Since $f(1)=1$ and every natural number n can be written as $n=1+1+ \ldots +1,$ we infer $f(n)=n$. This shows that $f$ preserves all elements of $\mathbb{N}$, and so it preserves all elements of the subring $\mathbb{Z}$. Consequently, it preserves all elements of the fraction field of $\mathbb{ℤ},$ which is $\mathbb{Q}$.

Step 3. We can now conclude by using the density of $\mathbb{Q}$ in $\mathbb{R}$. In fact, take any real number $x$ and let $q, \, r$ be two rational numbers such that $q < x < r$. By the previous two steps, we get $q < f(x) < r.$ Since $q$ and $r$ can be chosen to be arbitrarily close to $x$, it follows that $f(x)=x. \quad \square$ 

Remark. The situation is entirely different for the field $\mathbb{C}$ of complex numbers. Using an argument similar to the one above, it is possible to show that the only continuous automorphisms of $\mathbb{C}$ are the identity and the complex conjugation. However, admitting the Axiom of Choice it is possible to prove that there are infinitely many non-continuous automorphisms, see [2]. In fact, the continuous automorphisms of $\mathbb{C}$ are precisely those fixing the subfield $\mathbb{R}$.

References.
[1] MSE449404-Is an automorphism of the field of real numbers the identity map?

[2] MSE412010-Wild automorphisms of the complex numbers

Trick or treat

A proof of the Fundamental Theorem of Algebra based on Differential Topology

The following proof of Fundamental Theorem of Algebra, which uses techniques of Differential Topology, can be found in [1, pp. 8-9].

Theorem. Every non-constant polynomial $P \in \mathbb{C}[z]$ must have a zero.

Proof. Using the stereographic projection from the point $\infty=(0, \, 0, \, 1)$, we can extend the polynomial function $P \colon \mathbb{C} \to \mathbb{C}$ to a function $f \colon \mathbb{S}^2 \to \mathbb{S}^2$ such that $f(\infty)=\infty$. A straightforward use of the change of coordinates $z=1/w$ shows that $f$ is smooth on the whole of $\mathbb{S}^2$, including the point $\infty$.

Let us remark that $f \colon \mathbb{S}^2 \to \mathbb{S}^2$ has a finite number of critical points (and so a finite number of critical values), corresponding to the zeros of the derivative $P’$ and possibly to the point $\infty.$

If $0\in \mathbb{C}$ corresponds to a critical value for $f \colon \mathbb{S}^2 \to \mathbb{S}^2$ then, by definition, it has a preimage via $P \colon \mathbb{C}^2 \to \mathbb{C}^2$, and there is nothing to prove.

We may therefore assume that $0\in \mathbb{C}$ corresponds to a regular value for $f \colon \mathbb{S}^2 \to \mathbb{S}^2$. The locus of these regular values is the complement of finitely many points on the sphere, so it is connected.

From the Implicit Function Theorem for differentiable manifolds, it follows that $f \colon \mathbb{S}^2 \to \mathbb{S}^2$ is a local diffeomorphism when restricted to the locus of regular values. So the number of points which are preimages of a fixed one is locally constant on such locus, hence constant (being the locus connected).

Since $\deg(P) \geq 1$, there are surely (infinitely many) points $y \in \mathbb{S}^2$ such that $f^{-1}(y) $ is non-empty. Thus, the same must be true for the point corresponding to $0 \in \mathbb{C}.$

In other words, $0$ is in the image of $P$. $\square$

References.

[1] J. W. Milnor: Topology from the Differentiable Viewpoint, Princeton University Press 1965.

An overkill way to recover the Taylor expansion of $e^x$

Let us consider the linear operator of Banach spaces $$F \colon C[0, \, 1/2] \to C[0, \, 1/2], \quad F(f(x)):= \int_0^x f(t)dt.$$ Then the identity $\int_0^x e^tdt=e^x-1$ can be rewritten as $$(I-F)(e^x)=1. \quad (\sharp)$$ The operator $F$ is bounded and we have $$||F|| = \sup_{f \in C[0, \, 1/2]} \frac{||F(f)||}{||f||} \leq \frac{1/2 \, ||f||}{||f||} = \frac{1}{2} <1.$$ This implies that $I-F$ is invertible as a bounded linear operator and  moreover $$(I-F)^{-1} = \sum_{k=0}^{+ \infty} F^k.$$ Substituting in $(\sharp)$, we get $$e^x=(I-F)^{-1}(1)=\left(\sum_{k=0}^{+ \infty} F^k \right) (1) = \sum_{k=0}^{+ \infty} F^k(1) = \sum_{k=0} ^{+ \infty}\frac{x^k}{k!},$$ which is the well-known Taylor series expansion of  $e^x$.