Raisonnement par récurrence
Soient a et b deux nombres reéls strictement positifs a+b=1
Montrer que:(1+1/an)(1+1/bn)>(1+2n)2
Montrer que:(1+1/an)(1+1/bn)>(1+2n)2
Réponses
-
Qui est $n$ ?
-
Un entier naturel
-
Pour $n \in \mathbb N^*$ la fonction $f:x \mapsto \ln(1+x^{-n})$ est strictement convexe sur $]0,+ \infty[$, et le résultat en découle.
-
Pas de récurrence là-dedans, il faudrait changer le titre.
-
Salut Chaurien, j'espère que tu vas bien. Il m'aurait paru plus exact de dire "pas besoin de récurrence". On peut prouver n'importe quel théorème, y compris $0=0$, par récurrence.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
CC a écrit:On peut prouver n'importe quel théorème, y compris $0=0$, par récurrence.
C'est vrai Christophe ? Même la conjecture de Hodge ? Comment ? -
J'ai dit "tout théorème" et non pas tout énoncé.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
Peux-tu développer Christophe stp? Comment fais-tu pour montrer que 0=0 par récurrence?
Merci -
Tu prends un énoncé P que tu prouves par récurrence, tu en déduis "P et (0=0)" et tu ajoutes " donc 0=0" par exempleAide les autres comme toi-même car ils sont toi, ils sont vraiment toi
-
Comment tu en déduis que «P et 0=0» sachant que tu n'as pas prouvé que P par récurrence?
-
@Smith : Sinon, tu poses, pour tout $n \in \mathbb{N}$, $P_n := "0=0"$. $P_0$ est vraie ! Et pour tout $n$, si $P_n$ est vraie, alors $P_{n+1}$ est vraie. Et donc, par récurrence, on a bien démontré que pour tout $n$, $P_n$. Et donc $P_{1729}$, et donc $0=0$.
-
Ok je comprends la subtilité, effectivement on peut alors prouver théorème par récurrence. Il faut que je me forme à la logique. Merci Christophe et merci auusi Georges.
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