Utilisateur : Wulfhartus

La méthode s'inspire de celle des sinus itérés dans le Gourdon mais il n'y a pas de référence pour ce développement. Apprenez-le par coeur, vous n'aurez de toute façon pas le choix !

Cette version est une preuve résumée. Son intérêt est de découper la preuve en étapes. Cela permet une présentation plus claire où les articulations logiques sont mieux expliquées.

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.

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.

Ce développement est trop court ! Voici, pour remplir, une application susceptible de faire marrer le jury. Pas de réf mais osef.

Développement sympa qui se recase aussi dans la leçon sur les extrema ! Autre ajout à ce développement : la plus grande valeur propre de M est une fonction convexe de M. La plus petite est concave.

Le gros du contenu est inspiré par le Saux-Picart-Rannou mais des modifications importantes ont été apportées.

La version de vos rêves. Il n'y a pas beaucoup de références pour cette version, mais vous trouverez l'algorithme de Berlekamp dans le Demazure.

Who needs references, seriously ?