Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Preuves par induction : principes et exemples

Description

Cette séance de cours couvre le principe d'induction et la structure des preuves par induction, expliquant comment prouver les propriétés pour les nombres naturels à l'aide de l'induction mathématique. Il comprend des exemples tels que la preuve de propositions comme 1 + 3 + 5 +... + (2n-1) = n2 par induction sur n.

Source officielle

Concepts associés (25)

Démonstration (logique et mathématiques)

vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.

Raisonnement par récurrence

vignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.

Récurrence transfinie

En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.

Induction structurelle

En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets. L'on peut ainsi définir des nombres, des listes, des arbres, des relations, et plus généralement, toute structure mathématique (langage, système, ...). En permettant par le même principe de définir un prédicat total i.

Proofs and Refutations

Proofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.

Afficher plus

Séances de cours associées (27)

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Récurrence: Induction

Couvre le principe de l'induction pour les nombres naturels et l'importance de la prudence dans son application.

Récursion et induction : comprendre les preuves mathématiques

Explore la récursion et l'induction pour les preuves mathématiques à travers des algorithmes et des fonctions récursifs.

Récursivité mathématique : Induction et récursivité

Explique l'induction mathématique pour prouver que les propositions sont vraies pour tous les entiers positifs.

Induction mathématique : principe et exemple MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels MOOC: Analyse I

Introduit le principe de l'induction mathématique à travers un exemple.

Afficher plus

Concepts associés (25)

Démonstration (logique et mathématiques)

Raisonnement par récurrence

Récurrence transfinie

Induction structurelle

Proofs and Refutations

Afficher plus