Professional Documents
Culture Documents
Rapport de jury
Section : Mathmatiques
Session 2016
Jean-Yves Chemin
________________________________________________________________________________
www.education.gouv.fr
Table des matires
page 1
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 2
Chapitre 1
page 3
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
LInspection Gnrale collecte les textes rglementaires relatifs ces diffrentes situations auxquelles
les laurats de lagrgation externe peuvent tre confronts et dite une note indiquant les recomman-
dations correspondantes http://igmaths.org/spip/spip.php?rubrique17.
Le programme, la nature des preuves crites et orales, font lobjet de publications sur le site officiel
de ministre de lEducation nationale ladresse http://www.education.gouv.fr/. Le programme pour
la session 2016 a t publi sur le site du Ministre. On notera que le programme comporte une partie
complmentaire, commune toutes les options et toutes les preuves, motive par les problmatiques
gnrales de lapproximation numrique. Ce programme a t reconduit pour la session 2017 ; il a t
publi le 17 juin 2016 http://www.devenirenseignant.gouv.fr/cid100820/les-programmes-des-concours-
d-enseignants-du-second-degre-de-la-session-2017.html. Les candidats sont aussi invits consulter le
site officiel de lagrgation externe de mathmatiques, ladresse www.agreg.org o se trouvent de
nombreuses archives utiles et aussi tous les renseignements pratiques concernant les sessions venir.
Par ailleurs, pour lpreuve de modlisation, seuls des logiciels libres sont proposs aux candidats. La
liste prcise et actualise de ces logiciels est disponible sur le site de lagrgation. ce jour la liste
est la suivante : Python, Scilab, Octave, Sage, Maxima, Xcas, R auxquels sajoutent C, Caml et
Java pour loption D.
Le concours ne comporte plus dpreuve agir en fonctionnaire de ltat de manire thique et respon-
sable . Mais larrt du 25 juillet 2014 modifiant larrt du 28 dcembre 2009 fixant les sections et
les modalits dorganisation des concours de lagrgation et publi au Journal Officiel du 12 aot 2014,
prcise les coefficients des preuves (4 pour les 5 preuves) et indique dans son article 8 que les aspects
professionnels pourront tre valus durant les preuves orales elles-mmes. Prcisment, larticle 8 est
rdig comme suit : Lors des preuves dadmission du concours externe, outre les interrogations rela-
tives aux sujets et la discipline, le jury pose les questions quil juge utiles lui permettant dapprcier
la capacit du candidat, en qualit de futur agent du service public dducation, prendre en compte
dans le cadre de son enseignement la construction des apprentissages des lves et leurs besoins, se
reprsenter la diversit des conditions dexercice du mtier, en connatre de faon rflchie le contexte,
les diffrentes dimensions (classe, quipe ducative, tablissement, institution scolaire, socit) et les
valeurs qui le portent, dont celles de la Rpublique. Le jury peut, cet effet, prendre appui sur le r-
frentiel des comptences professionnelles des mtiers du professorat et de lducation fix par larrt
du 1er juillet 2013 .
Aprs la diminution sensible du nombre de postes entre les concours 2005 (388 postes) et 2008 (252
postes), ce nombre a augment lgrement jusquen 2012.
Depuis la session 2013, une rupture nette a t constate. En effet 391 postes ont t ouverts en
2013, 395 en 2014, 457 en 2015, 467 en 2016. Comme toujours lagrgation externe de mathmatiques
reprsente elle seule prs de 25% des postes dagrgs mis aux concours externes. Limportance de ce
nombre nous ramne la situation des annes 19921996 o 480 postes taient proposs. Remarquons
ds prsent quil y avait cette poque prs de 1000 tudiants prsents lors des preuves crites,
alors quils ntaient que 364 (plus 78 normaliens) cette anne, en lgre augmentation par rapport
lan dernier.
Le nombre dinscrits poursuit la hausse constate lan pass, avec 3525 inscrits la session 2016. Parmi
eux 1841 ont t prsents aux deux preuves crites. On constate encore une participation importante
de professeurs en exercice (1519 certifis inscrits) qui tentent ce concours. De fait, lheure actuelle,
les concours de lagrgation interne et externe se recouvrent.
On rappelle que le concours fait lobjet de conventions internationales qui lient la France, le Maroc et
page 4
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
la Tunisie : les sujets dcrit servent aussi pour ladmissibilit pour les agrgations de mathmatiques
en Tunisie et au Maroc ; les barres dadmissibilit pour les tudiants de ces deux pays est au moins
gale celle de la barre fixe par le jury franais.
On compte prs de 4 prsents par poste. Au-del de ces chiffres sur le nombre de prsents, il faut
sattarder sur la faiblesse du nombre dtudiants, source dinquitude non seulement pour le jury mais
aussi pour toute la communaut ducative. Le nombre dtudiants, qui devraient constituer le principal
vivier naturel de ce concours, est trs largement moindre que le nombre de postes ouverts au
concours. Le graphe ci-dessous rsume cette situation proccupante.
2000
1800
1600
1400
ENS Prsents
1000
Postes pourvoir
800
600
400
200
Comme lindique ce graphique, bien quon ait retrouv le niveau des prsents des annes 2000, le nombre
dtudiants est pass de 800 350 et une proportion importante de candidats sont des professeurs en
exercice.
Admissibilit : lissue de la dlibration dcrit portant sur deux preuves (Mathmatiques gn-
rales et Analyse-Probabilits), 816 candidats ont t dclars admissibles ; le premier admissible avait
une moyenne de 20/20 et le dernier une moyenne de 5/20. En dclarant admissibles des candidats dont
les notes dcrit peuvent tre considrs comme faibles, le jury souhaite se donner tous les moyens de
pourvoir les postes ouverts au concours, en donnant loccasion aux candidats de raliser des presta-
tions doral convaincantes. Bien sr, le niveau des rsultats des preuves dadmissibilit, lorsquil est
corrobor par les notes des preuves dadmission, intervient dans la rflexion qui forge la dcision de,
finalement, pourvoir tous les postes ou seulement une partie dentre eux. Nanmoins le jury, dune
part, rappelle que les commissions dinterrogation ne disposent daucune information sur les presta-
tions dcrit lors du passage des candidats loral et, dautre part, souligne que des candidats dont les
notes dcrit sont trs modestes parviennent tre admis.
Les deux preuves ont donn des rsultats trs homognes ; moyennes et carts-types des prsents sur
les preuves crites sont rsums dans le tableau ci-dessous :
page 5
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Avec plus de 250 enseignants certifis admissibles, on observe donc bien une intersection importante
entre les viviers de lagrgation interne et externe. Comme les admis lagrgation interne sont en
gnral admissibles lagrgation externe mais ne se prsentent pas aux oraux, ce sont prs de 80
places qui sont perdues de manire mcanique chaque anne ladmissibilit.
Il nest peut tre pas anodin de signaler que depuis cette anne la correction des copies est dma-
trialise : les correcteurs ne travaillent pas directement sur les copies-papier, mais sur une version
numrise de celles-ci. Les candidats doivent tenir compte du fait que leur copie va tre consulte sur
un cran et les qualits de la prsentation en seront dautant plus apprcies.
Admission : Lors des passages des candidats, le jury ne dispose daucune information particulire
(notes dcrit, notes aux autres oraux, qualit, etc.). Il note selon les mmes critres, avec une grille
stricte commune toutes les commissions, toutes les personnes partir de leur seule prestation. Des
tests statistiques (de type KolmogorovSmirnov) sont faits trs rgulirement pour veiller lharmoni-
sation des commissions et la prsidence du concours veille sur les indicateurs, la fin de chaque srie,
lors de runions avec les secrtaires de commission. Il est important de rappeler que le jury a la volont
de noter les candidats de manire positive et bienveillante, et cherche valoriser les aspects positifs
des prestations des candidats.
De fait, comme les annes passes, le jury na pas attribu lensemble des postes ouverts au concours.
Finalement, lissue des preuves orales, 304 candidats ont t dclars admis ; le premier admis a
eu une moyenne de 20/20, le dernier admis une moyenne de 8,1/20. La barre dadmission correspond
donc exactement celle de lan dernier, mais elle a permis de recevoir davantage de candidats, ce qui
est assurment un indice de satisfaction. Notons toutefois que la moyenne gnrale des admis se situe
11,63/20 (cart-type 2,68) tandis que celle des candidats prsents lensemble des preuves orales
tait de 7,34/20 (cart-type 3,95).
Le jury rappelle quun concours nest pas un examen : le but nest pas de valider des connaissances.
Le jury insiste aussi sur le fait quil convient de passer toutes les preuves. Tous les ans, on dplore
labandon de candidats qui taient en position dtre reus. Quels que soient leurs sentiments
lissue dune interrogation, les candidats sont donc fortement encourags se prsenter aux preuves
suivantes. Par ailleurs les notes attribues ne sont pas des jugements de valeur sur les candidats,
mais permettent de classer des prestations de manire efficace en minimisant le risque derreur. Cest
pourquoi toute la plage de 0 20 est utilise. Le prsident du jury reoit de nombreuses rclamations
concernant lexistence de notes trs basses et rpond systmatiquement dans ce sens.
Les moyennes et carts-types des prsents loral sur les preuves crites sont rsums dans le tableau
ci-dessous :
page 6
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Seuls 304 postes sur les 467 proposs ont t attribus. Le recrutement de professeurs agrgs de
mathmatiques ne peut se faire que sur des critres de qualits scientifiques et pdagogiques rpondant
un minimum, eu gard aux missions actuellement fixes aux agrgs telles quelles sont dfinies
sur le site du ministre ; les professeurs agrgs participent aux actions dducation, principalement
en assurant un service denseignement et assurent le suivi individuel et lvaluation des lves. Ils
contribuent conseiller les lves dans le choix de leur projet dorientation. Ils enseignent dans les
classes prparatoires aux grandes coles, dans les classes des lyces, dans les tablissements de formation
et exceptionnellement dans les classes des collges.
Ce minimum a t plac cette anne, comme lanne passe, 162/400. Le jury est bien conscient du
malaise profond qui touche lensemble de la filire menant aux mtiers de lenseignement des math-
matiques et cette session dmontre encore les difficults dans lesquelles sont places nos universits o
la population tudiante souhaitant sorienter vers lenseignement des mathmatiques est insuffisante.
Le jury est tout aussi conscient des efforts des enseignants en poste dans le secondaire qui passent ce
concours et il na aucun doute que limmense majorit dentre eux constitue dexcellents enseignants
de mathmatiques, mme si les rsultats obtenus ce concours peuvent leur paratre parfois frustrants.
Toutefois, le constat est sans appel, on ne peut pas russir le concours de lagrgation externe sans
un minimum de prparation. Le jury est particulirement frapp cette anne encore par le trop faible
nombre dtudiants prparant ce concours, cest--dire dans des prparations universitaires (en gros
moins de 200 personnes), et de lautre ct par le dfaut de prparation dune forte proportion de
candidats issus du corps professoral (certifis en gnral) qui dvoile des moyens trop faibles consacrs
la formation continue ou labsence de congs formation. Il est regrettable que la volont courageuse
de progression de plus de 1500 personnes inscrites au concours issues de ces corps ne soit pas davantage
soutenue.
On trouvera dans les pages qui suivent diffrents tableaux et graphiques constituant le bilan statistique
du concours selon diffrents critres (gographie, sexe, catgorie professionnelle, ge). Toutes ces statis-
tiques portent sur les candidats Franais et de lUnion europenne, en particulier ces chiffres nincluent
pas les tudiants marocains et tunisiens.
Effectifs dtaills
page 7
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 8
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Professions et Diplmes
page 9
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Ces rsultats par grandes catgories confirment que le concours de lagrgation externe de math-
matiques est un concours de recrutement de nouveaux enseignants ; cest dailleurs bien sa fonction
premire.
La catgorie cumule des tudiants en mathmatiques (ENS et hors ENS) constitue en effet prs de
76% de leffectif des admis. La catgorie des tudiants inscrits en ESPE, dsigne des titulaires dun
Master 2 et inscrits en 1re anne dESPE ; cette nouvelle catgorie regroupe un ensemble assez vari
de personnes dont il nest pas clair quil sagisse dtudiants ayant suivi des filires en mathmatiques,
nous avons donc dissoci cette catgorie de la catgorie "tudiants" proprement dite, comme en 2015.
La catgorie sans emploi recoupe souvent les titulaires dun doctorat. Cela reflte les difficults actuelles
de lemploi acadmique des docteurs de luniversit et la disparition des postes denseignants-chercheurs
au niveau matre de confrences.
Limpact du diplme sur la performance lcrit est nette. Notons le nombre important de docteurs, pas
tous diplms en mathmatiques, inscrits au concours, mais aussi le peu dadmis dans cette catgorie,
souvent faute dune prparation spcifique pour loral ou de rvisions suffisantes sur les fondamentaux
en algbre linaire, en analyse ou probabilits. Ainsi, depuis 2009, le nombre de candidats lagrgation
externe de mathmatiques qui se dclarent docteurs a plus que doubl : 131 en 2009, 338 en 2016.
Dans le mme temps, le nombre total dinscrits est pass de 2300 3300. Le nombre dadmissibles
dans cette population est pass de 22 60, mais avec une barre dadmissibilit qui a fortement dcru
ces dernires annes. Le nombre dadmis docteurs est globalement de lordre de la quinzaine depuis
2011. Louverture en 2017 dun concours spcifique pour les titulaires dun doctorat amne ritrer
le conseil de se consacrer une indispensable prparation, prparation qui pourrait dailleurs se faire
dans le cadre de la formation doctorale.
Rpartition selon le sexe Les tableaux suivants donnent les rpartitions en fonction du sexe. Il y
a un fort dsquilibre hommes-femmes puisque lon compte 23% dadmis femmes. Ce dsquilibre est
rduit si on ne prend pas en compte la population des candidats lves dune ENS (12 femmes parmi
les 72 normaliens admis).
Cette proportion est relativement proche de la rpartition hommes-femmes admissibles (24,75 %), mais
en de de la proportion des prsentes aux preuves crites (33 %). Les rapports admis/prsents loral
page 10
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
sont respectivement de 49% pour les hommes et 43% pour les femmes. Le jury, compos de plus de
42% de femmes, a mis en place des processus de veille sur les enjeux de parit et sest interrog en
permanence sur ses pratiques afin de chercher liminer les biais susceptibles de sintroduire dans
lvaluation.
Rpartition selon lge : Le tableau ci-dessous dcrit les rpartitions des laurats en fonction de
leur ge. Ce tableau confirme que lagrgation externe permet de recruter des jeunes enseignants. Les
jeunes (moins de 27 ans) constituent lessentiel des admis au concours. Cependant des candidats plus
avancs en ge, jusqu 57 ans, se sont aussi prsents avec succs lorsquils ont pu bnficier dune
bonne prparation.
page 11
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Rpartition selon lacadmie La rpartition des laurats par acadmie se concentre clairement
sur quelques centres (PCV, Rennes, Lyon, Grenoble, Toulouse, Bordeaux, Strasbourg, et Besanon qui
prsente un taux de russite exceptionnel) qui totalisent prs de 90% des laurats.
Cette concentration des admis sur quelques grandes mtropoles franaises a diverses consquences quil
est difficile de prvoir.
On constate ces dernires annes que de nombreuses acadmies ne reoivent que quelques stagiaires
agrgs alors que lIle-de-France est beaucoup plus abondamment fournie. Il est donc conseill aux
laurats de demander effectuer leur stage dans des acadmies dficitaires dans lesquelles ils trouveront
de bonnes conditions. Les laurats dIle-de-France nauront pas la garantie de pouvoir effectuer leur
stage en lyce.
La deuxime consquence est la tension quinduit une baisse de performance au concours de lagrgation
dans certaines acadmies o bien souvent Master 2 rime avec prparation lagrgation, compte tenu
de la faiblesse des effectifs dtudiants. Bien que la prparation lagrgation ne soit pas un objectif
prioritaire des Universits de province, il convient de rflchir lgalit territoriale dans ce contexte
de pnurie des tudiants. La situation des DOM est particulirement proccupante de ce point de vue.
Les prparations doivent tudier lvolution sur plusieurs annes de leurs taux de russite au concours.
Les socits savantes collectent des informations sur les volumes horaires consacrs aux prparations se-
lon les Universits, donnes qui rvlent de trs grandes disparits. Le jury rappelle aussi aux candidats
page 12
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
comme aux prparateurs que les preuves orales sont publiques et que venir assister des interrogations
permet certainement de bien apprhender les attendus et les difficults des preuves.
page 13
Chapitre 2
Partie I
Seuls quelques candidats, manifestement pas au niveau de lagrgation, nont pas rpondu correctement
la question I1, qui demande simplement dutiliser la bilinarit et deffectuer un produit matriciel.
La question I2 sest avre plus discriminante. Quelques candidats utilisent correctement la dualit
pour traiter cette question. Beaucoup choisissent plutt une approche matricielle pour laborder, avec
plus ou moins de succs, selon les cas.
Attention, la matrice de lapplication de E dans E (dans des bases e et e ) qui x associe y px, yq
a pour matrice t M et non pas M .
De manire trs surprenante, certains candidats pensent que comme est non-dgnre, px, xq 0
implique x 0E , ou matriciellement t XM X 0 implique X 0. Les correcteurs ont lu dans le I
dautres arguments rvlant une mauvaise assimilation par certains candidats des notions lmentaires
dalgbre bilinaire : dans le I6 notamment, certains utilisent que, comme le produit scalaire est non
dgnre, xx|yy 0 implique x 0E ou y 0E . Et on retrouve ce mme argument avec la forme
bilinaire la place du produit scalaire.
De mme, pour une forme bilinaire quelconque, mme non dgnre (ici il sagit dune forme an-
tisymtrique), il nexiste pas ncessairement de base orthonorme pour .
La question I3 est plus largement traite, mais pour dmontrer linversibilit de J, les correcteurs ont
souvent trouv dans les copies un argument de dterminant par blocs fantaisiste. On peut dmontrer
linversibilit de J en vrifiant que J 2 I2n ou t JJ I2n , ou bien en expliquant que les colonnes
page 14
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
de la matrice forment une famille libre. Pour ceux qui choisissent de calculer le dterminant de J une
permutation bien choisie des colonnes permet par exemple de conclure.
La question I4 sest galement rvle discriminante. Un certain nombre de candidats ont choisi dutili-
ser lisomorphisme entre E et E dfini au I2. Certains ont rdig convenablement largument. Dautres
nont pas su le mettre en forme rigoureusement. En effet, pour F sous-espace vectoriel de E, il ny
a pas proprement parler dinclusion de F dans E . On ne peut donc pas directement complter
une base de F en base de E : il faut dans un premier temps prolonger les applications de F sur E
entier. Et une phrase du type soit f P E qui nest pas dans F na pas de sens.
Dautres candidats rdigent des dmonstrations compltement errones, certaines commenant par
exemple par : pour un sous-espace vectoriel F quelconque, soit f P E tel que F ker f .
Certains ont voulu prendre le supplmentaire de F (on rappelle que gnralement on na pas unicit
du supplmentaire) et dmontrer quil sagit de lorthogonal. On a mme trouv quelques complmen-
taires mais on espre que cela relve du lapsus.
Pour la deuxime partie de la question I4, la question I5 suivante laisse penser, juste titre, que
la rponse est : non, on na pas toujours E F F ; mais il faut le dmontrer en donnant un
contre-exemple.
Malgr la question suivante, certains candidats ont rpondu oui et ont montr lgalit ; et ils ne se
sont semble-t-il pas interrogs au moment dtablir ensuite lquivalence du I5 (un sens se dmontrant
alors par largument : on a toujours E F F ).
Dans le I6 beaucoup de candidats privilgient un point de vue matriciel, mais ils oublient souvent de
prciser quils utilisent une base orthonorme. On rappelle que pour un espace vectoriel quelconque, il
nexiste pas de base canonique ; cette terminologie nest pas un synonyme de base orthonorme.
Dans le I6a, la plupart des candidats ont oubli de vrifier que est bien un forme bilinaire.
Dans le I6b, comme dans toute question o lon demande de montrer lexistence et lunicit dun objet,
il ne faut pas se contenter de dmontrer lunicit.
De manire gnrale dans le I6, on attendait des candidats une rdaction soigne. On ne pouvait par
exemple pas passer de xx|yy 0 x 0 sans avoir mis de quantificateurs.
Par ailleurs, les rponses de certains candidats rvlent des soucis de logique et de raisonnement. Pour
montrer lexistence de u, certains considrent par exemple une application f : x xx|upyqy et ap-
pliquent ensuite le rsultat du I2 ; mais qui est u dans la dfinition de f ?
Au del derreurs graves de logique, les candidats doivent faire attention la nature des objets quils
manipulent. Cela leur viterait notamment dcrire : comme w est non dgnre, pour tout x P E,
lapplication y px, yq est injective de E dans E.
De manire plus gnrale, le fait de parler de linjectivit dune forme linaire (sur un espace E de
dimension quelconque) est toujours un peu surprenant.
Dans le I6c, on rencontre beaucoup de confusions entre J F et pJF q . Comme la matrice J est ortho-
gonale, les deux ensembles cocident en fait ; mais cela demande tre justifi.
page 15
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le I7 a pos des problmes de nombreux candidats. Parmi ceux qui ont pens dmontrer le rsultat
par rcurrence, peu ont su la mettre en place. Certains crivent : on considre un sous-espace F tel
que F F E sans voir que la difficult rside dans le fait dtablir lexistence dun tel sous-espace.
Partie II
La question II1 nest pas difficile mais demande une rdaction rigoureuse. Certains candidats omettent
dutiliser des quantificateurs ou les utilisent mal. Dautres traitent la question en mlangeant les no-
tations matricielles et vectorielles (x P E et X P Rn , ou u P LpEq et M P Mn pKq). Il aurait t
prfrable de sinterdire des notations du type : upXq ou J u ou M x (sachant quici E nest a priori
pas Rn ).
Dans la question II2, quelques candidats (assez rares heureusement) se trompent sur la loi de groupe
de GLn pRq. De mme en II6, pour vrifier que ir est un morphisme de groupes, on lit des ir pM N q.
Dans la question II3, certains candidats confondent la multiplicit des valeurs propres et la dimension
des sous-espaces propres.
La question II4 a t bien traite par lensemble des candidats, qui manipulent convenablement les
produits par blocs.
Dans le II, un certain nombre de candidats ont une connaissance trs floue des groupes Opnq et U pnq,
pensant que le premier est constitu des matrices de dterminant 1, et que le second est constitu
des matrices de dterminant de module 1.
Dans le II6a de nouveau, une grande majorit de candidats invoquent des formules de dterminant par
blocs, toutes aussi fausses les unes que les autres.
Dans le II7,
? la notion
? ? de racine carre de matrice nest dfinie que pour les matrices dfinies positives ;
et crire AB A B est compltement faux.
Un petit nombre de candidats ont crit des jolies dmonstrations du II7a : ils dmontrent que si A est
la racine de M , alors JA1t J est aussi symtrique dfinie positive, et racine de M et ils concluent par
unicit. Le seul inconvnient de cette dmonstration est quelle naide ensuite pas les candidats pour
la question II.7.b.
Dans le II8a, il ne faut pas se contenter de rciter mcaniquement bilinaire, symtrique, dfinie posi-
tive, mais justifier que ces proprits sont bien vrifies. Dans cette question, presque aucun candidant
ne pense justifier que lintgrale est bien dfinie.
Seuls quelques candidats sont parvenus traiter convenablement le reste du II8, un peu dlicat.
Le II9a est bien trait par beaucoup de candidats. Le II9c se rdige aisment ds lors que lon a rpondu
aux questions prcdentes et que lon connat la caractrisation par submersion des sous-varits. Cette
question a assez peu t aborde.
page 16
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Partie III
La question III1 a t largement aborde. Mais beaucoup de candidats nont semble-t-il pas vraiment
compris ce que signifient isotrope au sens maximal de linclusion ; ils se contentent souvent dcrire :
on a toujours F F , si F est lagrangien, F F donc F est maximal. Et on ne parvient pas vraiment
savoir si le candidat a compris largument rigoureux qui se cache derrire. Une rdaction avec une
suite dinclusion F G G F F aurait t plus convaincante.
Par ailleurs, limplication dlicate (si F est isotrope mais pas lagrangien alors il nest pas isotrope
maximal) na t dmontre que par les meilleures copies.
Dans le III2, la majorit des copies se sont contentes daborder la premire partie, qui dcoule imm-
diatement de la question prcdente.
Dans la question III4, les candidats se sont souvent contents de rappeler la dfinition dune action de
groupe en omettant de vrifier que M L est encore un espace lagrangien.
Partie IV
La question IV.1 a souvent t aborde mais dans une majorit des cas par des grapilleurs qui nont
pas suffisamment compris le contexte et ne voient pas les points dlicats qui doivent tre justifis.
La fin du III et le reste du IV nont t abords que par les toutes meilleures copies.
Soit e pe1 , . . . , em q une base de E. On dfinit la matrice de la forme bilinaire dans la base e
comme tant la matrice M ppei , ej qq16i,j6m P Mm pRq.
page 17
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On dit que la forme bilinaire est non dgnre si NE tx P E, @y P E, px, yq 0u est rduit
t0E u.
2. On note M la matrice
$ dune forme bilinaire dans une base e.
&E E
#
On introduit : E R . Ainsi NE ker . Par dfinition, est non dgnre
%x
y px, yq
si et seulement si est injective de E dans E .
Or est linaire (par bilinarit de ) et E et E sont des espaces vectoriels de mme dimension.
On en dduit donc est injective de E dans E , si et seulement si est un isomorphisme, ce qui
se rcrit :
@f P E , D!x P E, @y P E, px, yq f pyq.
Par ailleurs t M est la matrice de dans les bases e et e (base duale de e) ; donc est un
isomorphisme de E vers E si et seulement si t M est inversible, si et seulement si M est inversible.
On a donc bien lquivalence entre :
la forme est non dgnre
est un isomorphisme de E vers E
la matrice M est inversible.
@f P E , D!x P E, @y P E, px, yq f pyq.
Une forme symplectique sur E est une forme bilinaire vrifiant les deux conditions suivantes :
3. Modle de R2n :
On se place dans cette question sur lespace vectoriel E0 R2n . On considre 0 la forme
bilinaire sur E0 E0 dont la matrice dans la base canonique de R2n est J.
On constate que J 2 I2n ; la matrice J est donc inversible (dinverse J) et la forme 0 est
donc non dgnre.
Par ailleurs, t J J. Donc pour tout px, yq P pR2n q2 ,
La forme bilinaire 0 est donc galement antisymtrique ; cest donc une forme symplectique.
Dsormais, est une forme symplectique sur un espace vectoriel E de dimension finie.
page 18
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Ainsi, avec les notations du 2, F pj1 ker pzj q. Or pz1 , . . . zp q est une famille libre de E et
est un isomorphisme de de E vers E ; donc rang ppz1 q, . . . , pzp qq p. On en dduit donc, par
dualit, que dim F dim E p dim E dim F .
Mais on na pas ncessairement F F E ; par exemple dans le cas de F Vectpxq avec x
vecteur non nul de E, x P F X F (puisque px, xq 0 par antisymtrie de ).
@x1 , x2 P E, @1 , 2 P R, @y P E,
xy|up1 x1 ` 2 x2 qy py, 1 x1 ` 2 x2 q
1 py, x1 q ` 2 py, x2 q
xy|1 upx1 qy ` xy|2 upx2 qy
xy|1 upx1 q ` 2 upx2 qy
Ceci tant vrai pour tout y P E, on en dduit que up1 x1 ` 2 x2 q 1 upx1 q ` 2 upx2 q et
u est linaire.
Comme est antisymtrique, on a on a pour tous x, y P E : xx|upyqy xy|upxqy et donc
u u.
Soit x P ker u. Alors pour tout y P E, px, yq xupxq|yy 0 et donc x 0E car est
non dgnre. Par consquent u est un endomorphisme injectif et donc un automorphisme
(la dimension de E tant finie).
page 19
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On pouvait galement dmontrer cela par argument de $ dualit : comme est une forme
&E E
#
biliaire non dgnre, comme expliqu ci-dessus, : E R est un iso-
%x
y px, yq
morphisme.
$
&E E
#
De mme 0 : E R est un isomorphisme.
%x
y xx, yy
Pour tout y P E, la proprit p@x P E, px, yq xx|upyqyq se rcrit : pyq 0 upyq.
Ainsi, u 01 ; on a donc directement la linarit de u et son caractre bijectif (comme
compose disomorphismes).
Par ailleurs detpuq detpu q detpuq p1qm detpuq (dans une base orthonorme la
matrice de u est la transpose de celle de u, ce qui justifie la premire galit). Comme
detpuq 0, ncessairement la dimension m est paire.
(c) On reprend lexemple de la question 3 et on munit E0 du produit scalaire canonique.
Soient x et y P E02 , reprsents dans la base canonique par les vecteurs X et Y . Par dfinition,
JF K tJx, x P E0 | @y P F, xx|yy 0u
tJx, x P E0 | @y P F, 0 pJx, yq 0u
tz P E0 | @y P F, 0 pz, yq 0u
F
On considre dsormais une forme symplectique fixe sur un espace E de dimension m 2n.
7. On montre le rsultat par rcurrence sur la dimension de E (qui est un entier pair non nul).
Soit e1 P E non nul. Comme est non dgnre, il existe un vecteur v P E tel que pe1 , vq 0 ;
on pose alors f1 pe11 ,vq v (avec v un tel vecteur) et on a bien pe1 , f1 q 1.
Comme pe1 , e1 q 0, la famille pe1 , f1 q est libre et E1 Vectpe1 , f1 q est un sous-espace vectoriel
de dimension 2.
Si dim E 2 alors E1 E et on a bien la proprit demande.
On suppose le rsultat pour les espaces symplectiques de dimension strictement infrieure 2n,
o n > 2 est fix. Soit E de dimension 2n.
On remarque tout dabord que par construction la restriction de E1 est non dgnre
(E1 X E1 t0E u) ; ainsi E1 E1 E.
On remarque que E1 pE1 q et par galit des dimensions E1 pE1 q . On en dduit que la
restriction de E1 est encore une forme symplectique (daprs la question 5). Par hypothse de
rcurrence,
# il existe une base B1 pe2 , . . . en , f2 , . . . fn q de E1 telle que pour tout pi, jq P rr2, nss2
pei , ej q pfi , fj q 0,
pei , fj q i,j .
page 20
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Ainsi tout espace vectoriel symplectique peut se ramener (via un choix de base approprie) au modle
pE0 , 0 q dfini la question 3.
Soit u P LpEq. On dit que u est un endomorphisme symplectique sil prserve , cest--dire si
pour tout px, yq P E 2 , pupxq, upyqq px, yq.
1. On considre une base adapte B vrifiant les proprits de la question 2.2.7 et note M
M atB puq.
La matrice de dans la base B est J, et donc, daprs la question 2.2.1, pour tout px, yq P E 2 ,
px, yq t XJY , avec X et Y les vecteurs de x et y dans cette base, et de mme, pupxq, upyqq
t pM XqJpM Y q.
Le sens direct de la dernire quivalence est justifi car si une matrice B vrifie : pour tout
pX, Y q P pRn q2 t XBY 0, alors pour tout Y P Rn , BY 0Rn (car orthogonal tout vecteur
X pour le produit scalaire usuel) ; et donc B 0Mn pRq .
2. Lensemble Spp2nq est bien une partie de GL2n pRq : en` effet, comme
la matrice J est inversible,
t t
si M JM J alors M est inversible (rangpM q > rang M JM ).
Il est non-vide car il contient la matrice identit.
De plus, pour toutes matrices M, N P Spp2nq, on a t M JM J t N JN et donc :
t
N 1 JN 1 J et
t
pM N qJM N t N t M JM N t N JN J.
3. Soit M P Spp2nq. On note PM son polynme caractristique. Comme M est une matrice relle,
il sagit dun polynme coefficients rels ; on en dduit donc que pour toute racine complexe
P C de PM , est galement racine de PM , avec la mme multiplicit.
page 21
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On peut justifier ceci en remarquant, par exemple, que comme PM et tous ses polynmes drivs
pkq pkq `
sont coefficients rels, pour tout k P N, PM pq PM et on a donc quivalence entre
pkq pkq `
PM pq 0 et PM 0 (et on utilise ensuite la caractrisation de la mutiplicit avec les
polynmes drivs).
`
Par ailleurs, la dfinition de M symplectique se rcrit J 1 t M J M 1 donc les matrices t M
et M 1 sont semblables et ont mme polynme caractristique. Or Pt M PM do PM PM 1 .
X 2n
` 1
`1
Or PM 1 pXq det M 1 XI2n detpM q det pI2n XM q detpM q PM X .
1
Finalement pour tout valeur propre complexe de M , est valeur propre complexe de M 1 , et
donc de M , avec mme multiplicit.
4. Par dfinition,
2
6. Pour toute matrice M P Mn pCq,
on crit M A ` iB avec pA, Bq P Mn pRq . On lui associe
A B
alors ir pM q Mr P M2n pRq.
B A
(a) Soit M A`iB P Mn pCq, avec pA, Bq P Mn pRq2 . Pour 1 6 j 6 n, on ralise les oprations
lmentaires sur les colonnes Cj Cj ` iCn`j ; ainsi
A B A iB B
detpMr q .
B A B ` iA A
Puis en ralisant les oprations lmentaires sur les lignes Lj`n Lj`n iLj :
A iB B
detpMr q .
0 A ` iB
Comme la matrice obtenue est triangulaire par blocs : detpMr q detpAiBq detpA`iBq
detpM q detpM q detpM q detpM q | detpM q|2 .
page 22
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Cet argument
pouvait
galement
scrire
sous forme de produits par blocs avec des matrices
In 0 In 0
P et Q , toutes deux de dterminant 1 :
iIn In iIn In
A iB B
detpM q detpP q detpM q detpQq detpP QM q .
0 A ` iB
A C
(b) Soit N P M2n pRq. On la dcompose en blocs : N .
B D
Daprs la question 4, N P G Spp2nq X Op2nq si et seulement si JN N J et t N N I2n .
La premire se rcrit par blocs : C B et A D. Ainsi, N P G si et seulement
condition
A B
si N avec t AA ` t BB In et t AB ` t BA 0. Finalement N P G si et
B A
seulement si N ir pM q avec M A ` iB, pA, Bq P Mn pRq2 , et t pA iBqpA ` iBq In ,
soit M P Upnq.
(c) Daprs la question prcdente, la restriction irr de ir Upnq est surjective de Upnq sur G.
Linjectivit de ir (et donc de irr ) est immdiate.
On vrifie que irr est un morphisme de groupes en crivant :
AC BD AD BC
irr ppA ` iBqpC ` iDqq
AD ` BC AC BD
A B C D
B A D C
irr pA ` iBqirr pC ` iDq.
page 23
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
a
Si i j 1 alors 0 pN Xi , N Xj q ai j 0 pXi , Xj q 0 0 pXi , Xj q.
Si i j 1 alors 0 pN Xi , N Xj q i j 0 pXi , Xj q 0 pXi , Xj q.
Finalement pour tout pi, jq P pN2n q2 , 0 pN Xi , N Xj q 0 pXi , Xj q et N est bien une matrice
symplectique.
Soit M P Spp2nq. Comme Spp2nq est un groupe stable par transpose, M t M est une matrice
symplectique, symtrique, dfinie positive ; sa racine carre S est donc encore symplectique.
Et comme Spp2nq est un groupe, W S 1 M est encore symplectique.
``
(b) Soit M P Spp2nq X S2n pRq. On utilise le mme argument qu la question prcdente pour
relier M la matrice identit I2n . En reprenant les notations ci-dessus, pour tout s P r0, 1s,
on note Ms lunique matrice symtrique dfinie positive telle que pour tout 1 6 j 6 2n,
Ms Xj sj Xj : si on note O la matrice orthogonale de passage de la base canonique la
base B,
..
1 0 . 0
0 2 0 0
t
M O O,
0 0 ... 0
..
0 . 0 2n
alors pour tout t P r0, 1s,
s
..
1 0 . 0
0 s 0 0
2 t
Ms O O.
..
0 0
. 0
.. s
0 . 0 2n
Comme ci-dessus, on vrifie que pour tout s P r0, 1s Ms est une matrice symplectique.
``
M0 I2n , et M1 M ; on a ainsi construit un chemin continu dans Spp2nq X S2n pRq de
``
I2n M . On peut conclure que Spp2nq X S2n pRq est connexe par arcs.
Pour montrer que Spp2nq est connexe par arcs, on utilise la dcomposition polaire.
` 2
Soit pM, M 1 q P Spp2nq2 ; M SW et M 1 S 1 W 1 , avec pS, S 1 q P Spp2nq X S2n ``
pRq et
pW, W 1 q P G2 . Comme G est homomorphe Upnq qui est connexe par arcs, G est galement
``
commexe par arcs. On vient de voir que Spp2nq X S2n pRq est connexe par arcs. On peut
``
donc choisir deux chemins continus : t P r0, 1s St P Spp2nq X S2n pRq qui relie S S 1 , et
1
t P r0, 1s Wt P G qui relie W W . On pose alors pour tout t P r0, 1s, Mt St Wt , qui
est une matrice symplectique, comme produit de deux matrices symplectiques. On a ainsi
dfini un chemin continu de M M 1 dans Spp2nq.
On peut finalement conclure que Spp2nq est connexe par arcs.
8. On souhaite dcrire les sous-groupes compacts maximaux de Spp2nq. Pour cela, on considre H
un sous-groupe compact de Spp2nq. On va dmontrer quil est conjugu un sous-groupe de G.
On admet, dans cette question, lexistence sur le sous-groupe H dune mesure borlienne finie
non nulle, que lon notera , invariante par translation, cest--dire elle vrifie que pour tout
borlien B H, pour tout g P H, pBgq pBq.
(a) Pour tout px, yq P pE0 q2 , on pose
1
xx|yyH : xgx|gyy dpgq.
pHq H
Comme g xgx|gyy est continue sur le compact H, elle est mesurable pour la mesure
borlienne . Elle est de plus borne sur le compact H. Et comme la mesure est finie, on
page 24
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
peut conclure que la fonction est intgrable. Ainsi pour tout px, yq P pE0 q2 , xx|yyH est bien
dfini.
La symtrie et la bilinarit de x|yH dcoulent de celles de x|y et de la linarit de lint-
grale.
La positivit dcoule de celle de x|y et de la positivit de lintgrale.
Enfin, pour tout x P E0 non nul, g xgx|gxy est continue, positive, non identiquement
nulle ; lintgrale est donc strictement positive.
La forme bilinaire x|yH dfinit donc bien un produit scalaire sur E0 .
Soit h P H. On a
1
xhx|hyyH xghx|ghyy dpgq.
pHq H
On ralise le changement de variable : g 1 gh, cest--dire g g 1 h1 .
Lapplication : g gh est bien mesurable. Et par invariance de la mesure par translation,
1 ; et on obtient donc finalement par formule de transfert xhx|hyyH xx|yyH .
Le produit scalaire est donc invariant par tous les lments de H.
(b) On note S la matrice dans la base canonique de ce produit scalaire ; il sagit donc dune
matrice symtrique dfinie positive. Pour tout M P H, t M SM est la matrice du produit
scalaire px, yq xM x|M yyH , qui est gal x|yH daprs la question prcdente. On a
donc t M SM S.
(c) On souhaite dmontrer que pour tout px, yq P pE0 q2 , xT x|yyH xx|T yyH , ce qui revient
vrifier que t T S ST , soit t JS 1 S SS 1 J car S est une matrice symtrique. Or J
est une matrice antisymtrique ; on a donc bien la proprit souhaite.
Soit M P H Spp2nq. On sait que t M SM S et t M JM J. Ainsi,
T M S 1 JM S 1t M 1 J M S 1 J M T.
page 25
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Ainsi S0 P Spp2nq.
Par ailleurs, pour tout M P H, t M SM S et M R RM ; on a donc :
t
M S0 M t M SRM
SM 1 RM
SM 1 M R
SR S0 .
1
12
(f) On vrifie alors que H 1 S02 HS0 G. En effet H 1 Spp2nq car H Spp2nq et
1
``
S0 P S2n 2
X Spp2nq (donc S0 aussi).
Par ailleurs pour tout M P H, comme t M S0 M S0 , on a
1 1 1
t 21 12 1 1
1
2
S0 M S0 S0 M S0 S0 2 t M S02 S02 M S0 2
2
1 21
S0 2 S0 S0 I2n
Do H 1 Op2nq. Et finalement H 1 G.
Or G est lui-mme un sous-groupe compact de Spp2nq. Ainsi, si on considre H, un sous-
1
1
groupe compact maximal de Spp2nq, on vrifie immdiatement que H 1 S02 HS0 2 est
encore un sous-groupe compact maximal de Spp2nq (car S0 P Spp2nq). Linclusion H 1 G
1 1
implique donc H 1 G et H S0 2 HS02 . On conclut finalement que tous les sous-groupes
compacts maximaux de Spp2nq sont conjugus G.
ker d|I2n tH P M2n pRq, JH P S2n pRqu tJK, K P S2n pRqu JS2n pRq.
page 26
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
2np2n 1q
dim M2n pRq dim S2n pRq dim A2n pRq.
2
Or limage de d|I2n est incluse dans A2n pRq : comme t J J, pour tout H P M2n pRq,
t pt HJ `JHq JH t HJ. Par galit des dimensions, on peut donc en dduire que limage
de d|I2n est gale A2n pRq. Lapplication est donc surjective de M2n pRq sur A2n pRq.
(c) On constate que limage de lapplication est elle-aussi incluse dans A2n pRq (puisque t J
J). On note # 2np2n1q
M2n pRq A2n pRq R 2
:
r
M pM q t M JM ,
qui est de classe C 8 .
Par dfinition, Spp2nq r1 ptJuq. Il suffit donc de vrifier que r est une submersion en
tout point de Spp2nq. On la dores et dj montr au point I2n .
De mme pour tout M P Spp2nq,
J t M 1 K, K P S2n pRq
(
J t M 1 S2n pRq.
Et on montre comme ci-dessus que d|M est surjective de M2n pRq sur A2n pRq.
Comme r est une submersion en tout point de Spp2nq, Spp2nq est bien une sous-varit
2np2n ` 1q
de M2n pRq de dimension dim pM2n pRqq dim pA2n pRqq
2
Par ailleurs, on sait que lespace tangent en I2n est
(
TI2n Spp2nq H P M2n pRq, d|I2n pHq 0 JS2n pRq.
1. Soit F un sous-espace vectoriel isotrope. On remarque tout dabord que ncessairement dim F 6
n, o dim E 2n. En effet, comme F F , dim F 6 2n dim F .
On suppose dans un premier temps F lagrangien ; alors F F . Soit H isotrope tel que F H.
Alors F H H F F . Ces inclusions sont donc des galits et en particulier F H.
Ainsi F est isotrope maximal au sens de linclusion.
page 27
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On suppose maintenant dim E 2 dim F ; ncessairement dim E 2 dim F . Dans ce cas, dim F
2n dim F et donc F F . Soit x P F zF . On pose H F Vectpxq et on va vrifier quil
sagit bien dun espace isotrope. Soient y a ` x P H et z b ` x P H avec pa, bq P F 2
et p, q P R2 ; on a alors
2. On dit que deux espaces lagrangiens L et L1 sont transverses si L X L1 t0E u. Comme par
ailleurs dim L ` dim L1 dim E, on peut dans ce cas conclure que L L1 E.
Soit L un sous-espace lagrangien. On note n dim L (ainsi dim E 2n). On considre
et soit
D tdimpHq, H P Hu .
Lensemble D est une partie non vide de N (0 P D). Soit n0 son plus grand lment et soit H0 P H
tel que n0 dim H0 . On suppose par labsurde n0 n cest--dire H0 non lagrangien.
On a H0 H0 . Par ailleurs LXH0 L XH0 pLH0 q a pour dimension 2npn`n0 q nn0 .
Ainsi H 1 H0 pL X H0 q H0 avec dim H 1 n0 ` pn n0 q n 2n n0 dim H0 .
On peut donc choisir y P H0 zH 1 . Ainsi, en reprenant largument de la question prcdente
H H0 Vectpyq est encore isotrope.
Par ailleurs, par construction on a encore H X L t0E u. En effet soit z P H X L. Or H0 H
H H0 . Ainsi z P H0 X L H 1 . Comme z P H, z z1 ` y1 avec z1 P H0 et y1 P Vectpyq. Or
z P H 1 et z1 P H 1 ; do y1 P H 1 X Vectpyq. Par choix de y, ncessairement y1 0E . Finalement
z z1 ; ainsi z P H0 X L et donc z 0E .
On aboutit donc une contradiction.
Finalement on peut conclure que L1 H0 est lagrangien et il est bien transverse L.
page 28
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On se place sur E0 R2n muni de la structure symplectique 0 . On note Lpnq lensemble des sous-
espaces vectoriels lagrangiens de E0 .
(a) On vrifie tout dabord que lapplication linaire gL1 ,L2 ,L3 L1 ,L2 L11 ,L3 L2 ,L3 est bien
dfinie ; et il sagit dune compose disomorphismes, donc un isomorphisme de L2 vers L2 .
(b) Pour tout px, yq P L22 , on pose gpx, yq gL1 ,L2 ,L3 pxqpyq. Pour tout x P L2 , gL1 ,L2 ,L3 pxq P L2 ,
et donc g est linaire par rapport la deuxime variable. Et par linarit de gL1 ,L2 ,L3 , elle
est galement linaire par rapport la premire variable.
Comme gL1 ,L2 ,L3 est un isomorphisme, et donc injectif, la forme bilinaire g est bien non
dgnre.
Il reste vrifier la symtrie. Pour cela, pour px, yq P L22 , on dcompose x x1 ` x3
et y y1 ` y3 avec px1 , y1 q P L21 et px3 , y3 q P L23 (comme L1 et L3 sont transverses, ils sont
supplmentaires dans E0 ).
Pour tout z P L3 , L2 ,L3 pxqpzq px, zq px1 , zq (car L3 est lagrangien) ; ainsi L2 ,L3 pxq
L1 ,L3 px1 q. Et donc L11 ,L3 L2 ,L3 pxq x1 .
Finalement, gL1 ,L2 ,L3 pxqpyq px1 , yq px1 , y3 q (car L1 est lagrangien).
De mme gL1 ,L2 ,L3 pyqpxq py1 , x3 q.
Or, L2 est lagrangien, donc px1 , y3 q ` px3 , y1 q px, yq 0. On peut donc conclure
que gL1 ,L2 ,L3 pxqpyq gL1 ,L2 ,L3 pyqpxq et donc g est une forme bilinaire symtrique non
dgnre.
(c) On note pr, sq la signature de cette forme g et on pose
sgnpL1 , L2 , L3 q r s.
Comme g est une forme non dgnre sur L2 (de dimension n), r ` s n avec r et s
des entiers compris entre 0 et n. On peut donc conclure que sgnpL1 , L2 , L3 q est un entier
compris entre n et n, de mme parit que n.
page 29
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
6. Laction de groupe dfinie la question 4 permet de faire agir Spp2nq sur les triplets de sous-
espaces lagrangiens pL1 , L2 , L3 q deux deux transverses (en posant pour tout M P Spp2nq,
M pL1 , L2 , L3 q pM L1 , M L2 , M L3 q).
On considre un tel triplet pL1 , L2 , L3 q. Soit M P Spp2nq. On note
Et on note g 1 la forme bilinaire sur L12 associe ce triplet et g celle sur L2 associe au tri-
plet pL1 , L2 , L3 q.
Soit px1 , y 1 q P pL12 q2 : x1 M x, y 1 M y avec px, yq P pL2 q2 .
On dcompose comme dans la question 5b : x x1 ` x3 , y y1 ` y3 , avec px1 , y1 q P pL1 q2
et px3 , y3 q P pL3 q2 . Ainsi x1 M x M x1 ` M x3 et y 1 M y M y1 ` M y31 avec pM x1 , M y1 q P
pL11 q2 et pM x3 , M y3 q P pL13 q2 .
On a alors g 1 px1 , y 1 q 0 pM x1 , M y3 q ; or M est symplectique, donc
On vrifie ainsi que g et g 1 ont mme signature. Et donc sgnpL11 , L12 , L13 q sgnpL1 , L2 , L3 q.
On considre maintenant un triplet de lagrangiens transverses pL11 , L12 , L13 q tel que
On vrifie dans un premier temps que pu1 , . . . , un q est une base de L11 et pv1 , . . . , vn q une base
de L13 . Comme L11 et L13 sont de dimension n, il suffit pour cela de vrifier que les familles sont
libres.
pk qkPNn P Rn tels que nk1 k uk 0E0 . Daprs (2.1), pour
On considre donc des scalaires
n
tout j P Nn , j j 0 p k1 k uk , vj q 0 ; et donc j 0. La famille est donc libre. On montre
de mme le rsultat pour la famille pv1 , . . . , vn q.
page 30
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
0 pe1i , fj1 q i,j 0 pei , fj q et 0 pe1i , e1j q 0 pfi1 , fj1 q 0 0 pei , ej q 0 pfi , fj q ;
on en dduit donc que lendomorphisme associ M est symplectique et M est donc bien une
matrice symplectique. Et par construction M L1 L11 et M L3 L13 .
Reste vrifier que M L2 L12 . Or pour tout j P Nn , M pej ` j fj q e1j ` fj1 . On a donc le
rsultat et on peut donc conclure.
Une autre manire daborder cette question : Pour le couple L1 Rn t0u, L3 t0uRn ,
la donne dun espace L2 transverse peut tre vue comme un graphe associ une matrice
inversible F P Mn pRq : " *
X n
L2 , XPR .
FX
Xj
On peut le voir en considrant une base pZj q16j6n de L2 , avec pour tout j P Nn , Zj .
Yj
Comme L2 est transverse L3 , la famille pXj qj est une base de Rn . On considre alors lunique
matrice F telle que pour tout j, Yj F Xj ; elle est bien inversible car L2 est transverse L1 .
Le fait que L2 soit lagrangien se traduit alors par la symtrie de la matrice F : pour tous vecteurs
X et Y de Rn , se traduit par t XF Y t X t F Y .
La forme symtrique associe au triplet pL1 , L2 , L3 q est alors donne par cette matrice F et donc
sgnpL1, L2, L3q sgnpF q.
Pour prouver que Spp2nq agit transitivement sur les triplets de mme signature, il suffit de voir que
le stabilisateur du couple standard pL1 , L3 q agit transitivement
sur les triplets correspondants.
A 0
Or ce stabilisateur est lensemble des matrices , avec A P Gln pRq. Et une telle
0 t A1
X AX AX
matrice envoie sur t 1 t 1 . Ainsi le triplet pL1 , L2 , L3 q associ
FX A FX A F A1 AX
la matrice F est envoy sur le triplet associ la matrice t A1 F A1 . Or pour cette action
de Gln pRq sur lensemble des matrices symtriques, les orbites sont bien les matrices de mme
signature.
1. Soit : r0, 1s Spp2nq chemin continu et ferm. On pose ; il sagit bien dun chemin
continu, comme compose dapplications continues (lapplication qui une matrice M associe sa
dcomposition polaire est continue), et ferm car est ferm.
page 31
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
2. Par hypothse, e2ip1q p1q p0q e2ip0q . On en dduit que pq p1q p0q P Z. Par
ailleurs si 1 est un autre relvement de , il existe une constante k P Z telle que 1 ` k. Et
alors 1 p1q 1 p0q p1q p0q. La quantit pq est indpendante du relvement choisi.
`
3. Soit k P Z. Pour tout t P r0, 1s, diagpe2ikt , 1, . . . , 1q P Upnq ; et donc ir diagpe2ikt , 1 . . . , 1q P
G Spp2nq X Op2nq.
$
&r0, 1s
Spp2nq
On pose donc k : Aptq Bptq avec Aptq diagpcosp2ktq, 1, . . . , 1q et Bptq
%t
Bptq Aptq
diagpsinp2ktq, 0, . . . , 0q.
Ainsi pour tout t P r0, 1s, ptq det pic pk ptqqq e2ikt .
On peut donc choisir comme relvement : t kt et pk q k.
4. Soit L P Lpnq. On reprend la construction de la question 2.2.4. On choisit dans un premier temps
une base orthonorme pe1 , . . . , en q de L (pour le produit scalaire canonique de E0 R2n ) ; et
on pose pour tout j P Nn , fj Jej . Ainsi, pour tout pi, jq P N2n , 0 pei , fj q 0 pei , Jej q
xei |ej y i,j ; et 0 pfi , fj q 0 pJei , Jej q 0 pei , ej q 0 car L est lagrangien.
On en dduit que la famille pe1 , . . . , en , f1 , . . . , fn q est une base orthonorme de E0 (daprs
ci-dessus et les liens entre 0 et le produit scalaire explicit la question 2.2.6c). De plus,
MatB p0 q J.
Soit M la matrice de passage de la base canonique B. Comme dans 2.2.4., la matrice M
est symplectique et M L0 L. Mais, la base B est orthonorme et donc M est une matrice
orthogonale. Finalement M P G Spp2nq X Op2nq. On a donc bien montr le rsultat souhait.
@M P G, M P S0 ic pM q A P Opnq
page 32
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
6. Soit L P Lpnq, on pose pLq detpL q. Soit U P Upnq tel que L ir pU qL0 . Par dfinition,
pLq detpU t U q detpU q detpt U q detpU 2 q.
Par ailleurs, comme U P Upnq, detpU q P U et donc pLq P U.
Daprs la question 5a on dispose dun isomorphisme naturel entre Lpnq et Upnq{Opnq. Cela nous
permet de munir Lpnq dune topologie et de dfinir ce quest un chemin continu dans lespace
Lpnq : cest la donne dune application continue V de r0, 1s dans Upnq, telle que pour tout t P r0, 1s,
ptq ir pV ptqqL0 .
page 33
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On traduit la transversalit de L et L0 :
det U t U In 0
`
L In P Gln pCq.
det t U 1t U 1 U 11 U 0
`
det U 1t U 1 U t U 0.
`
On note Lpnq
z lensemble des couples pL, q avec L P Lpnq sous-espace lagrangien, et P R tel
que pLq ei . (On le munit de la topologie produit).
n
` 1 ` 1 i
m pL, q, pL1 , 1 q ` logpj q,
2 2 j1
page 34
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
11. Pour tout M P G, et pour P R tel que detpic pM qq ei , on pose M pM, q. Pour tout
pL, q P Lpnq,
z on dfinit M .pL, q pM L, ` 2q.
On en dduit que
M L ic pM qU t U t pic pM qq ic pM qL t pic pM qq.
De mme
M L1 ic pM qU 1t U 1t pic pM qq ic pM qL1 t pic pM qq.
Ainsi pM Lq pLq det pic pM qq2 eip`2q . La dfinition de M .pL, q pM L, ` 2q est donc
licite.
1 1
De mme, pM L1 q pL1 q det pic pM qq2 eip `2 q .
Finalement, on peut donc bien dfinir m pM .pL, q, M1 .pL1 , 1 qq.
Et daprs ce qui prcde,
t t
M L1 1 1 1
M L ic pM qL1 pic pM qq pic pM qq L ic pM q
1
(2.4)
ic pM qL1 1
L ic pM q
1
est conjugue L1 1
L et a donc les mmes valeurs propres (avec multiplicits).
Finalement
n
` 1 ` 1 i `
m M .pL, q, M .pL1 , 1 q ` 2 p ` 2q ` logpj q m pL, q, pL1 , 1 q .
2 2 j1
page 35
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
12. On considre un triplet pL1 , L2 , L3 q de sous-espaces lagrangiens deux deux transverses. Comme
1 1 1
p2 1 q ` p3 2 q ` p1 3 q 0,
2 2 2
on constate que la quantit m ppL1 , 1 q, pL2 , 2 qq ` m ppL2 , 2 q, pL3 , 3 qq ` m ppL3 , 3 q, pL1 , 1 qq est
indpendante des angles pj q16j63 choisis. On la note CpL1 , L2 , L3 q.
Ainsi, cette quantit est invariante par laction de G sur les triplets de sous-espaces lagrangiens
deux deux transverses.
14. Daprs la question prcdente et la question 2.2.6, il suffit de dmontrer le rsultat pour un
triplet particulier de chaque signature. Plus particulirement, on va le montrer pour les triplets
de la question 2.2.5c.
On se fixe donc un entier r compris entre 0 et n. Et on pose L1 Rn t0Rn u, L3 t0Rn u Rn
et L2 Vectpz1 , . . . zn q avec zj ej ` fj pour 1 6 j 6 r et zj ej fj pour r ` 1 6 j 6 n, avec
pe1 , . . . en , f1 , . . . fn q la base canonique de R2n .
On a vu la question 2.2.5c que sgnpL1 , L2 , L3 q 2r n. On va calculer CpL1 , L2 , L3 q.
On a L1 I2n L0 avec I2n P G et donc U1 ic pI2n q In , L1 1 In .
De plus, L3 JL0 ir piIn qL0 , avec U3 iIn P Upnq. Ainsi L3 3 In .
1 I n D r
Par ailleurs, L2 ?2 L , avec Dr diagp1, . . . , 1, 1, . . . , 1q avec r lments
Dr In 0
diagonaux valant 1. Ainsi L2 ir ?1 pIn ` iDr q L0 , avec U1 ?1 pIn ` iDr q P Upnq (on vrifie
2 2
par calcul que la matrice est unitaire). Ainsi L2 2 21 t pIn ` iDr qpIn ` iDr q iDr .
Ainsi 2 1
1 iDr : r valeurs propres valent i et ont comme logarithme i 2 et n r
valeurs propres valent i et ont comme logarithme i 2 .
De mme 3 1 2 pIn qpiDr q iDr .
1
Enfin, 1 3 pIn q In : toutes les valeurs propres valent 1 et ont comme logarithme 0.
Finalement, on calcule (en tenant compte que la somme des termes en j est nulle) :
page 36
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 37
Chapitre 3
Dans la partie I, on tablit les proprits lmentaires du dveloppement en fractions continues dun
rel irrationnel de lintervalle r0, 1s, qui est une gnralisation de lalgorithme dEuclide calculant le
pgcd de deux entiers.
La preuve ici propose est celle de F. Riesz (1944), qui repose sur un lemme trs lmentaire tabli
la question II.3, que Riesz lui-mme exprime en des termes vocateurs 1 :
1. Voir F. Riesz, Sur la thorie ergodique, Comment. Math. Helv. (1944-45), 221-239.
page 38
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
1 dx
qui prserve la mesure d (partie III.1) et est ergodique (partie III.2).
ln 2 1 ` x
Dans la dernire partie, on applique le thorme ergodique au systme dynamique de la partie III, ce
qui fournit deux rsultats spectaculaires :
le thorme de Khintchine (1935), qui affirme que les moyennes gomtriques des quotients
partiels du dveloppement en fractions continues convergent vers une constante absolue et
explicite, pour presque tout irrationnel x de r0, 1s (question IV.2) ;
le thorme de Lvy (1936), selon lequel pour presque tout irrationnel x de r0, 1s, on a
x pn pxq eCnp1`op1qq quand n `8,
qn pxq
2 pn pxq
avec C 6ln 2 , les fractions qn pxq tant les rduites du dveloppement en fractions continues
de x (question IV.3).
Remarques gnrales
De faon gnrale, le jury a t trs dfavorablement impressionn par le grand nombre des copies
trs mal prsentes, voire pratiquement illisibles. Celles-ci ont videmment t fortement pnalises,
et le jury attire lattention des candidats venir, futurs professeurs ou enseignants en exercice, sur la
ncessit imprieuse de produire des textes o arguments, disjonctions de cas et rsultats soient trs
clairement mis en vidence.
Une qualit essentielle pour russir une telle preuve est lefficacit : cest lart daller lessentiel et de
faire ressortir largument crucial, tout en donnant suffisamment de dtails pour emporter ladhsion du
correcteur. Il y a l un quilibre subtil, que lon ne peut trouver que grce un entranement rgulier.
Le fait davoir suivi une prparation est cet gard une chance inestimable. Trop de candidats perdent
un temps prcieux, et engrangent peu de points, dans des rdactions dlayes et sans ligne directrice.
En ce qui concerne lintgration, on est en droit dattendre des candidats, au niveau de lagrgation,
une connaissance prcise des proprits les plus usuelles de lintgrale de Lebesgue, et une bonne
comprhension du caractre central de la positivit dans cette thorie, qui intervenait dans plusieurs
questions : I.7. (permutation dune intgrale et dune somme infinie), questions I.9. et I.10. (o la
seule positivit de lintgrande suffisait justifier lexistence
de lintgrale) ou encore III.1.3. (ou in-
tervenait la dfinition dune fonction -intgrable : |f |d `8). Beaucoup de candidats nous ont
sembl ne pas avoir les ides parfaitement claires sur ce sujet.
page 39
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
questions. Or, le jury a regrett que nombre dentre eux ne leur consacrent pas suffisamment de soin, et
que des thormes fondamentaux (intgration terme terme, convergence des sries de Fourier) soient
trop souvent noncs avec une grande imprcision, voire ignors.
Commentaires dtaills
Partie I
1. Cette premire question na pas pos de difficult. Le jury sest toutefois mu de voir certains can-
didats tenter dtablir lgalit pour x 0.
2. Cette question consistait essentiellement itrer la question 1., ce qui revenait tablir que len-
semble 1 des irrationnels de lintervalle r0, 1s est stable par la transformation T . Lunicit de la suite
pan pxqqn>1 a t trs rarement correctement tablie par les candidats. En ralit, il fallait montrer
lexistence dune unique suite pan pxqqn>1 dentiers > 1 vrifiant
1
x pour tout n > 1,
1
a1 pxq `
1
a2 pxq `
.. 1
.`
an pxq ` T n pxq
cette suite vrifiant de plus Z ^
1
aj pxq pour j > 1.
T j1 pxq
3. Si la premire identit a t correctement tablie par la majorit des candidats, il nen a pas t
de mme de la seconde. Il suffisait pourtant dappliquer la premire la proprit de morphisme
rappele dans le prambule de lnonc :
1 1
a b a b
si f ptq ptq et gptq ptq,
c d c1 d1
alors
a b a1 b1
pf gqptq M ptq, o M ptq.
c d c1 d1
6. La majoration est souvent tablie dans le cas o n est pair, mais beaucoup de candidats ne voient
pas comment lobtenir lorsque n est impair. Il suffisait pourtant dobserver quon a alors pqn`1
n`1
x pqnn .
page 40
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
1
7. Les candidats ont en gnral repr lintrt de dvelopper 1`x en srie entire. Encore fallait-il
donner le bon dveloppement, ainsi que sa validit (cest ainsi quon a observ avec effarement des
dveloppements de ln x au voisinage de 0). Beaucoup de candidats intgrent ensuite ce dveloppement
terme terme sans mme se proccuper de le justifier. Dautres affirment que la srie p1qn xn ln x
converge uniformment sur r0, 1s (ce qui est vrai, mais demande une justification), voire normalement
(ce qui est faux). Le plus simple tait probablement de remarquer que
`8 1 `8 1 `8
p1qn1 xn1 ln x dx
1
xn1 ln x dx `8
n1 0 n1 0 n1
n2
1 1
f ptq cospntqdt ou f ptq cospntqdt ?
2
Peu importe, bien entendu, condition que la forme de la srie de Fourier soit cohrente avec le
choix fait ! On dplore ici de nombreuses erreurs de calcul dans les intgrations par parties. Quant
la convergence vers f de la srie de Fourier de f , elle est rarement bien justifie (rappelons que la
continuit est insuffisante).
Partie II
1. Cette question est trs simple si on ne sembarque pas dans une disjonction dun nombre incalculable
de cas. Par ailleurs, le cas j n 1 tait examiner part.
3. Cette question, o il suffisait de sommer lingalit tablie la question prcdente, na pas pos de
difficult.
4. Dans cette question, il fallait clairement indiquer quelle suite relle on appliquait le lemme de
Riesz, et ensuite vrifier que cette application tait lgitime.
5. Beaucoup de candidats ont eu lide de tlescoper les fj`1 fj , mais lindicatrice 1tvjn 0u disparat
le plus souvent mystrieusement au cours des majorations ! En ralit, pour majorer pfj`1 fj q1tvjn 0u
par fj`1 fj , ce qui rendait possible le tlescopage, il fallait invoquer la positivit de fj`1 fj , qui
dcoule de celle de f .
6. Cette question, qui consistait essentiellement en une rindexation, a t le plus souvent bien traite.
page 41
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Les questions 8. 10. ncessitaient une aisance minimale dans le maniement des limites infrieure
et suprieure. Un nombre non ngligeable de candidats ne fait pas de diffrence entre supn>0 fn et
lim supn`8 fn .
10.(c) Cette question consistait en un passage la limite quand N `8, rarement correctement
justifi.
Partie III.1
1. Presque tous les candidats ont vrifi que pq 1, mais peu ont pens justifier (succinctement)
que tait une mesure. Parmi ces derniers, un grand nombre a seulement montr que tait finiment
additive.
3. Cette question a t souvent rdige de manire trs imprcise. Il fallait absolument crire des
ingalits du type
1 1
|f |d 6 |f |d 6 |f |d,
2 ln 2 ln 2
les valeurs absolues ( lintrieur de lintgrale !) tant videmment essentielles.
4. Beaucoup de candidats nont montr quune inclusion (mme sils ont crit des quivalences !).
6. Il sagissait dune question de cours, malheureusement traite par trs peu de candidats. Il suffisait
de considrer les composantes connexes de louvert.
Les questions 8. 10. nont pas pos de difficults aux candidats qui les ont abordes.
I. Rsultats prliminaires
1. Cest la dfinition de T .
page 42
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
2. Comme T pxq P 1 , on peut lui appliquer le rsultat de la question prcdente, ce qui donne
1 1
x
1 1
a1 pxq ` a1 pxq `
a1 pT pxqq ` T 2 pxq a2 pxq ` T 2 pxq
avec a2 pxq a1 pT pxqq. En itrant, on obtient
1
x
1
a1 pxq `
1
a2 pxq `
.. 1
.`
an pxq ` T n pxq
avec aj pxq a1 pT j1 pxqq. La suite pan pxqqn>1 est unique, car on peut la rcuprer partir de x par
les formules
Z ^ Z ^ Z ^
1 1 1
a1 pxq , a2 pxq , et plus gnralement an pxq pour n > 1.
x T pxq T n1 pxq
En prenant les fonctions homographiques associes dans cette premire identit, et en utilisant la
proprit de morphisme rappele dans le prambule, on en dduit que
1 pn1 pxqt ` pn pxq
,
1 qn1 pxqt ` qn pxq
a1 pxq `
1
a2 pxq `
.. 1
.`
an pxq ` t
et on obtient la seconde identit en faisant t 0.
4. Lidentit est immdiate en prenant le dterminant dans la premire identit de la question I.3..
Quant la minoration, elle est vraie pour n 0 et n 1 et hrditaire puisque, si elle est vraie aux
rangs n 2 et n 1, alors
n2 n3 n3
? n3 n1
qn pxq > qn1 pxq ` qn2 pxq > 2 2 ` 2 2 2 2 2`1 >2 2 22 2 .
On obtient de mme la majoration en partant cette fois de x a1 pxq,...,a2n`1 pxq pT 2n`1 pxqq.
page 43
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On obtient de mme
x p2n`1 pxq 1
q2n`1 pxq q2n`1 pxqq2n`2 pxq
en partant de lencadrement
p2n`2 pxq p2n`1 pxq
x
q2n`2 pxq q2n`1 pxq
pn pxq
Par ailleurs, daprs la question I.4., qn pxq `8, do qn pxq x ( la vitesse 2n au moins.).
7. On a 1 1 `8
ln x
dx p1qn1 xn1 ln x.
0 1`x 0 n1
Comme
`8 1 `8 1 `8
p1qn1 xn1 ln x dx
1
xn1 ln x dx `8
n1 0 n1 0 n1
n2
on peut intgrer terme terme, ce qui donne
1 `8
p1qn
ln x
dx
0 1`x n1
n2
8.(a) La fonction f est paire. Pour n > 0, on obtient par une double intgration par parties
$
1
& 0 si n 0
an pf q : f ptq cospntqdt p1qn1
% si n > 1.
n2
Comme f est continue et C 1 par morceaux, elle est somme de sa srie de Fourier :
`8
p1qn1
f ptq cospntq pour t P R.
n1
n2
page 44
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
9. Il sagit de calculer lintgrale dune fonction mesurable positive, ce qui suffit assurer son existence
dans R` Y t`8u. On a par ailleurs
1 X1\ k1 ln 1 1
`8 X \ `8 `8
ln x x
k dx 1
dx dx lnpkq lnpkq ln 1 `
0 1`x k1
1
k`1
1`x k1
1 1 ` x k1
k`1
kpk ` 2q
Or,
n n`1
k`1 1 1
ln lnpn ` 1q 1 ` op1q,
k1
k k`1 k2
k
do 1
T pxqdx 1 .
0
1. Pour 0 6 j n 1, on a
vj max p0, uj`1 ` max p0, uj`2 , , uj`2 ` ` un qq max p0, uj`1 ` vj`1 q puj`1 ` vj`1 q`
vn1 maxp0, un q u` `
n pun ` vn q .
4. Fixons P . En posant
uk fk pq fk1 pq g U k1 pq pour 1 6 k 6 n,
on a
vjn pq max p0, uj`1 , uj`1 ` uj`2 , , uj`1 ` ` un q .
page 45
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
5. Comme f0 0, on a
n1
fn pfj`1 fj q
j0
n1
> pfj`1 fj q1tvjn 0u puisque fj`1 fj > 0 (f est positive)
j0
n1
> g U j 1tvjn 0u .
j0
6. On a
`1
v0nj U j max f` U j floomoon
0U
j
g U i`j
06`6nj
i0
0
j``1 j``1
`1
`1
i`j i`j i i
max f U gU max f U gU
06`6nj 06`6nj
i0 i0 ij ij
j``1
1 1
`
max fj`` fj g Ui max
1
f`1 fj g Ui vjn .
06`6nj j6` 6n
ij ij
7. Les fonctions g1tvnj 0u sont intgrables, car g lest, donc aussi les fonctions g1tvnj 0u U j
0 0
daprs lhypothse invariance faite sur . On peut donc intgrer lingalit de la question prcdente,
ce qui donne
n1
fn d > g1tvnj 0u U j d
0
j0
n1
g1tvnj 0u d puisque est U -invariante.
0
j0
On a donc
n1 n
1 1
f d > g1 nj d g1 j d.
n j0 tv0 0u n j1 tv0 0u
page 46
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On va maintenant faire tendre n vers `8. Tout dabord, lorsque j `8, 1tvj 0u tend simplement
0
vers 1tv0u , donc par convergence domine :
g1tvj 0u d g1v0 d g d.
0
tv0u
De l, par Cesro :
f d > g d.
tv0u
8. La fonction f est bien dfinie, mais valeurs dans R` Yt`8u. Pour y remdier, posons g arctan f .
On a
1 1
f U lim sup fn U lim sup pfn`1 f q f .
n n
Par consquent, g U g , donc g est gale presque partout une constante lment de 0, 2 .
On a donc bien
n1 n1
1 1
lim inf f U j > N lim sup pN f q` U j .
n j0 n j0
page 47
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
10.(c) En ralit, f N infpf, N q crot vers f quand N `8. Par Beppo Levi, en faisant tendre N
vers `8 dans lingalit de la question prcdente, on obtient
n1
1 j
lim inf f U > f d p.p. (3.2)
n j0
Comme lunion de deux ensembles de mesure nulle est de mesure nulle, on peut mettre bout--bout
deux ingalits vraies chacune p.p., et (3.1) et (3.2) donnent
n1 n1
1 j 1 j
f d 6 lim inf f U 6 lim sup f U 6 f d p.p.
n j0 n j0
do
n1
1
lim f Uj f d p.p.
n`8 n
j0
11. Le thorme a t dmontr dans le cas o f est positive et intgrable. Or, toute fonction intgrable
peut scrire comme la diffrence de deux fonctions positives et intgrables, do le rsultat par linarit.
1. Il est standard que est une mesure densit par rapport la mesure de Lebesgue sur p, Bq. De
plus, 1
1 dx
pq 1.
ln 2 0 1 ` x
1 1
2. Immdiat en encadrant entre et 1.
1`x 2
3. On a
1 1
|f |d 6 |f |d 6 |f |d,
2 ln 2 ln 2
donc
|f |d `8 |f |d `8.
page 48
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
6. Soit U un ouvert de . Les composantes connexes de U sont des intervalles de R, et des ouverts de
puisque est localement connexe. Enfin, comme chaque composante contient au moins un rationnel,
les composantes sont en nombre au plus dnombrable.
7. Pour tout intervalle I ouvert dans , on a pT 1 pIqq pIq daprs la question III.1.5. (le cas
o I contient 0 ou 1 sen dduisant puisque pT 1 pt0uqq pT 1 pt1uqq 0). En sommant sur les
composantes connexes, on obtient pT 1 pOqq pOq pour tout ouvert de . Et par passage au com-
plmentaire, on obtient la mme identit pour les ferms.
page 49
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
On a aussi
pF q 6 pAq 6 pOq,
do ` 1
T pAq pAq 6 pOq pF q pOzF q 6 .
9. On a
1A T d 1T 1 pAq d pT 1 pAqq pAq 1A d.
10. Lgalit
f T d f d
est vraie :
pour f indicatrice daprs la question prcdente,
pour f tage par linarit,
pour f mesurable positive par limite croissante,
pour f intgrable en crivant f f ` f .
III.2 Ergodicit de T
page 50
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Sachant que
pn1 t ` pn
n ptq ,
qn1 t ` qn
en notant pn1 , pn . . . la valeur constante de pn1 pxq, pn pxq, . . . lorsque x dcrit n , on obtient aprs
simplification et utilisation de la question I.4. :
De l,
page 51
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
9. Il suffit de montrer que si O est un ouvert de , alors O X 1 est une union dintervalles de type
n . En effet, comme deux intervalles de type n sont ou bien disjoints, ou bien contenus lun dans
lautre, on en dduira gratuitement que O X 1 est union disjointe, et dnombrable (car les intervalles
fondamentaux sont en nombre dnombrable) dintervalles de type n , ce qui donnera le rsultat par
-additivit de . Soit donc x P O X 1 . On peut fixer
un rel 0 tel que sx , x ` r O,
un entier n tel que 21n ,
une suite finie pa1 , . . . , an q telle que x P n : pa1 , . . . , an q.
Ds lors, n contient x, et sa longueur est au plus gal 21n daprs la question III.2.3., donc
n sx , x ` rX1 O X 1 .
B O et pOzBq 6 .
On a alors
1 1
pAqpBq 6 pAqpOq 6 pA X Oq pA X Bq ` pA X pOzBqq 6 pA X Bq ` .
2 2
do le rsultat en faisant tendre vers 0.
12.(b) Lorsque lentier n tend vers 8, An dcrot vers . Par consquent, pAn q 0 quand n 8.
Daprs la question prcdente, il existe donc t0 P R tel que pAt0 q 0.
page 52
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
12.(c) De mme, pour t assez grand, pAt q 1, ce qui assure lexistence de s. Soit psn qn>0 une suite
de rels s croissant vers s. Alors Asn crot vers As , donc 0 pAsn q pAs q, donc pAs q 0.
` c
12.(d) Si As` 1, alors pAs` q 0, ce qui contredit `la dfinition de s. Soit psn qn>0 une suite
c c
de rels s dcroissant vers s. Alors Asn crot vers Bs , et Asn 0, do pBs q 0.
12.(e) On a ainsi pAs q pBs q 0, donc pf 1 ptsuqq 1 : f est gale s presque partout.
1. Dune part, est T -invariante (question III.1.10.) et T est -ergodique (question III.2.12.). Dautre
part, la fonction identit est -intgrable. Daprs le thorme ergodique,
n1 1 1
1 i 1 t 1
T pxq t dptq dt 1 p.p.
n i0 0 ln 2 0 1 ` t ln 2
3.(a) Pour x P 1 , on a
qn pxqx pn pxq
T n pxq
qn1 pxqx pn1 pxq
do le rsultat.
page 53
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
qn1 pxq
qn pxq|qn1 pxqx pn1 pxq| 6 qn pxq 6 1.
qn1 pxqqn pxq
do
qn pxq qn pxq qn pxq 1
qn pxq|qn1 pxqx pn1 pxq| n
> >
qn1 pxqT pxq ` qn pxq qn1 pxq ` qn pxq 2qn pxq 2
page 54
Chapitre 4
page 55
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le candidat doit avoir lesprit que le jury ne cherche en rien le dstabiliser pendant lpreuve. Lors
de lchange qui suit lexpos du dveloppement, les premires questions visent trs souvent prciser
une notation ou un point du dveloppement, le but tant pour le jury de sassurer de la comprhension
par le candidat des notions quil vient dexposer et non de lui tendre un quelconque pige.
Le candidat est convi utiliser son temps de parole, 6 minutes maximum, pour prsenter, argu-
menter, mettre en valeur et faire une synthse de sa leon.
Il existe maintenant de nombreux plans tout faits disponibles dans la littrature, plus ou moins perti-
nents, de plus ou moins grande valeur. Il est naturel que les candidats sinspirent de sources de qualit
et, dune certaine manire, le choix de ces sources, la capacit sen affranchir ou pleinement se les
approprier, participent au regard que le jury peut porter sur leur maturit scientifique. Cependant, il
est bien entendu que lobjectif de cette partie de lpreuve nest pas de juger la capacit simplement
recopier un plan, ni le rciter par cur dailleurs. Il sagit dune preuve orale et le document trans-
mis au jury est une base de discussion et un fil conducteur qui servira au jury pour mener la partie
consacre au dialogue et aux questions.
En particulier, chercher remplir tout prix les 3 feuilles autorises, surtout avec des lments que le
candidat ne matrise manifestement pas ne constitue en rien une stratgie payante.
Le plan crit nest ni une numration de paragraphes, ni un cours ou un expos complet avec dveloppe-
ment des dmonstrations. Il dfinit toutefois avec suffisamment de prcision les notions mathmatiques
introduites, donne les noncs complets des rsultats fondamentaux, notamment sur les hypothses,
cite des exemples et des applications.
La formalisation mathmatique et le franais doivent tre soigns, mais bien videmment il ne sagit
pas dun texte destin tre publi dans une revue internationale.
De manire gnrale, le jury conseille vivement aux candidats de soigner tant leurs crits que leur
expression orale, car cest une comptence professionnelle importante du mtier denseignant.
Lexpos oral qui consiste relire simplement ce qui est crit na pas beaucoup dintrt, le candidat se
contente trop souvent dune prsentation linaire, sans expliquer ou mettre en valeur les articulations
du plan, ni faire ressortir les mthodes ou les rsultats importants.
En fait, le candidat devrait simaginer dans la situation o il doit introduire un auditoire, pendant 6
minutes, une leon destine ensuite tre dveloppe sur plusieurs sances. Quel est lintrt du sujet ?
Comment se positionne-t-il dans un paysage mathmatique plus large ? Comment sarticulent les diff-
rentes sections qui composent la leon ? Comment sexpliquent et se motivent les enchanements ? Cest
loccasion de sinterroger sur les difficults didactiques de la leon, cest--dire dans quel ordre et com-
ment prsenter les choses pour que le tout soit cohrent, comprhensible et pdagogiquement efficace.
En quoi les exemples slectionns savrent-ils pertinents ? Quelles figures illustrent particulirement
les notions en jeu ?
Autrement dit, le jury attend une argumentation synthtique de la construction de la leon.
Le plan doit tre matris, cest dire que les rsultats exposs doivent tre compris ainsi que
lorganisation densemble. Il est souhaitable que le candidat connaisse dans leurs grandes lignes les
dmonstrations des rsultats figurant au programme du concours. Il est indispensable que le candidat
ait une ide assez claire de la difficult des dmonstrations des rsultats quil voque dans son plan. Le
jury pourra appliquer ces critres pour valuer la matrise du plan.
Cest au candidat de circonscrire son plan, notamment en ce qui concerne les noncs dbordant
largement du cadre du programme. Il peut tre bon aussi de prciser, lors de la prsentation orale, le
niveau auquel se place le candidat.
page 56
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le jury ne cherche pas des plans absolument originaux, le plus important est que le plan soit bien
structur, matris par le candidat et quy figure une quantit substantielle dexemples et de mathma-
tique. Le plan crit ne peut pas tre une suite de banalits sur des sujets gnraux mais doit aborder
suffisamment profondment les mathmatiques sous-jacentes la leon.
Il sagit dune preuve orale, il est donc inutile de recopier le plan au tableau, dans la mesure o le
jury possde une copie du texte. Toutefois lusage du tableau (blanc ou craie selon la configuration
des salles) comme support pdagogique peut tre efficace. Durant cette partie de lpreuve, le candidat
nhsitera donc pas exploiter son tableau afin de prciser son propos et de le rendre plus vivant.
La prsentation orale, la qualit dexpression, la comprhension synthtique, la plus-value de lexpos
par rapport au plan crit, la capacit du candidat intresser son auditoire sur une leon donne,
constituent des lments importants dvaluation.
Insistons sur le fait que la recopie de plans disponibles sur Internet ou dans des livres spcialiss ne
constitue pas un travail suffisant de prparation du concours. Ainsi, au-del de lexploitation dou-
vrages de rfrence, qui na rien de condamnable, le jury attend que le candidat fasse preuve dun
investissement personnel sur le sujet.
Lexpos oral ne peut tre considr comme matris sil ressemble une rcitation. Bien entendu, ceci
ne simprovise pas et le discours doit avoir t rflchi durant la prparation de lpreuve.
la fin de cette prsentation de la leon, le jury peut ventuellement questionner trs brivement le
candidat et aborder quelques points techniques, sans entrer dans des dtails qui retarderaient le dbut
du dveloppement.
Le jury veille la cohrence du plan et des propositions de dveloppements. Il est souhaitable que le
candidat recherche une adquation entre le niveau auquel il souhaite se placer et les dveloppements
proposs. Un candidat ne sera pas avantag sil prsente un dveloppement non matris, mal compris ou
expos trop rapidement. Il faut toutefois veiller rester au niveau de lAgrgation ; les dveloppements
de niveau dune classe de Terminale ou dune premire anne post-bac seront valus ngativement.
Le jury demande au candidat de prsenter deux dveloppements au moins. Ceux-ci doivent tre claire-
ment mentionns sur le plan crit et non pas vaguement voqus loral. Dans cet esprit, le candidat
motivera soigneusement le choix des dveloppements quil propose, expliquant en quoi il estime que
ces rsultats ou noncs sont centraux ou jouent ses yeux un rle particulier sur le sujet.
Le candidat doit aussi prciser, sur son plan crit, ce quil va dmontrer et, le cas chant, les rsultats
de son plan quil va admettre pour mener bien son dveloppement.
Le candidat dispose de 15mn (maximum) pour le mener bien. Le jury demande au candidat de
bien grer son tableau, en particulier le candidat doit demander aux membres du jury lautorisation
deffacer. Le jury souhaite, dans la mesure du possible, que le candidat efface le moins possible le
tableau pendant cette priode.
Lors du dveloppement, le jury attend du candidat des explications sur la preuve et sur lutilisation
pertinente des notions dveloppes durant lexpos oral ; il peut tre opportun, lors du dveloppement,
de se rfrer explicitement au plan prsent.
Trop peu de candidats commencent leur dveloppement par une rapide exposition des grandes ides ou
des tapes qui le composent. Le jury aimerait avoir une petite explication de la dmarche au dbut du
dveloppement. Il est inutile de se prcipiter ou de parler trop vite ; on veillera au contraire prciser
ses notations, soigner sa prsentation, placer sa voix et regarder de temps en temps le jury.
Le dveloppement ressemble parfois une succession plus ou moins convaincante de rsultats interm-
diaires ad hoc. La rcitation mcanique dun dveloppement est lourdement sanctionne ; le jury veille
page 57
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
ce que les futurs enseignants comprennent ce quils exposent et sachent exposer ce quils comprennent.
Cest une qualit essentielle dun futur agrg.
On ne saurait trop conseiller aux candidats dillustrer leur dveloppement (et ventuellement leur
plan) par un ou plusieurs dessins : lexpos y gagnerait en clart pour le jury, le candidat pourrait ainsi
montrer un souci louable de pdagogie.
Rappelons que le dveloppement doit tre en rapport avec le sujet trait, la leon prsente et le
plan crit. Nous insistons sur le fait que tout hors-sujet est svrement sanctionn. Lutilisation dun
rsultat non prsent dans le plan crit doit tre explicitement signale par le candidat. Toute utilisation
dun lemme non dmontr et enfermant lessence de la preuve est sanctionne. Le jury peut exiger la
dmonstration dun lemme admis, si celui-ci est essentiellement le cur du dveloppement. Il faut viter
de prsenter ou dutiliser un rsultat prliminaire ou intermdiaire sans explication convaincante. Dans
le cas dun dveloppement difficile, il ne faut pas ngliger les cas lmentaires et les dtails utiles la
comprhension du jury.
Comme mentionn prcdemment, le candidat peut utiliser sa copie du plan pendant toute lpreuve
et ses notes manuscrites produites durant la prparation, uniquement durant la premire phase de
linterrogation dite prsentation de la leon , mais il ne pourra les utiliser pendant le dveloppement.
Enfin, mme si le jury laisse voluer le candidat durant son dveloppement, en intervenant le moins
possible, il peut, en cas de lacunes ou derreurs manifestes, interrompre le candidat pour demander des
explications. Cette intervention ne donne pas droit une extension du temps consacr au dveloppe-
ment.
La pertinence des explications, le souci pdagogique, la capacit mener bien et compltement le sujet
dans le temps imparti, laisance technique sont des lments importants dapprciation. Par ailleurs,
le candidat doit sattendre tre interrog lors de la priode de discussion sur des applications ou
illustrations lmentaires de son dveloppement. Il est donc essentiel quil soit capable de reconnatre
dans une question donne un cas particulier simple du rsultat gnral quil vient dexposer.
Le jury vrifie systmatiquement la matrise approfondie du plan prsent. Cest--dire quune part
importante de la discussion portera sur le plan, ou trouvera sa source dans le plan prsent par le
candidat. De manire gnrale, il faut viter de dpasser largement le niveau quon matrise. Pour
assimiler les notions il faut, durant lanne de prparation, se demander si on est capable de les mettre
en uvre sur des exemples simples et, pour certains thormes, si on a rflchi des exemples ou
des contre-exemples. Le candidat doit tre conscient que, sil met un nonc dans son plan, il doit se
prparer des questions lmentaires voire considres comme videntes auxquelles il doit rpondre
avec prcision, et des calculs ventuels sur ce point. Une fois de plus, insistons sur le fait quil est
essentiel de bien matriser ce que lon propose.
Le jury pose aussi des exercices en rapport direct avec la leon, mais ne sattend pas ce que le
candidat trouve une solution immdiatement. Le but est plutt de voir voluer le futur agrg dans
une dmarche scientifique rigoureuse et mthodique. Le candidat doit rflchir, utiliser son plan et
rattacher lexercice sa leon. Le fait de ne pas rsoudre un exercice ne doit pas tre compris comme
un chec et le candidat ne doit pas se dcourager. Il doit au contraire rester attentif aux suggestions
du jury ; la qualit du dialogue, les rponses aux questions, lutilisation du plan crit et lcoute dont
le candidat fait preuve sont des lments importants de notation.
Pendant cette discussion le jury veille laisser un temps raisonnable au candidat pour rflchir, sans
le submerger de questions.
Rappelons que lobjet du concours est de recruter de futurs enseignants, le jury peut donc aussi comme
lindique larticle 8 de larrt du 25 juillet 2014, poser toutes questions utiles pour juger de la capacit
des candidats occuper de tels postes.
page 58
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Dans les leons, les illustrations des notions algbriques par des exemples et des applications issus de
la gomtrie sont les bienvenus, ceci tout particulirement en thorie des groupes.
Les notions de quotients sont importantes, il est important ce stade de dominer la projection cano-
nique et surtout, les subtilits du passage au quotient dans le cadre dun morphisme.
La thorie des reprsentations, introduite rcemment dans le programme du concours, est naturellement
relie bon nombre de leons. En effet, en dehors des leons directement concernes, les reprsentations
peuvent figurer naturellement dans les leons 101, 102, 103, 104, 105, 106 et 150.
Les remarques qui suivent sont spcifiques chaque leon et permettent aux candidats de mieux saisir
les attentes du jury sur chacun de ces sujets. On y distingue clairement ce qui constitue le cur du
sujet dlments plus sophistiqus et ambitieux, qui dpassent cette base.
Leon 102 : Groupe des nombres complexes de module 1. Sous-groupes des racines de
lunit. Applications.
Il ne faut pas uniquement aborder cette leon de faon lmentaire sans rellement expliquer o et
comment les nombres complexes de modules 1 et les racines de lunit apparaissent dans divers domaines
des mathmatiques (exponentielle complexe et ses applications, polynmes cyclotomiques, spectre de
matrices remarquables, thorie des reprsentations). Il ne faut pas non plus oublier la partie groupe
de la leon : on pourra sintresser au relvement du groupe unit au groupe additif des rels et aux
proprits qui en rsultent. De mme les sous-groupes finis de S1 sont intressants considrer dans
cette leon.
On pourra aussi sintresser aux groupes des nombres complexes de Qris, et les racines de lunit qui y
appartiennent ; tout comme aux sous-groupes compacts de C .
page 59
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Dans cette leon, il faut non seulement voquer les notions de groupe quotient, de sous-groupe driv
et de groupe simple mais surtout savoir les utiliser et en expliquer lintrt. On pourra utiliser des
exemples issus de la gomtrie, de larithmtique, de lalgbre linaire (utilisation despaces vectoriels
quotients par exemple). La notion de produit semi-direct nest plus au programme ; mais, lorsquelle
est utilise, il faut savoir la dfinir proprement et savoir reconnatre des situations simples o de tels
produits apparaissent (le groupe didral Dn par exemple).
Sils le dsirent, les candidats peuvent poursuivre en illustrant ces notions laide dune table de
caractres et dcrire le treillis des sous-groupes distingus, ainsi que lindice du sous-groupe driv,
dun groupe fini laide de cette table.
Leon 106 : Groupe linaire dun espace vectoriel de dimension finie E, sous-groupes
de GLpEq. Applications.
Cette leon ne doit pas se rsumer un catalogue de rsultats pars sur GLpEq. Il est important de
savoir faire correspondre les sous-groupes du groupe linaire avec les stabilisateurs de certaines actions
naturelles (sur des formes quadratiques, symplectiques, sur des drapeaux, sur une dcomposition en
somme directe, etc.). On doit prsenter des systmes de gnrateurs, tudier la topologie et prciser
pourquoi le choix du corps de base est important. Les liens avec le pivot de Gauss sont dtailler.
Il faut aussi savoir raliser Sn dans GLpn, Kq et faire le lien entre signature et dterminant. Sils le
dsirent, les candidats peuvent aller plus loin en remarquant que la thorie des reprsentations permet
dillustrer limportance de GLn pCq et de son sous-groupe unitaire.
page 60
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Leon 107 : Reprsentations et caractres dun groupe fini sur un C-espace vectoriel.
Exemples.
Il sagit dune leon o thorie et exemples doivent apparatre. Dune part, il est indispensable de
savoir dresser une table de caractres pour des petits groupes, et dautre part, il faut savoir tirer des
informations sur le groupe partir de sa table de caractres, et tre capable de trouver la table de
caractres de certains sous-groupes. Les reprsentations peuvent provenir dactions de groupes sur des
ensembles finis, de groupes disomtries, disomorphismes exceptionnels entre groupes de petit cardinal.
Inversement, on peut chercher interprter des reprsentations de faon gomtrique, mais il faut avoir
conscience quune table de caractres provient gnralement de reprsentations complexes priori non
relles. La prsentation du lemme de Schur est importante et ses applications doivent tre parfaitement
matrises.
Sils le dsirent, les candidats peuvent saventurer dans la construction de licosadre partir de la table
de caractres de A5 en utilisant lindice de Schur (moyenne des caractres sur les carrs des lments
du groupe).
Leon 110 : Caractres dun groupe ablien fini et transforme de Fourier discrte. Ap-
plications.
Le thorme de structure des groupes abliens finis a une place de choix dans cette leon. On pourra
en profiter pour montrer lutilisation de la dualit dans ce contexte. Comme application, la cyclicit
du groupe multiplicatif dun corps fini est tout fait adapte. Dailleurs, des exemples de caractres,
additifs, ou multiplicatifs dans le cadre des corps finis, sont les bienvenus. Sils le dsirent, les candidats
peuvent sintresser aux sommes de Gauss.
Lalgbre du groupe est un objet intressant, surtout sur le corps des complexes, o elle peut tre munie
dune forme hermitienne. On peut lintroduire comme une algbre de fonctions, munie dun produit de
convolution, mais il est aussi agrable de la voir comme une algbre qui prolonge la mutiplication
du groupe.
La transforme de Fourier discrte pourra tre vue comme son analogue analytique, avec ses formules
dinversion, sa formule de Plancherel, mais dans une version affranchie des problmes de convergence,
incontournables en analyse de Fourier.
On pourra y introduire la transforme de Fourier rapide sur un groupe ablien dordre une puissance
de 2 ainsi que des applications la multiplication dentiers, de polynmes et ventuellement au dcodage
de codes via la transforme de Hadamard.
page 61
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
distinguer clairement les proprits de groupes additifs et danneaux, de connatre les automorphismes,
les nilpotents et les idempotents.
Enfin, il est indispensable de prsenter quelques applications arithmtiques des proprits des an-
neaux Z{nZ, telles que ltude de quelques quations diophantiennes bien choisies. De mme, les
applications cryptographiques telles que lalgorithme RSA sont naturelles dans cette leon.
Sils le dsirent, les candidats peuvent aller plus loin en sintressant au calcul effectif des racines carres
dans Z{nZ.
page 62
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Dans cette leon on doit prsenter les notions de bases servant aborder les quations de type ax`by
d (identit de Bezout, lemme de Gauss), les systmes de congruences, mais aussi bien entendu la
mthode de descente de Fermat et lutilisation de la rduction modulo un nombre premier p.
La leon peut aussi driver vers la notion de factorialit, illustre par des quations de type Mordell,
Pell-Fermat, et mme Fermat (pour n 2, ou pour les nombres premiers de Sophie Germain).
page 63
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Leon 151 : Dimension dun espace vectoriel (on se limitera au cas de la dimension finie).
Rang. Exemples et applications.
Dans cette leon, il est important de prsenter les rsultats fondateurs de la thorie des espaces vec-
toriels de dimension finie en ayant une ide de leurs preuves. Ces thormes semblent simples car ils
ont t trs souvent pratiqus, mais leur preuve demande un soin particulier. Il est important de sa-
voir justifier pourquoi un sous-espace vectoriel dun espace vectoriel de dimension finie est aussi de
dimension finie. Les diverses notions et caractrisations du rang trouvent leur place dans cette leon.
Les applications sont nombreuses, on peut par exemple voquer lexistence de polynmes annulateurs
ou alors dcomposer les isomtries en produits de rflexions.
Sils le dsirent, les candidats peuvent dterminer des degrs dextensions dans la thorie des corps ou
sintresser aux nombres algbriques.
page 64
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 65
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
symtriques peut donner un cadre naturel cette leon. Le lien avec les formes quadratiques et les
formes hermitiennes est incontournable. La partie relle et la partie imaginaire dun produit hermitien
dfinissent des structures sur lespace vectoriel rel sous-jacent. Lorthogonalisation simultane est un
rsultat important de cette leon. Il faut en connatre les applications gomtriques aux quadriques.
Leon 160 : Endomorphismes remarquables dun espace vectoriel euclidien (de dimension
finie).
Dans cette leon, le caractre euclidien de lespace est essentiel pour que lendomorphisme soit remar-
quable. Le thorme spectral pour les auto-adjoints et la rduction des endomorphismes orthogonaux
sont des rsultats incontournables. Le lemme des noyaux ou la dcomposition de Dunford ne sont
pas des dveloppements adapts cette leon. En revanche, lutilisation du fait que lorthogonal dun
sous-espace stable par un endomorphisme est stable par ladjoint doit tre mis en valeur. De mme la
rduction de endomorphismes normaux peut tre voque.
Leon 161 : Isomtries dun espace affine euclidien de dimension finie. Applications en
dimensions 2 et 3.
La classification des isomtries en dimension 2 et 3 est exigible. Il faut savoir prouver quune isomtrie
est affine, pouvoir donner des gnrateurs du groupe des isomtries affines, et savoir composer des
isomtries affines. En dimension 3, il faut savoir classifier les rotations et connatre les liens avec la
rduction. On peut aussi penser aux applications aux isomtries laissant stables certains objets en
dimension 2 et 3.
page 66
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Leon 170 : Formes quadratiques sur un espace vectoriel de dimension finie. Orthogonalit,
isotropie. Applications.
Il faut tout dabord noter que lintitul implique implicitement que le candidat ne doit pas se contenter
de travailler sur R. Le candidat pourra parler de la classification des formes quadratiques sur le corps
des complexes et sur les corps finis. Lalgorithme de Gauss doit tre nonc et pouvoir tre pratiqu
sur une forme quadratique simple.
Les notions disotropie et de cne isotrope sont un aspect important de cette leon. On pourra rattacher
cette notion la gomtrie diffrentielle.
Leon 181 : Barycentres dans un espace affine rel de dimension finie, convexit. Appli-
cations.
Dans cette leon, la notion de coordonnes barycentriques est incontournable ; des illustrations dans le
triangle (coordonnes barycentriques de certains points remarquables) sont envisageables. Il est impor-
tant de parler denveloppe convexe, de points extrmaux, ainsi que des applications qui en rsultent.
Sils le dsirent, les candidats peuvent aller plus loin en prsentant le lemme de Farkas, le thorme de
sparation de Hahn-Banach, ou les thormes de Helly et de Caratheodory.
page 67
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
La liste des leons volue en 2017 et certaines des leons de la session 2016 sont fusionnes avec dautres.
Cela ne signifie absolument pas que les notions sous-jacentes aux intituls qui ne sont plus prsents
disparaissent : elles trouvent naturellement leur place parmi les leons de la session 2017, comme cela
est trs clairement prcis dans ce qui suit.
page 68
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 69
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
209 : Approximation dune fonction par des polynmes et des polynmes trigonom-
triques. Exemples et applications.
Cette leon comporte un certain nombre de classiques comme par exemple les polynmes de Bernstein,
ventuellement agrment dune estimation de la vitesse de convergence (avec le module de continuit).
Il nest pas absurde de voir la formule de Taylor comme une approximation locale dune fonction par
des polynmes. Les polynmes dinterpolation de Lagrange peuvent tre mentionns en mettant en
vidence les problmes quils engendrent du point de vue de lapproximation.
Pour aller plus loin, le thorme de Fejr (versions L1 , Lp ou CpTq) offre aussi la possibilit dun
joli dveloppement, surtout sil est agrment dapplications (polynmes trigonomtriques lacunaires,
injectivit de la transforme de Fourier sur L1 , . . .), mais on peut aussi sintresser la convolution
avec dautres noyaux.
page 70
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Il est important de faire la diffrence entre base algbrique et base hilbertienne. De plus, la formule de
la projection orthogonale sur un sous espace de dimension finie dun espace de Hilbert doit absolument
tre connue de mme que linterprtation gomtrique de la mthode de Gramm-Schmidt. Le thorme
de projection sur les convexes ferms (ou sur un sous-espace vectoriel ferm) dun espace de Hilbert H
est rgulirement mentionn. Les candidats doivent sintresser au sens des formules
x px|en qen et ||x||2 |px|en q|2
n>0 n>0
en prcisant les hypothses sur la famille pen qnPN et en justifiant la convergence. La notion dadjoint
dun oprateur continu peut illustrer agrablement cette leon.
Pour aller plus loin, le programme permet daborder la rsolution et lapproximation de problmes aux
limites en dimension 1 par des arguments exploitant la formulation variationnelle de ces quations. Plus
gnralement, loptimisation de fonctionnelles convexes sur les espaces de Hilbert peut tre explore.
Enfin, le difficile thorme spectral pour les oprateurs auto-adjoints compacts peut tre abord.
214 : Thorme dinversion locale, thorme des fonctions implicites. Exemples et appli-
cations en analyse et en gomtrie.
Il sagit dune belle leon, formule ici dans la version qui sera adopte pour la session 2017, qui
exige une bonne matrise du calcul diffrentiel. Mme si le candidat ne propose pas ces thmes en
dveloppement, on est en droit dattendre de lui des ides de dmonstration des deux thormes
fondamentaux qui donnent son intitul la leon. Il est indispensable de savoir mettre en pratique
le thorme des fonctions implicites au moins dans le cas de deux variables relles. On attend des
applications en gomtrie diffrentielle notamment dans la formulation des multiplicateurs de Lagrange.
Plusieurs ingalits classiques de lanalyse peuvent se dmontrer avec ce point de vue : arithmtico-
gomtrique, Hlder, Carleman, Hadamard, . . . En ce qui concerne la preuve du thorme des extrema
lis, la prsentation de la preuve par raisonnement sous-matriciel est souvent obscure ; on priviligiera
si possible une prsentation gomtrique sappuyant sur lespace tangent.
Pour aller plus loin, lintroduction des sous-varits est naturelle dans cette leon. Il sagit aussi dagr-
menter cette leon dexemples et dapplications en gomtrie, sur les courbes et les surfaces.
page 71
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
les notations o ou O quils utilisent. De plus la diffrence entre lexistence dun dveloppement limit
lordre deux et lexistence de drive seconde doit tre connue. On peut aussi montrer comment les
formules de Taylor permettent dtablir le caractre dveloppable en srie entire (ou analytique) dune
fonction dont on contrle les drives successives.
Pour aller plus loin, on peut mentionner des applications en algbre bilinaire (lemme de Morse), en
gomtrie (tude locale au voisinage des points stationnaires pour les courbes et des points critiques
pour la recherche dextrema) et, mme si cest plus anecdotique, en probabilits (Thorme central
limite). On peut aussi penser la mthode de Laplace, du col, de la phase stationnaire ou aux inga-
lits contrlant les drives intermdiaires lorsque f et sa drive n-ime sont bornes. On soignera
particulirement le choix des dveloppements.
220 : quations diffrentielles X 1 f pt, Xq. Exemples dtudes des solutions en dimension 1
et 2.
Cest loccasion de rappeler une nouvelle fois que le jury salarme des nombreux dfauts de matrise
du thorme de Cauchy-Lipschitz. Il est regrettable de voir des candidats ne connatre quun nonc
pour les fonctions globalement lipschitziennes ou plus grave, mlanger les conditions sur la variable
de temps et despace. La notion de solution maximale et le thorme de sortie de tout compact sont
ncessaires. Bien videmment, le jury attend des exemples dquations diffrentielles non linaires.
Le lemme de Grnwall semble trouver toute sa place dans cette leon mais est curieusement rarement
nonc. Lutilisation du thorme de Cauchy-Lipschitz doit pouvoir tre mise en uvre sur des exemples
concrets. Les tudes qualitatives doivent tre prpares et soignes.
Pour les quations autonomes, la notion de point dquilibre permet des illustrations de bon got
comme par exemple les petites oscillations du pendule. Trop peu de candidats pensent tracer et
discuter des portraits de phase alors que le sujet y invite clairement.
Pour aller plus loin, il est possible dvoquer les problmatiques de lapproximation numrique dans
cette leon en prsentant le point de vue du schma dEuler. On peut aller jusqu aborder la notion de
problmes raides et la conception de schmas implicites pour autant que le candidat ait une matrise
convenable de ces questions.
page 72
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
des solutions. Le cas des systmes cfficients constants fait appel la rduction des matrices qui
doit tre connue et pratique. Le jury attend quun candidat puisse mettre en uvre la mthode de
variation des constantes pour rsoudre une quation diffrentielle linaire dordre 2 simple ( coefficients
constants par exemple) avec second membre.
Lutilisation des exponentielles de matrices a toute sa place ici. Les problmatiques de stabilit des
solutions et le lien avec lanalyse spectrale devraient tre exploites.
Le thorme de Cauchy-Lipschitz linaire constitue un exemple de dveloppement pertinent pour cette
leon. Les rsultats autour du comportement des solutions, ou de leurs zros, de certaines quations
linaires dordre 2 (Sturm, Hill-Mathieu, . . .) sont aussi dautres possibilits.
page 73
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
226 : Suites vectorielles et relles dfinies par une relation de rcurrence un`1 f pun q.
Exemples. Applications la rsolution approche dquations.
Citer au moins un thorme de point fixe dans cette leon est pertinent. Le jury attend dautres
exemples que la traditionnelle suite rcurrente un`1 sinpun q (dont il est souhaitable de savoir expli-
quer les techniques sous-jacentes).
La nouvelle formulation de cette leon, qui sera en vigueur en 2017, invite voquer les problmatiques
de convergence dalgorithmes (notamment savoir estimer la vitesse), dapproximation de solutions de
problmes linaires et non linaires : dichotomie, mthode de Newton, algorithme du gradient, mthode
de la puissance, mthodes itratives de rsolution de systmes linaires, schma dEuler, . . .
Laspect vectoriel est souvent nglig. Par exemple, le jury attend des candidats quils rpondent de
faon pertinente la question de la gnralisation de lalgorithme de Newton au moins dans R2 ,
voire Rn .
228 : Continuit et drivabilit des fonctions relles dune variable relle. Exemples et
applications.
Cette leon permet des exposs de niveaux trs varis. Les thormes de base doivent tre matriss
et illustrs par des exemples intressants, par exemple le thorme des valeurs intermdiaires pour
la drive. Le jury sattend ce que le candidat connaisse et puisse calculer la drive des fonctions
usuelles. Les candidats doivent disposer dun exemple de fonction drivable de la variable relle qui
ne soit pas continment drivable. La stabilit par passage la limite des notions de continuit et de
drivabilit doit tre comprise par les candidats. De faon plus fine, on peut sintresser aux fonctions
continues nulle part drivables.
Pour aller plus loin, la drivabilit presque partout des fonctions lipschitziennes ou des fonctions mo-
notones relve de cette leon. Les applications du thorme dAscoli (avec, par exemple, des exemples
doprateurs noyaux
x compacts), sont les bienvenues. Ltude de la drive au sens des distributions
de x P ra, bs a f ptqdt pour une fonction intgrable f P L1 pra, bsq, est un rsultat intressant.
230 : Sries de nombres rels ou complexes. Comportement des restes ou des sommes
partielles des sries numriques. Exemples.
De nombreux candidats commencent leur plan par une longue exposition des conditions classiques
assurant la convergence ou la divergence des sries numriques. Sans tre hors sujet, cette exposition
page 74
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
ne doit pas former lessentiel de la matire de la leon. Le thme central de la leon est en effet le com-
portement asymptotique des restes et sommes partielles (quivalents, dveloppements asymptotiques
par exemple pour certaines suites rcurrentes cas des sries de Riemann, . . .).
On peut aussi sintresser certaines sommes particulires, que ce soit pour exhiber des nombres
irrationnels (voire transcendants), ou mettre en valeur des techniques de calculs non triviales (par
exemple en faisant appel aux sries de Fourier ou aux sries entires).
Enfin le jury apprcie que le thorme des sries alternes (avec sa version sur le contrle du reste) soit
matris, mais on rappelle aussi que la transformation dAbel trouve toute sa place dans cette leon.
page 75
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
un niveau plus avanc, les thormes de convergence domine, de convergence monotone et le tho-
rme de Fubini (et Fubini-Tonelli) ont leur place dans cette leon. On choisira des exemples pertinents
pour illustrer lintrt de chacun de ces rultats, mais on pourra aussi exhiber des contre-exemples
montrant que des hypothses trop faibles ne permettent pas en gnral deffectuer linterversion tant
dsire. Pour les candidats qui le souhaitent, on pourra parler de la transforme de Fourier et/ou de
la transforme de Laplace.
236 : Illustrer par des exemples quelques mthodes de calcul dintgrales de fonctions
dune ou plusieurs variables.
Cette leon doit tre trs riche en exemples simples, comme lintgrale 0 sinptq
`8
t dt. Il est souhaitable
de prsenter des utilisations du thorme des rsidus, ainsi que des exemples faisant intervenir les
intgrales multiples comme le calcul de lintgrale dune gaussienne. Le calcul du volume de la boule
unit de Rn ne doit pas poser de problmes insurmontables. Le calcul de la transformation de Fourier
dune gaussienne a sa place dans cette leon.
On peut aussi penser lutilisation du thorme dinversion de Fourier ou du thorme de Plancherel.
Certains lments de la leon prcdente, comme par exemple lutilisation des thormes de convergence
monotone, de convergence domine et/ou de Fubini, sont aussi des outils permettant le calcul de
certaines intgrales.
239 : Fonctions dfinies par une intgrale dpendant dun paramtre. Exemples et appli-
cations.
Souvent les candidats incluent les thormes de rgularit (version segment a minima mais aussi
version convergence domine) ce qui est pertinent. Cette leon peut tre enrichie par des tudes
et mthodes de comportements asymptotiques. Les proprits de la fonction dEuler fournissent un
dveloppement standard (il sera de bon ton dy inclure le comportement asymptotique). Les diffrentes
transformations classiques (Fourier, Laplace, . . .) relvent aussi de cette leon. On peut en donner des
applications pour obtenir la valeur dintgrales classiques (celle de lintgrale de Dirichlet par exemple).
Pour aller plus loin, on peut par exemple dvelopper les proprits des transformations mentionnes
(notamment Fourier), ainsi que de la convolution.
page 76
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
candidat puisse donner des arguments justifiant quune srie entire en 0 dont le rayon de convergence
est R est dveloppable en srie entire en un point z0 intrieur au disque de convergence et de minorer
le rayon de convergence de cette srie. Sans tomber dans un catalogue excessif, on peut indiquer les
formules de dveloppement de fonctions usuelles importantes (exp, log, 1{p1 zq, sin,...). Le jury
attend galement que le candidat puisse les donner sans consulter ses notes. En ce qui concerne la
fonction exponentielle, le candidat doit avoir rflchi au point de vue adopt sur sa dfinition et donc
sur larticulation entre lobtention du dveloppement en srie entire et les proprits de la fonction.
ce propos, les rsultats sur lexistence du dveloppement en srie entire pour les fonctions dont on
contrle toutes les drives successives sur un voisinage de 0 sont souvent mconnus.
Le thorme dAbel (radial ou sectoriel) trouve toute sa place mais doit tre agrment dexercices
pertinents. Rciproquement, les thormes taubriens offrent aussi de jolis dveloppements. On pourra
aller plus loin en abordant quelques proprits importantes lies lanalyticit de la somme dune srie
entire.
page 77
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 78
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 79
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Dans cette preuve, le candidat tire un couple de sujets au sein dune liste dune quarantaine de sujets
dalgbre et danalyse extraite de la liste gnrale des autres options du concours. Il ny a donc pas
ncessairement un sujet dalgbre et un sujet danalyse ! Il peut y avoir deux sujets dalgbre
ou deux sujets danalyse, par exemple : Variables alatoires discrtes et Fonctions monotones. Le
programme prcise en effet :
Les candidats se verront proposer deux sujets, dans un corpus dalgbre, de gomtrie,
danalyse et de probabilits.
Il est donc impratif que les candidats ajustent leur prparation cette organisation ; ils ne peuvent
se permettre de faire limpasse sur une partie du programme.
Le jury a interrog les candidats dans le mme esprit que dans les autres options et les critres dva-
luation taient strictement identiques.
Notons toutefois que lorsquils avaient le choix, les candidats ont le plus souvent prfr les sujets
dalgbre ceux danalyse. Nous conseillons vivement aux futurs candidats de cette option de ne pas
ngliger leur formation en analyse et probabilits. A lavenir, le jury se rserve la possibilit de renforcer
la frquence des sujets danalyse et probabilits dans les tirages de leons proposes aux candidats.
Les remarques dtailles concernant cette preuve ne sont pas diffrentes des remarques concernant
les preuves de leon des autres options, et le lecteur est invit se reporter la section du rapport
consacre ce point.
Les sujets des leons se rpartissent en quatre grands domaines, bien identifis : algorithmique (avec
par exemple la leon 902 : Diviser pour rgner : exemples et applications ), calculabilit et com-
plexit (avec par exemple la leon 928 : Problmes NP-complets : exemples de rductions ), langages
et automates (avec par exemple la leon 909 : Langages rationnels et automates finis. Exemples et
applications. ), et logique et preuves (avec par exemple la leon 918 : Systmes formels de preuve
en logique du premier ordre : exemples. ). De manire gnrale, le jury a apprci la qualit de nom-
breuses leons prsentes, dans les diffrents domaines, ce qui confirme le bon travail des prparations
spcifiques en amont du concours.
page 80
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Ceci est particulirement net dans les plans des prsentations proposes. Beaucoup de candidats cernent
bien le sujet de leurs leons et proposent des dveloppements intressants, mme si une plus grande
diversit dans les dveloppements proposs serait souhaitable.
A contrario, le jury a constat que certains candidats ont choisi loption D apparemment sans avoir
identifi les connaissances attendues. Lpreuve de la leon est une preuve difficile, qui couvre des
domaines varis de tout le champ de la science informatique. Elle ne peut tre russie que si elle est
prpare srieusement et sur une priode longue, et il serait illusoire de choisir cette option par dfaut,
sans prparation.
Le niveau constat est assez htrogne, ce qui conduit une grande dispersion des notes. Le jury
nhsite pas utiliser toute ltendue de la plage de notation.
Organisation de la leon Le jury rappelle quil sagit bien dune preuve dinformatique fonda-
mentale, et non pas doutils mathmatiques pour linformatique. Il appartient au candidat de montrer
la pertinence des outils mathmatiques quil dveloppe vis--vis des objectifs du thme informatique
dvelopp dans la leon. La prsentation doutils mathmatiques pour eux-mmes, sapparente donc
un hors-sujet. Ce point avait dj t soulign dans les prcdents rapports et les titres des leons ont
t prciss en consquence. Les titres des leons concernant des modles formels de linformatique sont
maintenant libells en mentionnant explicitement exemples et applications, ce qui devrait ramener le
candidat aux rels attendus de lpreuve.
Les deux questions-cls de cette preuve sont toujours les mmes :
quoi cet outil mathmatique sert-il dans le cadre informatique considr ? Pouvez-vous dcrire
quelques exemples pertinents de son application concrte ?
la complexit ou le cot de son utilisation sont-ils bien compenss par la qualit supplmentaire
dinformation quil permet dobtenir ?
Ces questions sont trs souvent poses par le jury, sous une forme ou une autre. Le jury invite les
candidats se prparer tout particulirement grer ce type de questions, centrales dans la pdagogie
de linformatique au niveau des lyces et des classes prparatoires.
Enfin, il faut rappeler que lors de la prsentation de son plan, le candidat doit proposer au moins deux
dveloppements : le jury est attentif dune part ce que ces dveloppements entrent strictement dans
le cadre de la leon, et que dautre part ils ne se rduisent pas des exemples triviaux. Tout hors sujet
est svrement pnalis.
Interaction avec le jury Une large partie de lpreuve est consacre linteraction avec le jury. Ici,
il sagit plutt dexplorer de manire plus approfondie les notions qui ont t prsentes, les domaines
connexes, et surtout les exemples dapplication de ces notions.
Linteraction est conduite sous la forme dun dialogue avec le candidat. Le jury respecte le niveau
choisi par le candidat : les questions sajustent ce niveau. De mme, toute digression du candidat sur
un domaine connexe celui de la leon conduira le jury tester les connaissances du candidat sur ce
domaine : les connaissances solides seront rcompenses, mais un manque de matrise sur des notions
choisies par le candidat lui-mme seront pnalises.
Ce long temps dinteraction doit tre considr comme une occasion privilgie pour le candidat de
montrer ses connaissances, de guider le jury dans la direction adquate. Il est indispensable que les
candidats sentranent ce type dexercice avec leurs prparateurs.
Commentaires sur les leons dInformatique fondamentale La leon 910 Langages alg-
briques. Exemples et applications. a t supprime. La notion de langages algbriques reste au pro-
gramme de loption, elle est par exemple sous-jacente la leon 923, Analyses lexicale et syntaxique :
applications. et des exemples concernant les grammaires algbriques pourront illustrer dautres leons.
page 81
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 82
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Cette leon devrait permettre au candidat de prsenter une grande varit dalgorithmes et de para-
digmes de programmation, et ne devrait pas se limiter au seul problme de la recherche dun motif
dans un texte, surtout si le candidat ne sait prsenter que la mthode nave.
De mme, des structures de donnes plus riches que les tableaux de caractres peuvent montrer leur
utilit dans certains algorithmes, quil sagisse dautomates ou darbres par exemple.
Cependant, cette leon ne doit pas tre confondue avec la 909, Langages rationnels et Automates finis.
Exemples et applications. . La compression de texte peut faire partie de cette leon si les algorithmes
prsents contiennent effectivement des oprations comme les comparaisons de chanes : la compression
LZW, par exemple, ressortit davantage cette leon que la compression de Huffman.
page 83
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 84
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Cette leon ne doit pas tre confondue avec la 909, qui sintresse aux seuls langages rationnels, ni avec
la 907, sur lalgorithmique du texte.
Si les notions dautomates finis et de langages rationnels, dautomates piles et de grammaires alg-
briques sont au coeur de cette leon, laccent doit tre mis sur leur utilisation comme outils pour les
analyses lexicale et syntaxique.
Il sagit donc dinsister sur la diffrence entre langages rationnels et algbriques, sans perdre de vue
laspect applicatif : on pensera bien sr la compilation. On pourra sintresser la transition entre
analyse lexicale et analyse syntaxique, et on pourra prsenter les outils associs classiques, sur un
exemple simple. Les notions dambiguit, de grammaire LL(1), dautomate pile dterministe, laspect
algorithmique doivent tre dvelopps. La prsentation dun type particulier de grammaire algbrique
pour laquelle on sait dcrire un algorithme danalyse syntaxique efficace sera ainsi apprcie.
page 85
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 86
Chapitre 5
Mme sil sagit dune preuve plus applique ou moins acadmique que les deux autres preuves orales,
cela ne dispense en aucun cas les candidats de faire preuve de la rigueur mathmatique requise : quand
on utilise un thorme, il faut imprativement tre capable den restituer un jeu dhypothses. Par jeu
dhypothses correct, on entend que le thorme soit vrai et quil sapplique effectivement au contexte
considr. Le jury nattend pas ncessairement un nonc avec les hypothses minimales.
Cette preuve de modlisation doit permettre aux candidats de mettre en avant diverses qualits :
les connaissances mathmatiques (pour les options A, B, C) / informatiques et mathmatiques (pour
loption D), la rflexion et la mise en perspective des connaissances, laptitude les appliquer des
problmes concrets de modlisation et produire des illustrations informatiques pertinentes, les qualits
pdagogiques de mise en forme dun expos construit et cohrent, la capacit faire preuve dinitiatives
pour sexprimer et manifester des qualits pdagogiques et de synthse. La capacit des candidats
rpondre aux questions fait partie intgrante de lvaluation de cette preuve. Comme pour lensemble
des oraux, le caractre vivant de lexpos est un atout.
Le texte fourni est la base pour construire et exposer un traitement mathmatique (et/ou informatique
pour loption D) dun problme concret en sappuyant sur des lments, gnralement partiels,
dissmins dans le texte. La prsentation doit sappuyer sur un dosage cohrent et harmonieux entre
introduction motive de modles, preuves mathmatiques, illustrations informatiques, critiques ven-
tuelles du texte, rponses aux questions, mise en lumire des connaissances. Les candidats doivent
utiliser leurs connaissances mathmatiques et informatiques pour justifier certains points mentionns
dans le texte, proposer un retour sur le modle ainsi quune conclusion.
Texte Lpreuve de modlisation repose sur un texte denviron 5 6 pages (hors lexercice de pro-
grammation pour loption D) que les candidats choisissent parmi les deux qui leur sont proposs.
En 2017, ces textes seront surmonts, pour les options A, B, C, du bandeau suivant :
Il est rappel que le jury nexige pas une comprhension exhaustive du texte. La pr-
sentation, bien que totalement libre, doit tre organise et le jury apprcie quun plan soit
page 87
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Les textes sont souvent motivs par des problmes concrets. Ils peuvent prsenter des arguments
rapides, voire heuristiques (signals comme tels) mais ne contiennent pas dassertion dlibrment
trompeuse et se concluent par une liste de suggestions. Mme si la plupart des textes sappuient
sur des problmatiques issues de sciences autres que les mathmatiques, aucune connaissance dans
ces domaines nest exige par le jury. Discuter la modlisation propose par un texte consiste donc
avant tout dgager les comportements qualitatifs du modle, la manire dont il dpend dventuels
paramtres et sil semble apte rendre compte des phnomnes quil est cens reprsenter. Le jury
sattend ce que les candidats ne se contentent pas dun expos qualitatif et dmontrent certains
rsultats voqus dans le texte. A contrario, les interprtations qualitatives du comportement des
modles sont parfois absentes des exposs. Pourtant, montrer que lon comprend un modle ne se
rduit pas prouver un thorme.
Chaque anne, des textes sont rendus publics et sont disponibles sur le site de lagrgation de mathma-
tiques http://agreg.org. Ces textes sont reprsentatifs de lpreuve et permettent aux candidats de se
familiariser avec le format des textes, se faire une ide des attentes du jury, rflchir des illustrations
numriques pertinentes dans le cadre du texte ou avoir des exemples dexercices de programmation
pour loption D.
Prparation Durant les quatre heures de prparation, les candidats ont accs la bibliothque et
disposent dun ordinateur dont la configuration est dcrite sur le site de lagrgation de mathmatiques,
ladresse http://agreg.org. Les candidats retrouveront le mme environnement sur lordinateur de
la salle dinterrogation. Il nest videmment pas raliste de dcouvrir les logiciels disposition des can-
didats le jour de lpreuve : la configuration informatique utilise pour le concours et sa documentation
page 88
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Oral Au dbut de linterrogation, le jury commence par vrifier que les fichiers crs par les candidats
lors de la prparation ont bien t transfrs sur la machine locale (dont lenvironnement est identifique
celui de la salle de prparation) et par rappeler les modalits de lpreuve. Celle-ci est scinde en deux
temps : un expos de 40 minutes (35 minutes partir de 2017), suivi de 25 minutes dchanges avec le
jury. Les candidats sont invits commencer par donner la structure de leur prsentation sous forme
dun plan et le droulement de lexpos doit tre en cohrence avec cette structure. Grce ce plan,
le jury pourra ainsi avoir une vision globale de lexpos et aider, si besoin, les candidats grer leur
temps. Comme les candidats se le voient rappeler en dbut dpreuve, lexpos doit tre accessible un
public qui dcouvre les problmatiques du texte et doit permettre den faire comprendre les enjeux
un public qui ne le connatrait pas. Le jury, tout en tant conscient des difficults du concours, attend
un minimum daisance au tableau, la manifestation dune certaine volont de capter lattention de
lauditoire et un discours clair et prcis.
Durant lexpos, les candidats disposent de leurs notes, dun tableau et dun ordinateur. Ils peuvent
alterner, quand bon leur semble, entre un expos oral, quelques lments rdigs au tableau de faon
propre et lisible et la prsentation de ce qui a t prpar laide de loutil informatique. Les candidats
doivent grer correctement le tableau et demander, si besoin, au jury les parties quils peuvent effacer
(le jury peut souhaiter conserver certains passages et y revenir lors des changes avec les candidats).
Le jury a sous les yeux un exemplaire des textes et les candidats peuvent y faire rfrence pour viter
de recopier les notations, les noncs complets ou certaines formules. Mme si les programmes ne
fonctionnent pas comme ils lauraient souhait ou si les simulations numriques nont pas abouti, les
candidats sont invits expliquer ce quils voulaient mettre en uvre, illustrer ou programmer. Si les
candidats nont pas accd lordinateur dix minutes avant la fin du temps qui leur est imparti, le
jury les prviendra.
Il ny a pas de format type pour cette preuve. Des prestations trs diffrentes, tant dans leur forme
que dans leur contenu, sur un mme texte, peuvent conduire galement des notes leves. Comme
dans tout oral, la construction de lexpos doit tre une proccupation importante des candidats. Une
rflexion simpose afin de produire un tout cohrent et intelligible par un public qui, dans lesprit de
lpreuve, dcouvre le texte travers lexpos des candidats. Une brve introduction la problmatique
avant de sengager dans une longue digression (succession de dfinitions, thormes, . . . ) sans lien avec
le problme de dpart ne peut donner satisfaction. Il en va de mme dun expos se rduisant
la prsentation de la problmatique du texte et des illustrations informatiques, ou lnumration
linaire des pistes de rflexion proposes par le texte, sans contribution des candidats. Un texte trait de
faon partielle mais en profondeur peut donner une note leve. un survol superficiel de lintgralit du
texte sans apport mathmatique / informatique ou critique scientifique, les candidats doivent prfrer
une discussion fouille dune portion du texte, btie sur des arguments mathmatiques / informatiques
solides, des simulations pertinentes accompagnes de commentaires de bon aloi. Nanmoins, dans
lensemble, les candidats semblent avoir peru la ncessit dutiliser, au mieux, le temps qui leur est
consacr. Le jury apprcie de voir de plus en plus de candidats qui se sont appropri le texte et en
donnent une prsentation pertinente et autre quune paraphrase linaire.
Pour enrichir leur propos, les candidats sont invits mobiliser leurs connaissances, sur des aspects va-
ris du programme, en tayant les arguments seulement esquisss dans le texte par des noncs prcis.
page 89
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Il est totalement illusoire de chercher impressionner le jury par une logorrhe de mots savants : les
textes proposs peuvent tre discuts en exploitant un bagage technique qui nutilise pas les lments
les plus sophistiqus du programme. En particulier, le jury ne manque pas de sattarder sur toute no-
tion amene par les candidats durant leur prsentation et il est toujours dommageable de saventurer
sur des terrains mconnus. Bien plus quune dmonstration de virtuosit technique, le jury attend que
les candidats montrent leur matrise dnoncs relativement simples en situation : cest l que rside
une des difficults principales de lpreuve. Nombre de candidats prouvent des difficults formaliser
prcisment des notions de base du programme ou mettre en uvre certaines de leurs connaissances.
A contrario, utiliser une portion excessive du temps de parole pour recycler un chapitre de cours ou
un dveloppement dune leon dAnalyse et Probabilits, dAlgbre et Gomtrie ou dInformatique,
en sloignant des enjeux du texte est considr comme un hors sujet et est svrement sanctionn. La
paraphrase pure et simple damples portions du texte ne constitue en aucun cas un expos satisfaisant.
Les textes fournissent souvent des esquisses de dmonstrations qui sont prcisment destines tre
compltes et commentes. Les candidats ne doivent pas se contenter de ces esquisses de dmonstra-
tion. Sils font mention de ces esquisses, le jury sassurera que les candidats ont compris en profondeur.
Le jury nest pas dupe des candidats qui tentent de faire semblant de connatre une notion ou davoir
compris un point du texte ou une dmonstration. Il ne se laisse pas tromper non plus par les candidats
qui font des indications du texte un argument dautorit, tentative maladroite de masquer des insuffi-
sances techniques. Un regard critique ( il faudrait prouver que. . . mais je nai pas russi le faire ,
les hypothses du thorme de XXX que je connais pour aborder des problmes similaires ne sont
pas satisfaites dans le cas prsent . . . ) est une attitude bien plus payante.
changes avec le jury Durant 25 minutes, le jury revient sur certains propos des candidats qui
mritent prcision. Il peut demander lnonc prcis de thormes utiliss pour dmontrer une asser-
tion. Les changes peuvent galement porter sur la modlisation, les illustrations informatiques ou les
exercices de programmation pour loption D.
Le jury regrette de ne pas voir davantage de dessins (soigns) ou schmas explicatifs qui peuvent
rendre largumentation plus claire et convaincante. La capacit revenir sur le problme de dpart et
conclure quant lefficacit de lapproche mathmatique propose pour y rpondre est une qualit trs
apprcie. La rigueur et la clart de lorganisation, la gestion du temps, la pertinence des choix oprs
parmi les diffrentes questions souleves par le texte sont des lments de lvaluation. Les qualits de
synthse sont aussi appeles sexprimer : il vaut mieux indiquer les tapes cruciales dun raisonnement
que de se lancer dans un long calcul fastidieux quon aura du mal mener bien.
Le jury rappelle son fort attachement cet aspect de lpreuve, dont les ambitions sont clairement
dlimites. Il ne sagit en aucun cas, et pour aucune de ces trois options, dun exercice de program-
mation. Lobjectif est dtre capable dutiliser loutil informatique pour illustrer, de faon pertinente,
le contenu du texte. La ralisation de cet objectif constitue une part incompressible de la note finale
attribue lpreuve. Une trs bonne valuation peut rsulter dune exploitation judicieuse de pro-
grammes simples, reposant largement sur les routines standards des logiciels fournis. La forme et la
nature des illustrations proposes nobissent aucun format prtabli. En revanche, elles doivent faire
la preuve dune vritable rflexion scientifique et tre agrmentes de commentaires, sur les rsultats et
page 90
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
les mthodes. Les illustrations informatiques devraient plus souvent permettre de faire un retour sur
la problmatique du texte et il convient de commenter les rsultats obtenus dans le cadre du modle
propos par le texte. Des illustrations peuvent mettre en valeur les limites du modle tudi et le jury
apprcie particulirement que les candidats aient un regard critique sur le texte et ne prennent pas
celui-ci pour vrit absolue. Le jury rappelle que mme si les simulations ne sont pas abouties, il sait va-
loriser la dmarche suivie lorsquelle est clairement argumente et permettrait, avec des amnagements
mineurs, de mettre en vidence des aspects intressants du texte.
Si un bel effort est produit par la majorit des candidats, un nombre limit de candidats prfrent ne
pas toucher loutil informatique. Si les candidats pensent ainsi consacrer plus de temps lanalyse
du texte et la prparation de leur expos oral, cette stratgie nest en aucun cas payante, bien au
contraire.
Il est important de se rappeler quil sagit dune illustration. Prsenter le code source de faon dtaille
nest pas indispensable, le jury sera plus sensible une prsentation de rsultats dexcution et/ou
une reprsentation graphique clairement commentes oralement par le candidat. Dans le cas dune
reprsentation graphique, il est important de prciser, au moins oralement, ce qui est reprsent en
abscisses et ordonnes.
Les candidats ne doivent pas hsiter sappuyer sur leurs connaissances spcifiques pour proposer des
dveloppements originaux dans les leons dAnalyse et Probabilits ou dAlgbre et Gomtrie. Par
exemple,
A. les candidats de loption A peuvent nourrir leurs leons de thmes et dexemples probabilistes
(la fonction caractristique dune variable alatoire est une transforme de Fourier, le produit de
convolution a un sens probabiliste, les espaces Lp dune mesure de probabilit sont intressants,
ltude de certaines sries alatoires est possible, la fonction de rpartition est une fonction monotone
digne dintrt, le calcul intgral est en lien troit avec les probabilits, . . . ).
B. les candidats de loption B peuvent centrer leur propos sur des problmatiques motives par les pr-
occupations du calcul scientifique (approximation de solutions dquations linaires ou non linaires,
dquations diffrentielles, convergence dalgorithmes, analyse matricielle,. . . ).
C. les candidats de loption C peuvent sappuyer sur leurs connaissances spcifiques en algbre effective.
Les deux aspects, probabiliste et statistique, forment un tout cohrent dans ltude des phnomnes
alatoires et les textes proposs mlent souvent ces deux points de vue. Cependant, il nest pas im-
possible de se voir proposer le choix entre deux textes o laspect statistique est plus marqu : il est
donc ncessaire que les candidats fassent un effort de formation statistique. La part importante de la
statistique dans lenseignement des mathmatiques justifie cet investissement. Ainsi, le jury se satisfait
de ne plus voir les candidats bouder les textes coloration statistique, contrairement ce qui a pu tre
constat lors des sessions prcdentes.
En outre, la difficult des textes tant progressive, une honnte matrise des fondamentaux du pro-
gramme permet, sans virtuosit technique, daborder lpreuve favorablement. Il nest pas rare quun
texte dmarre avec des rsultats classiques (par exemple, la loi des grands nombres ou le thorme
central limite). tre laise avec ces notions permet de dmarrer lexpos en confiance.
page 91
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le jury met en garde contre les exposs pratiquant une paraphrase sans plus-value mathmatique. Il
est bien plus judicieux de traiter un passage ventuellement limit mais de manire dtaille et en
fournissant tous les arguments pertinents.
page 92
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le jury suggre aux candidats de rflchir aux illustrations informatiques pertinentes en probabilits et
statistiques. La prsentation dun test doit faire apparatre clairement la valeur de la statistique de test
obtenue et le quantile de la loi pertinente. Si un intervalle de confiance In dpend de n observations, les
candidats gagnent prsenter graphiquement lvolution n In . Illustrer le comportement asympto-
tique dune suite de variables alatoires demande davoir rflchi aux diffrents modes de convergence.
Une convergence presque-sre se voit sur une trajectoire. Une convergence en loi demande de simuler
un chantillon, de reprsenter lhistogramme ou la fonction de rpartition empirique associs et de pou-
voir expliquer pourquoi ces tracs empiriques sont proches de leurs pendants thoriques. De manire
gnrale, lorsquun programme mle une boucle et un ala, il faut se demander si lala doit tre simul
avant la boucle ou bien chaque tape de cette dernire.
Sil est parfaitement lgitime dutiliser les routines prprogrammes dans les logiciels disponibles, il
pourra tre pertinent davoir un peu rflchi leurs fonctionnements (calcul dune fonction de rparti-
tion ou dun quantile, simulation de lois usuelles, simulation de chanes de Markov, calcul de mesures
stationnaires).
Rappelons que de nombreux textes sont assortis dun jeu de donnes numriques sur lequel les candidats
sont invits mettre en uvre des illustrations. Le jury se rjouit de laugmentation du nombre de
candidats traitant effectivement ces donnes. Cela constitue une relle plus-value pour lexpos.
Enfin, sil est bon que les choix de modlisation soient comments, il ne sagit pas de se livrer une
critique gratuite et systmatique de toutes les hypothses. Si une hypothse semble restrictive, il sera
judicieux dexpliquer en quoi elle simplifie les calculs. Si une gnralisation est suggre, il pourra tre
intressant de signaler les complications techniques quelle entranerait. Le jury valorise les efforts faits
pour interprter la signification pour le modle des rsultats mathmatiques obtenus.
Si les modalits et les attentes de cette preuve semblent connues par une majorit des candidats
admissibles, beaucoup ne matrisent tout simplement pas les notions de base du programme gnral
intervenant dans les textes. Afin daborder sereinement les textes proposs dans loption B, le jury
rappelle quun minimum daisance est requis avec les notions suivantes :
Connatre le thorme de Cauchy-Lipschitz et tre en mesure de lappliquer pour des systmes
diffrentiels simples en citant correctement toutes les hypothses ncessaires son utilisation.
Construire, analyser et mettre en uvre la mthode dEuler explicite.
Connatre les principes des mthodes directes de rsolution de systmes linaires (pivot de Gauss,
LU ), la notion de conditionnement, la recherche dlments propres de matrices, analyser et
mettre en uvre la mthode de la puissance.
Analyser et mettre en uvre la mthode de Newton (cas vectoriel).
d2
Construire la matrice correspondant la discrtisation par diffrences finies de p dx 2 q et
connatre ses proprits.
tre capable dnoncer et appliquer le thorme des extrma lis (typiquement pour des pro-
blmes de minimisation de fonctionnelles convexes sur RN avec contraintes linaires), analyser
et mettre en uvre un algorithme du gradient.
page 93
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 94
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Optimisation. Les thormes dexistence doptima sont mal connus. On sattend ce que les
candidats soient capable de prciser les hypothses requises pour :
1. obtenir lexistence dun optimum,
2. obtenir lunicit,
3. caractriser le minimum (sans contrainte ou avec contraintes dgalit).
Analyse de Fourier. Le jury stonne que de nombreux candidats aient du mal prciser les
hypothses de rgularit assurant la convergence de la srie de Fourier. Le lien entre la rgularit
de la fonction et le comportement asymptotique de ses coefficients de Fourier doit tre connu.
Le jury de loption B rappelle quune illustration ralise avec les routines de base des logiciels fournis
est tout fait satisfaisante si elle est clairement prsente, motive et discute. Si Scilab ou Python
sont certainement les logiciels les mieux adapts, le jury relve quun certain nombre de candidats a
pu fournir des rsultats convaincants avec un logiciel comme Octave, XCas ou Sage. Le jury insiste sur
le fait quil est important de commenter les rsultats informatiques (courbes, solutions, erreurs, . . . )
obtenus et de les relier au problme de modlisation trait par le texte ou des rsultats mathmatiques
sous-jacents.
La ligne directrice de loption C est dans un premier temps la recherche de leffectivit, puis de lefficacit
(souvent en temps, parfois en espace) du calcul algbrique. Cela va des aspects les plus lmentaires
(algbre linaire, groupes, calcul avec les entiers, les polynmes, les entiers modulo) aux aspects plus
avancs (limination, gomtrie effective, codes correcteurs derreur). La quasi-totalit des textes pro-
poss dans le cadre de loption rentrent totalement dans une ou plusieurs de ces grandes problmatiques.
Cette grille de lecture peut accompagner les candidats, les aider construire leur expos et, dans
lidal, les amener expliquer non seulement ce que le texte fait, mais aussi pourquoi il le fait. La
capacit percevoir ces problmatiques fait la diffrence entre bonnes et excellentes prestations, et
peut aussi expliquer les notes honorables de certains candidats dont le niveau mathmatique tait
pourtant limit.
Lorsquun nonc du texte affirme lexistence dun objet (scalaire, vecteur, matrice, lment dun
groupe, entier, polynme, . . . ), le jury apprcierait que les candidats mnent la rflexion suivante :
peut-on calculer cet objet ?
si oui, par quelle(s) mthode(s) ?
ces mthodes sont-elles efficaces ? quel est leur cot ?
Les candidats ayant le rflexe de se saisir, spontanment, dune question de complexit, sont encore trs
rares. Pourtant cette dmarche est perue trs positivement par le jury. Pour prendre un exemple, quand
le texte parle de cryptographie, comparer le cot du systme propos et le cot dune attaque, mme
nave, est une initiative intressante et actuellement quasiinexistante. Une telle tude est beaucoup
plus sa place quun expos dtaill de RSA plaqu sur un texte qui nen parle pas la mention
rapide de RSA dans un texte introduisant un systme de chiffrement pour comparer des complexits
restant bien sr pertinente. Plus largement, une rflexion minimale sur les ordres de grandeur (est-ce
page 95
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
quun calcul faisable reprsente 101 , 1010 , 10100 , 101000 oprations lmentaires ?) permettrait souvent
de mieux situer les problmes soulevs par un texte, ou de proposer des valeurs de paramtres ralistes
quand ce sujet nest pas voqu par le texte.
Le jury constate avec satisfaction une progression de la moyenne des candidats dans lutilisation de
loutil informatique et regrette parfois que des candidats ayant prpar un travail dillustration raison-
nable, ne le mettent pas plus en valeur durant lexpos.
Rappelons cependant que les candidats doivent tre capables de justifier la pertinence de leur pro-
gramme ou de leurs calculs dans le cadre du texte. Reprendre un morceau de code dun livre est une
dmarche tout--fait acceptable condition que les candidats comprennent exactement ce que fait le
code et que cela fasse sens dans le cadre du texte.
Pour finir, le jury est parfois surpris de voir des candidats dvelopper de longs et fastidieux calculs
au tableau alors que lutilisation de loutil informatique leur aurait permis de gagner en temps et en
clart.
Sur les aspects mathmatiques et la matrise des lments du programme, les principales observations
du jury sont les suivantes :
Par rapport aux annes prcdentes, le jury se rjouit dobserver une amlioration en ce qui
concerne lalgbre linaire effective. Les applications de la mthode du pivot de Gauss sont un
peu mieux matrises par les candidats. De plus, la complexit de cet algorithme est maintenant
frquemment connue des candidats mme si lorigine de ce Opn3 q donne parfois encore lieu
des explications pour le moins obscures.
Le jury constate galement une progression dans les connaissances thoriques des candidats sur
les corps finis. Malgr cela, le calcul effectif dans ces corps nest pas toujours matris.
A contrario, la connaissance du rsultant semble avoir rgress par rapport aux sessions prc-
dentes. Si les candidats interrogs sur le sujet sont en gnral capables den donner une dfinition,
ses proprits lmentaires et surtout son utilisation pour liminer des variables dans un systme
dquations polynomiales semble trs floue pour de nombreux candidats. Beaucoup de candidats
le voient comme un critre dexistence dun facteur commun et ne pensent plus (surtout dans le
cas des polynmes une variable) au PGCD qui est un objet bien plus simple apprhender.
Le jury observe que de nombreux candidats nont aucune connaissance sur les codes correc-
teurs derreurs. Un bon nombre dentre eux font dailleurs la confusion entre codes correcteurs
derreurs et cryptographie. Rappelons que les codes correcteurs sont une partie limite du pro-
gramme, et que trs peu de connaissances sont exigibles (et exiges). Toutefois, il est ncessaire
de sy tre confront pour se familiariser avec les problmatiques sous-jacentes, savoir, typi-
quement quun bon code correcteur se dcrit de faon compacte (et est donc en gnral linaire),
a une grande dimension et grande distance minimale (par rapport sa longueur) et, aussi et
surtout un algorithme de dcodage efficace rappelons que ce second point nest pas vrai dun
code linaire quelconque . Il faut avoir dj un peu tudi le sujet pour comprendre les ques-
tions souleves par presque tout texte sur les codes. Signalons enfin que la mconnaissance des
corps finis est souvent rdhibitoire pour ce sujet.
Si lalgorithme dEuclide est bien connu des candidats, la plupart dentre eux ne savent obtenir
des relations de Bzout quen effectuant lalgorithme dEuclide classique puis en procdant
une laborieuse remonte . Rappelons que lalgorithme dEuclide tendu est explicitement au
programme de loption.
page 96
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Les attentes du jury en termes de complexit sont limites mais il est attendu des candidats
quils sachent estimer le cot de certaines procdures classiques au programme : oprations sur
les entiers et dans Z{nZ, sur les polynmes (multiplication, division euclidienne, valuation,
interpolation), pivot de Gauss, algorithme dEuclide, . . .
Le jury apprcie le travail accompli pour la prparation de cette preuve par les meilleurs candidats.
Les candidats sont interrogs dans le mme esprit que dans les autres options et les critres dvaluation
sont largement semblables, sauf en ce qui concerne lexercice de programmation.
Dans la suite, nous procderons en deux temps : nous voquerons dabord la vision que le jury a du
droulement de lpreuve, avant de revenir sur les travers les plus frquents. Chacune de ces deux
parties voquera les diffrents temps de lpreuve : expos, exercice de programmation, questions.
Les textes prsentent gnralement une problmatique concrte, informatique ou de la vie de tous les
jours, avant den proposer une formalisation plus ou moins complte et une analyse informatique plus
ou moins dtaille. Ils sont souvent plutt de nature descriptive et volontairement allusifs.
Expos du candidat
Motivation. Cest aux candidats dintroduire le sujet du texte et de motiver la prsentation qui va
suivre et cela narrive, hlas, que trs rarement. Cette motivation est le plus souvent lvocation
de situations concrtes dans lesquelles on a besoin doutils informatiques spcifiques. Ces situations
peuvent tre proposes par le texte lui-mme, mais elles peuvent aussi tre tires de lexprience
personnelle des candidats. Toute contribution personnelle ce niveau est toujours trs apprcie !
Prsentation du texte. Il est attendu des candidats une restitution argumente dune partie cohrente
du texte, ainsi quun effort de formalisation sur les parties descriptives et allusives du texte. Il est bon
dessayer de donner une ou des preuves compltes dnoncs du texte, ou de complter les arguments
parfois lapidaires fournis par ce dernier. Les noncs considrs comme vraiment trop difficiles pour tre
prouvs dans le cadre dune prparation en temps limit en partant des connaissances du programme
sont systmatiquement points comme devant tre admis.
Il est attendu des candidats quils soient fidles lesprit du texte. Il ne sagit pas de traiter lintgralit
des points du texte, mais que le traitement choisi soit cohrent : les candidats doivent par exemple
pouvoir expliquer pourquoi ils ont choisi de dvelopper certains points, et pas certains autres.
Nature de lexercice. Lexercice de programmation propos est en rgle gnrale trs simple et peut
presque toujours tre trait en une vingtaine de lignes. Il est dcrit par une spcification claire (entre
/ sortie / hypothses ventuelles sur les donnes) qui doit imprativement tre respecte 1 .
La simplicit de lexercice vient du fait que le jury souhaite avant tout tester une capacit (et non une
virtuosit) organiser un programme simple, clair, et pdagogique : le programme doit pouvoir tre
prsent et les choix (structures de donnes, style impratif vs fonctionnel, types), arguments.
1. une rserve prs sur liste/tableau voque infra
page 97
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Le jury naccorde pas une importance excessive aux considrations dlgance ou defficacit tant que
ce qui est propos reste dans les limites du raisonnable.
Expos de lexercice. Lexercice de programmation doit tre prsent au jury, ce qui implique un
commentaire pertinent en parallle de la projection du code, qui aide la comprhension toujours
difficile dans un temps court dun programme crit par un autre.
La prsentation au jury doit tre faite, que le programme fonctionne ce que lon espre ! ou pas.
Cest seulement dans un deuxime temps que les candidats lancent une excution. Dans tous les cas,
le jury value la qualit gnrale du code ralis. Cette valuation interactive permet aux candidats
ractifs de reprer une erreur, voire de la corriger, de recompiler et de relancer lexcution.
La dimension prsentation de lexercice de programmation est difficile et ne peut pas tre dcouverte
le jour de loral. Sinterroger sur cette dimension lors de sa prparation par exemple, en simaginant
face une classe peut permettre de ne pas tre pris au dpourvu.
Remarques sur le style de programmation. Si ladoption dun style de programmation plus lgant (par
exemple, dfinition de types spcifiques ou de fonctions auxiliaires) peut augmenter un peu la vingtaine
de lignes de code voque plus haut, il est la fois peu raisonnable en matire de temps consacr
lexercice, mais aussi de commodit pour le jury lors de lvaluation, que lensemble du code ne puisse
pas tenir sur un cran.
Les commentaires sont apprcis par le jury quand ils apportent un plus : spcification, pr ou post-
conditions, invariants, complexit ; ils doivent rester en quantit raisonnable, ne pas empcher la conti-
nuit et la lisibilit du code et ne pas tre une simple paraphrase du code lui-mme.
Enfin affirmons nouveau que tous les exercices sont construits de manire pouvoir tre traits
confortablement dans le cadre de tous les langages du programme. Par ailleurs, compter de la session
2017, quand la spcification voque un tableau (ou une liste ), cela signifie toujours que les
candidats peuvent choisir entre ces deux structures de donnes, mais doivent savoir argumenter leur
choix au minimum en expliquant que le langage ou le style de programmation choisi saccommode
mieux de lun ou de lautre.
On renvoie au rapport 2015 pour des commentaires plus dtaills, qui restent dactualit, sur le style
de programmation.
Tests. Les candidats doivent toujours proposer plusieurs jeux de test, dont si possible un qui ne soit
pas totalement jouet . Les textes nen proposant souvent au mieux quun, il faut donc prvoir un
temps de rflexion sur ce point.
Questions du jury
Sur lexercice de programmation. Le jury revient toujours, en gnral pour commencer la sance de
questions, sur lexercice de programmation, de manire plus ou moins approfondie. Il demande au
moins aux candidats
dargumenter leurs choix sils ne lont pas fait au pralable,
dindiquer les bibliothques et les fonctions avances utilises et dexpliquer leur comportement
(voire de demander comment les candidats auraient pu faire sans) et ventuellement, leur
complexit en temps et en espace (cette dernire tant souvent mal comprise / connue). Cela
est particulirement vrai des nombreuses constructions avances de Python.
de prciser les hypothses implicites faites sur les donnes.
ventuellement, dexpliquer les messages derreurs observs la compilation / linterprtation /
lexcution.
Sur lexpos des candidats. Ensuite le jury revient sur la partie du texte prsente par les candidats.
Linterrogation sadapte toujours au niveau des candidats. Les questions du jury portent au moins
autant sur la dmarche globale de modlisation et la comprhension des diffrentes approches du texte
que sur ltude technique des diverses propositions.
page 98
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Il pose des questions destines affiner sa perception de la comprhension du texte par les candidats,
comprendre leur capacit formaliser une question ou expliciter une preuve sils ne lont pas montre
deux-mme, ou encore tester leur regard critique sur le texte.
Enfin, il est frquent que des questions dinformatique fondamentale soient poses en rapport avec le
texte, pour percevoir la capacit faire le lien entre connaissances thoriques et informatique souvent
plus concrte ; les questions de calculabilit et complexit (tant analyse de complexit dun algorithme
que preuve de NP-compltude dun problme, avec laide du jury), ou encore les questions dalgorith-
mique, sont en particulier naturelles et frquentes.
Expos
Le jury renvoie largement au commentaire commun aux quatre options sur cette partie : la paraphrase
du texte, mme agrablement conduite, est proscrire, le jury cherchant mesurer principalement
lapport des candidats par rapport au document que ces derniers ont reu.
Le principal dfaut observ est labsence de formalisation ou de preuve dans le texte qui conduit
souvent la paraphrase voque ci-dessus.
Sagissant des dmonstrations, si une part de raisonnement informel, heuristique ou argumentatif, peut
tre admise, il est indispensable que les candidats prcisent quils vont utiliser des arguments de cette
nature (par opposition une preuve) et quils aient, avant cela, montr leur capacit effectuer des
preuves compltes, rigoureuses, et soignes sur des noncs non triviaux. Plus largement, annoncer
comme vidente , une assertion ne dispense pas de savoir donner un argument la demande du
jury ; des arguments lmentaires dinjectivit ou de cardinalit sont ainsi frquemment mal identifis
par les candidats.
Exercice de programmation
Commenons par un commentaire positif : lexercice de programmation est bien accept, et bien trait
par la quasi-totalit des candidats. Une crasante majorit des programmes fonctionne et fait, de
manire plus ou moins efficace ou lgante, ce qui est demand, mais le jury regrette quelques lectures
trop rapides de la spcification conduisant des hors-sujet.
Observons nanmoins quil reste une marge de progression significative sur la prsentation orale de
lexercice de programmation.
Programme. Le jury a souvent le sentiment que cet exercice est un peu surinvesti par les trs bons
candidats au regard des attentes. Certains candidats proposent souvent beaucoup plus que ce qui
est demand, au dtriment des aspects formalisation voqus prcdemment. Il est gnralement peu
intressant, par exemple, de proposer des optimisations simples (par exemple, remarquer quun graphe
est non orient et ne parcourir quune fois les artes au lieu de deux) qui peuvent tre brivement
dcrites loral.
Pour le reste, les complments proposs devraient sefforcer de constituer une illustration dun ou de
plusieurs points du texte linstar de ce qui se pratique dans les autres options ; illustration dun
algorithme propos par le texte, tude dun exemple, exprimentations, tude statistique, mesure de
temps ou de complexit en moyenne, . . . De telles illustrations sont toujours trs apprcies par le jury.
Dans ce cadre, lensemble des outils informatiques prsents sur lordinateur peut tre utilis. On peut
mme imaginer, pour aller loin dans cette direction, une prsentation trs exprimentale du texte
mettant en lumire les problmes quil voque et exposant, sur un ou plusieurs exemples, les solutions
proposes, leurs forces et leurs faiblesses. Cest un parti-pris diffrent de celui de la formalisation mais
qui pourrait galement donner dexcellents exposs.
page 99
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
Pointons par exemple quil est frappant de parler de flottants pendant 40 minutes sans mme montrer
ce qui se passe sur des exemples sur lordinateur. . .
Dautre part, les candidats ne prennent que rarement le temps de rflexion, court mais indispensable,
pour rflchir aux aspects algorithmiques (mme sils sont toujours lmentaires), structurer leur code
et dfinir structures de donnes et type. Cest pourtant ncessaire pour un code clair et pour une
prsentation bien construite du programme.
Remarque ponctuelle. La majorit des candidats utilise CAML, la minorit restante se partageant es-
sentiellement entre C et Python. Plusieurs candidats ont t dsaronns par des avertissements de
linterprte CAML indiquant quune expression devrait tre de type unit alors quelle ne lest pas ; les
candidats devraient pourtant comprendre (et savoir expliquer) que cest le prix de lutilisation de traits
impratifs dans un langage fonctionnel fortement typ.
Connaissances en informatique
Elles sont trs ingales suivant les candidats. La partie "discussion avec le jury" de lpreuve nappelle
pas de commentaires extrmement dtaills. Le jury constate et apprcie que beaucoup de candidats ont
des notions srieuses sur des sujets plus concrets que le programme architecture, compilation,
aspects systme,... et savent motiver ou clairer les problmatiques des textes la lumire de ces
connaissances.
La seule tendance gnrale observe en 2016 sur les connaissances est une fragilit sur les preuves de
complexit par rduction le sens dans lequel la rduction se fait tant souvent mal matris par les
candidats y compris certains trs bons.
page 100
Annexe A
page 101
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 102
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 103
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 104
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 105
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 106
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
230 Sries de nombres rels ou complexes. Comportement des restes ou des sommes partielles des sries
numriques. Exemples.
233 Mthodes itratives en analyse numrique matricielle.
236 Illustrer par des exemples quelques mthodes de calcul dintgrales de fonctions dune ou plusieurs
variables.
239 Fonctions dfinies par une intgrale dpendant dun paramtre. Exemples et applications.
243 Convergence des sries entires, proprits de la somme. Exemples et applications.
246 Sries de Fourier. Exemples et applications.
250 Transformation de Fourier. Applications.
260 Esprance, variance et moments dune variable alatoire.
264 Variables alatoires discrtes. Exemples et applications.
page 107
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 108
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 109
Agrgation externe de mathmatiques Rapport du jury pour la session 2016
page 110