Nouveaux bizuths = nouveau challenge
Règles du forum
Pas d’aide aux devoirs de lycée !
Pas d’aide aux devoirs de lycée !

- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
Mwoké… Alors je vais essayer de finir ça !
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
-
- Conseiller départemental
- Messages : 155
- Inscription : 30 avr. 2012, 13:29
Re: Nouveaux bizuths = nouveau challenge
Bon, comme ca a pas l'air de beaucoup avancer, voici une question intermédiaire 
Résoudre dans C l'equation z^n = 1 (où n entier naturel non nul)

Résoudre dans C l'equation z^n = 1 (où n entier naturel non nul)
2012-2013 : MPSI 1
2013 -2014 : XM
2013 -2014 : XM
- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
JoanSivion a écrit :Bon, comme ca a pas l'air de beaucoup avancer, voici une question intermédiaire
Résoudre dans C l'equation z^n = 1 (où n entier naturel non nul)
Ça ce n’est pas bien difficile : c’est l’ensemble S = {e^(i×2π/n)|i ∊ [[0;n]]}
Le reste, je n’ai pas vraiment eu le temps de m’y concentrer

Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
-
- Conseiller départemental
- Messages : 155
- Inscription : 30 avr. 2012, 13:29
Re: Nouveaux bizuths = nouveau challenge
Tu voulais plutot dire S = {e^(i×2kπ/n)|k ∊ [[0;n]]} , mais c'est une faute de frappe c'est pas très grave. 
Par contre, ton indice se ballade soit entre 0 et n-1 soit entre 1 et n, car sinon tu as une redondance.
Bon alors maintenant à partir de ça, tu as quasiment tout l'exo de fait !

Par contre, ton indice se ballade soit entre 0 et n-1 soit entre 1 et n, car sinon tu as une redondance.
Bon alors maintenant à partir de ça, tu as quasiment tout l'exo de fait !
2012-2013 : MPSI 1
2013 -2014 : XM
2013 -2014 : XM
- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
JoanSivion a écrit :Tu voulais plutot dire S = {e^(i×2kπ/n)|k ∊ [[0;n]]} , mais c'est une faute de frappe c'est pas très grave.
Par contre, ton indice se ballade soit entre 0 et n-1 soit entre 1 et n, car sinon tu as une redondance.
Bon alors maintenant à partir de ça, tu as quasiment tout l'exo de fait !
Euh ouais, en fait j’avais pensé à i comme variable muette sans penser que c’était aussi l’unité imaginaire ^^
Bon, alors je vais regarder la suite cette nuit

Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
Bon, évidemment, c’était une erreur de calcul stupide qui me bloquait…
Donc je pose P_n(x) = x^(2n) -2 cos(na) + 1.
On a alors P_n(x) = [x^n - cos(na)]² + 1 - cos²(na) = [x^n - cos(na)]² + sin²(na) = [x^n - cos(na)]² - [i sin(na)]² = [x^n - exp(nai)][x^n - exp(-nai)]
Ainsi, P_n(x) = 0 ⇔ x^n = exp(nai) ou x^n = exp(-nai) ⇔ x = exp((2kπ/n + a)i) ou x = exp((2kπ/n - a)i), avec k∊[[0;n-1]].
Et donc, on a :
Est-ce que l’on peut bien parler de factorisation dans R[X] alors que mes racines sont complexes ?

Donc je pose P_n(x) = x^(2n) -2 cos(na) + 1.
On a alors P_n(x) = [x^n - cos(na)]² + 1 - cos²(na) = [x^n - cos(na)]² + sin²(na) = [x^n - cos(na)]² - [i sin(na)]² = [x^n - exp(nai)][x^n - exp(-nai)]
Ainsi, P_n(x) = 0 ⇔ x^n = exp(nai) ou x^n = exp(-nai) ⇔ x = exp((2kπ/n + a)i) ou x = exp((2kπ/n - a)i), avec k∊[[0;n-1]].
Et donc, on a :
Est-ce que l’on peut bien parler de factorisation dans R[X] alors que mes racines sont complexes ?
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
- Mati
- Conseiller régional
- Messages : 216
- Inscription : 07 juin 2012, 20:56
Re: Nouveaux bizuths = nouveau challenge
Attention, pour ton deuxième facteur, ce n'est pas exp(i(2kπ/n -a)), mais exp(-i(2kπ/n +a)) !
Mise à part cette erreur de signe, ta factorisation est juste…mais dans C[X] !
Petite indication pour trouver dans R[X] : essaie de voir s'il existe des racines réelles de P_n sous certaines conditions…
Mise à part cette erreur de signe, ta factorisation est juste…mais dans C[X] !
Petite indication pour trouver dans R[X] : essaie de voir s'il existe des racines réelles de P_n sous certaines conditions…
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
Mati a écrit :Attention, pour ton deuxième facteur, ce n'est pas exp(i(2kπ/n -a)), mais exp(-i(2kπ/n +a)) !
Mise à part cette erreur de signe, ta factorisation est juste…mais dans C[X] !
Petite indication pour trouver dans R[X] : essaie de voir s'il existe des racines réelles de P_n sous certaines conditions…
Arf… Je dirais que c’est dans les cas où a est un multiple de 2pi/n, non ? Mais alors, dans ce cas, mon polynôme P_n ne sera pas complètement factorisé, si ?
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
- Mati
- Conseiller régional
- Messages : 216
- Inscription : 07 juin 2012, 20:56
Re: Nouveaux bizuths = nouveau challenge
Quelle racine as-tu dans ce cas là ? Quelle autre racine évidente tu peux trouver sous une autre condition ?
Après avoir répondu à ces questions, tu pourras envisager une petite disjonction de cas afin de résoudre l'exo
Après avoir répondu à ces questions, tu pourras envisager une petite disjonction de cas afin de résoudre l'exo

