Preuve non constructive
Réponses
-
Que penses tu de $e^{\ln(2)} = 2$ ?
Bon, ça demande quelques prérequis, mais c'est une preuve constructive -
Oui puisque $e^\pi$ et $e^{-\pi/2}$ le sont, mais j'ai sûrement mal compris la question.
Edit : j'ai lu de travers, mais l'idée reste la même. -
Je suis étourdi comme d'habitude la nuit, je corrige la questionLe 😄 Farceur
-
Si $a={\sqrt 2}^{\sqrt 2}$ est rationnel, terminé. Sinon, on observe que $a^{\sqrt 2}=2$ est rationnel.
-
Et en fait $a={\sqrt 2}^{\sqrt 2}$ est transcendant d'après le théorème de Gelfond-Schneider (1934). Mais il n'est pas nécessaire de le savoir pour répondre à la question posée.
-
Ah oui, la réponse était sous mon nez merci ChaurienLe 😄 Farceur
-
C'était le PB 26 dans Le Petit Archimède 15-16, juin 1975, p. 42 http://www.lepetitarchimede.fr/pa/PA15-16.pdf
Solution dans Le Petit Archimède 19, septembre 1975, p. 22. http://www.lepetitarchimede.fr/pa/PA19.pdf
Mais j'ignore qui a trouvé cet exemple, Halmos ?
Bonne journée.
Fr. Ch. -
Lorsque, on a compris l'idée, on peut donner d' autres exemples. par exemple celui de Tryss. Si $a=e^{\frac 1{\pi}}$ est rationnel, terminé. Sinon, on observe que $a^{\pi\ln2}=2$ est rationnelLe 😄 Farceur
-
Un autre type de preuve non constructive :
On note $\mathbb{I}$ l'ensemble des irrationnels
Considérons la fonction $f_x:\mathbb{R}^+ \to \mathbb{R}^+$ définie par $f_x(y) = x^y$.
Soit $x>1$ irrationnel. $f_x$ est strictement croissante sur $\mathbb{R}^+$, donc bijective, donc le cardinal de $f_x(\mathbb{I}^+) $ est égal à celui de $\mathbb{I}^+$, donc strictement plus grand que celui de $\mathbb{Q}$
Ainsi, il existe $y \in \mathbb{I}^+$ tel que $f_x(y) = x^y \not\in \mathbb{Q}$ -
Bonjour Gebrane.
Je ne sais pas ce qu'est une preuve non constructive.
1/ il existe \( x \in \R_+^*, \; x^x = 2 \).
2/ Ce réel \( x \) est irrationnel.
Est-ce que ça répond à ta question ?
amicalement,
e.v.Personne n'a raison contre un enfant qui pleure. -
Bonjour,
Moi aussi j'ai du mal à savoir ce qu'est une preuve constructive. Dans l'exemple d'ev, on a une formule pour le nombre trouvé : $x=\sup\{y>0\mid y^y<2\}$. Et on est théoriquement capable de calculer autant de décimales de $x$ qu'on veut. Est-ce que ça n'en fait pas une preuve constructive ? -
D'accord, il y a un réel $x>0$ tel que $x^x=2$, mais prouver qu'il est irrationnel, c'est sans doute faisable, comme pour $\sqrt 2$, mais ce n'est pas immédiat, non ?.
-
Pour une preuve non constructive de l'existence de deux irrationnels (ou même transcendants $x$ et $y$), un simple argument de cardinalité suffit. Il existe par exemple un ensemble non dénombrable de couples de réels strictement positifs $(x,y)$ tels que $x^y = 2$. Or seul un sous-ensemble dénombrable de ceux-ci à une coordonnée rationnelle. Il y en a donc forcément d'autres.
-
Supposons que $x=\frac{a}{b}$ avec $a,b$ entiers naturels premiers entre eux. On a $a^a=2^bb^a$ donc $av_2(a)=b+av_2(b)$. On en déduit que $a$ divise $b$ donc $a=1$. Il vient $1=2^bb$ ce qui est impossible.
-
La preuve classique de Chaurien doit-elle être considérée constructive ou non ? En quelque sorte on exhibe modulo une discussion. -
En admettant le théorème de Lindemann, est-ce que l’on ne pourrait pas s’en sortir avec le théorème des valeurs intermédiaires appliqué à la fonction exponentielle ?
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 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