à l'agrégation externe de mathématiques, en 2014/2015 ment de soi que l'oral de l'agrégation est quelque chose qu'on doit préparer de façon personnelle ;
Previous PDF | Next PDF |
[PDF] Méthodologie de travail pour les oraux de lagrégation externe de ma
de mon année de préparation à l'agrégation, et qui me semblaient pertinents et utiles à consulter certains sites les regroupant (agreg-maths fr, dyna-maths,
[PDF] Développements pour lagrégation externe - ENS Rennes
à l'agrégation externe de mathématiques, en 2014/2015 ment de soi que l'oral de l'agrégation est quelque chose qu'on doit préparer de façon personnelle ;
[PDF] Programme de lagrégation externe de math
Concours externe de l'agrégation du second degré Section mathématiques Programme de la session 2019 Le programme des épreuves de l'agrégation n' est
[PDF] Mes leçons dagrégation
Sur une leçon bateau, il est intéressant de parler d'histoire des maths ou au Francinou, Gianella, Exercices de mathématiques pour l'agrégation - Algèbre 1
[PDF] Le Livre de lAgrégation - Département de Mathématiques dOrsay
Agrégation CRCG mathématiques variés (c'est aussi pour cela que le jury les aime), ce qui permet de le caser dans un nombre conséquent de leçons L'idée
[PDF] Cours danalyse pour lAgrégation Externe de Mathématiques 2019
18 nov 2019 · Ce polycopié contient un cours d'analyse destiné à des étudiants préparant l' Agrégation Externe de Mathématiques; il se base sur le
[PDF] Leçons pour lagrégation de mathématiques - Didier Lesesvre
Leçons pour l'agrégation de mathématiques elle se fait le germe de réflexions et débats autour de ces petits thèmes d'agrégation, j'en serai plus ravi encore
[PDF] PRÉPARATION À LAGRÉGATION EXTERNE DE MATHÉMATIQUES
PRÉPARATION À L'AGRÉGATION EXTERNE DE MATHÉMATIQUES (M2) Les plus de cette formation Le Master mention Mathématiques est la poursuite
[PDF] de lagrégation de mathématiques
de la Formation Professionnelle de l'Enseignement Supérieur et de la Recherche Scientifique Résultat du concours national de l'agrégation de mathématiques
[PDF] Concours daccès au cycle de préparation à lagrégation de
préparation à l'agrégation de Mathématiques Session Février 2014 É ' Durée 4 heures Le sujet comporte 5 pages, en plus de cette page de garde
[PDF] agregation maths 2016
[PDF] agrégation philosophie 2013
[PDF] agrégation philosophie 2017 dates
[PDF] agrégation philosophie 2018 bibliographie
[PDF] agregation physique 2017
[PDF] agregation physique 2018
[PDF] agrégation physique chimie option chimie
[PDF] agregation physique docteur
[PDF] agrément asvp
[PDF] agrément b0 catégorie 3
[PDF] agrément b0 catégorie 3 tunisie
[PDF] agrément b2 catégorie 2 tunisie
[PDF] agrement batiment
[PDF] agrément de transport maroc
Développements
pour l"agrégation externeFlorian LEMONNIERAnnée 2014 - 2015
DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
Avant-propos
Cher agrégatif,
Avant toute chose, bon courage.
Voici, dans ce document, tous les développements que j"ai rédigés durant mon année de préparation
à l"agrégation externe de mathématiques, en 2014/2015. J"ai essayé, le plus souvent possible, d"y ajouter
des annotations, des commentaires, ou des idées à retenir pour les questions.Évidemment, ce document ne peut pas être exempt de coquilles, de mauvaise foi, d"explications trop
elliptiques, ou même d"erreurs mathématiques grossières. Gardez en tête cet avertissement! Il va égale-
ment de soi que l"oral de l"agrégation est quelque chose qu"on doit préparer de façon personnelle; vous
et moi, nous ne pouvons pas avoir les mêmes goûts, ni les mêmes aptitudes. Ce document ne peut pas
être plus qu"une boîte à idées : un développement, ça se prépare et ça se comprend au tableau. Vous ne
travaillerez pas votre rythme de présentation en lisant une feuille de papier!Je ne peux absolument pas assumer seul la paternité de ce document, car beaucoup d"idées m"ont été
inspirées par d"autres personnes que je tiens tout particulièrement à remercier :ceux et celles qui, par le passé, ont mis en ligne leurs développements, ou leurs plans résumés (et
tout particulièrement Arnaud GIRAND, Ophélie ROUBYet Hélène HIVERT);ceux et celles qui, durant l"année, o ntvu et/ou lu certains de mes développements, et qui m"ont
permis de les corriger et/ou de les enrichir de commentaires, d"idées, ou de questions (et parmi eux, notamment, Arnaud STOCKER, Laura GAY, Maud JOUBAUDet Caroline ROBET);les enseignants qui ont encadré la préparation à l"ENS Rennes et à l"université Rennes 1 durant
l"année 2014/2015, et qui nous ont posé des questions "classiques".développements ont été considérablement modifiés entre la référence utilisée et le développement final.
C"est comme ça!
Chaque développement est précédé d"une liste de leçons : celles écrites en droit correspondent à mes
couplages en fin d"année; celles écrites en penché correspondent à d"autres couplages possibles, mais
qui me plaisaient moins (ou à une cruelle présence de mauvaise foi). Bien sûr, je reste ouvert à toute remarque de votre part.Florian LEMONNIER2 Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
Table des matières
1 Développements d"algèbre 5
1.1 Automorphismes deK(X). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5
1.2 Borne de Bézout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71.3 Décomposition de Dunford . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91.4 Dual deMn(K). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11
1.5 Ellipse de Steiner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
131.6 Étude de l"anneauZh1+ip19
2 i 161.7 Étude du groupe O(p,q). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .18
1.8 Groupes d"isométries du tétraèdre et du cube . . . . . . . . . . . . . . . . . . . . . . . . . .
211.9 Irréductibilité des polynômes cyclotomiques surZ. . . . . . . . . . . . . . . . . . . . . . .23
1.10 Polygones réguliers constructibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
251.11 Polynômes irréductibles surFq. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .27
1.12 Réduction des endomorphismes normaux . . . . . . . . . . . . . . . . . . . . . . . . . . . .
291.13 Simplicité deAnpourn>5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .31
1.14 Sous-groupes distingués et caractères . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
331.15 Table de caractères deDn. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .35
1.16 Table de caractères deS4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .37
1.17 Théorème de Burnside . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
401.18 Théorème de Frobenius-Zolotarev . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
421.19 Théorème de Kronecker et application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
441.20 Théorème de Molien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
461.21 Théorème des deux carrés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4850
2 Développements d"analyse 52
2.1 Algorithme du gradient à pas optimal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
522.2 Densité des fonctions continues nulle part dérivables . . . . . . . . . . . . . . . . . . . . .
552.3 Densité des polynômes orthogonaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
572.4 Équation de la chaleur sur un anneau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
592.5 Estimateur du maximum de vraisemblance pour le paramètre d"une loiU([0,q]). . . . .61
2.6 Étude de vp1x
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .632.7 Formule des compléments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
662.8 Formule sommatoire de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
682.9 Harmonicité et propriété de la moyenne . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
712.10 Inégalité de Hoeffding et application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
732.11 Intégrale de Fresnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
752.12 Méthode de Newton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
772.13 Méthode des petits pas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
792.14 Nombre de zéros des solutions d"une équation différentielle . . . . . . . . . . . . . . . . .
812.15 Processus de Galton-Watson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
832.16 Théorème Central Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
872.17 Théorème de Bernstein (sur les séries entières) . . . . . . . . . . . . . . . . . . . . . . . . .
892.18 Théorème de Cauchy-Lipschitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
912.19 Théorème de réarrangement de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . .
932.20 Théorème de Riesz-Fischer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
952.21 Théorème de Stampacchia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
972.22 Théorème de Weierstrass par les polynômes de Bernstein . . . . . . . . . . . . . . . . . . .
992.23 Théorèmes d"Abel angulaire et taubérien faible . . . . . . . . . . . . . . . . . . . . . . . . .
1012.24 Transformée de Fourier-Plancherel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
103 Florian LEMONNIER3
Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
3 Les inclassables105
3.1 Ellipsoïde de John-Loewner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1053.2 Lemme de Morse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1083.3 Partitions d"un entier en parts fixées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1103.4 SO
3(R)est simple, mais pas seulement . . . . . . . . . . . . . . . . . . . . . . . . . . . . .112
3.5 Sous-groupes compacts de GL
n(R). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1143.6 Surjectivité de l"exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1163.7 Théorème des extrema liés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1184 Ils sont passés à la trappe! 121
4.1 Développement asymptotique de la série harmonique . . . . . . . . . . . . . . . . . . . . .
1214.2 Distributions à support ponctuel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1234.3 Inversion de la transformée de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1264.4 Ruine du joueur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1284.5 Théorème de Carathéodory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1304.6 Théorème de Sophie Germain . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1324.7 Théorème des événements rares de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . .
1345 Vous serez content d"avoir préparé ça si on vous pose des questions dessus 136
5.1 Anneaux euclidiens, principaux, factoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1365.2 Groupe multiplicatif d"un corps fini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
139 Florian LEMONNIER4
Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
Automorphismes deK(X)
Leçons : 140,141
[X-ENS Al1], exercice 5.54ThéorèmeSoitKun corps quelconque.
K(X)!K(X)
G7!GaX+bcX+d
Étape 1 :Déterminons les endomorphismes deK-algèbres deK(X). SoitFun endomorphisme deK-algèbres deK(X). PosonsF=F(X).SoitP=å
k2Np kXk2K[X], on a :F(P) =å k2Np kF(Xk) =å k2Np kFk=PF.Ainsi, pour tousP2K[X],Q2K[X]nf0getG=PQ
, où, on a :F(G) =F(P)F(Q)=PFQF=GF.G7!GFestbienunmorphismedeK-algèbres.1
Remarquons que siF=a2K, alorsFFn"est pas bien défini : en effet1Xan"a pas d"image parFF. Ainsi, l"ensemble des endomorphismes deK-algèbres deK(X)est l"ensemble desFF, oùFparcourtK(X)nK.
Étape 2 :Cherchons à quelle condition surF,FFest un automorphisme.Supposons queFFsoit un automorphisme.
AlorsFFest surjectif et donc :9G2K(X),FF(G) =GF=X.SoientF=AB
etG=PQ des représentations irréductibles de ces fractions rationnelles.On écritP=d
På j=0p jXjetQ=d Qå k=0q kXkoùdPetdQsont les degrés respectifs dePetQ.On a :GF=X,PF=X(QF)
d På j=0p jFj=Xd Qå k=0q kFk d På j=0p jAjB j=Xd Qå k=0q kAkB k d På j=0p jAjBmj=Xd Qå k=0q kAkBmk, où on a notém=maxdP,dQ.D" unepart, Aj(p0q0X)Bm.
Aussi, commePetQsont premiers entre eux, on a(p0,q0)6= (0,0). Doncp0q0Xest de degré 0 ou 1, doncAest de degré 0 ou 1.1. Il s"agit de vérifier : -FF(1) =1. -FF(G)est bien défini pour toutG2K(X).Pour cela, on montre queGF=Bm(PF)B
m(QF), oùF=AB est une écriture irréductible etm=maxfdegP,degQgestune écriture deGFen fraction de polynômes et que le polynômeBm(QF)n"a qu"un nombre fini de racines.
-FFestK-linéaire. -FF(G1G2)=FF(G1)FF(G2)pour tousG1,G22K(X).Florian LEMONNIER5 Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
D" autrepart, BpdPAdPBmdPqdQXAdQBmdQ.
Si m=dP=dQ, alorsBj(pmqmX)Amet doncBjpmqmXcarBetAmsont premiers entre eux. Orqm6=0 carQest de degrém=dQ, donc degB=0 ou 1. Si m=dQ>dP, alorsBjqmXAmdoncBjqmXdonc degB=0 ou 1.Si m=dP>dQ, alorsBjpmAmdoncBjpmdonc degB=0.
Toujours est-il que degB=0 ou 1.
Par conséquent, il existe(a,b,c,d)2K4,F=aX+bcX+d. EtFne pouvant évidemment pas être constant, on doit imposeradbc6=0. Étape 3 :Réciproquement, montrons que cette condition nécessaire est suffisante.Pour(a,b,c,d)2K4vérifiantadbc6=0, on noteFa b
c d le morphisme deK-algèbres défini par : F a b c d (X) =aX+bcX+d.Montrons que :F:GL
2(K)!EndK-alg.(K(X))
M7!FM1est un morphisme de groupes.
Cela découle de l"égalité :
F a0b0 c 0d00 Fa b c d (X)1 A =aX+bcX+da0X+b0c0X+d0=aa0X+b0c
0X+d0+bc
a0X+b0c0X+d0+d=Fa b
c d a0b0 c0d0(X)
a b c d a0b0 c 0d0 =aa0+bc0ab0+bd0 ca0+dc0cb0+dd0
Donc8M,N2GL2(K),F(MN) =F(MN)1=FN1M1=FM1FN1=F(M)F(N). On en déduit alors queFMest inversible, d"inverseFM1, pour toutM2GL2(K).On en déduit finalement que l"ensemble des automorphismes deK-algèbres deK(X)est l"ensemble des
applications de la formeK(X)!K(X)
[X-ENS Al1] S. FRANCINOU, H. GIANELLAet S. NICOLAS-Oraux X-ENS Algèbre 1, 2eéd., Cassini,2007.2. Le 2
ndthéorème d"isomorphisme peut même nous donner un résultat supplémentaire. On a montré au cours de la démonstration que Im(F) =AutK-alg.(K(X)).De plus
F a,b,c,d(X) =X,aX+b=cX2+dX,b=c=0 eta=dDonc Ker(F) =lI2l2K.
Et on en déduit donc :
AutK-alg.(K(X))'GL
2(K)/Ker(F)=GL
2(K)/flI2jl2Kg=PGL2(K)Florian LEMONNIER6
Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
Borne de Bézout
3Leçons : 143, 180
4,142,144
Merci Arnaud!
5ThéorèmeSoientA,B2K[X,Y]de degrés totaux respectifsmetn; on suppose queAetBsont premiers entre
eux et queKest de cardinal infini6. On noteV(A) =(x,y)2K2A(x,y) =0etV(B) =(x,y)2K2B(x,y) =0.Alors on a : #(V(A)\V(B))6mn.Démonstration:
Évidemment, on supposeV(A)\V(B)6=?, car sinon, il n"y a rien à montrer. Étape 1 :Soit(x,y)2V(A)\V(B); on noteRY:=ResY(A,B), et on aRY(x) =0. CommeA^B=1, on sait queRY2K[X]nf0get doncRYadmet au plus degRYracines. Ainsi, pour un point deV(A)\V(B), il y a au plus degRYabscisses possibles, et similairement, au plus degRXordonnées possibles.7Dès lors, #(V(A)\V(B))6degRXdegRY<¥.
Étape 2 :Obtenons désormais une borne sur degRY.On noteA(X,Y) =p
k=0a k(X)YketB(X,Y) =q k=0b k(X)Yk, avec degak6mk, degbk6nk,ap6=0 etbq6=0.Par conséquent,RY=det(SylY(A,B))=a
p... ... ...a009 qlignes. .....0ap... ... ...a0b q... ...b09 >>>;plignes. .....00 ......b q... ...b0.Notons Syl
Y(A,B) =ci,j
16i,j6p+q.
Soiti2[[1,q]], on a : degci,j=degap(ji)sii6j6p+i
¥sinon6mp+ji.
Soiti2[[q+1,q+p]], on a : degci,j=degbq(j(iq))siiq6j6i¥sinon6ni+j.83. Je sais : vous vous posez très probablement la même question que moi. Et je vous propose de clore ici immédiatement le
débat sur l"accent du 'e" du nom de famille d"Étienne machin (1730-1783). Si on se réfère à une thèse de Liliane ALFONSI, qui a
écritÉtienne Bézout, mathématicien des Lumièresen 2011, l"accent apparaît ou non selon les documents, mais il est mis systémati-
quement à partir d"une certaine date (1765 pour les manuscrits, 1770 pour les imprimés) par Bézout lui-même. En conséquence,
respectons son choix de mettre un accent; même si l"académie de Créteil le lui a retiré en donnant le nom d"Étienne Bezout à
un lycée de Nemours, en Seine-et-Marne.4. Dans la 180, je prends un des deux polynômes de degré total égal à 2. Okay, c"est moche, mais qui veut faire les coniques
devant le jury?5. Un lien vers la page personnelle d"Arnaud STOCKER. On trouvera néanmoins une piste de démonstration au théorème
10.111 de A. SZPIRGLAS-Algèbre pour la L3, Pearson Éducation, 2009.
6. Cette hypothèse est dispensable : siKest de cardinal fini, alorsKs"injecte dans sa clôture algébriqueKqui est de cardinal
infini. Alors les courbes algébriques définies parAetBsurK2s"intersectent en au plusmnpoints deK
2. En conséquence, les
courbes algébriques définies parAetBsurK2s"intersectent en au plusmnpoints deK2.7. Vous l"aurez compris,RX=ResX(A,B)2K[Y]nf0g.
8. C"est LE passage difficile du développement, parce qu"il faut être capable d"expliquer ceci clairement au tableau. Quand
i2[[1,q]], on remarque queci,i=ap, puis, quand 06ji6p, passer deci,iàci,jrevient à faire(ji)pas vers la droite, donc
à passer deapàap(ji). Quandi2[[q+1,q+p]], on opère similairement :ci,iq=bq, puis, en décalant de(j(iq))cases
vers la droite, où 06j(iq)6q, on obtientci,j=bq(j(iq)).Florian LEMONNIER7 Diffusion à titre gratuit uniquement.ENS Rennes - Université Rennes 1DÉVELOPPEMENTS POUR L"AGRÉGATION EXTERNE
Par la formule du déterminant en fonction des coefficients de la matrice :RY=å s2Sp+q#(s)p+q i=1c i,s(i) |{z} =:Fs.Et pour touts2Sp+q, on a :
degFs=p+q i=1degci,s(i)6q i=1mp+s(i)i+q+p i=q+1ni+s(i) =9mqpq+np=mn+ (mp)(qn)|{z} 606mn.