Nouveaux bizuths = nouveau challenge

Questions d’ordre mathématique et petits défis
Règles du forum
Pas d’aide aux devoirs de lycée ! ;-)
Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 08 août 2013, 13:46

Mwoké… Alors je vais essayer de finir ça !
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement 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 2017 ↝ prep’ÉNA

JoanSivion
Conseiller départemental
Messages : 155
Inscription : 30 avr. 2012, 13:29

Re: Nouveaux bizuths = nouveau challenge

Messagepar JoanSivion » 17 août 2013, 19:11

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)
2012-2013 : MPSI 1
2013 -2014 : XM

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 17 août 2013, 20:31

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 :D
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement 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 2017 ↝ prep’ÉNA

JoanSivion
Conseiller départemental
Messages : 155
Inscription : 30 avr. 2012, 13:29

Re: Nouveaux bizuths = nouveau challenge

Messagepar JoanSivion » 17 août 2013, 21:06

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 !
2012-2013 : MPSI 1
2013 -2014 : XM

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 17 août 2013, 22:27

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. Anciennement 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 2017 ↝ prep’ÉNA

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 17 août 2013, 23:35

Bon, évidemment, c’était une erreur de calcul stupide qui me bloquait… :oops:
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 :
factorisation.png
factorisation.png (11.56 Kio) Consulté 682 fois


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. Anciennement 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 2017 ↝ prep’ÉNA

Avatar de l’utilisateur
Mati
Conseiller régional
Messages : 216
Inscription : 07 juin 2012, 20:56

Re: Nouveaux bizuths = nouveau challenge

Messagepar Mati » 18 août 2013, 00:30

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…
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 18 août 2013, 00:57

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. Anciennement 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 2017 ↝ prep’ÉNA

Avatar de l’utilisateur
Mati
Conseiller régional
Messages : 216
Inscription : 07 juin 2012, 20:56

Re: Nouveaux bizuths = nouveau challenge

Messagepar Mati » 18 août 2013, 07:37

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 ;)
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar

Avatar de l’utilisateur
lavi
Sénateur
Messages : 620
Inscription : 07 juin 2012, 18:26

Re: Nouveaux bizuths = nouveau challenge

Messagepar lavi » 18 août 2013, 11:24

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

Avatar de l’utilisateur
Mati
Conseiller régional
Messages : 216
Inscription : 07 juin 2012, 20:56

Re: Nouveaux bizuths = nouveau challenge

Messagepar Mati » 18 août 2013, 21:59

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)…
[2012-2013] MPSI 1 ~ Choco PO(ps) Majorette
[2013-2014] XM2
[2014-......] Grenoble INP - Esisar

Avatar de l’utilisateur
lavi
Sénateur
Messages : 620
Inscription : 07 juin 2012, 18:26

Re: Nouveaux bizuths = nouveau challenge

Messagepar lavi » 19 août 2013, 09:23

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

Timot
Conseiller municipal
Messages : 16
Inscription : 13 août 2013, 18:25

Re: Nouveaux bizuths = nouveau challenge

Messagepar Timot » 25 août 2013, 20:52

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 :D )
2009-2010 : MPSI1
2010-2011 : MP* Jimmy!
2011- : ENS Lyon Info

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11332
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Nouveaux bizuths = nouveau challenge

Messagepar Miltøn » 29 mai 2014, 16:27

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. Anciennement 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 2017 ↝ prep’ÉNA


Revenir vers « Forum maths »

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 1 invité