191 - Exemples d’utilisation des techniques d’algèbre en géométrie.2026
Rapport du jury 2024
Le jury souhaite proposer une leçon qui offre une ouverture large autour du thème de la géométrie. Avec cet intitulé, les candidates et candidats sont libres de présenter des résultats et des exemples très variés en lien avec la géométrie. L'objectif n'est pas de couvrir le plus d'aspects possible, mais plutôt d'en proposer certains suffisamment consistants et variés. À partir du moment où ils sont de nature géométrique, tous les éléments du programme peuvent être pertinents. En contrepartie de cette liberté laissée aux candidates et candidats, une difficulté est de structurer la présentation des objets et des notions choisis. Ainsi, plusieurs approches sont possibles pour organiser cette leçon, par exemple : - en regroupant les outils par \" famille \" : outils matriciels (repérage des points par des matrices colonnes, des transformations par des matrices, rang, réduction, etc.), outils polynomiaux (formes quadratiques, déterminant, résultant, etc.), outils structurels (groupes, corps) ; - ou par niveau d'abstraction/de généralité (nombres réels, complexes, matrices, groupes...) ; - ou par type d'objectifs (identifier des objets géométriques, les mesurer, les classifier, démontrer des résultats en utilisant des transformations géométriques...) Il est aussi possible de se focaliser sur un seul type d'outils (par exemple algèbre linéaire, géométrie affine ou groupes) en détaillant plusieurs applications en géométrie ou sur une question géométrique fouillée à l'aide de diverses techniques (par exemple sur des problèmes impliquant des figures géométriques comme les cercles et triangles, les polygones et polyèdres réguliers, etc.). Des situations \" élémentaires \", dans le plan, permettent certainement de mettre en valeur des connaissances et un recul mathématique. Il faut bien éviter l'écueil d'un catalogue fastidieux ou celui qui consisterait à recycler directement le contenu d'une autre leçon avec un vague habillage géométrique. Parmi les nombreux éléments qui peuvent être discutés, on peut indiquer : - les notions de distance, aire, volume. Notamment les propriétés de la matrice de Gram, le lien entre déterminant et aire d'un parallélogramme ou volume d'un parallélépipède, la construction du produit vectoriel et du produit mixte,... peuvent être exploités avec pertinence dans cette leçon. On peut ainsi être amené à étudier l'aire balayée par un arc paramétré du plan, la position d'un point par rapport à un cercle circonscrit à un triangle, etc. Le déterminant de Cayley- Menger permet de mettre en évidence des conditions pour que n 1 points de $R^n$ forment une base affine, ou que n 2 points de $R^n$ soient cocycliques. Dans une autre direction, la division euclidienne dans Z donne une preuve d'une forme du théorème de la base adaptée, avec pour conséquence le calcul du volume (d'une maille élémentaire) d'un sous réseau de $Z^n$ comme étant le déterminant d'un système générateur dans la base canonique. - l'apport de l'algèbre linéaire à la géométrie. On peut ainsi exploiter le calcul matriciel et les techniques de réduction pour mettre en évidence des informations de nature géométrique (avec les exemples fondamentaux des homothéties, projections, symétries, affinités, rotations, la classification des isométries vectorielles, etc.). On peut être alors amené à présenter le théorème de Cartan-Dieudonné sur la décomposition d'isométries euclidiennes en produit de réflexions ou encore évoquer une (ou des) interprétation(s) géométrique(s) de la décomposition en valeurs singulières. Dans cette même veine, la leçon peut être orientée vers la géométrie affine, en s'adossant à la théorie des espaces vectoriels pour définir certains objets (espaces et sous- espaces affines, applications affines, repères affines, etc), ce qui permet, par exemple, d'établir ainsi certains résultats classiques, comme les théorèmes de Thalès, Pappus, Desargues,... - l'analyse des formes quadratiques permet d'aborder des problèmes géométriques : étude des coniques, quadriques, classification des quadriques de $R^n$, interprétation géométrique de la signature, application des méthodes de réduction, etc. - la théorie des groupes est un champ naturel pour cette leçon (mais qui n'est cependant pas indispensable) : groupes de transformations (isométries, déplacements, similitudes, translations), composition de transformations, mise en évidence d'invariants fondamentaux (angle, birapport, excentricité d'une conique). Il est possible de se focaliser sur des groupes de transformations préservant une certaine structure géométrique et en distinguant parmi eux les groupes finis (groupes d'isométries classiques), les groupes discrets infinis (avec des translations, groupes de pavages) et, pour aller plus loin, les groupes continus (groupes de Lie). - les techniques de convexité constituent aussi un champ fructueux : le théorème de séparation par un hyperplan dans $R^n$ de Hahn-Banach et, en corollaire, le théorème de Helly permettent par exemple d'établir des propriétés intéressantes sur les cordes de convexes compacts. - certains candidates et candidats peuvent trouver intérêt à aborder les questions d'intersection de courbes polynomiales, qui permettent notamment de mettre en oeuvre le théorème de Bezout et des méthodes exploitant la notion de résultant. - un grand nombre de problèmes de géométrie peuvent être traités en exploitant le formalisme des nombres complexes. Il est tout à fait approprié d'évoquer l'étude des inversions et, en particulier, la possibilité de ramener un cercle à une droite et inversement ; la formule de Ptolémée illustre bien l'utilisation de cet outil. On peut parler des suites définies par récurrence par une homographie et leur lien avec la réduction dans SL2pCq et aborder la construction de la sphère de Riemann. - les problématiques de la construction à la règle et au compas constituent un autre axe pertinent pour cette leçon, avec le théorème de Wantzel, et peuvent conduire à s'intéresser à des extensions de corps. Comme dans le cas des autres leçons, il est tout à fait bienvenu de chercher à illustrer cette leçon par des exemples issus de l'analyse, des probabilités, de la statistique (par exemple en évoquant l'interprétation géométrique de l'analyse en composantes principales), du calcul formel (par exemple avec les applications du résultant) ou du calcul scientifique (par exemple en présentant des problématiques de géométrie computationnelle, comme le calcul d'enveloppe convexe, les algorithmes de triangulation de Delaunay, les diagrammes de Voronoi...). Les thèmes en lien avec la géométrie projective ou la géométrie algébrique peuvent permettre à certains candidates et candidats de présenter des résultats très avancés. Cette leçon nécessite une préparation très personnelle et réfléchie. Les exemples et les résultats qui y sont présentés ont vocation à inciter les candidates et candidats à enrichir les autres leçons de cette épreuve d'exemples issus de la géométrie.
Afficher les anciens rapports
Développements
Plans
Rajouter une version
Utilisateur : C. Bergeron
Leçon difficile à faire, mais original et qui vous rapportera de la valorisation le jour J. Le but est de choisir ce qui vous a plu dans toutes les autres leçons au niveau géométrie et de le recaser ici (ou à l'invese de construire cette leçon et de le recaser dans les autres). C'est vraiment libre, et il n'y a pas vraiement de mauvais choix.
Mes devs : Classifications des pavages directs du plan, Action sur le demi-plan de Poincaré
Mes plans sont généralement assez détaillés, mais il se peut que je n'aie pas mis tous les items, il faudra donc parfois compléter. Aussi, mes plan sont souvent très (trop) long, et sont faits pour quelqu'un qui écrit petit et rapidement, ce n'est donc pas très représentatif d'un plan fait le jour J par d'autres candidats, qui comportera en général moins d'items.'
Références :
Objectif Agrégation
Algèbre : le grand combat: Cours et exercices
Analyse. Théorie de l'intégration
Carnet de voyage en Algébrie
Théorie de Galois
Algèbre linéaire\r
Algèbre linéaire réduction des endomorphismes
Mathématiques pour l'agrégation: Algèbre et géométrie
Algèbre L3\r
Géométrie\r
Utilisateur : Xx_MasterPoulet13_xX
Plan réalisé à l'aide du site et des plans présentés dans ma classe.
Certaines parties sont parfois optionnelles et je ne prévoyais de les faire que si j'avais le temps le jour J. '
Références :
Géométrie
Algèbre et géométrie\r
Nouvelles histoires hédonistes de groupes et géométrie, tome 2
Algèbre L3\r
Géométrie analytique classique\r
Théorie de Galois
Théorie des corps\r
Utilisateur : Beluga
Mes plans sont très inspirés de Mr Syndrome( Mercii à lui !!)
Désolée pour les fautes s'il y en a.
bon courage :)'
Références :
Utilisateur : René Chollet
Voici le plan que j'avais présenté devant la classe pendant l'année de préparation, il a été supervisé par un super prof. Cette leçon est très particulière au vu de la variété de choses qu'on peut mettre dedans (je vous laisse apprécier la taille du rapport de jury) et de la variété de plans valables qui en découle. Il faut savoir que cette leçon est la fusion de deux précédentes leçons intitulées (à peu près) \"utilisation de groupes en géométries\" et \"utilisation de nombres complexes en géométrie\". Mon plan est sûrement trop orienté groupes et pas du tout assez nombres complexes. Après coup, je me rends compte que j'aurais sûrement du parler de la bonne définition des angles dans mon grand deux, dont la deuxième sous partie est certes pertinente pour cette leçon mais pas trop pour cette partie. Pour ce qui est du résultant, je vous conseille de vous y pencher : c'est franchement pas si compliqué et ça se recase très bien, y compris pour trouver des polynômes minimaux en théorie des corps. Par ailleurs, il m'a été - comme beaucoup j'imagine - assez fastidieux de trouver un bouquin de géométrie convenable pour faire les leçons concernées, mais j'ai fini par trouver mon bonheur dans le Tauvel, et je n'ai pas vu beaucoup de monde en parler sur ce site donc j'en profite.
Si vous avez des questions ou des erreurs à me signaler, n'hésitez pas à me contacter par mail !'
Références :
Géométrie\r
L'oral à l'agrégation de mathématiques - Une sélection de développements
Histoires hédonistes de groupes et géométries, Tome 1
Théorie de Galois
Utilisateur : Fiosa
Contrairement à la majorité, j'adore cette leçon!
Si vous ne souhaitez pas parler de résultant, vous pouvez mettre le théorème de Cartan-Dieudonné en développement.
J'ai parlé de géométrie affine parce que je me sentais à l'aise dessus (il faut en faire un minimum car ça sert pour plusieurs leçons), mais sinon je pense que c'est évitable.'
Références :
Cours de géométrie
Géométrie\r
Cours d'algèbre\r
Algèbre linéaire\r
Algèbre\r
Algèbre L3\r
Utilisateur : lemaire
Méta plan réalisé à l'aide de ce site et non vérifié par un professeur.'
Références :
Algèbre et géométrie\r
Algèbre\r
Mathématiques pour l'agrégation: Algèbre et géométrie
Topologie générale et espaces normés\r
Anneaux, corps, résultants
L'oral à l'agrégation de mathématiques - Une sélection de développements
Théorie des corps\r
Utilisateur : Théo L
Ce sont les grandes lignes de mon plan, non-vérifié par une personne compétente. Désolé pour l'écriture. Je me suis (beaucoup) inspiré de Tintin et Théo Ternier (J'ai eu l'agreg en partie grâce à eux, merci !).'
Références :
Géométrie
Cours d'algèbre\r
Mathématiques pour l'agrégation: Algèbre et géométrie
Algèbre et géométrie\r
Algèbre : le grand combat: Cours et exercices
Utilisateur : DaTiCo
Plans faits pendant l'année à 3. Pas toujours vérifiés ni forcément aboutis. N'étaient pas faits pour être partagés donc il y a des commentaires/remarques personnelles que vous ne comprendrez sûrement pas ! En espérant que le métaplan puisse tout de même aider ! '
Références :
Utilisateur : Marmiton
Leçon sur laquelle je suis passé en oral blanc et que j’ai vraiment aimé préparé !
J’opte pour 3 parties : une sur les espaces euclidiens, que je mets en lien dans une partie 2 avec les nombres de module 1/racines de l’unité et une 3ème partie utilisant des outils présentés tout au long de la leçon avec la théorie des nombres constructibles.
Le plan a été validé par le prof et est vraiment facile à faire : on peut presque tout faire en suivant le Audin puis le Carrega ! Les autres références ne sont là que pour 1 def ou 1 remarque (ou 1 dev).
ATTENTION : Ma dernière figure est fausse, j’ai fait une erreur dans la construction à cause de la précipitation.
Il manque juste le Isenmann en réf pour la partie déterminant circulant.
'
Références :
Géométrie
Théorie des corps\r
Cours d'algèbre\r
Petit guide de calcul différentiel\r
Nouvelles histoires hédonistes de groupes et géométrie, tome 2
Utilisateur : Jeanclaudedu77
J'aime pas.'
Références :
Algèbre\r
Cours d'algèbre\r
Nouvelles histoires hédonistes de groupes et géométrie, tome 2
Géométrie
Mathématiques pour l'agrégation: Algèbre et géométrie
Utilisateur : kureru
Méta-plans appris pour le jour J. Fait en juin 2024 et non validé par une personne compétente.
Version safe:
I. Utilisation de nombres complexes
1) Nombres complexes et plan complexe
2) Figures géométriques dans le plan complexes
3) Transformations du plan complexe
4) Quaternions, les complexes de l'espace (DVT : quaternions)
II. Groupe des isométries - Matriciel et formes quadratiques
1) Isométries du plan
2) Isométries de l'espace
3) Générateurs des isométries vectorielles (DVT)
III. Utilisation du déterminant
1) Généralités, aire et volume
2) Déterminant circulant et suite de polygones (DVT)
Version plus originale centrée sur le groupe orthogonal
I. Groupe orthogonal : isométrie du plan et de l'espace
1) Groupe orthogonal
2) Description de O2(R) et nombres complexes pour décrire les transformations du plans
3) Description de O3(R)
II. SO3(R) : décrire les transformations de l'espace à l'aide des Quaternions
1) Quaternions
2) DVT : quaternions
III. Plus général : générateurs des isométries vectorielles
1) Formes quadratiques et orthogonalité
2) O(q) (DVT : générateurs des isométries vectorielles)
IV. Topologie de On(R)
1) Thm de Riesz en dim finie et dualité
2) Convexité : thm de séparation des convexes
3) DVT : Enveloppe convexe de On(R)
'
Références :
Utilisateur : Julos
La plupart des mes plans sont inspirés de Ewna, Agentb0, Jouaucon, Abarrier et Marvin. Merci à eux. Attention aux coquilles ! Mes plans sont, en général, scannés juste après que j'ai finis de rédiger, bien sur quand je les ai relu j'ai trouvé des erreurs. Les références sont à la fin des plans.
On peut dire énormément de choses sur cette leçon il faut faire des choix.
L'idée de mon plan pour cette leçon est la suivante, on va revisiter de manière rigoureuse le géométrie depuis notre scolarité en effet :
- Dans I on parle de géométrie à la règle et au compas (la première géométrie qu'on rencontre dans notre vie)
- Ensuite on a mit des points sur le plan ou dans l'espace ce qui correspond à la géométrie affine (et donc mon II), on peut alors démontrer le théorème de Thalès ! Parler de symétrie etc. (Notions de collège). On parle également de vecteurs (notions de lycée). Dans le II.d) je parle d'espace affine euclidien pour qu'on puisse avoir la notion d'angle.
- La notion d'angle sert pour le III où on étudie les isométries, notion qu'on découvre plutôt dans le supérieur et donc qui suit la \"chronologie\" de mon plan.'
Références :
Utilisateur : Coquillages & Poincaré
Retrouvez toutes les leçons et tous les développements, ainsi que des cours (avec les fichiers sources) sur mon site www.coquillagesetpoincare.fr'
Références :
Utilisateur : Tintin
Cette leçon est très intéressante car elle est immense et elle permet ainsi de vraiment choisir ce qui nous plaît pour en faire une leçon. On peut par exemple piocher dans les groupes, la géométrie euclidienne et affine, les coniques, et même la théorie des corps en parlant de constructibilité par exemple ! Autrement dit, il est possible de faire une leçon qui n'a aucun point commun avec la mienne mais qui soit très bien faite !
N'hésitez pas à me contacter si vous constatez ce qui semble être une erreur (typographie, mathématique, etc).'
Références :
Tout-en-un MPSI
Géométrie
Algèbre : le grand combat: Cours et exercices
Théorie des groupes (bis)
Cours d'algèbre\r
Algèbre et géométrie\r
Nouvelles histoires hédonistes de groupes et géométrie, tome 2
Algèbre et probabilités
Carnet de voyage en Algébrie
Utilisateur : TC&WM
Retrouvez tous nos plans de leçons ainsi que les fichiers latex associés à nos leçons sur notre site : https://sites.google.com/view/tribalchiefandwiseman/home?authuser=0
Bonne preparation à vous !'
Références :
Utilisateur : Mathis Lemay
ATTENTION : J'ai fait cette leçon au mois de mai, puis je me suis rapidement rendu compte que mon plan était mal articulé, j'ai donc échangé et/ou regroupé certaines sous-parties. Il faut prendre en compte le plan général que j'ai mis en page 1 du PDF, puis pour chaque sous-partie se référer à celle qui correspond dans la leçon pour y voir le contenu.
Je suis désolé, je n'ai pas pris le temps de refaire la leçon en entier après avoir modifié le plan, mais c'est juste les mêmes choses mises dans un ordre différent !
Cette leçon est très intéressante car elle permet vraiment de choisir ce qui nous plaît pour en faire une leçon. Elle peut effrayer mais avec un peu travail on s'en sort ! On peut piocher dans les groupes évidemment, mais aussi la géométrie affine, les coniques, et même la théorie des corps en parlant de constructibilité !
Voir aussi la leçon de Tintin qui est très bien !
Les tableaux proposant la classification des isométries vectorielles en dimension 2 et 3 en annexe sont bien mieux que ceux de ma leçon 161... Je recommande donc d'apprendre plutôt ceux-ci (ils sont dans le Garnier et le Combes il me semble)
Pour les références, voir aussi le Aebischer pour les coniques.'
Références :
Mathématiques pour l'agrégation: Algèbre et géométrie
Algèbre et probabilités
Cours d'algèbre\r
Géométrie\r
Manuel de Mathématiques volume 4
Théorie de Galois : Niveau L3-M1
Utilisateur : Théo Ternier
Voici un plan possible pour la leçon 191.
Mes plans sont très souvent inspirés de Ewna et Abarrier (merci à eux deux !)'
Références :
Cours d'algèbre\r
Algèbre\r
Mathématiques pour l'agrégation: Algèbre et géométrie
Oraux X-ENS Algèbre 3\r
Cours de calcul formel. Corps finis, systèmes polynomiaux, applications
Objectif Agrégation
Théorie des corps\r
Histoires hédonistes de groupes et géométries, Tome 1
Utilisateur : Miannaze
Il y a en fichiers ma version manuscrite; faite en oral blanc en 1h30. Je viens de taper le plan en tex. Leçon vaste, j'ai parlé géométrie affine, isométries, groupes d'isométries, coniques, et construction à la règle et au compas. On m'a reproché un manque d'invariant, mais à part ça, le plan est pas trop mal de ce que j'ai compris.
Petite erreur : j'ai mis qu'il y avait 6 solides platoniciens; mais il y en a 5, dont un de multiplicité 2 ! (Le tétraèdre qui est son propre dual)
Dans ma défense, j'ai dit qu'on allait insister sur la symbiose formée par l'algèbre et la géométrie : l'algèbre apporte bcp à la géométrie qui lui rend bien. Ca a plu.
Quelques questions qu'ont m'a posé : beaucoup de questions sur mon développement (SO2(F_q), je suis passé avec quelqu'un à qui j'avais posé beaucoup de questions sur le thème qui était donc rodée!)
pourquoi le groupe des homothéties translations est distingué?
pourquoi D4 et H8 ont la même table de caractères?
pourquoi je dis qu'il y a 6 solides platoniciens?
Des questions sur les coniques et leurs classifications (je ne maîtrise pas très bien ce thème que je trouve difficile, et qu'on explore assez peu pendant notre scolarité, je me suis donc mis une pile là dessus et me suis forcé à en parler dans cette leçon)
Puis des questions sur les coordonnées barycentriques : comment on les exprime? J'ai dit que c'était avec un déterminant entre les deux vecteurs qui vont bien, sauf qu'on a pas de base, alors comment on exprime notre det ? et bien on prend une base.... mais pourquoi c'est indépendant de la base? Puis on m'a fait prouver la formule (c'est un système de Cramer). Encore un truc avec lequel je ne suis pas du tout à l'aise, mais au moins cet oral a été instructif, c'était le but!
'
Références :
Algèbre et géométries
Géométrie
Nouvelles histoires hédonistes de groupes et géométrie, tome 2
Théorie des corps\r
Théorie des Groupes
Utilisateur : Hugo
Je n'aime pas du tout cette leçon, mais il m'a semblé nécessaire d'au moins préparer un plan dessus, d'autant que mes deux développements s'y insèrent très bien.
Les références sont indiquées à la fin du plan. N'hésitez pas à me contacter pour me signaler toute erreur ou imprécision.'
Références :
Utilisateur : Bertin Thomas
'
Références :
Algèbre linéaire\r
Mathématiques pour l'agrégation: Algèbre et géométrie
Algèbre\r
Utilisateur : Demesmay
Possibilité d'avoir ma version complète manuscrite en me contactant par mail.'
Références :
Utilisateur : RMaurice
Voici mes plans de leçons que j'ai réalisé en format complet.
Si cela peut aider des gens, avec plaisir !
Tout mes plans de leçons sont inspirés majoritairement de Jouaucon, Marvin et abarrier ( Merci à eux ! ).
Les références sont à la fin.
Attention aux éventuels coquilles.'
Références :
Utilisateur : EWna
J'ai choisi d'explorer les deux axes suivants: d'un côté les isométries des polygones/poyèdres réguliers et la constructibilité, et d'autre part les coniques.
Ce plan fait également un pari: 2 pages de texte, 2 pages de dessins, contrairement au 3-1 habituel. Après tout, comme on dit, une leçon de géométrie sans dessins, «c'est une bête qui n'a qu'un œil, c'est un oiseau sans plumage, une forêt sans écureuil»...'
Références :
Mathématiques pour l'agrégation: Algèbre et géométrie
Géométrie
Géométrie analytique classique\r
Algèbre L3\r
Utilisateur : Pandou
'
Références :
Cours de Mathématiques - 1 Algèbre
Histoires hédonistes de groupes et géométries, Tome 1
Algèbre\r
Théorie de Galois
Cours d'algèbre\r
Cours de mathématiques, Tome 4 : Algèbre bilinéaire et géométrie
Utilisateur : Jouaucon
Plan très fortement inspiré du plan de M. Cacitti-Holland: http://perso.eleves.ens-rennes.fr/~dcaci409/Agregation.html#lecons
Références en fin de plan avec les notations:
[Gri] Algèbre linéaire : Grifone
[Isen] L'oral à l'agrégation de mathématiques - Une sélection de développements : Isenmann
[Rom] Mathématiques pour l'agrégation: Algèbre et géométrie : Jean Etienne Rombaldi'
Références :
Algèbre linéaire\r
L'oral à l'agrégation de mathématiques - Une sélection de développements
Mathématiques pour l'agrégation: Algèbre et géométrie
Utilisateur : Aurélie BIGOT
'
Références :
Géométrie
Mathématiques pour l'agrégation: Algèbre et géométrie
Algèbre linéaire\r
Utilisateur : Marvin
Il est préférable d'ajouter le fait que l'ensemble des réels constructibles est un corps stable par racine carrée, que j'ai oublié dans le plan mais qu'on utilise.'
Références :
Cours de géométrie
Algèbre linéaire\r
Cours d'algèbre\r
Théorie des corps\r
Petit guide de calcul différentiel\r
Utilisateur : Owen
Juste une proposition de plan pour une nouvelle leçon.
J'ai choisi de parler de géométrie algébrique par goût, mais je pense que c'est évitable, quitte a allonger les parties précédentes.'
Références :
Algèbre et géométrie\r
Cours d'algèbre\r
Géométrie Projective
Géométrie algébrique\r
Géométrie
Retours
Anonyme
| Année : 2026
Leçon choisie : 1588
Autre leçon :
Endomorphismes diagonalisables en dimension finie2026
Développement choisi par le jury :
Théorème du point fixe de Brouwer par le lemme de Sperner
Autre développement proposé :
Pas de réponse fournie.
Résumé de l'échange avec le jury (questions/réponses/remarques) :
J'ai présenté le plan suivant : 1) Apports de l'algèbre linéaire : l'exemple des isométries Toute isométrie de ℝ^n est affine, les isométries vectorielles sont les endomorphismes orthogonaux, on dispose d'un théorème de réduction pour ceux-ci et on peut l'utiliser pour écrire un endomorphisme orthogonal comme produit de réflexions. 2) Apports de la théorie des corps : constructibilité Théorème de Wantzel et ses conséquences : impossibilité de la duplication du cube et (en admettant la transcendence de π) de la quadrature du cercle 3) Apports de la topologie algébrique : théorème du point fixe de Brouwer Construction du foncteur groupe fondamental et application au théorème du point fixe de Brouwer en dimension 2 Preuve alternative du théorème du point fixe de Brouwer en dimension 2 via le lemme de Sperner (développement 1, choisi par le jury) 4) Apports de la géométrie algébrique : bases de Gröbner Le Nullstellensatz réduit le problème géométrique « est-ce qu'une variété a un point ? » au problème algébrique « est-ce qu'un idéal contient 1 ? » dans le cas des corps algébriquement clos. Pour résoudre algorithmiquement ce dernier, on passe par une base de Gröbner qui peut s'obtenir par l'algorithme de Buchberger (développement 2). Dans le cas de ℝ, on n'a pas de correspondance aussi simple, néanmoins la théorie du premier ordre du corps ℝ est décidable (admis). Le jury a choisi le théorème du point fixe de Brouwer en dimension 2 via Sperner Développement : J'ai décrit la preuve du lemme de Sperner, en restant assez informel parce que travailler formellement avec des triangulations est fastidieux alors que les faits utilisés sont géométriquement évidents. Puis j'en ai déduit le théorème par compacité, mais j'ai dû passer un peu vite là-dessus par manque de temps. Questions : J'avais mal fait mon dessin d'une triangulation (il ne faut pas de point qui soit sommet de certains triangles et seulement quelque part sur le côté d'un autre triangle), ils me l'ont fait corriger. J'étais passé trop vite sur la définition du coloriage utilisé pour déduire le théorème de Brouwer, j'ai dû la réexpliquer ainsi que la raison pour laquelle on trouve bien un point fixe (je ne suis pas sûr d'avoir convaincu le jury au final). J'avais utilisé sans justification le fait que le disque unité est homéomorphe au triangle équilatéral unité, on m'a demandé de le justifier. J'ai fait un dessin d'une fonction de l'intérieur d'un triangle équilatéral vers l'intérieur de son cercle circonscrit qui dilate chaque segment du centre vers un bord du triangle pour l'envoyer sur le segment dans la même direction jusqu'au cercle. On m'a demandé de rappeler ce qu'est un homéomorphisme (j'imagine qu'ils voulaient vérifier que je n'oubliais pas la continuité de l'inverse). Ensuite, ils voulaient que je sois plus explicite, que je définisse la fonction formellement, j'ai commencé à prendre un complexe dans le triangle d'argument entre 0 et 2π/3 et à calculer une équation de la droite entre j (:= e^{i⋅2π/3}) et 0… Le membre du jury qui posait cette question m'a arrêté là mais il m'a fait comprendre qu'il ne trouvait pas cet homéomorphisme suffisamment trivial pour se passer de justification. Le jury m'a posé plusieurs questions sur les isométries. « Comment prouvez-vous que toute isométrie est affine ? » Je l'ai fait avec une formule de polarisation. Je me suis rendu compte que je ne savais plus citer la définition d'un espace affine, mais ils ne m'en ont pas tenu rigueur et ont accepté que je travaille avec la définition d'une application affine de ℝ^n dans lui-même comme une application linéaire plus une constante. On m'a aussi demandé quelles étaient les isométries affines en dimension 2 et je ne connaissais pas le terme pour une rotation plus une constante mais cela n'avait pas l'air très grave pour eux. « Si un sous-espace est stable par un endomorphisme orthogonal, que peut-on dire ? » Son orthogonal est aussi stable (ils n'ont pas voulu voir la preuve). « Vous dites que toute isométrie est un produit de réflexions, pouvez-vous expliciter la décomposition pour une rotation en dimension 2 ? » J'ai commencé à chercher ce que faisait la composée de la réflexion autour de l'axe des abscisses suivie de la réflexion autour de la droite portée par e^{i⋅θ}. Le membre du jury qui posait la question n'était pas satisfait parce qu'il voulait exprimer une rotation comme produit de réflexions et pas l'inverse, j'ai insisté en expliquant que j'allais simplement constater que toute rotation est effectivement de cette forme. Dessin fait, c'est effectivement le cas parce qu'on trouve la rotation d'angle 2θ, mais j'ai dû refaire le dessin pour que le jury semble convaincu. Quelques questions sur la constructibilité : « Les nombres constructibles forment une structure bien connue, laquelle ? » C'est un corps. « Pouvez-vous expliciter comment construire un rationnel ? » Je l'ai fait avec le théorème de Thalès (on construit les points (b, 0) puis (b, a) et on obtient le point (1, a/b)). « Vous avez mentionné la quadrature du cercle et la duplication du cube, savez-vous quel troisième célèbre problème remontant aux Grecs est résolu par ces techniques ? » La trisection de l'angle, mais j'ai dit explicitement que je l'avais omis de mon plan car je ne savais plus à quel angle il fallait l'appliquer. « En fait on peut montrer que l'angle particulier π/3 (qui est constructible puisqu'il suffit de tracer un triangle équilatéral) ne peut pas être trisecté à la règle et au compas, auriez-vous une idée pour le démontrer ? » J'ai dit qu'on pouvait exprimer cos(π/3) = 1/2 comme polynôme en cos(π/9) avec les polynômes de Tchebychev et en déduire un polynôme annulateur, mais je ne connaissais pas le troisième polynôme de Tchebychev et avec le stress j'ai carrément eu un trou de mémoire sur la formule pour cos(a+b). Heureusement je l'ai retrouvée une minute plus tard, après avoir dit qu'on pourrait probablement vérifier que le degré de cos(π/9) comme nombre algébrique n'est pas une puissance de 2 alors que c'est une condition nécessaire pour être constructible, mais l'oral était terminé.
J'ai présenté le plan suivant : 1) Apports de l'algèbre linéaire : l'exemple des isométries Toute isométrie de ℝ^n est affine, les isométries vectorielles sont les endomorphismes orthogonaux, on dispose d'un théorème de réduction pour ceux-ci et on peut l'utiliser pour écrire un endomorphisme orthogonal comme produit de réflexions. 2) Apports de la théorie des corps : constructibilité Théorème de Wantzel et ses conséquences : impossibilité de la duplication du cube et (en admettant la transcendence de π) de la quadrature du cercle 3) Apports de la topologie algébrique : théorème du point fixe de Brouwer Construction du foncteur groupe fondamental et application au théorème du point fixe de Brouwer en dimension 2 Preuve alternative du théorème du point fixe de Brouwer en dimension 2 via le lemme de Sperner (développement 1, choisi par le jury) 4) Apports de la géométrie algébrique : bases de Gröbner Le Nullstellensatz réduit le problème géométrique « est-ce qu'une variété a un point ? » au problème algébrique « est-ce qu'un idéal contient 1 ? » dans le cas des corps algébriquement clos. Pour résoudre algorithmiquement ce dernier, on passe par une base de Gröbner qui peut s'obtenir par l'algorithme de Buchberger (développement 2). Dans le cas de ℝ, on n'a pas de correspondance aussi simple, néanmoins la théorie du premier ordre du corps ℝ est décidable (admis). Le jury a choisi le théorème du point fixe de Brouwer en dimension 2 via Sperner Développement : J'ai décrit la preuve du lemme de Sperner, en restant assez informel parce que travailler formellement avec des triangulations est fastidieux alors que les faits utilisés sont géométriquement évidents. Puis j'en ai déduit le théorème par compacité, mais j'ai dû passer un peu vite là-dessus par manque de temps. Questions : J'avais mal fait mon dessin d'une triangulation (il ne faut pas de point qui soit sommet de certains triangles et seulement quelque part sur le côté d'un autre triangle), ils me l'ont fait corriger. J'étais passé trop vite sur la définition du coloriage utilisé pour déduire le théorème de Brouwer, j'ai dû la réexpliquer ainsi que la raison pour laquelle on trouve bien un point fixe (je ne suis pas sûr d'avoir convaincu le jury au final). J'avais utilisé sans justification le fait que le disque unité est homéomorphe au triangle équilatéral unité, on m'a demandé de le justifier. J'ai fait un dessin d'une fonction de l'intérieur d'un triangle équilatéral vers l'intérieur de son cercle circonscrit qui dilate chaque segment du centre vers un bord du triangle pour l'envoyer sur le segment dans la même direction jusqu'au cercle. On m'a demandé de rappeler ce qu'est un homéomorphisme (j'imagine qu'ils voulaient vérifier que je n'oubliais pas la continuité de l'inverse). Ensuite, ils voulaient que je sois plus explicite, que je définisse la fonction formellement, j'ai commencé à prendre un complexe dans le triangle d'argument entre 0 et 2π/3 et à calculer une équation de la droite entre j (:= e^{i⋅2π/3}) et 0… Le membre du jury qui posait cette question m'a arrêté là mais il m'a fait comprendre qu'il ne trouvait pas cet homéomorphisme suffisamment trivial pour se passer de justification. Le jury m'a posé plusieurs questions sur les isométries. « Comment prouvez-vous que toute isométrie est affine ? » Je l'ai fait avec une formule de polarisation. Je me suis rendu compte que je ne savais plus citer la définition d'un espace affine, mais ils ne m'en ont pas tenu rigueur et ont accepté que je travaille avec la définition d'une application affine de ℝ^n dans lui-même comme une application linéaire plus une constante. On m'a aussi demandé quelles étaient les isométries affines en dimension 2 et je ne connaissais pas le terme pour une rotation plus une constante mais cela n'avait pas l'air très grave pour eux. « Si un sous-espace est stable par un endomorphisme orthogonal, que peut-on dire ? » Son orthogonal est aussi stable (ils n'ont pas voulu voir la preuve). « Vous dites que toute isométrie est un produit de réflexions, pouvez-vous expliciter la décomposition pour une rotation en dimension 2 ? » J'ai commencé à chercher ce que faisait la composée de la réflexion autour de l'axe des abscisses suivie de la réflexion autour de la droite portée par e^{i⋅θ}. Le membre du jury qui posait la question n'était pas satisfait parce qu'il voulait exprimer une rotation comme produit de réflexions et pas l'inverse, j'ai insisté en expliquant que j'allais simplement constater que toute rotation est effectivement de cette forme. Dessin fait, c'est effectivement le cas parce qu'on trouve la rotation d'angle 2θ, mais j'ai dû refaire le dessin pour que le jury semble convaincu. Quelques questions sur la constructibilité : « Les nombres constructibles forment une structure bien connue, laquelle ? » C'est un corps. « Pouvez-vous expliciter comment construire un rationnel ? » Je l'ai fait avec le théorème de Thalès (on construit les points (b, 0) puis (b, a) et on obtient le point (1, a/b)). « Vous avez mentionné la quadrature du cercle et la duplication du cube, savez-vous quel troisième célèbre problème remontant aux Grecs est résolu par ces techniques ? » La trisection de l'angle, mais j'ai dit explicitement que je l'avais omis de mon plan car je ne savais plus à quel angle il fallait l'appliquer. « En fait on peut montrer que l'angle particulier π/3 (qui est constructible puisqu'il suffit de tracer un triangle équilatéral) ne peut pas être trisecté à la règle et au compas, auriez-vous une idée pour le démontrer ? » J'ai dit qu'on pouvait exprimer cos(π/3) = 1/2 comme polynôme en cos(π/9) avec les polynômes de Tchebychev et en déduire un polynôme annulateur, mais je ne connaissais pas le troisième polynôme de Tchebychev et avec le stress j'ai carrément eu un trou de mémoire sur la formule pour cos(a+b). Heureusement je l'ai retrouvée une minute plus tard, après avoir dit qu'on pourrait probablement vérifier que le degré de cos(π/9) comme nombre algébrique n'est pas une puissance de 2 alors que c'est une condition nécessaire pour être constructible, mais l'oral était terminé.
Quelle a été l'attitude du jury (muet/aide/cassant) ?
Sous l'effet du stress, j'avais oublié la pochette avec convocation, carte d'identité et fiche à remplir par le jury dans la salle de préparation. Ils ont été très gentils et un membre du jury est allé la chercher. Dans l'ensemble, le jury s'est montré sympathique.
Sous l'effet du stress, j'avais oublié la pochette avec convocation, carte d'identité et fiche à remplir par le jury dans la salle de préparation. Ils ont été très gentils et un membre du jury est allé la chercher. Dans l'ensemble, le jury s'est montré sympathique.
L'oral s'est-il passé comme vous l'imaginiez ou avez-vous été surpris par certains points ? Cette question concerne aussi la préparation.
Un problème très idiot est que je n'ai pas pensé à écrire sur deux colonnes (j'ai réalisé au milieu que c'est ce que tous les autres faisaient) et donc je pense que mon plan était trop court (il y avait environ 20 items) et j'ai dû écrire certaines choses de manière très elliptique pour tenir sur les trois pages. Ceci étant, je reste très surpris de la note obtenue de 2/20, alors qu'il me semblait avoir raisonnablement bien réussi l'épreuve (et qu'en analyse, alors que j'étais complètement paralysé par le stress jusqu'à avoir envie de vomir, que la démonstration de mon développement était complètement fausse et que j'ai dit ânerie sur ânerie, j'ai obtenue la note strictement supérieure de 3,25/20…). Mise à jour : j'ai demandé et obtenu un retour du jury, qui me reproche d'avoir trop « raconté » et pas assez formalisé le plan et le développement.
Un problème très idiot est que je n'ai pas pensé à écrire sur deux colonnes (j'ai réalisé au milieu que c'est ce que tous les autres faisaient) et donc je pense que mon plan était trop court (il y avait environ 20 items) et j'ai dû écrire certaines choses de manière très elliptique pour tenir sur les trois pages. Ceci étant, je reste très surpris de la note obtenue de 2/20, alors qu'il me semblait avoir raisonnablement bien réussi l'épreuve (et qu'en analyse, alors que j'étais complètement paralysé par le stress jusqu'à avoir envie de vomir, que la démonstration de mon développement était complètement fausse et que j'ai dit ânerie sur ânerie, j'ai obtenue la note strictement supérieure de 3,25/20…). Mise à jour : j'ai demandé et obtenu un retour du jury, qui me reproche d'avoir trop « raconté » et pas assez formalisé le plan et le développement.
Note obtenue :
2.0
Références: