Ca s'est plutôt bien passé ^^ Mais comme j'ai un gros manque d'inspiration, je passe direct à l'exercice.
L'exercice principal :
Soit P de degré >=1.
On suppose que cos(P(n))_n\in N admets un nombre fini de valeur d'adhérence. Montrer que P-P(0) est dans pi*Q[X]
Je donne plusieurs indications, c'était un peu une discussion, il m'en donnait beaucoup, c'était sympa. Je noterai d'une étoile les indications qu'il m'a donné
J'ai assez rapidement du montrer un lemme (on y arrive très vite donc je le cache pas) : Si u_n et v_n sont 2 suites bornées ayant un nombre fini de valeur d'adhérence et f est une fonction continue de R^2 dans R, alors f(u_n,v_n) admets un nombre fini de valeur d'adhérence.
- Indication 1:
Faire une réccurence sur le degré de P
- Indication 2:
Initialisation : Askip, on a fait un exo sur les sous groupes de R pour
- Indication* 3:
Faites diminuer le degré de P
- Indication* 4:
J'avais pensé à écrire P-P(0)=XR et observer si ça marcher pour R... il m'a dit que c'était une idée possible vu l'exercice mais que ça n'aboutirait pas.
J'ai alors pensé à la dérivée discrète (je l'appellerai D), ça marche mieux
- Indication 5:
cos(P(n+1)-P(n)) ça donne envie de connaitre des formules de trigo ! et le lemme...
Exercice terminé, il restait environ 15 minutes, il m'a fait redémontrer les dernières étapes différement (j'avais commencé par une autre méthode, il m'a dit qu'elle marchait mais qu'il voulait pas faire comme ça, du coup, quand j'ai fini, il m'a dit de finir avec ma méthode aussi)
Exercice 2 : (Faut bien tuer le temps)
montrer que u_n = cos(2^n) n'admets pas de limites. L'exercice est pas très compliqué, je mets quand même une indication pour ceux qui veulent juste savoir comment faire et qui ont la flemme d'y réfléchir (ce n'est qu'une méthode parmi d'autres
- Indication:
Par l'absurde, si u_n tends vers l, considérer cos(2^n+1) et sin(2^n+1), et connaitre ses formules de trigo
Exercice 3 : J'ai pas eu le temps de le faire, il restait même pas 5 minutes
Soit G un sous groupe stricte de R, montrer que R\G est non dénombrable.
Je viens de réaliser que pendant les 2 minutes pendant lesquelles je me suis penché sur l'exercice j'ai dis "si x_0 n'appartient pas à G, on considère x_0G... Ah non, c'est pas un groupe..." .......... On va mettre ça sur le dos de la fatigue !
L'examinateur était super sympa, super souriant, c'était une vraie discussion, j'ai bien aimé qu'il me fasse finir l'exo différemment alors que ma méthode fonctionnait (car trop calculatoire selon lui xD). Je suis assez fier, je pense que ça me mets de bonnes condition pour l'ENS de lyon (il suffit de pas se taper 3 en TIPE)