Raisonnement par récurrence
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 17:37
Bonjour à tous : :happy3:
Je bute un peu sur l'exo suivant :
Soit

:
Soient

tels que :
 $)
avec :
 $)
l'ensemble des racines unités d'ordre

.
 $)
Trouver :
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}) $)
 $)
En déduire par recurrence l'expression de :
 (\displaystyle \sum_{k=0}^{n-1} \ a_{k}^{j} \ e^{a_{i}x}) $)
avec :

tels que :
 $)
avec :
 $)
l'ensemble des racines unités d'ordre

.
Dèjà pour la première question , c'est pas gagné ! Avez vous des pistes à me suggerer ? :happy3:
Merci d'avance ! :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 18:27
barbu23 a écrit:Soit

:
Soient

tels que :
 $)
avec :
 $)
l'ensemble des racines unités d'ordre

.
 $)
Trouver :
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}) $)
Voiçi ce que je trouve : :happy3:
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}) = \displaystyle \sum_{i=0}^{3} \displaystyle \sum_{i=0}^{3} (a_{j}^{-i} a_{i}^{j} ) e^{(a_{i}+a_{k})x})<br />$)
Je connais un résultat qui dit que :

pour tout

est ce vrai ? :happy3:
Après, qu'est ce qu'on fait ? :happy3:
-
Finrod
- Membre Irrationnel
- Messages: 1944
- Enregistré le: 24 Sep 2009, 10:00
-
par Finrod » 25 Jan 2010, 18:36
ça à l'air oui. tu peux vérifier toi même en écrivant les racines sous forme cplx

, n=3 ici.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 18:40
Finrod a écrit:ça à l'air oui. tu peux vérifier toi même en écrivant les racines sous forme cplx

, n=3 ici.
Donc : :happy3:
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}) = \displaystyle \sum_{i=0}^{3} \displaystyle \sum_{k=0}^{3} e^{(a_{i}+a_{k})x} $)
Après qu'est ce qu'on fait ? :happy3:
Merci d'avance ! :happy3:
-
Finrod
- Membre Irrationnel
- Messages: 1944
- Enregistré le: 24 Sep 2009, 10:00
-
par Finrod » 25 Jan 2010, 18:44
Il y a un pb dans l'énoncé.
La première somme est sur i , la seconde sur k.
Il y a un j qui apparait, on ne sait pas pourquoi, mais encore, ça pourquoi pas.
Mais le i dans la seconde somme, c'est un conflit de notation. Il ne peut pas varier dans une somme et exister en dehors...
t'es sûr qu'on ne te demande pas de calculer un double somme ? (les parenthèses ne sont ptet pas bien placées ?)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 18:53
Finrod a écrit:Il y a un pb dans l'énoncé.
La première somme est sur i , la seconde sur k.
Il y a un j qui apparait, on ne sait pas pourquoi, mais encore, ça pourquoi pas.
Mais le i dans la seconde somme, c'est un conflit de notation. Il ne peut pas varier dans une somme et exister en dehors...
t'es sûr qu'on ne te demande pas de calculer un double somme ? (les parenthèses ne sont ptet pas bien placées ?)
Non, le

, c'est pour designer le

ème éléments de l'ensemble
 $)
avec :

varie de

à

.
-
Finrod
- Membre Irrationnel
- Messages: 1944
- Enregistré le: 24 Sep 2009, 10:00
-
par Finrod » 25 Jan 2010, 18:54
ça ok mais comment t'explique le i dans la somme sur k ?
(Je parierais sur une faute de frappe)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 18:56
Finrod a écrit:ça ok mais comment t'explique le i dans la somme sur k ?
(Je parierai sur une faute de frappe)
Regarde mainteannt ! :happy3:
 (\displaystyle \sum_{k=0}^{3} \ a_{k}^{j} \ e^{a_{k}x}) = \displaystyle \sum_{i=0}^{3} \displaystyle \sum_{k=0}^{3} ( a_{j}^{-i} a_{k}^{j} ) e^{(a_{i}+a_{k})x} $)

que si

! :happy3:
-
Finrod
- Membre Irrationnel
- Messages: 1944
- Enregistré le: 24 Sep 2009, 10:00
-
par Finrod » 25 Jan 2010, 19:05
ça se simplifie bien si tu utilise plutôt la formule de Cauchy.
En lien dans mon premier post.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 19:08
Oui, mais le problème , c'est qu'il n'y'a pas cette forme d'écriture :
 e^{(a_{i}+a_{k})x} $)
