Math'O Man : le Blog des Maths

Évaluation par questionnaire à choix multiples


Evaluation par QCM dans l'enseignement supérieur


Dans mon dernier billet sur l'enseignement des mathématiques je parlais du système américain et allemand des devoirs maison hébdomadaires. Je me félicite du succès de ce billet : en effet, les responsables de l'enseignement des maths en cycle préparatoire à l'école d'ingénieurs Estaca l'ont lu et ont décidé la mise en place de ce système à partir de la rentrée prochaine.

Aujourd'hui j'aimerais parler d'une autre idée pour rendre plus efficace le contrôle des acquis des étudiants : les questionnaires à choix multiples. Traditionnellement nous, les matheux, nous n'aimons pas les QCM. Nous considérons les mathématiques comme une sorte d'art où le chemin du raisonnement choisi et la grâce avec laquelle on danse sur ce chemin, c'est-à-dire le style de rédaction, sont aussi importants que le résultat à trouver. Et cela ne peut pas être évalué par un QCM. — C'est vrai. Or quand nous corrigeons les partiels en premier cycle nous faisons souvent l'expérience que très peu d'étudiants savent rédiger correctement une suite d'idées. Et la remarque suivante montre que ce phénomène perdure même dans les semestres supérieurs : L’utilisation des hypothèses données dans l’énoncé doit être signalée au moment opportun et non en vrac en début de question, afin de montrer l’articulation du raisonnement (extrait du rapport du jury de l'agrégation 2009).
Il y a donc un décalage entre nos attentes et les résultats. Et ce n'est pas étonnant car le système des TD actuel n'apprend une rédaction cohérente. Comme le professeur de TD ne peut pas contrôler l'écrit de chacun, les étudiants ne font que recopier une rédaction exemplaire au tableau — ce qui est déjà une bonne chose mais ne suffit point, ça serait comme si on voulait apprendre à jouer le violon en écoutant Gidon Kremer. On revient donc au problème déjà cité de l'efficacité des TD...

Alors à quoi bon d'évaluer les étudiants par des choses sur lesquelles ils n'ont pas eu l'occasion de s'entraîner ? J'ai donc décidé, pour ma part, de faire désormais l'évaluation en forme de QCM (dans les établissements qui n'ont pas mis en place un système de correction de devoirs maison). Mon premier tel examen 100% QCM peut être consulté ici.

Quelles sont les compétences mathématiques qu'on peut évaluer par un QCM ? A mon avis, un bon pourcentage des méthodes au programme d'un premier cycle en école d'ingénieur ou en tronc commun de L1 : dériver, intégrer, systèmes linéaires, équations différentielles linéaires, etc. D'après ce que j'ai vu c'est déjà suffisant pour trier les bons et les mauvais étudiants ;-)

Recherche de collaborateurs

Maintenant je viens avec une proposition concrète : qui a envie de participer à établir une base d'exercices en ligne en forme de QCM ? Qui est-ce qui a déjà de l'expérience en ce domaine (peut-être avec WIMS) et souhaite la partager ? L'idée serait la suivante.

  • Une grande base de questions serait disponibles en ligne pour que les étudiants puissent s'entraîner chez eux.
  • Une autre partie de questions serait reservée aux épreuves que les étudiants passent dans les salles d'ordinateur le jour de l'examen.
  • Les résultats étant calculés automatiquement il n'y aura plus de travail de correction ni erreur d'évaluation possible.
  • Une fois la base d'exercices créée et assez grande, on peut la rentabiliser et organiser des évaluations très fréquentes...
  • Les exercices ne devraient pas forcément être interactives, originales ou d'une grande valeur pédagogique en e-learning (comme souvent dans WIMS), car ils serviraient uniquement à évaluer, l'enseignement en TD restant inchangé.

Pourquoi ne pas lire aussi :


Nouvelle rubrique "Maths pour les nuls"

Jusqu'à présent la plupart des billets de ce blog étaient consacrés à des mathématiques niveau post-bac. Mais pour répondre à une demande croissante j'ai ouvert une nouvelle catégorie intitulée Les maths pour les nuls. Son but est d'expliquer quelques fondamentaux de calcul à ceux qui veulent l'apprendre pour la première fois ou à ceux qui ont besoin de quelques révisions.

Chaque billet est consacré à un thème. Fur à mesure je remplirai cette liste :

Multiples et diviseurs

Dans ce qui suit tous les nombres sont des nombres naturels :  0, 1, 2, 3, 4, ...

Multiples

Définition.  Les multiples d'un nombre n sont les nombres 0, n, 2n, 3n, 4n, ...

Exemples :

  • Les multiples de 2 sont 0, 2, 4, 6, 8, ...
  • Les multiples de 3 sont 0, 3, 6, 9, 12, ...
  • Les multiples de 4 sont 0, 4, 8, 12, 16, ...

On appelle les multiples de 2 aussi nombres pairs. Les non-multiples de 2 sont 1, 3, 5, 7, ... et sont appelés nombres impairs.

Notre définition donne les multiples en forme d'une liste. Mais qu'est-ce qui signifient vraiment les trois petits points dans la liste 0, n, 2n, 3n, 4n, ... ? En fait, on peut écrire les trois points car tout le monde comprend comment on doit continuer la liste : après 4n, il y a 5n, puis 6n, et de suite. Autrement dit, on a la règle suivante.

Règle 1.  Un nombre m est un multiple de n si et seulement s'il existe un k tel que m = kn.

Par exemple, le nombre m=24 est multiple du nombre n=4 car 24=k×4 avec k=6.

Il est important que ce k soit aussi un nombre naturel, comme m et n. En effet, on n'a pas le droit de dire la phrase suivante : Le nombre 3 est multiple 4 car 3=k×4 avec k=¾.

Règle 2.  Zéro est multiple de tout nombre. Tout nombre est multiple de soi-même.

Preuve : Soit n un nombre choisi. Le nombre 0 est le premier élément de la liste de multiples de n — on l'obtient en prenant k=0. Et n est le deuxième élément dans cette liste — on l'obtient en prenant k=1.

Cas particuliers :

  • Les multiples de 1 sont 0, 1, 2, 3, 4, ..., c'est-à-dire, tout nombre est multiple de 1.
  • Les multiples de 0 sont 0, 0, 0, 0, 0, ..., c'est-à-dire, zéro n'a que lui-même comme multiple.

Dans les exemples on voit que la liste des multiples de 4, à savoir 0, 4, 8, 12, ..., est contenue dans la liste des multiples de 2. Si on y réfléchit un peu ce n'est pas très étonnant et nous allons le formuler comme une règle général :

Règle 3.  Si m est multiple de n et si n est multiple de p alors m est aussi multiple de p.

Preuve :  Si m est multiple de n on peut l'écrire comme m = kn ;  et si n est multiple de p on peut l'écrire comme n = k'p. Alors on a m = kn = kk'p ce qui prouve que m est multiple de p.

Exemples :

  • 6 est multiple de 3, donc tout multiple de 6 est aussi multiple de 3.
    La réciproque n'est pas vraie, par exemple, 9 est multiple de 3 mais pas de 6.
  • Tout multiple de 12 est aussi un multiple de 3 et de 4 et de 2.
    C'est vrai car 12 est multiple de 3 et de 4 et de 2.

Diviseurs

Beaucoup d'affirmations que nous disons dans notre langage de tous les jours, dépendent de notre point de vu. Par exemple, les deux phrases

Zoé est la fille d'Alexandre  et  Alexandre est le père de Zoé
signifient la même chose, mais de points de vue différents. C'est cette diversité qui donne de la richesse à notre langue ! En mathématiques aussi il y a des manières différentes pour exprimer une même chose ; c'est utile, pas pour une question de style, mais car en maths le changement du point de vue est souvent un outil très puissant (voir un exemple dans cet article).

Définition.  Si m est un multiple de n on dit aussi que m est divisible par n ou que n divise m ou que n est un diviseur de m.

Autrement dit, n divise m si et seulement s'il existe k entier tel que m = kn.
L'équation m = kn équivaut à k = m/n. Ainsi n divise m si et seulement si la fraction m/n est un entier (si n est non-nul).

Notation.  Pour dire n divise m on écrit souvent n | m.

Exemples

  • 5 | 15.
    On dit 5 divise 15 ou 5 est un diviseur de 15 ou 15 est divisible par 5 ou 15 est un multiple de 5.
  • 3 | 15.

Les affirmations suivantes se déduisent directement de ce que nous avons déjà compris sur les multiples.

  • Tout nombre divise 0 car 0 est multiple de tout nombre.
    En écriture mathématique, n|0 car 0 = 0 × n.
  • Tout nombre divise soi-même car tout nombre est multiple de soi-même.
    Ou encore, n|n car n = 1 × n.
  • 1 divise tout nombre car tout nombre est multiple de 1.
    Ou encore, 1|n car n = n × 1.

Règle 4.  Si p|n et si n|m alors p|m. Par exemple, 15|30 et 30|3000 donc 15|3000.

Preuve :  C'est une traduction directe de la règle 3.

Question :  Qu'est-ce qui est plus grand, multiple ou diviseur ?

Réponse :  Mise à part le multiple 0, les multiples d'un nombre sont plus grands que ses diviseurs.
Par exemple, les multiples non-nuls de 12 sont 12, 24, 36, .... Les diviseurs de 12 sont 1, 2, 3, 4, 6, 12.

Question :  Qui sont plus nombreux, les multiples d'un nombre donné ou ses diviseurs ?

Réponse :  Un nombre non-nul possède une infinité des multiples mais seulement un nombre fini de diviseurs.
En effet, pour n non-nul, la liste des multiples de n est 0, n, 2n, 3n, ... C'est une liste infinie avec des nombres de plus en plus grands. En revanche, le plus grand diviseur de n est n lui-même, donc n possède un nombre fini de diviseurs qui se trouvent parmi les nombres 1, 2, 3, ..., n.

Trouver tous les diviseurs d'un nombre donnée n'est pas facile si ce nombre est grand. Donc il est pratique de disposer de quelques critères de divisibiltés. Ca sera l'objet du prochain billet. Finissons ce billet avec un énoncé simple et sa preuve. Ca sera l'occasion de voir le formalisme des multiples en action.

Théorème.  Un nombre entier est pair si et seulement si son carré est pair.

Preuve du théorème.  Fixons un nombre entier n au hasard et prouvons le théorème pour ce nombre. (Le mathématicien dit pour cela soit n un entier.) Alors il y a deux cas possibles : soit n est pair, soit n est impair.
Supposons d'abord que n est pair. Alors il existe un entier k tel que n=2k. Ainsi n2=4k2 ce qui prouve que n2 est un multiple de 4, et donc en particulier un nombre pair. On vient de prouver que si un nombre est pair alors son carré aussi.
Supposons maintenant que n est impair. Alors il existe un entier k tel que n=2k+1. Donc n2=(2k+1)2=4k2+4k+1, et comme les deux premiers termes de cette somme sont pairs on en déduit que n2 est impair. On vient de prouver que si un nombre est impair alors son carré aussi.
Or un nombre entier est soit pair soit impair ; donc en fait on a prouvé lé théorème.

Remarque.  Le théorème peut aussi s'énoncer comme suit : un entier est impair si et seulement si son carré est impair.

Exercices.  Les quatre exercices suivants sont faciles. Il faut simplement imiter la démonstration du théorème.

  1. Montrer qu'un entier est multiple de 3 si et seulement si son carré l'est.
  2. Montrer qu'un entier est pair si et seulement si son cube l'est.
  3. Est-il vrai qu'un entier est multiple de 4 si et seulement si son carré l'est ?
  4. Est-il vrai qu'un entier est multiple de 3 si et seulement si son cube l'est ?

Autre exercice d'arithmétique

L'espace des petits exercices en maths me semble de dimension infinie ;-)  Voici encore un nouvel élément :

Est-ce que tout nombre naturel non-nul possède un multiple qui fait intervenir tous les dix chiffres dans son écriture décimale ?

Même des questions connues et d'apparence très simple me surprennent encore. Par exemple, ce n'était que très récemment que j'ai perdu plusieurs jours à prouver en vain la convergence de cette suite — jusqu'à ce qu'on m'a appris que c'est un problème ouvert depuis très longtemps...

Se marier avec quelqu'un qu'on aime

Comment trouver l'amour de sa vie ? Comment se caser ? Comment former un bon couple ? Ce type de questions préoccupe beaucoup de gens. Voici une version matheux de ce problème fondamentale.

Le problème de mariage ou le problème de former les bons couples

Supposons que nous avons n femmes et n hommes, tous célibataires et prêts à se marier ; pour tout entier k dans [1,n] et tout choix de k femmes, l'ensemble des hommes qui sont aimés par au moins une de ces femmes contient au moins k éléments.
Démontrer qu'on peut organiser des mariages tels que chaque femme se marie avec un époux qu'elle aime.

Question sur les groupes topologiques

Un groupe topologique est un ensemble G munie d'une structure de groupe et d'une topologie telles que la loi interne

G \times G \rightarrow G ,\;\; (x,y) \rightarrow xy,
et la formation d'inverse
G \rightarrow G ,\;\; x \rightarrow x^{-1},
sont des applications continues. En autres mots les deux structures, l'algébrique et la topologique, sont liées de manière naturelle par une condition de compatibilité. On peut alors se poser la question suivante :

Question

Existe-t-il deux groupes topologiques qui sont isomorphes comme groupes et homéomorphes comme espaces topologiques mais qui ne sont pas isomorphes comme groupes topologiques ?

Voici la réponse avec l'exemple de JLT.

Réponse

Oui. Preuve en trois étapes :

  1. Soient G et H des parties denses de \mathbb{R} et f :\: G \rightarrow H une bijection monotone. Alors f est un homéomorphisme.

    On peut supposer f croissante. Nous allons montrer sa continité. Soient x_0\in G et \epsilon>0. Puisque H est dense dans \mathbb{R} on a H\cap\,]f(x_0)-\epsilon,f(x_0)[\,\neq\emptyset. Donc il existe

    y_1\in H\cap\,]f(x_0)-\epsilon,f(x_0)[\,.

    De même il existe y_2\in H\cap\,]f(x_0),f(x_0)+\epsilon[\,. A cause de la surjectivité de f on peut écrire y_k=f(x_k) avec x_k\in G, k=1,2. On pose \delta=\min(x_0-x_1,x_2-x_0). Alors pour tout x dans G

    \begin{align*}x_0-\delta<x<x_0+\delta \;\;\;\Longrightarrow\;\;\;& f(x_0-\delta)<f(x)<f(x_0+\delta)\\
\Longrightarrow\;\;\;&y_1=f(x_1)\leq f(x)\leq f(x_2)=y_2\\
\Longrightarrow\;\;\;&f(x_0)-\epsilon<f(x)<f(x_0)+\epsilon\,,
\end{align*}

    ce qui montre que f est continue en x_0. La preuve de la continuité de la réciproque f^{-1} est la même.
     
  2. Soient G et H des parties denses et dénombrables de \mathbb{R}. Alors elles sont homéomorphes.

    D'abord nous écrivons

    \begin{align*}  G&=\{x_0,x_1,x_2,\ldots\}\;\;\;\;\;(*)\,,&H&=\{y_0,y_1,y_2,\ldots\}\;\;\;\;(**)\,.
\end{align*}

    Maintenant nous allons énumérer G et H d'une autre manière, G=\{x'_0,x'_1,x'_2,\ldots\} et H=\{y'_0,y'_1,y'_2,\ldots\}. Le but est de faire de sorte que G \to H, x'_k \mapsto y'_k, est une bijection monotone (et donc automatiquement un homéomorphisme). On procède comme suit.
     
    • k=0. On prend x'_0=x_0,\;y'_0=y_0
       
    • k=1. On prend x'_1=x_1. Pour le choix de y'_1 regardons l'ordre de x'_0 et de x_1'.
      Si x'_1<x'_0 alors on prend comme y'_1 un élément de H inférieur à y'_0.
      Si x'_1>x'_0 alors on prend comme y'_1 un élément de H supérieur à y'_0.
       
    • k=2. On prend comme y'_2 le premier élément de H\setminus\{y'_0,y'_1\} de la liste (**). Pour choisir x'_2 regardons l'ordre de y'_0,y'_1,y'_2.
      Si y'_2 est inférieur à y'_0 et y'_1 on prend comme x'_2 un élément de G inférieur à x'_0 et x'_1.
      Si y'_2 est supérieur à y'_0 et y'_1 on prend comme x'_2 un élément de G supérieur à x'_0 et x'_1.
      Si y'_2 est entre y'_0 et y'_1 on prend comme x'_2 un élément de G entre x'_0 et x'_1.
       
    • k=3. On prend comme x'_3 le premier élément de G\setminus\{x'_0,x'_1,x'_2\} de la liste (*). Pour le choix de y'_3 regardons l'ordre de x'_0,x'_1,x'_2,x'_3. Il y a 24 possible manières de ranger ces quatre nombres.
      Si x'_3<x'_0<x'_1<x'_2 on prend comme y'_3 un élément de H inférieur à y'_0,y'_1,y'_2.
      Si x'_2<x'_3<x'_0<x'_1 on prend comme y'_3 un élément de H entre y'_2 et y'_0.
      Et ainsi de suite.
       
  3. Les groupes topologiques G=\mathbb{Q}+\mathbb{Q}\sqrt2 et H=\mathbb{Q}+\mathbb{Q}\sqrt3 répondent au problème.

    D'après ce qu'on vient de voir, G et H sont homéomorphes comme espaces topologiques. Evidemment ils sont isomorphes comme groupes. Mais ils ne sont pas isomorphes comme groupes topologiques. En effet, supposons qu'il existe un isomorphisme de groupes topologiques f :\, G \to H. Par un récurrence facile f(n)=nf(1) pour tout entier n, et puis f(r)=rf(1) pour tout rationel r. Alors par continuité

    f(\sqrt2)=\sqrt2f(1),\;\;\;\;\lightning

    impossible dans H=\mathbb{Q}+\mathbb{Q}\sqrt3.

