pascal16 a écrit:Pour moi c'est une non démonstration (en plus c'est bien long pour rien)
On utilise le fait qu'on puise projeter une forme sur une sphère sans le démontrer. On utilise le résultat (projection possible) pour définir le terme de départ (polyèdre convexe). Et on suppose la géométrie sphérique connue (pas de notion de plan tangent donné pour les angles).
Donc, déjà, en changeant polyèdre convexe par polyèdre dont l'intérieur est un convexe étoilé (et inventer au 'sens strict' pour garder la même démo, mais on peut s'en passer), la démonstration peut être plus générale et plus rigoureuse.
Je te trouve bien severe !

, c'est une tentative de vulgarisation la demonstration n'est pas faite pour un public de mathematicien mais pour le grand public ("un texte un mathematicien" a la BNF, si il avait fallu demontrer rigoureusement tout ce qui est dit dans cette video, je pense qu'elle aurait pu durer des dizaines d'heures, et je pense qu'on aurait perdu du public
quant a moi qui n' est pas mathematicien, j'ai découvert tout cela et j'ai trouvé la conference fabuleuse !
si j'avais su j'aurais pas venu.