Arcsinus arcsinum fricat.
Ivan Niven et $\sqrt{2}$
dans Arithmétique
Je viens de lire sa démonstration de l’irrationalité de $\sqrt{2}.$
'Sinon, il existe un plus petit entier $n>0$ tel que $n\sqrt{2}$ est entier. Mais $n\sqrt{2}-n$ a la même propriété et est plus petit que $n.$'
'Sinon, il existe un plus petit entier $n>0$ tel que $n\sqrt{2}$ est entier. Mais $n\sqrt{2}-n$ a la même propriété et est plus petit que $n.$'
Réponses
-
Jolie démonstration! Cette démonstration me fait penser à une preuve présentée par une de mes anciennes professeures en utilisant le pliage d’une feuille A4.
-
Sur la page que tu cites, il est écrit : "Cette méthode apparaît dans les Éléments d'Euclide ; par exemple dans la preuve de la Proposition 31 du Livre 7"
-
Ça se généralise à $\sqrt{m}$ où $m$ n'est pas un carré parfait : si $n$ est dans $\N^*$ et vérifie que $n\sqrt{m}$ est entier, alors $n\sqrt{m}-n\lfloor \sqrt{m}\rfloor$ aussi.
-
RE
Une autre preuve simple (est-ce la preuve standard ?) :
sinon, $p^2 = nq^2$ ; la décomposition en facteurs premiers ne contient à gauche que des exposants pairs et contient à droite au moins un exposant impair !...
A+ -
En réponse à une de mes élèves qui avait des penchants constructivistes :-)
Soit $n,a,b\in\Z$ tels que $\gcd(a,b)=1$ et $n=\dfrac{a^2}{b^2}$. Alors :$$n=n\gcd(a^2,b^2)=\gcd(na^2,nb^2)=\gcd(na^2,a^2)=a^2.$$ -
Soit $f: \: \mathbb{Q}(\sqrt{2}) \longrightarrow \mathbb{Q}(\sqrt{2}), \: \: \: a+b\sqrt{2} \mapsto a-b\sqrt{2}$.
En tant qu’automorphisme d’une extension de $\mathbb{Q}$, $f$ fixe tout rationnel (i.e. $f(q)=q, \: \forall q \in \mathbb{Q}$).
Or, $f(\sqrt{2})=-\sqrt{2}$. Donc $\sqrt{2}$ est irrationnel ! -
Si tu veux bien définir la fonction $f$, il me semble qu'il faut vérifier une unicité d'écriture sous la forme $a+b\sqrt 2$, ce qui revient à montrer que $\sqrt 2$ est irrationnel.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres