Math 'O Man : le Blog des Maths

Série classique convergente




Pour savoir pour quel \alpha>0 la série \sum_{k=1}^\infty\,\frac1{k^\alpha} est convergente, on fait une comparaison avec une intégrale, c'est-à-dire on démontre (par exemple par un dessin) l'encadrement suivant, valable pour tout entier n > 1,

\int_2^n\frac{{\rm d}x}{x^\alpha}\;<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\int_1^n\frac{{\rm d}x}{x^\alpha}\:.

Par intégration il en résulte que


\begin{align*}
\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-\frac1{2^{\alpha-1}}\right)\;&<\;\sum_{k=2}^n\,\frac1{k^\alpha}\;<\;\frac1{1-\alpha}\left(\frac1{n^{\alpha-1}}-1\right)\qquad\text{ pour }\alpha\neq1\:,\\&\\&\\
\ln (n) - \ln (2)\;&<\;\sum_{k=2}^n\,\frac1{k}\;<\;\ln (n) - \ln (1)\:.
\end{align*}

En faisant tendre n vers l'infini on conclût que la série converge si \alpha>1 et diverge vers l'infini si \alpha\leq1\,.

Question de colle :

Soit \sum_{k=1}^\infty\,u_k une série convergente. Est-il vrai que \sum_{k=1}^\infty\,u_k^3 est également convergente ?



Partagez-le sur Facebook Tweetez-le ! S'abonner à ce blog ? Envoyer cet article à un ami ? Le soumettre à Netvibes Ajoutez-le à Google Bookmarks

Commentaires


1. Le samedi 30 octobre 2010 à 11:53, par JLT

La réponse à l'exercice est : non en général.


2. Le lundi 1 novembre 2010 à 14:07, par Fabien Besnard

Bon, alors avant que JLT ne sorte son contre-exemple de la mort, je vais faire l'élève de colle qui sèche et qui dit toutes les évidences possibles pour montrer qu'il sait son cours : déjà c'est vrai si elle est absolument convergente, c'est vrai aussi si elle vérifie le critère des séries alternées. Si elle change de signe de façon régulière (tous les k termes, ou alors avec un terme positif suivi de k termes négatifs), on peut se ramener aux séries alternées en regroupant des termes, donc ça marche encore. Du coup il faudrait chercher un contre-exemple avec un truc qui change de signe de façon "erratique" comme cos(n), ou alors un truc qui a 1 terme positif suivi de 2 termes négatifs suivi de 3 positifs, etc.

Ceci dit, en tant que taupin, j'aurais probablement cherché à montrer que c'était vrai en général...


3. Le lundi 1 novembre 2010 à 14:15, par Fabien Besnard

Oups, je me rends compte que j'ai dit une bêtise avec mes séries qui ont un terme positif suivi de k termes négatifs. Il y a peut-être un truc à chercher de ce côté là...


4. Le lundi 1 novembre 2010 à 14:23, par Fabien Besnard

Ah bah tiens, je crois que j'ai trouvé un contre-exemple en réfléchissant à ma propre bêtise :

On prend la série de terme général e(n)n^(1/3) où e(n) vaut 1 ssi n est un multiple de 3 et -1/2 sinon. Cette série converge, et pas la série des cubes.


5. Le lundi 1 novembre 2010 à 18:42, par Fabien Besnard

J'ai commis deux coquilles dans le contre-exemple précédent : d'abord c'est n^(-1/3) bien sûr, et d'autre part, j'ai mal écrit mon terme général, donc le revoici plus clairement :

La série est la somme des termes u_n avec u_{3k}=(3k)^{-1/3}, u_{3k+1}=(-1/2)(3k)^{-1/3}, u_{3k+2}=(-1/2)(3k)^{-1/3}.


6. Le lundi 1 novembre 2010 à 20:51, par JLT

Mon contre-exemple correspondait au deuxième contre-exemple de Fabien Besnard, mais le premier marchait aussi. En effet, si u_n=\frac{\cos(2n\pi/3)}{n^{1/3}}, alors la série \sum u_n converge d'après la règle d'Abel. D'autre part, en utilisant \cos^3 x=\frac{1}{4}\cos(3x)+\frac{3}{4}\cos x, on trouve que u_n^3=\frac{1}{4n}+\frac{3}{4}u_n est le terme général d'une série divergente (puisque somme d'une série divergente et d'une série convergente).


