L'oral à l'agrégation de mathématiques - Une sélection de développements

Isenmann, Pecatte

Utilisée dans les 55 développements suivants :

Surjectivité de l'exponentielle matricielle
Équation de la chaleur sur le cercle
Loi de réciprocité quadratique (via les formes quadratiques)
Loi de réciprocité quadratique (par le résultant)
Théorème des deux carrés de Fermat (par les entiers de Gauss)
Décomposition polaire
L'exponentielle induit un homéomorphisme entre Sn(R) et Sn(R)++
Théorème de Gauss (polygones constructibles)
Théorème des lacunes d'Hadamard
Algorithme de Berlekamp
Par cinq points passe une conique
SO₃(R) et les quaternions
Enveloppe convexe de On(R)
Optimisation dans un Hilbert
Théorème de Fourier-Plancherel
Théorème de Burnside
Méthode de Monte-Carlo
Générateurs de O(E)
Méthodes itératives de résolution d'un système linéaire
Méthode de Newton
Théorème de Frobenius-Zolotarev
Ellipsoïde de John Loewner
Théorème de Bézout faible (par le résultant)
Partition d'un entier en parts fixées
Automorphismes de Sn
Théorème de Lax-Milgram et une application
Développement asymptotique de la série harmonique
Équation de Sylvester : AX + BX = C
Décompostion de Bruhat et drapeaux
Suite de polygones
Dénombrement des colorations du cube
Classification des groupes d'ordre p^2
Condition de parité de Gale
Equation de Pell-Fermat
Inégalité de Le Cam
Prolongement des caractères et classification des groupes abéliens finis
Compteurs probabilistiques
Approximation polynomiale et matrices de Hilbert
Règles de Bioche
Suites récurrentes linéaires : théorie et pratique
Idempotents et fonctions puissances de l'anneau Z/nZ
Dunford pour le calcul de rayon spectral
Décomposition des groupes abéliens finis
Générateurs de O(E) et SO(E)
Isométries du cube
Résolution de l'équation de la chaleur par les séries de Fourier
Equivalence des normes en dimension finie et théorème de Riesz
Décomposition de Bruhat
L'équation de la chaleur par les séries de Fourier
Théorème de Fourier-Plancherel (via les espaces de Schwarz)
Théorème de Liapounov par les formes quadratiques
Centre d’un p-groupe
Décomposition Polaire sous la forme A=exp(iΘ)R
Déterminant circulant et suite de polygones
Surjectivité de l’exponentielle matricielle

Utilisée dans les 50 leçons suivantes :

101 (2025) Groupe opérant sur un ensemble. Exemples et applications.
102 (2025) Groupe des nombres complexes de module 1. Racines de l’unité. Applications.
103 (2025) Conjugaison dans un groupe. Exemples de sous-groupes distingués et de groupes quotients. Applications.
104 (2025) Groupes finis. Exemples et applications.
105 (2025) Groupe des permutations d’un ensemble fini. Applications.
106 (2025) Groupe linéaire d’un espace vectoriel de dimension finie E, sous-groupes de GL(E). Applications.
108 (2025) Exemples de parties génératrices d’un groupe. Applications.
120 (2025) Anneaux Z/nZ. Applications.
121 (2025) Nombres premiers. Applications.
122 (2025) Anneaux principaux. Exemples et applications.
123 (2025) Corps finis. Applications.
125 (2025) Extensions de corps. Exemples et applications
141 (2025) Polynômes irréductibles à une indéterminée. Corps de rupture. Exemples et applications.
142 (2025) PGCD et PPCM, algorithmes de calcul. Applications.
153 (2025) Valeurs propres, vecteurs propres. Calculs exacts ou approchés d'éléments propres. Applications.
150 (2022) Exemples d'actions de groupes sur les espaces de matrices.
148 (2025) Dimension d’un espace vectoriel (on se limitera au cas de la dimension finie). Rang. Exemples et applications.
149 (2025) Déterminant. Exemples et applications.
150 (2025) Polynômes d’endomorphisme en dimension finie. Réduction d’un endomorphisme en dimension finie. Applications.
151 (2025) Sous-espaces stables par un endomorphisme ou une famille d’endomorphismes d’un espace vectoriel de dimension finie. Applications.
152 (2025) Endomorphismes diagonalisables en dimension finie.
155 (2025) Exponentielle de matrices. Applications.
156 (2025) Endomorphismes trigonalisables. Endomorphismes nilpotents.
158 (2025) Endomorphismes remarquables d’un espace vectoriel euclidien (de dimension finie).
161 (2025) Espaces vectoriels et espaces affines euclidiens : distances, isométries.
171 (2025) Formes quadratiques réelles. Coniques. Exemples et applications.
181 (2025) Convexité dans Rn. Applications en algèbre et en géométrie.
191 (2025) Exemples d’utilisation de techniques d’algèbre en géométrie.
201 (2025) Espaces de fonctions. Exemples et applications.
205 (2025) Espaces complets. Exemples et applications.
208 (2025) Espaces vectoriels normés, applications linéaires continues. Exemples.
213 (2025) Espaces de Hilbert. Exemples d’applications.
215 (2025) Applications différentiables définies sur un ouvert de Rn. Exemples et applications.
220 (2025) Illustrer par des exemples la théorie des équations différentielles ordinaires.
221 (2025) Equations différentielles linéaires. Systèmes d’équations différentielles linéaires. Exemples et applications.
222 (2022) Exemples d'études d'équations différentielles linéaires et d'équations aux dérivées partielles linéaires.
223 (2025) Suites réelles et complexes. Convergence, valeurs d’adhérence. Exemples et applications.
226 (2025) Suites vectorielles et réelles définies par une relation de récurrence $u_{n+1} = f(u_n)$. Exemples. Applications à la résolution approchée d’équations.
228 (2025) Continuité, dérivabilité des fonctions réelles d’une variable réelle. Exemples et applications.
230 (2025) Séries de nombres réels et complexes. Comportement des restes ou des sommes partielles des séries numériques. Exemples.
234 (2025) Fonctions et espaces de fonctions Lebesgue-intégrables.
235 (2025) Problèmes d’interversion de symboles en analyse
236 (2025) Illustrer par des exemples quelques méthodes de calcul d’intégrales de fonctions d’une ou plusieurs variables.
239 (2025) Fonctions définies par une intégrale dépendant d’un paramètre. Exemples et applications.
241 (2025) Suites et séries de fonctions. Exemples et contre-exemples.
246 (2025) Séries de Fourier. Exemples et applications.
250 (2025) Transformation de Fourier. Applications.
157 (2025) Matrices symétriques réelles, matrices hermitiennes.
154 (2024) Exemples de décompositions de matrices. Applications.
190 (2025) Méthodes combinatoires, problèmes de dénombrement.

