Profil de Wulfhartus

Informations :

Inscrit le :
25/05/2024
Dernière connexion :
26/08/2024
Inscrit à l'agrégation :
2024, option C
Résultat :
Admis, classé(e) 34ème

Ses versions de développements :

  • Développement :
  • Remarque :
    Recopier la preuve du bouquin de Denis Serre (édition 2010). Il donne 2 preuves différentes pour chaque décomposition. Choisir celles qui permettent de déduire Choleski de LU et de déduire QR de Choleski. Il est nécessaire d'insister sur ces articulations entre les trois décompositions en jeu. Sinon, ce développement ressemblerait trop à une liste.
  • 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 :

Ses plans de leçons :