Theory of numbers: Congruences: Introduction

Theory of numbers: Congruences: Introduction

par Richard E Borcherds

Sciences formelles & physiques Mathématiques PBMathématiquesPBHThéorie des nombres
🎙 Richard E Borcherds 👥 82K 📅 28 janvier 2021 ⏱ 25 min 👁 4K 📄 cours magistral 🧭 2026-08-17
Disponible en : Français (actuel) English

Mots-clés

congruencemoduloarithmétique modulairesomme de deux carréssomme de trois cubes

Résumé

Ce cours d’introduction aux congruences, donné par Richard Borcherds, définit la notion de congruence modulo m comme une relation d’équivalence et en démontre les propriétés de base. Il explique que les entiers modulo m forment un anneau commutatif, mais pas toujours un corps, et illustre cela avec des exemples concrets comme l’horloge (modulo 12) et l’arithmétique informatique (modulo 2^64). L’essentiel du cours est consacré à l’utilisation des congruences pour résoudre des problèmes classiques : déterminer quels entiers sont sommes de deux carrés, de trois carrés, ou de trois cubes. Pour les sommes de deux carrés, il montre que tout carré est congru à 0 ou 1 modulo 4, donc un entier congru à 3 modulo 4 ne peut pas être somme de deux carrés. Pour les sommes de trois carrés, il utilise le modulo 8 pour montrer qu’un entier congru à 7 modulo 8 ne peut pas être somme de trois carrés, et esquisse une preuve pour les nombres de la forme 4^b(8a+7). Pour les sommes de trois cubes, il utilise le modulo 9 pour montrer que les entiers congrus à 4 ou 5 modulo 9 ne peuvent pas être exprimés comme somme de trois cubes, et mentionne le problème ouvert de savoir si tout entier suffisamment grand est somme de quatre cubes positifs. Enfin, il présente la technique de la preuve par neuf, qui repose sur le fait que 10 ≡ 1 mod 9, et signale une erreur courante concernant les exposants dans les congruences.

246 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : le cours fournit des démonstrations claires et rigoureuses des propriétés des congruences, et les applique à des problèmes historiques de la théorie des nombres. L’argumentation est solide, chaque affirmation est justifiée par un raisonnement mathématique précis. Les exemples choisis (horloge, arithmétique informatique) rendent les concepts abstraits concrets et accessibles. La discussion sur les sommes de carrés et de cubes est bien structurée, avec des conditions nécessaires démontrées et des références à des théorèmes plus profonds (théorème des deux carrés de Fermat, théorème des trois carrés de Legendre). La mention du problème ouvert des sommes de trois cubes et des solutions récentes pour 42 illustre la pertinence actuelle du sujet.

Rigueur scientifique, qualité des sources, adéquation du titre

La rigueur scientifique est exemplaire : le contenu est mathématiquement correct, les démonstrations sont complètes et les limites des résultats sont clairement indiquées. Les sources sont implicites mais fiables : il s’agit d’un cours universitaire, et les références à Gauss et à la conjecture de Heath-Brown sont mentionnées. Le titre est parfaitement adéquat au contenu. Aucune publicité n’est présente. Les commentaires ne sont pas fournis, donc aucune analyse des tendances du public n’est possible.

205 mots

Adéquation titre / contenu

Le titre correspond exactement au contenu : introduction aux congruences dans le cadre d'un cours de théorie des nombres.

Qualité & fiabilité

9/10

Cours universitaire de niveau licence par un mathématicien reconnu, contenu rigoureux et précis, exemples illustratifs, pas de publicité.

Moments clés

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

Sources citées

Sources concordantes

  • Théorème des deux carrés de Fermat — Ce théorème est mentionné dans la vidéo comme un résultat fondamental à venir.
  • Théorème des trois carrés de Legendre — Ce théorème est évoqué dans la vidéo comme une généralisation de la condition nécessaire.

Apport & nouveautés

Ce cours apporte une introduction claire et rigoureuse aux congruences, en les reliant à des problèmes classiques de la théorie des nombres. Il met en évidence l’utilité des congruences pour obtenir des conditions nécessaires à la représentabilité des entiers comme sommes de carrés ou de cubes. L’originalité réside dans la présentation pédagogique, avec des exemples concrets et des applications informatiques.

Pour aller plus loin :

  • Théorème des deux carrés de Fermat — Ce théorème donne une condition nécessaire et suffisante pour qu’un entier soit somme de deux carrés, complétant la condition nécessaire présentée dans la vidéo.
  • Théorème des trois carrés de Legendre — Ce théorème caractérise les entiers qui sont sommes de trois carrés, répondant à la question abordée dans la vidéo.
  • Problème des trois cubes — Ce problème ouvert est mentionné dans la vidéo ; la page Wikipédia donne l’état des recherches et les solutions récentes.
  • Preuve par neuf — Technique de vérification arithmétique basée sur les congruences, expliquée dans la vidéo.

163 mots

Profil radar

Le profil radar montre une excellente qualité et fiabilité des informations, avec un niveau technique élevé mais accessible. La quantité d'information est bonne, mais le format de cours magistral limite la profondeur sur certains points.

Fiabilité 9/10