Forum Emploi Mathématiques

Il y a un peu plus d'un an je parlais ici pourquoi après le bac j'ai choisi d'étudier les mathématiques. Et quelques lecteurs ont apporté leurs propres témoignages. Pour la plupart c'était un choix de passion, pas de raison. En fait, les études de math, en particulier les deux premières années, demandent un tel effort pour comprendre ce nouveau langage qu'il est difficilement imaginable que quelqu'un le fasse juste pour obtenir un diplôme. (Diplôme qui, en France, peine à être valorisé en dehors des institutions universitaires ou de recherche. Dans d'autres pays comme l'Allemagne c'est bien différent.) En plus, le métier d'un mathématicien peut être difficilement expliqué à des non-mathématiciens ce qui fait que pour un bachelier ça reste plutôt mystérieux...
Mais les temps évoluent, les mathématiques se diversifient et envahissent de plus en plus d'autres branches de sciences et technologies. Par conséquence le monde de l'industrie s'ouvre de plus en plus aux diplômés en mathématiques et c'est pour cette raison que la SMAI organise 1er Forum Emploi Mathématiques qui se tiendra jeudi 26 janvier 2012 à Paris. Conseil à tous les étudiants en maths: inscrivez-vous!

Pourquoi avez-vous fait les études de mathématiques ?

D'après un classement récent du Wall Street Journal, être mathématicien est le meilleur métier !

Je ne sais pas comment ce sondage a été fait mais je peux confirmer que quand j'interroge mes anciens collègues d'études de mathématiques aucun n'est mécontent de son choix d'études. Et ils travaillent aujourd'hui dans des domaines très différents, autant dans le public que dans le privé, dans des banques, des ministères, des centres de recherche, des universités, des entreprises bio-médicaux, dans le consulting, dans l'informatique... L'un parmi eux l'a résumé ainsi : En choisissant les maths je ne me suis pas fixé, car ça laissait toutes les portes ouvertes.

Quant à moi, mon choix d'études n'était pas aussi pragmatique, je me suis laissé guider par ma passion. Après avoir hésité entre les études de musique ou de biologie marine, c'étaient finalement les maths qui ont emporté. La principale raison était que je voulais comprendre et ne pas apprendre.
Le premier déclic venait lors d'un séjour à Grenoble où j'étais en classe de Seconde au Lycée Stendhal. Notre professeur était un certain Mr Fluchaire et le programme de l'époque était encore passionnant car conceptuel (ce qu'on ne peut pas dire des programmes d'aujourd'hui — lire par exemple ces lamentations). Je me rappelle en particulier du cours sur les barycentres qui m'ont fasciné.
En même temps j'étais obligé de suivre le programme en Allemagne en lisant un manuel scolaire, à savoir Anschauliche Analysis. D'ailleurs je ne connais pas de livre scolaire utilisé dans les lycées d'aujourd'hui qui est d'une même qualité (voir par exemple ces extraits 1, 2, 3 et 4).