7. Le mardi 2 novembre 2010 à 09:34, par Fabien Besnard

Même les coquilles n'arrêtent pas JLT ! ça c'est fort !


Ajouter un commentaire

Pourquoi ne pas lire aussi :


Sujets et corrigés de bac


Voici quelques sujets et corrigés de baccalauréat classés selon l’année et la série. Cette liste grandira avec le temps, donc n’hésitez pas à revenir pour la consulter. Sur la page “préparer son bac” vous trouverez quelques suggestions pour mieux réussir.

Annales bac mathématiques & corrections

Avril 2009 Pondichéry Série ES Sujet du bac ES mathématiques Corrigé
Juin 2008 France Série S Sujet du bac S mathématiques Corrigé
Juin 2008 Asie Série S Sujet du bac S mathématiques Corrigé
Juin 2006 France Série L Sujet du bac L mathématiques-informatique Corrigé

Si vous constatez une erreur, contactez-moi via le formulaire ci-dessous !

Une très belle série de films sur les maths


Étienne Ghys, Jos Leys et Aurélien Alvarez ont réalisé une très belle série de films en images de synthèse sur les mathématiques. Chaque vidéo est un récit scénarisé d'un mathématicien qui raconte ses découvertes d'une manière très compréhensible. C'est bien écrit et les visualisations correspondent exactement au texte ; on prend le temps d'expliquer ce type de maths sans beaucoup de formules.

expliquer les maths
Cliquez sur l'image

Le niveau recquis des différents épisodes est très divers. Aux lycéens en terminale S je recommande l'épisode 5 qui explique de manière simple ce que c'est un nombre complexe.
En revanche, les épisodes 7 et 8 qui parlent, entre autres, de la fibration de Hopf, vont plutôt profiter aux initiés en topologie en basses dimensions.

Multiplicateurs de Lagrange


En économie, physique, ingénierie, on enseigne la méthode des multiplicateurs de Lagrange : Si P est un extrémum d'une fonction f de n variables x1, ... ,xn sous m contraintes données par g1(x1,...,xn)=0, ... , gm(x1,...,xn)=0, alors il existe des réels λ1, ... ,λm tels que

grad f(P) = λ1 grad g1(P) + ··· + λm grad gm(P).

Généralement, lorsqu'on enseigne ce théorème à des non-matheux, il est préférable de ne pas faire la démonstration en toute généralité. D'habitude je me contente d'expliquer deux cas particuliers où on "voit" géométriquement ce qui se passe :

  • n=3 et m=1. Grâce à la règle de dérivation d'une fonction composée, on montre que les gradients de f et g en P sont orthogonaux au plan tangent à la surface décrite par g(x,y,z) = 0. Donc ces gradients sont colinéaires.

  • n=3 et m=2. De même, on montre que les gradients de f, g1 et g2 en P sont orthogonaux à la tangente à la courbe décrite par g1(x,y,z) = g2(x,y,z) = 0. Ils sont donc coplanaires.

Concernant une application de ce théorème j'ai une question à laquelle vous savez peut-être répondre.

Y a t-il un exemple élémentaire mais non trivial? L'exemple classique de minimisation de coût lorsqu'on construit une boîte rectangulaire dont le volume est fixé et dont le couvercle coûte, au cm2, le double des autres côtés n'est pas vraiment intéressant; en effet, on peut isoler l'une des variables dans l'équation de la contrainte et se ramener à une fonction de deux variables indépendantes.

Revisitons la multiplication !


Vous croyez déjà tout savoir sur la multiplication ? Vous allez être surpris ! Voici trois méthodes pour multiplier deux nombres entiers.
  • Multiplication posée du bon élève.
  • Multiplication posée de deux nombres, comment calculer le produit de deux nombres


     
  • Méthode du cancre.
  •  

    Comment multiplier deux nombres, méthode des paresseux

    Mode d'emploi : A gauche on prend toujours la moitié en arrondissant, s'il le faut, vers le bas ; à droite on prend toujours le double. Puis on supprime les lignes (en noir) dont le nombre gauche est pair et à droite on additionne les lignes restantes (en rouge).
     
     
  • Méthode de Karatsuba (publiée en 1962).
  • On sépare chaque facteur en deux parties
    Multiplication selon Karatsuba
    puis on effectue les multiplications suivantes :

    Algorithme pour la multiplication de Karatsuba

    Le résultat est ensuite
    Trouver le produit de deux nombres entiers