sur ton lien ! c'est different malheureusement ! :happy3:
Merci de votre aide ! :happy3:
-
Finrod
- Membre Irrationnel
- Messages: 1944
- Enregistré le: 24 Sep 2009, 10:00
-
par Finrod » 25 Jan 2010, 19:12
Ben oui mais l'autre forme est mieux et il faut la prouver.
Pour n=3 ça se fait. Puis par récurrence.
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 19:15
Finrod a écrit:Ben oui mais l'autre forme est mieux et il faut la prouver.
Pour n=3 ça se fait. Puis par récurrence.
Oui, mais je ne sais pas le faire sincèrement, parceque à la place de l'exposant , je ne sais pas quoi mettre, car il ny'a pas d'entier, mais il n'y'a que

et

qui ne sont pas des entiers ! :hum: :hein:
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 25 Jan 2010, 19:15
Juste une remarque : Il me semble que les gros symboles sigma et les doubles indice, quand on n'a que 3 termes... c'est pas complètement indispensable.
Il ma semble qu'un petit :
Je pose
)
qui vérifie

et

.
Les racines troisièmes de l'unité sont alors

,

et

et le produit
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}))
s'écrit
(modulo les 2/3 erreurs, en particulier d'indices, dont nous a gratifié barbu en recopiant son énoncé...)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 19:18
Ben314 a écrit:Juste une remarque : Il me semble que les gros symboles sigma et les doubles indice, quand on n'a que 3 termes... c'est pas complètement indispensable.
Il ma semble qu'un petit :
Je pose
)
qui vérifie

et

.
Les racines troisièmes de l'unité sont alors

,

et

et le produit
 (\displaystyle \sum_{k=0}^{3} \ a_{i}^{j} \ e^{a_{k}x}))
s'écrit
(modulo les 2/3 erreurs, en particulier d'indices, dont nous a gratifié barbu en recopiant son énoncé...)
Oui, mais pour la deuxième question, cette methode ne fonctionne pas à mon avis Ben314 ! :happy3:
D'aleurs c'est égale à ça :
(e^x+\omega^{-1} e^{\omega x}+\omega^{-2}e^{\omega^2 x}) $)
Donc, pas comme ce que tu as écrit Ben314 ! :happy3:
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 19:37
barbu23 a écrit:Oui, mais pour la deuxième question, cette methode ne fonctionne pas à mon avis Ben314 ! :happy3:
D'aleurs c'est égale à ça :
(e^x+\omega^{-1} e^{\omega x}+\omega^{-2}e^{\omega^2 x}) $)
Donc, pas comme ce que tu as écrit Ben314 ! :happy3:
(e^x+\omega^{-1} e^{\omega x}+\omega^{-2}e^{\omega^2 x}) =<br />\\<br />e^{2x} + \omega^{-1} e^{(1+\omega) x}+\omega^{-2}e^{(1+\omega^2) x}<br />\\<br />+ \omega e^{(1+\omega) x} + e^{2\omega x}+\omega^{-1} e^{(\omega + \omega^2 )x}<br />\\<br />+ \omega^{2}e^{(1+\omega^2) x} + \omega e^{(\omega+ \omega^2 )x} + e^{2\omega^2 x}<br />= \\ e^{2x} + \omega^{-1} e^{(-\omega^2) x}+\omega^{-2}e^{(-\omega) x}<br />\\<br />+ \omega e^{(-\omega^2) x} + e^{2\omega x}+\omega^{-1} e^{-x}<br />\\<br />+ \omega^{2}e^{(-\omega) x} + \omega e^{-x} + e^{2\omega^2 x}<br />= \\<br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br /><br />e^{2x} - e^{(-\omega^{2})x} - e^{(-\omega)x} + e^{2 \omega x} - e^{-x} +e^{2\omega^{2} x} <br />$)
-
barbu23
- Membre Transcendant
- Messages: 5466
- Enregistré le: 18 Fév 2007, 17:04
-
par barbu23 » 25 Jan 2010, 19:50
Après, comment simplifier ? :happy3:
Merci d'avance ! :happy3:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 282 invités