[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
- lavi
- Sénateur
- Messages : 620
- Inscription : 07 juin 2012, 18:26
Re: Nouveaux bizuths = nouveau challenge
Mati a écrit :Attention, pour ton deuxième facteur, ce n'est pas exp(i(2kπ/n -a)), mais exp(-i(2kπ/n +a)) !
euh... tu es sûre ? moi je trouve comme milton, puisque (X/exp(-ia))^n = 1 d'où X*exp(ia)=exp(i*2kpi/n)
Profession : Pantalon Vert
2012-2013 : PCSI 2 (PV c'est moi
)
2013-2014 : PC*
Fier membre du BDE de l'ENS de Lyon
2012-2013 : PCSI 2 (PV c'est moi

2013-2014 : PC*
Fier membre du BDE de l'ENS de Lyon
- Mati
- Conseiller régional
- Messages : 216
- Inscription : 07 juin 2012, 20:56
Re: Nouveaux bizuths = nouveau challenge
On a X^(2n) − 2 cos(na)X^n + 1 = (X^n − exp(ina))(X^n − e(−ina))
Tu es d'accord que exp(i(2kπ/n +a)) avec k qui appartient à {0,...,n-1} est racine de X^n - exp(ina) ? En conjuguant, on a les racines de X^n - exp(-ina)…
Tu es d'accord que exp(i(2kπ/n +a)) avec k qui appartient à {0,...,n-1} est racine de X^n - exp(ina) ? En conjuguant, on a les racines de X^n - exp(-ina)…
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar
- lavi
- Sénateur
- Messages : 620
- Inscription : 07 juin 2012, 18:26
Re: Nouveaux bizuths = nouveau challenge
euh... oui autant pour moi, c'est juste une autre façon de parcourir l'ensemble des solutions puisque exp_complexe est 2pi périodique *facepalm*
Profession : Pantalon Vert
2012-2013 : PCSI 2 (PV c'est moi
)
2013-2014 : PC*
Fier membre du BDE de l'ENS de Lyon
2012-2013 : PCSI 2 (PV c'est moi

2013-2014 : PC*
Fier membre du BDE de l'ENS de Lyon
-
- Conseiller municipal
- Messages : 16
- Inscription : 13 août 2013, 18:25
Re: Nouveaux bizuths = nouveau challenge
JoanSivion a écrit :Tu voulais plutot dire S = {e^(i×2kπ/n)|k ∊ [[0;n]]} , mais c'est une faute de frappe c'est pas très grave.
Par contre, ton indice se ballade soit entre 0 et n-1 soit entre 1 et n, car sinon tu as une redondance.
Bon alors maintenant à partir de ça, tu as quasiment tout l'exo de fait !
L'indice varie comme il a envie, il peut aller de moins l'infini à plus l'infini, tant qu'il contient un représentant de chacune des n classes d'équivalence.
Donc son ensemble S est bon. (chipoter pour chipoter, autant le faire jusqu'au bout

2009-2010 : MPSI1
2010-2011 : MP* Jimmy!
2011- : ENS Lyon Info
2010-2011 : MP* Jimmy!
2011- : ENS Lyon Info
- Miltøn
- Premier consul
- Messages : 11049
- Inscription : 14 juin 2013, 21:14
- Localisation : K-fêt
Re: Nouveaux bizuths = nouveau challenge
JoanSivion a écrit :Je relance le topic avec un petit exo si certains s'ennuient![]()
Factoriser dans R[X] (c'est à dire "l'ensemble des polynômes à coefficients réels") : X^(2n) - 2cos(na)*X^(n) + 1 avec n un entier naturel non nul et a dans ]0;Pi[
(Cet exo utilise un bout de cours sur les complexes qui n'est pas au programme du lycée, néanmoins c'est un thème d'étude/exo fréquent en TS, donc bon)
Bouah, ça fait bizarre de retomber sur ce topic, un an après ^^
Khôlleur en mathématiques, chargé de TD d’informatique. Bidouilleur-technicien et ex-codictateur du forum.
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »
Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA
Qui est en ligne ?
Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 1 invité