Exos sympas MP(*)

Un problème, une question, un nouveau théorème ?

Messages : 2712

Enregistré le : 14 juil. 2011 00:58

Localisation : Lyon - Paris

Re: Exos sympas MP(*)

Message par Nico_ » 08 août 2012 19:37

Mouais. C'est l'idée en effet. Mais la 1ère étape est facile je trouve (encore plus pour ceux qui ont fait ENS2006). C'est après que ça se complique :twisted:
MPSI/MP* -- Lycée du Parc
École Normale Supérieure -- Ulm

Ne répond pas aux relous par MP.

Messages : 1283

Enregistré le : 26 août 2011 01:06

Re: Exos sympas MP(*)

Message par ØļivierŏđÐ » 08 août 2012 22:16

Il y a la résolution de l'étape 2 qui peut sembler vraiment parachutée (si on la résout avec un outil pas vraiment au programme : j'ai du réfléchir avant d'y penser), mais la 3 est plus classique (mais quand même loin d'être triviale, hein :wink: ).

Messages : 2712

Enregistré le : 14 juil. 2011 00:58

Localisation : Lyon - Paris

Re: Exos sympas MP(*)

Message par Nico_ » 08 août 2012 22:41

Oui c'est la deux où il faut avoir de l'idée. Tu l'avais déjà fait Olivier ? Tu le trouves pas super quand même cet exo ? :(

PS : Tu sais le résoudre avec du HP (je veux dire : très très HP) ?
MPSI/MP* -- Lycée du Parc
École Normale Supérieure -- Ulm

Ne répond pas aux relous par MP.

Messages : 1283

Enregistré le : 26 août 2011 01:06

Re: Exos sympas MP(*)

Message par ØļivierŏđÐ » 08 août 2012 22:51

Nico_ a écrit :Tu l'avais déjà fait Olivier ?
Non non, je ne connaissais pas (aucune des étapes).
Nico_ a écrit :Oui c'est la deux où il faut avoir de l'idée [...] Tu sais le résoudre avec du HP (je veux dire : très très HP) ?
Ca dépend de ce que tu entends par très très HP :mrgreen:
SPOILER:
les réseaux et les bases entières
Nico_ a écrit :Tu le trouves pas super quand même cet exo ? :(
Ah si, je le trouve génial :D . Pour moi, classique ne veut pas du tout dire sans intérêt ou commun. Ça veut juste dire que ça utilise des notions qui reviennent assez souvent en prépa. Mais je suis d'accord avec toi : l'exo est superbe. :)

Messages : 1816

Enregistré le : 11 juin 2011 22:15

Localisation : En cavale

Re: Exos sympas MP(*)

Message par brank » 08 août 2012 22:54

oh c'est quoi ta preuve avec les réseaux Olivier ?
C'est une fiotte.

Messages : 2712

Enregistré le : 14 juil. 2011 00:58

Localisation : Lyon - Paris

Re: Exos sympas MP(*)

Message par Nico_ » 08 août 2012 22:57

ØļivierŏđÐ a écrit :Non non, je ne connaissais pas (aucune des étapes).
Ok :)
ØļivierŏđÐ a écrit : Ca dépende de ce que tu entends par très très HP :mrgreen:
SPOILER:
les réseaux et les bases entières
Ah non non, je parlais de choses plus "élaborées" (que je ne maîtrise pas, mais je pense qu'on peut aboutir au résultat avec ces trucs). Par contre je ne vois pas trop le truc avec ton spoiler... :?
ØļivierŏđÐ a écrit :Ah si, je le trouve génial :D . Pour moi, classique ne veut pas du tout dire sans intérêt ou commun. Ça veut juste dire que ça utilise des notions qui reviennent assez souvent en prépa. Mais je suis d'accord avec toi : l'exo est superbe. :)
:) Non, je ne disais pas ça par réaction à ton "classique", c'était une question sans a priori.
MPSI/MP* -- Lycée du Parc
École Normale Supérieure -- Ulm

Ne répond pas aux relous par MP.

Messages : 1283

Enregistré le : 26 août 2011 01:06

Re: Exos sympas MP(*)

Message par ØļivierŏđÐ » 08 août 2012 23:08

brank a écrit :oh c'est quoi ta preuve avec les réseaux Olivier ?
SPOILER:
Tu construis un réseau de rang k stable par tous les éléments de G, et tu en prends une base entière. Avec ce changement de base, les matrices de G seront semblables à des éléments de $ GL_k(\mathbb{Z}) $
Nico_ a écrit : Ah non non, je parlais de choses plus "élaborées" (que je ne maîtrise pas, mais je pense qu'on peut aboutir au résultat avec ces trucs). Par contre je ne vois pas trop le truc avec ton spoiler... :?
Ah ben tu sais, les réseaux ça fait partie du HP maximal pour moi :mrgreen:

Messages : 2712

Enregistré le : 14 juil. 2011 00:58

Localisation : Lyon - Paris

Re: Exos sympas MP(*)

Message par Nico_ » 09 août 2012 15:49

ØļivierŏđÐ a écrit :
brank a écrit :oh c'est quoi ta preuve avec les réseaux Olivier ?
SPOILER:
Tu construis un réseau de rang k stable par tous les éléments de G, et tu en prends une base entière. Avec ce changement de base, les matrices de G seront semblables à des éléments de $ GL_k(\mathbb{Z}) $
Après 10min de bug : je crois que je vois :) Mais j'ai pas fait comme ça.

(Oh, Eraviste est arrivé.)
MPSI/MP* -- Lycée du Parc
École Normale Supérieure -- Ulm

Ne répond pas aux relous par MP.

Messages : 2829

Enregistré le : 08 août 2010 18:20

Re: Exos sympas MP(*)

Message par VincentR » 09 août 2012 16:04

Tu vas changer d'avatar chaque semaine ? Je parie que le prochain c'est Euler.
PS: Nico, c'est Evariste.

Messages : 2712

Enregistré le : 14 juil. 2011 00:58

Localisation : Lyon - Paris

Re: Exos sympas MP(*)

Message par Nico_ » 09 août 2012 16:15

Ah oui, j'ai toujours un problème avec ce prénom. Et avec réfrégirateur/réfrigérateur aussi :)
MPSI/MP* -- Lycée du Parc
École Normale Supérieure -- Ulm

Ne répond pas aux relous par MP.

Répondre