Quelques jolies preuves par récurrence
Cet article présente quelques variantes classiques du raisonnement par récurrence, ainsi que des exemples variés, sélectionnés notamment pour leur élégance.
Cet article présente quelques variantes classiques du raisonnement par récurrence, ainsi que des exemples variés, sélectionnés notamment pour leur élégance.
Lorsqu'on multiplie k entiers consécutifs, on obtient invariablement un multiple de la factorielle de k. Cet article propose trois preuves de difficultés inégales de ce résultat.
Les concepts d'image directe et d'image réciproque apparaissent très vite, dès que l'on commence à se familiariser avec les ensembles et les applications. Ils sont très généraux et interviennent de ce fait dans des contextes très divers ! Il est donc impératif de les maîtriser au plus tôt et j'espère que cet article pourra y contribuer :)
Pour montrer qu'une famille de vecteurs est libre, il y a bien sûr une définition (comme toujours en mathématiques). Mais selon le contexte, des méthodes ad hoc et quelques astuces techniques viennent enrichir le sujet. Cet article, qui ne prétend nullement à l'exhaustivité en la matière, en indique quelques unes parmi les plus classiques.
Cet article présente l'essentiel de ce qu'il faut savoir au sujet des coefficients binomiaux. Formules de Pascal, de Fermat, binôme de Newton... mais aussi formule "du pion", somme d'une colonne ou d'une diagonale dans le triangle de Pascal.
Ce texte aborde, sans connaissances préalables, la manipulation du symbole ∑. Il expose, exemples à l'appui, les quelques règles simples qu'il faut connaître pour affronter sereinement la plupart des calculs de sommes.
Dans le monde merveilleux de la combinatoire, la formule donnant le cardinal de l’union de plusieurs ensembles finis est un grand classique. Il est un peu moins connu qu’en ne conservant que les premiers termes de la formule en question, on obtient des inégalités, connues sous le nom d’inégalités de Bonferroni.
Les quantificateurs universel et existentiel ne peuvent pas être permutés en général. Cet article recense quelques cas où, de façon exceptionnelle, l'interversion se fait bien.
Pour établir une implication en mathématiques, le secret est de "viser la cible". Cet article explique de quoi il s'agit et comment procéder. Le tout s'appuie sur des exemples gradués, extraits de situations rencontrées dans les deux premières années d'enseignement supérieur scientifique.
La formule de Stirling décrit le comportement asymptotique de la factorielle d'un entier. Elle est surprenante en raison de la présence - pour le moins inattendue - des constantes π et e.