Remarque
L'idée de tout ça c'est de se ramener à des opérations élémentaires (opérations entre deux nombres entre 0 et 9). Sur un ordinateur le choix d'un bon algorithme peut accélerer considérablement le temps de calcul — quelques jours pour des facteurs constitués de plusieurs milliards de chiffres ! Le calcul avec de très grands nombres n'est pas une question purement théorique mais a beaucoup d'applications, notamment en théorie de cryptage.
 
Questions
  1. Pourquoi la méthode du cancre fonctionne-t-elle ? Les deux facteurs jouent des rôles différents; lequel choisir pour quel rôle ?
  2. Utilisez la méthode de Karatsuba pour calculer 3116 x 1014. Pourquoi cette méthode fonctionne-t-elle ?
  3. Avec la méthode classique (multiplication posée du bon élève), combien de multiplications élémentaires sont nécessaires pour calculer le produit de deux nombres à n chiffres ?
  4. En réitérant la méthode de Karatsuba on obtient un algorithme. Combien de multiplications élémentaires sont alors nécessaires pour calculer le produit de deux nombres à n chiffres ? Comparer avec l'algorithme classique.
Réponses
Cliquez pour afficher les solutions en format pdf.

Et pour finir une vidéo présentant une méthode qui produit une belle calligraphie — elle s'appelle donc la multiplication chinoise !

L'idée de base de la multiplications chinoise est le fait suivant : un ensemble de n droites parallèles coupe un autre ensemble de m droites parallèles en nxm points.

Voyage dans le temps


Certainement vous avez déjà imaginé que vous jouez aux Time Bandits et que vous voyagez dans le temps ; et que vous avez en plus le droit d'amener des objets et votre savoir actuel avec vous...
Or si je prends mon téléphone portable avec moi et je voyage dans les années 1970 cet appareil ne me servira strictement à rien. Et si j'amène mon vélo (et sa pompe !) dans l'époque de l'Empire Romain (je me le suis déjà souvent imaginé) ça ferait un énorme tabac, certes ; mais après avoir roulé pendant un an sur les routes romaines j'aurais besoin de pièces de rechange et je n'en trouverais pas. Et Néro qui m'a donné une tonne d'or car je lui ai promis de faire construire des milliers de vélos pour son armée m'envoie aux lions du Circus Maximus car les ingénieurs de l'époque n'arrivent pas à réaliser des roulements à billes performants...

C'est pourquoi finalement le meilleur bagage à amener me semble des concepts intellectuels, universels et non liés à un environnement technique particulier. Par exemple, j'aimerais bien voyager au 17e siècle et expliquer à Leibniz pourquoi il avait tort à croire que la série

\sum_{n=0}^\infty(-1)^n

convergait vers ½. En fait, il disait que cette série convergait à la fois vers 0 et vers 1, donc vers ½ et que c'était là une preuve de l'existence de dieu... Mais la bonne définition de la notion de limite, si fondamentale, n'a été trouvée que 150 ans plus tard par Weierstrass. La voici :

\lim_{n\to\infty}a_n = a \;\;\Longleftrightarrow\;\; \forall\,\epsilon>0\;\exists\,n_0\in\mathbb{N}\;\forall\,n>n_0\::\;\;|a_n-a|<\epsilon.

C'est sous cette forme que l'on enseigne la limite aux lycéens (ou au moins on le faisait il y a une vingtaine d'années). C'est donc une idée plutôt basique — mais il fallait la trouver !

Sondage de mes lecteurs : Qu'est-ce que vous aimeriez amener lors d'un voyage dans le temps ? Et à qui voudriez-vous présenter votre savoir ? Laissez vous guider par votre fantaisie de mathématicien ;-)

Humour et calembours


Pour finir la semaine avec un peu d'humour voici quelques jeux de mots.

   Tout ce qui est hideux est négatif.

   Et le désir s'accroît quand l'effet se recule.

   \forall x \in \mathbb{R}\;:\quad \phi(x)\neq K(x).\qquad En effet, si on fait fi de x, on n’en fait pas grand cas...

