Évaristette, décembre 2018
Chères amies, chers amis de Galois
Vous connaissez toutes et tous les déboires d’Évariste pour son entrée à l’École polytechnique alors vengez-le en résolvant des questions du concours d'entrée des années trente.
Question a (Posée par Poinsot).
"Prouver que racine de 2 et l2 (écriture de l'époque pour signifier logarithme népérien de 2) sont incommensurables" (Source: Le Géomètre, 1836, pp. 221-223).
À vos plumes vengeresses.
Ce 23 décembre 2018, un ami d’Évariste (non polytechnicien).
Vous connaissez toutes et tous les déboires d’Évariste pour son entrée à l’École polytechnique alors vengez-le en résolvant des questions du concours d'entrée des années trente.
Question a (Posée par Poinsot).
"Prouver que racine de 2 et l2 (écriture de l'époque pour signifier logarithme népérien de 2) sont incommensurables" (Source: Le Géomètre, 1836, pp. 221-223).
À vos plumes vengeresses.
Ce 23 décembre 2018, un ami d’Évariste (non polytechnicien).
Réponses
-
On a le droit au théorème de Hermite--Lindemann ?
On suppose qu'il existe $p,q\in\mathbb{Z}$ tels que $p\sqrt{2}=q\ln2$, d'où $e^{p\sqrt{2}}=2^q$. Puisque $p\sqrt{2}$ est algébrique, $e^{p\sqrt{2}}$ est transcendant (d'après le théorème de Hermite--Lindemann ) et donc $2^q$ est aussi transcendant, absurde. -
… merci Eric. En tout cas, Galois, en 1829, n'y avait pas droit …. bonne soirée. Norbert.
-
@Eric : Hermite-Lindemann implique immédiatement que $\log 2$ est transcendant, en particulier irrationnel.
Sans l'artillerie lourde, je partirais comme ça : on suppose par l'absurde que $2^p = \mathrm{e}^{2q}$ pour des entiers $p$ et $q$ non nuls. On a $$\mathrm{e}^{2q} = \sum_{n=0}^{+\infty} \frac{(2q)^n}{n!}.$$ Pour $N \in \mathbb N$, notons $$S_N := \sum_{n=0}^{N} \frac{(2q)^n}{n!}.$$ D'après la formule de Taylor avec reste intégral, on a pour tout $N \geq 0$, $$\mathrm{e}^{2q} = S_N + \frac{(2q)^{N+1}}{N!} \int_0^1 (1-t)^N \mathrm{e}^{2qt} \,dt$$ d'où classiquement $$0 \leq 2^p - S_N \leq \frac{(2q)^{N+1}}{(N+1)!} 2^p.$$ On a donc les inégalités $$1 + \sum_{n=1}^{N} \frac{(2q)^n}{n!} \leq 2^p \leq 1 + \sum_{n=1}^{N} \frac{(2q)^n}{n!} + \frac{(2q)^{N+1}}{(N+1)!} 2^p.$$ Peut-être qu'en raisonnant sur la valuation $2$-adique et en jouant sur la valeur de $N$ et de $q$ on peut tomber sur une contradiction. -
… et pour commencer 2019, que je vous souhaite la meilleure possible, un article de référence sur le concours d'entrée à l'Ecole polytechnique:
https://journals.openedition.org/histoire-education/827
À très vite. N.V. -
Personne n'a de solution élémentaire ?
-
Il y a une démonstration élémentaire de ce que si $r$ est un irrationnel rationnel non nul, alors $e^r$ est irrationnel, par Ivan Niven, dans la même veine que sa démonstration bien connue de l'irrationalité de $\pi$ et $\pi^2$.
On la trouve dans Hardy & Wright, ou bien dans : Ivan Niven, Irrational Numbers, The Carus Mathematical Monographs, No 11, The MAA, 1956.
Bonne soirée.
Fr. Ch.
[Corrigé selon tes indications. AD] -
Le dit « article de référence » proposé par Norbert Verdier est excellent dans sa partie informative qui fait l'objet des paragraphes I à V, mais le paragraphe VI fait apparaître une hostilité à l'égard du système français des Grandes Écoles et de leurs Classes Préparatoires, et l'on prendra garde à ne pas adopter aveuglément ses conclusions, qui ne sont pas des corollaires de l'étude historique précédente, mais seulement l'exposé des opinions constantes de l'auteur.
Bonne soirée.
Fr. Ch. -
@ AD
Oups... lire :
« Si $r$ est un rationnel non nul alors $e^r$ est irrationnel ».
[Bien sûr, j'ai corrigé, mais tu aurais pu le corriger toi-même. :-) AD]
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.5K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres