Développement : Corollaire du théorème de Wantzel et réponse négative à la trisection de l'angle

Détails/Enoncé :

D'abord, on montre ce corollaire du théorème de Wantzel :
"Si $t\in\mathbb{R}$ est constructible, alors il existe $q\in\mathbb{N}$ tel que $[\mathbb{Q}(t):\mathbb{Q}]=2^q.$"

Enfin, on utilise ce corollaire pour montrer que le problème antique de construction de la trisection de l'angle à la règle et au compas n'a pas de solution.

Recasages pour l'année 2025 :

Versions :

  • Auteur :
  • Remarque :
    J'ai ajouté la preuve du théorème de la base télescopique pour que le recasage dans la leçon 151 soit joli, mais la dite preuve n'est pas présente dans le livre laissé en référence.
    Le livre en question, dont le fil rouge est la constructibilité à la règle et au compas, présente de nombreux commentaires autour du développement que je n'ai pas laissés dans mon pdf.
  • Référence :
  • Fichier :
  • Auteur :
  • Remarque :
    Un de mes développements préférés d'algèbre ! Je pense que ça peut être bénéfique d'investir du temps sur les nombres constructibles, car on peut faire une partie sur ce sujet dans pas mal de leçons.
    N'hésitez pas à me contacter si vous voyez une coquille !
  • Référence :
  • Fichier :

Références utilisées dans les versions de ce développement :

Théorie des corps , Carréga (utilisée dans 26 versions au total)