Intereting Posts

Möbius strip and $\mathscr O(-1)$. Or $\mathscr O(1)$?
How to understand the regular cardinal?
Find volume of crossed cylinders without calculus.
A question about a certain way to define mathematical objects
Looking for Cover's hubris-busting ${\mathbb R}^{N\gg3}$ counterexamples
Book of integrals
Quotient ring of Gaussian integers $\mathbb{Z}/(a+bi)$ when $a$ and $b$ are NOT coprime
Is $S=\sum_{r=1}^\infty \tan^{-1}\frac{2r}{2+r^2+r^4}$ finite?
What is the deepest / most interesting known connection between Trigonometry and Statistics?
How can I pick a random point on the surface of a sphere with equal distribution?
Showing $(P\to Q)\land (Q\to R)\equiv (P\to R)\land$ {without truth table}
Group where you can see all the finite subgroups.
'Free Vector Space' and 'Vector Space'
When do Pell equation results imply applicability of the “Vieta jumping”-method to a given conic?
separable iff homeomorphic to totally bounded

I have found the following alternative proof online.

It looks amazingly elegant but I wonder if it is correct.

I mean: should it not state that $(\sqrt{2}-1)\cdot k \in \mathbb{N}$ to be able to talk about a contradiction?

- Higman group with 3 generators is trivial
- Proof for a summation-procedure using the matrix of Eulerian numbers?
- Prove that the directrix is tangent to the circles that are drawn on a focal chord of a parabola as diameter.
- Elegant solution to $\lim\limits_{n \to \infty}{{a} - 1)]}$
- Compilation of proofs for the summation of natural squares and cubes
- Proving $\sum_{k=1}^n{k^2}=\frac{n(n+1)(2n+1)}{6}$ without induction

Doesn anybody know who thought of this proof (who should I credit)? I couldn’t find a reference on the web.

- 'Every open set in $\mathbb{R}$ is the union of disjoint open intervals.' How do you prove this without indexing intervals with $\mathbb{Q}$?
- How to know that irrational numbers never repeat?
- for $1<p<2$, prove the p-series is convergent without concerned with integral and differential knowledge and geometry series
- For $x\in\mathbb R\setminus\mathbb Q$, the set $\{nx-\lfloor nx\rfloor: n\in \mathbb{N}\}$ is dense on $[0,1)$
- Stronger Nakayama's Lemma
- Proof $\int_{-\infty}^\infty\frac{dx}{\left(e^x+e^{-x}+e^{ix\sqrt{3}}\right)^2}=\frac{1}{3}$
- Why doesn't the indirect proof of irrational roots apply to rational roots?
- Dense set in the unit circle- reference needed
- Any Implications of Fermat's Last Theorem?
- How to show that $\lfloor n/1\rfloor+\lfloor n/2 \rfloor+…+\lfloor n/n\rfloor+\lfloor{\sqrt{n}}\rfloor$ is even?

The proof is correct, but you could say it’s skipping over a couple of steps: In addition to pointing out that $(\sqrt2-1)k\in\mathbb{N}$ (because $\sqrt2k\in\mathbb{N}$ and $k\in\mathbb{N}$), one might also want to note that $1\lt\sqrt2\lt2$, so that $0\lt\sqrt2-1\lt1$, which gives the contradiction $0\lt(\sqrt2-1)k\lt k$.

As for the source of the proof, you might try looking at the references in an article on the square root of 2 by Martin Gardner, which appeared in *Math Horizons* in 1997.

The proof goes back to at least Dedekind – being a special case of much more general results about *conductor* ideals. Here is a presentation bringing these concepts to the fore (but using nothing more than high-school algebra).

**Theorem** $\ $ Let $\;\rm n\in\mathbb N.\;$ Then $\;\rm r = \sqrt{n}\;$ is integral if rational.

**Proof** $\ $ Consider the set $\rm D$ of all the possible denominators $\rm d$ for $\rm r, \;$ i.e. $\;\rm D = \{\, d\in\mathbb Z \;:\: dr \in \mathbb Z\,\}$.

Note $\rm D$ is closed under subtraction: $\rm\, d,e \in D\, \Rightarrow\, dr,\,er\in\mathbb Z \,\Rightarrow\, (d-e)\:r = dr – er \in\mathbb Z.\;$

Further $\rm d\in D \,\Rightarrow\, dr\in D\,$ since $\rm\, (dr)r = dn\in\mathbb Z \;$ by $\;\rm r^2 = n\in\mathbb Z.\;$ Therefore, invoking the Lemma below,

with $\rm d $ the least positive element in $\rm D,$ we infer that $\;\rm d\,|\,dr \;$ in $\mathbb Z,\;$ i.e. $\rm\ r = (dr)/d \in\mathbb Z.\quad$ **QED**

**Lemma** $\ $ Suppose $\;\rm D\subset\mathbb Z \;$ is closed under subtraction and that $\rm D$ contains a nonzero element.

Then $\rm D \:$ has a positive element and the least positive element of $\rm D$ divides every element of $\rm D\:$.

**Proof** $\rm\,\ \ 0 \ne d\in D \,\Rightarrow\, d-d = 0\in D\,\Rightarrow\, 0-d = -d\in D.\, $ Hence $\rm D$ contains a positive element. Let $\rm d$ be the least positive element in $\rm D$. Since $\rm\: d\,|\,n \!\iff\! d\,|\,{-}n,\,$ if $\rm\, c\in D$ is not divisible by $\rm d$ then we

may assume that $\rm c$ is positive, and the least such element. But $\rm\, c-d\,$ is a positive element of $\rm D$ not divisible by $\rm d$

and smaller than $\rm c$, contra leastness of $\rm c$. So $\rm d$ divides every element of $\rm D.\ $ **QED**

**Remark** $ $ The theorem’s proof exploits the fact that the denominator ideal $\rm D$ has the special property that it is closed under multiplication by $\rm\: r\:.\ $ The fundamental role that this property plays becomes clearer when one learns about Dedekind’s notion of a **conductor ideal**. Employing such yields a trivial one-line proof of the generalization that a Dedekind domain is integrally closed since conductor ideals are invertible so cancellable. This viewpoint serves to generalize and unify all of the ad-hoc proofs of this class of results – esp. those proofs that proceed essentially by descent on denominators. This conductor-based **structural** viewpoint is not as well known as it should be – e.g. even some famous number theorists have overlooked this. See my post here for further details.

- Math and Origami
- Proving Stone's Formula for Constructively obtaining the Spectral Measure for $A=A^\star$
- Uniqueness of Duals in a Monoidal Category
- Proof of $\sin nx=2^{n-1}\prod_{k=0}^{n-1} \sin\left( x + \frac{k\pi}{n} \right)$
- The set that only contains itself
- Characteristic polynomial equals minimal polynomial iff $x, Mx, \ldots M^{n-1} x$ are linearly independent
- Is there an isomorphism between factor groups and subgroups of symmetric groups?
- What are the finite order elements of $\mathbb{Q}/\mathbb{Z}$?
- $\int_0^\infty ne^{-nx}\sin\left(\frac1{x}\right)\;dx\to ?$ as $n\to\infty$
- Equicontinuity of $x^n$
- Asymptotic behaviour of a multiple integral on the unit hypercube
- Vector bundle transitions and Čech cohomology
- Show that in a field always $0\ne1$
- Heuristic\iterated construction of the Weierstrass nowhere differentiable function.
- Generalized sophomore's dream