logo
  • Filtre for math subject Tous les sujets
  • Filtre for math subjectMaths
      Seconde
    • Nombres et calculs
    • Géométrie
    • Fonctions
    • Stats et Probas
    • Première
    • Analyse
    • Géométrie
    • Probas et Stats
    • Terminale
    • Analyse (spé)
    • Géométrie (spé)
    • Probabilités (spé)
    • Arithmétique (exp)
    • Complexes (exp)
    • 2BAC SM Maroc
    • Analyse
    • Algèbre
    • MPSI/PCSI
    • Analyse
      • Logique et ensembles
      • Calcul algébrique et trigonométrie
      • Complexes
      • Fonctions d'une variable réelle (0)
      • Primitives et équations différentielles
      • Nombres réels et suites numériques
      • Fonctions : Limites et continuité (1)
      • Fonctions : dérivabilité (2)
      • Fonctions : convexité (3)
      • Analyse Asymptotique
    • Algèbre
    • Probabilités
  • Filtre for math subjectPhysique-Chimie
  • Filtre for math subjectCorrigés de BAC
  • Filtre for math subjectPrépa Examens
  • Filtre for math subjectRévisions Maths lycée
  • Filtre for math subject Tous les sujets
  • Filtre for math subjectMaths
      Seconde
    • Nombres et calculs
    • Géométrie
    • Fonctions
    • Stats et Probas
    • Première
    • Analyse
    • Géométrie
    • Probas et Stats
    • Terminale
    • Analyse (spé)
    • Géométrie (spé)
    • Probabilités (spé)
    • Arithmétique (exp)
    • Complexes (exp)
    • 2BAC SM Maroc
    • Analyse
    • Algèbre
    • MPSI/PCSI
    • Analyse
      • Logique et ensembles
      • Calcul algébrique et trigonométrie
      • Complexes
      • Fonctions d'une variable réelle (0)
      • Primitives et équations différentielles
      • Nombres réels et suites numériques
      • Fonctions : Limites et continuité (1)
      • Fonctions : dérivabilité (2)
      • Fonctions : convexité (3)
      • Analyse Asymptotique
    • Algèbre
    • Probabilités
  • Filtre for math subjectPhysique-Chimie
  • Filtre for math subjectCorrigés de BAC
  • Filtre for math subjectPrépa Examens
  • Filtre for math subjectRévisions Maths lycée

Disjonction et arithmétique

Dans cette vidéo, Paul propose un exercice de logique où l'on doit démontrer que si n est la somme de 2 carrés alors le reste de la division euclidienne de n par 4 est toujours différent de 3. Il utilise la méthode de récurrence mais constate qu'elle ne sert à rien dans ce cas précis. Il cherche alors à séparer les 4 cas possibles et arrive à démontrer que r sera toujours différent de 3. Il utilise l'unicité de la division euclidienne pour prouver que q et r sont comme il le souhaite. En fin de compte, il démontre cette propriété et conclut l'exercice.

Contenu lié