Le deuxième déclic venait d'un ami au même lycée Stendhal ; il était plus grand (déjà en première !) et était une sorte d'exemple pour moi. Il ma racontait des choses intéressantes sur les cardinaux des ensembles, je n'y comprenais pas grande chose mais ça m'intrigait...

Enfin, le troisième déclic venait au moment quand je suis rentré en Allemagne où on nous enseignait la définition de la continuité d'une fonction avec epsilon-delta. Bien qu'on ne nous demandait pas de preuves avec des majorations compliquées c'était le concept même de cette définition qui a éveillé mon intérêt pour les maths et la logique. J'ai beaucoup aimé l'idée que la fonction définie par 1/x était continue car le quantificateur ne s'applique pas au point zéro qui n'est pas dans l'ensemble de définition... J'ai compris à cette occasion qu'on pouvait tout affirmer sur les éléments de l'ensemble vide. C'était de la pure logique !

Appel aux témoignages : Quel déclic vous a fait étudier les maths ? Racontez vos souvenirs !

Lieu discriminant

Mon dernier billet où on parlait de racines multiples de polynômes m'a rappelé quelques souvenirs de notions que j'avais apprises pendant ma maîtrise.

Le résultant de deux polynômes

Considérons deux polynômes

P=a_0+a_1 X+a_2 X^2+\,\cdots\,+a_n X^n,\;Q=b_0+b_1 X+b_2 X^2+\,\cdots\,+b_m X^m.