Utilisée dans les 83 versions de développements suivants :

  • Développement :
  • Remarque :
    Développement classique faisant intervenir le déterminant de Vandermonde. Ici, on montre un lemme caractérisant les endomorphismes nilpotents sur C puis on montre le théorème.

    Résultats bonus:
    1. Déterminant de Vandermonde (par deux méthodes)
    2. Soit G sous-groupe de GL_n(C) et p=dim(Vect(G)), alors il existe une base (M_1;...;M_p) de Vect(G) telle que les M_i soient dans G.

    Développement n°25 sur 28.
    Pour une version de rekasator qui marche aller sur: https://docs.google.com/document/d/1vnBvwVGapXvQC4cU5CHUJWo04E4eezzDSjSIDRekaPE
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Version manuscrite, désolée pour l'écriture .

    A chaque entrainement je dépassais largement les 15 minutes. J'ai fait le choix d'enlever la partie avec le critère "non dégénérée". Sachant que je dépassais toujours les 15 minutes malgré cette censure, peut-être peut-on admettre le cas 1 qui prend quelques minutes et n'est pas l'intérêt du développement. De plus cela peut-être une question du jury "maitrisée". A vous de voir selon votre rapidité et votre aisance.

    Il se peut qu'il reste des coquilles, n'hésitez pas à me contacter au besoin.

    Attention pour la réf a bien avoir la 2ème édition, la 1ère n'étant pas autorisée.
  • Référence :
  • Fichier :
  • Développement :
  • Remarque :
    Une preuve bien écrite ainsi qu'une introduction à la notion de polytopes et faces est disponible dans le isenmann pecatte. Les polytopes/faces sont un bagage nécessaire pour être capable de formaliser entièrement la preuve. Cependant, le développement ne contient pas de polytopes ni de faces, à part dans le sens intuitif (vous savez ce qu'est un cube, une face et une arête ? alors c'est bon !).

    La formule de Burnside est prouvée dans le bouquin mais vous n'aurez probablement pas le temps de la prouver dans le développement, et ce n'est pas grave.
  • Référence :
  • Développement :
  • Remarque :
    Les recasages proposés au dessus sont bien forcés... Pour moi, 171, 181 (voir après), 191, et 162 ça irait aussi, peut-être 149 mais il faut être au point sur le lien alignement/déterminant... Le reste c'est vraiment forcé.

    Ce développement est difficile à intégrer, il faut être au point avec l'équation d'une conique et surtout avec les coordonnées barycentriques (c'est pour ça qu'elle se recasait dans la 181 avant, mais depuis 2024 elle n'a plus "Barycentres" dans le nom donc... pas sûr que ce soit un bon recasage, j'ai fait l'impasse sur la 181)
    Il y a un problème de vocabulaire dans ce que j'ai fait, j'avais rayé "dégénéré" pour mettre "propre" mais /!\ en fait c'est bien dégénéré !!! Attention conique dégénérée, ce n'est pas pareil que forme quadratique dégénérée !! Il faut se ramener à l'équation homogénéisée qui n'est rien d'autre que l'équation barycentrique... ça touche dangereusement à la géométrie projective...
    Sinon une fois qu'on a compris, ça va, mais j'aurais peur des questions de jury dessus...
    Vous trouverez un rappel sur le passage cartésien/barycentrique à la fin du dev.
  • Référence :
  • Fichier :

Utilisée dans les 61 versions de leçons suivantes :