Image credits: https://en.m.wikipedia.org/wiki/Proof_without_words
01 giugno 2024
06 maggio 2024
Proofs without words 5
For every natural number $n$, the quantity $n^2-n$ is divisible by $2$.
Credits: Benjamin Dickman's answer in MO6045702 aprile 2024
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
06 gennaio 2024
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