Voici un drôle de sketch extrait d'une série norvégienne d'il y a quelques années. Il s'agit d'une sorte de Tech Support médieval, juste au moment de l'apparition d'un tout nouveau moyen de stockage d'information : le livre.

La remarque que fait le moine à son consultant IT du helpdesk est d'ailleurs très typique pour de telles périodes de transition : le système précédent, les rouleaux, seraient plus pratiques que les livres, ils n'y avait pas toutes ces pages à tourner...

Faut-il un corps pour la méthode du pivot ?


A l'occasion de la solution d'un joli exercice de type colle sur les matrices (voir le blog de Pierre Lecomte), je suis naturellement amené à poser la question suivante.

Soit A une matrice inversible à coefficient dans un corps. Alors par des opérations élémentaires sur les lignes on peut transformer A en la matrice unité. En fait c'est la méthode du pivot de Gauss qui permet cela. On en déduit que A est un produit de matrices correspondantes aux trois types d’opérations élémentaires (permutation de lignes, multiplication d’une ligne par un scalaire non-nul, ajout d’une ligne à une autre).
Cette écriture en produit est pratique car elle permet de prouver plein de choses. Par exemple, pour montrer que le déterminant conserve les produits il suffit de le vérifier pour la multiplication entre une matrice de ce type et une matrice quelconque — et c'est tout facile.

Or comment ça se passe-t-il sur un anneau ? Plus précisément :

