Développement #789

Titre : Théorème de Brouwer dans le plan euclidien

Contenu : La preuve utilise le lemme combinatoire de Sperner. Elle est beaucoup trop longue mais on peut aisément admettre de grosses parties selon les leçons pour rendre la démonstration calibrée en 15 minutes. Il y a plusieurs énoncés possibles pour la même démarche, libre à chacun également d'adapter l'énoncé au plan.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42