Le théorème des deux carrés

Ce développement se recase très bien dans la 127. Au début de l'année, je ne connaissais pas du tout le problème des deux carrés donc il m'a fallu travailler tout ce qu'il y a dans le Perrin. Pour le développement, il faut évidemment faire des choix : pour la 122, je suggère les pages 1 et 2 pour la 127, les pages 2 et 3. Le Perrin ne fait pas très bien la démonstration du dernier théorème, j'ai essayé de la remanier... J'espère qu'elle est correcte. A chaque fois, les remarques en noir étaient pour moi, pour travailler le développement. Notamment tous les isomorphismes de l'avant-dernier théorème doivent être justifiés, c'est principalement le 3e théorème d'isomorphisme. Certaines parties sont un peu coupées, désolé... La version de Tintin est bien meilleure !

Si le développement est trop court on peut également donner les irréductibles de Z[i]. N'hésitez pas à me contacter si vous constatez ce qui semble être une erreur (typographie, mathématique, etc).