Soit R un anneau commutatif et A une matrice carrée avec coefficients dans R telle que det(A) est une unité de R. On sait que A est une matrice inversible (c’est du classique, voir par exemple ici pour la formule qui donne l'inverse en fonction de (det A)-1 et de la comatrice).
Question : Peut-on ramener A à la matrice unité par des opérations élémentaires ?

Peut-être avez-vous déjà réfléchi là-dessus et connaissez la réponse...

Sujet et corrigé du bac maths ES d'avril 2009 à Pondichéry


Il y a beaucoup de lycées français dans le monde entier mais il n'y a qu'un seul bac français. Ca demande une grande organisation (gérée par l'Agence pour l'enseignement français à l'étranger title="AEFE - Agence pour l'enseignement français à l'étranger"), car les dates des épreuves varient de continent en continent. Le candidats métropolitains s'intéressent chaque année au sujets de bac posé à Pondichéry en Inde, qui est le premier centre d'examen de l'hémisphère nord à passer le bac. Cette année la date de l'épreuve de maths en Inde était le 16 avril.

Je viens de mettre en ligne le sujet de l'épreuve de mathématiques de la série ES et j'ai rédigé un corrigé.

Je trouve toujours intéressant les barèmes des QCM. Dans cette épreuve le QCM est sur 3 points, et ça se présente ainsi :

Pour chacune des quatre questions suivantes trois réponses sont proposées, une seule de ces réponses convient.
Barème : Une réponse exacte rapporte 0,75 point, une réponse inexacte enlève 0,25 point. L’absence de réponse ne rapporte ni n’enlève de point. Si le total donne un nombre négatif, la note attribuée à cette partie sera ramenée à zéro.

Forcément, si on n'attribue jamais de total négatif alors, en termes de probabilités, c'est un jeu à espérance strictement positive, c'est-à-dire un candidat mal préparé a tout intérêt à répondre au hasard plutôt que de rien répondre. En fait, faisant le calcul, on trouve qu'un candidat répondant au hasard peut s'attendre à obtenir une moyenne de \frac{43}{81}\approx 0,53 sur cet exercice à 3 points.

Dates des épreuves écrites du baccalauréat 2009


Voilà la bac 2009 arrive... Voici les dates des épreuves (sous réserve d'erreurs — ne me tenez pas responsable si vous arrivez en retard !)

Dates des épreuves de bac série S

  • Jeudi 18 juin 2009, 8h-12h : Philosophie
  • Vendredi 19 juin, 8h-11h30 : Physique-chimie
  • Vendredi 19 juin, 14h-17h30 : Sciences de la vie et de la terre ou Biologie-Écologie
  • Vendredi 19 juin, 14h-18h : Sciences de l’ingénieur
  • Lundi 22 juin, 8h-12h : Français (classe de 1ère)
  • Lundi 22 juin, 14h-17h : LV1
  • Mardi 23 juin, 8h-12h : Mathématiques
  • Mardi 23 juin, 14h-16h : LV2 étrangère ou régionale
  • Mercredi 24 juin, 8h-12h : Histoire-géographie

Le conseil de MathOMan

A partir de mardi 19 juin ne travaillez plus, fermez vos livres et rangez vos fiches de révisions. L'apprentissage en dernière minute ne sert à rien, ni en maths ni dans les autres matières ; si vous avez travaillé régulièrement pendant toute l'année vous devriez passer l'épreuve sans problème majeur — et si vous n'avez pas travaillé, alors assumez... Donc mardi, mercredi, puis les jours des épreuves, rélaxez, sortez, faites du sport pour oxygéner votre cerveau, c'est crucial pour bien réussir ; pour la même raison, si votre centre d'examen n'est pas trop loin allez-y à vélo ou à pied !

I will Survive!

Voici un petit clip musical à la Gloria Gaynor, tournée par de jeunes apprentis matheux américains. Alors apprenez bien vos dérivées pour survivre l'épreuve du bac en maths !

Utiliser un grand canon pour un moineau


Récemment en colle d'arithmétique j'ai posé la question suivante :

Soient x, y, z trois entiers vérifiant

x^3 + y^3 = z^3\,.

Montrer qu’au moins un parmi eux est divisible par 3.

La solution que j'attendais de l'élève n'est pas compliquée (faire une preuve par l'absurde en étudiant l'équation modulo 9) mais depuis 1994 cette question classique semble devenue obsolète — enfin, je ne sais pas vraiment car je ne comprends pas la preuve du théorème de Wiles-Fermat... Qui peut donc m'éclaircir et me dire si la preuve de Wiles utilise ou non le résultat de cette innocente question de colle ?

Explication pour les non-matheux

Dans le 17ème siècle Pierre de Fermat écrivit sur la marge d'un livre que si n est un nombre entier strictement plus grand que 2 alors il n'existe pas de nombres entier non-nuls x, y, z vérifiant

x^n + y^n = z^n\,.

Il ne donna pas de preuve et écrivit seulement J’ai trouvé une merveilleuse démonstration de cette proposition, mais la marge est trop étroite pour la contenir.
Pendant 300 ans les mathématiciens ont cherché une preuve de cette conjecture de Fermat, mais en vain. C'est seulement en 1994 qu'Andrew Wiles a réussi de la prouver ! Désormais la conjecture de Fermat est devenu le théorème de Fermat-Wiles. Sa preuve utilise des techniques très avancées. On est convaincu aujourd'hui que la preuve mentionnée par Fermat, celle qui était trop longue pour la marge, était eronnée.

Si on utilise le théorème de Fermat-Wiles la question de colle devient trivial. En effet, si trois entiers vérifient l'équation, alors au moins un parmi eux est nul et donc divisible par 3.

Pour revenir à l'histoire de ce théorème : à mon avis elle est typique à plusieurs titres pour la recherche en mathématiques :

  • D'abord l'équation de Fermat est une généralisation d'une autre que tout le monde connaît, à savoir l'équation de Pythagore a²+b²=c². Il existe des entiers non-nuls qui la vérifient, par exemple 3²+4²=5² ; c'est-à-dire on peut construire un triangle rectangle de côtés entiers.
  • L'énoncé du théorème de Fermat-Wiles est tellement simple que tout collégien peut le comprendre mais sa démonstration est tellement difficile que seulement quelques spécialistes la comprennent.
  • L'énoncé n'a aucune application dans les sciences et ne possède, à ma connaissance, même pas de conséquences importantes en mathématiques. Son seul intérêt est sa beauté.
  • Des générations de mathématiciens ont cherché à prouver cette conjecture. Ils l'ont fait pour l'honneur de l'esprit humain, sans penser à des applications, mais les outils mathématiques qu'ils ont développés ont fait avancer toute la science.
  • Les ordinateurs ne peuvent jamais démontrer une telle conjecture car il faudrait tester l'équation sur une infinité de nombres ; ils peuvent seulement la rendre plausible.