Challenge 13 : partie entière et racine carrée
Challenge n° 13 de Math-OS : Une formule sommatoire pour la somme des racines carrées entières des entiers de 1 à n^2 - 1.
Manipulation de sommes à l’aide du symbole ∑
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.
Interversion de quantificateurs
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.