Leur résultant R(P,Q) est le déterminant de la matrice de Sylvester, matrice carré d'ordre m+n dont on comprend la construction par l'exemple ci-dessous pour n=4 et m=3.

R(P,Q)=\begin{vmatrix} 
a_4 & a_3 & a_2 & a_1 & a_0 & 0 & 0 \\
0 & a_4 & a_3 & a_2 & a_1 & a_0 & 0 \\
0 & 0 & a_4 & a_3 & a_2 & a_1 & a_0 \\
b_3 & b_2 & b_1 & b_0 & 0 & 0 & 0 \\
0 & b_3 & b_2 & b_1 & b_0 & 0 & 0 \\
0 & 0 & b_3 & b_2 & b_1 & b_0 & 0 \\
0 & 0 & 0 & b_3 & b_2 & b_1 & b_0
\end{vmatrix}

La proposition suivante est la raison d'être du résultant.

Proposition. On a R(P,Q)=0 si et seulement si P et Q possèdent un diviseur commun non-constant.

Le discriminant d'un polynôme

Dans le cas où Q est la dérivée de P le résultant porte un nom particulier : on appelle R(P,P') le discriminant de P. La proposition ci-dessus implique le corollaire ci-dessous.

Corollaire. Un polynôme complexe admet une racine multiple si et seulement si son discriminant est nul.

Testons au moins la véracité de ce corollaire sur les polynômes de second degré (que les profs de lycée appellent trinômes) !

P=c+b X+aX^2,\;\;\;P'=b+2a X,\;\;\;a\neq0.
On calcule alors le discriminant de P comme déterminant d'une matrice 3x3 (règle de Sarrus),

R(P,P')=
\begin{vmatrix} 
c & b & a   \\
b & 2a &0  \\
0  & b & 2a   
\end{vmatrix} = 
c\begin{vmatrix} 
 2a &0  \\
b & 2a   
\end{vmatrix} 
-b \begin{vmatrix} 
b & a   \\
b & 2a   
\end{vmatrix} = -a(b^2-4ac).

Nous retrouvons ainsi le fait, connu par tout lycéen en classe première S, que le polynôme de second degré aX²+bX+c possède une racine double si et seulement si b²-4ac=0.

Groupe fondamental du complémentaire du lieu discriminant

Maintenant revenons au niveau maîtrise (des nos jours master ou encore magistère...) pour poser les deux questions suivantes. Dans l'espace \mathbb{C}^n on appelle lieu discriminant le sous-ensemble \Delta formé des (a_0,\,\ldots\,,a_{n-1}) tels que le polynôme

P = a_0+ a_1X  +\,\cdots\, + a_{n-1}X^{n-1} +  X^n

possède une racine multiple.

  1. Montrer que \mathbb{C}^n\setminus\Delta est connexe par arcs.
  2. Quel est le groupe fondamental de \mathbb{C}^n\setminus\Delta ? Le décrire par générateurs et relations.

Les réponses sont plutôt faciles ; pour la deuxième question, pas la peine de tout formaliser, le handwaving suffit car dans cet exemple le formalisme ne donne rien en valeur ajoutée...

Les involutions en langage courant

La langue des français ne finit pas par me surprendre. Ils ne faut pas toujours prendre à la lettre ce qu'ils disent. Par exemple il a quarante balais ne signifie pas qu'il s'agit d'un collectionneur d'outils de nettoyage, non mais quel manque d'imagination de la part de l'étranger que je suis, évidemment il fallait comprendre qu'on compte ici les années...

Mais encore plus bizarres sont les deux expressions suivantes qui inversent le sens. Contrairement à ce qu'on devrait croire t'inquiète ne signifie pas inquiète-toi mais ne t'inquiète pas ! Et fais gaffe ne veut pas dire fais une gaffe mais ne fais pas de gaffe !

J'avoue qu'en ma patrie, la Bavière, aussi il y a des illogismes. Par exemple, on peut entendre des bavarois dire i hob koa Mo net gsehn. Traduction en allemand correct : ich habe keinen Mann nicht gesehen. La double-négation kein/nicht en allemand fait une affirmation, mais pas chez les bavarois car ils aiment faire chose à part du reste de l'Allemagne.

En général, une négation en mathématiques et en langue est ce qu'on appelle une involution, c'est-à-dire une opération qui appliquée deux fois nous ramène au point de départ. Comme la multiplication avec -1. Si je multiplie deux fois par -1 je retrouve le nombre initial car -(-x)=x. Un autre exemple d'involution est une réflexion, par exemple par rapport à un plan : l'image miroir d'un image miroir est l'image initial.

Blague : A Krka lors de la conférence mondiale bi-annuelle des linguistes un chercheur fait un exposé détaillé sur les principes de la double-négation. Il explique alors qu'une double-négation est équivalente à une affirmation, mais qu'une double-affirmation ne peut jamais, mais vraiment jamais produire une négation. Après une heure son exposé compliqué en MindMaps et PowerPoint, avec des matrices, des équations comme (-1)\times(-1)=1 et 1\times 1\neq-1 se termine, les scientifiques s'apprêtent à applaudir quand soudainement vient du dernier rang de l'amphi un Oui, oui...

Exercice : Un condamné est dans une pièce avec deux portes, chacune gardée par un gardien. Il sait que l'une des portes amène à la liberté et l'autre à la prison et que l'un des gardiens dit toujours la vérité tandis que l'autre ment toujours. Il a le droit de poser à un gardien au choix une seule question à réponse oui/non, puis il a le droit de sortir par la porte qu'il veut. Quelle question posera-t-il et quelle porte prendra-t-il ensuite ?

Remarque : Il existe une solution bien connue. Mais il existe aussi une autre qui ne suppose même pas que chaque gardien soit au courant qu'il existe une autre porte avec un autre gardien.

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.