Math'O Man : le Blog des Maths

Méthode du bon élève


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.

Pourquoi ne pas lire aussi :


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...

Le piège d'une méthode qui marche...

Mystères de la psychologie

Posez les deux questions suivantes à un ami.

"Comment demandes-tu l'heure à un sourd?" — Probablement il fera un geste.
"Comment demandes-tu un peigne à un chauve?" — Probablement il fera également un geste... au lieu de demander simplement!

Exemple:


Elèves en math spé Lycée Fénelon-Sainte Marie


Presque tout le monde tombe dans ce piège. Et très souvent, si plusieurs personnes sont présentes, ce n'est pas la personne à laquelle on a adressé la parole qui répond mais une autre qui se sent moins observée!

Nous mathématiciens sommes les spécialistes de la généralisation. Si nous avons trouvé une méthode pour résoudre un problème particulier nous essayons de l'adapter à des situations similaires ou plus générales. Nous sommes (dé)formés ainsi et ça fonctionne — au prix que ça n'aboutit pas toujours à la méthode la plus élégante.

Les juristes, en revanche, ont l'habitude de considérer chaque cas de manière indépendante. En effet, tout avocat sait que le fait d'avoir gagné un procès aujourd'hui n'implique pas qu'un procès identique sera gagné demain.
Je posais la question du peigne aussi à mes amis juristes et avocats. Sans avoir procédé à une statistique fiable, j'ai l'impression que le pourcentage des piégés est inférieur chez eux que chez les mathématiciens.

Deux autres exemples:


Philippe Calderon, réalisateur de film

Devoirs de maths faits par un élève

Récemment Mister V m'a envoyé deux vidéos de type comique réalisées par lui-même avec les moyens du bord (webcam). Ce sont des podcast traitant avec humour des différentes péripéties de chaque élève devant ses devoirs de maths au soir.

En particulier il se moque des exercices de mathématiques qui prétendent résoudre des problèmes de la vraie vie de tous les jours. Et il a raison. Je pense qu'un grand nombre de ce type de questions dans les manuel scolaires sont très artificielles. A mon avis, pour faire la propagande des maths vaut mieux poser des questions stimulantes par leur beauté abstraite et rigoureuse que faire semblant d'apporter des réponses à nos problèmes quotidiens.

Je souhaite du succès à ce jeune comédien plein de talent !

Mr V — un lycéen de Grenoble devant son devoir maison

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.

Les limites des logiciels de calcul formel?

Dans ce billet j'ai posé l'exercice de montrer que la loi binaire

x¤y := x(y2+1)½+y(x2+1)½

définit une structure de groupe sur l'ensemble des réels. Le seul obstacle est l'associativité; la preuve n'est pas très difficile (il s'agit d'un simple transport de la loi + par le sinus hyperbolique). Mais avec Maple je n'arrive pas à faire la preuve par force brute; en effet, je ne sais pas comment faire en sorte que le logiciel simplifie l'expression concernée (tandis que le logiciel Xcas y arrive, comme l'a remarqué Tukikun).

Dans le même esprit, je me demande si quelqu'un arrive à démontrer avec Maple que, sur les courbes elliptiques (réelles), l'addition par la méthode des sécantes est associative. Je n'y suis pas arrivé.

Règle pour apprendre à conjuguer

Dans un post récent mon collègue bloggeur PB a constaté qu'une trop grande partie de ses élèves en prépa ne savent pas conjuguer correctement les verbes du premier groupe au passé composé et qu'ils écrivent souvent « on a montrer que… » dans leurs copies.

Je pense que la compréhension de la structure grammaticale d'une langue est fondamentale pour l'apprentissage des mathématiques. Je la situerais au même niveau que la théorie des ensembles, c'est-à-dire une structure fondamentale à connaître pour ne pas écrire de bêtises. Malheureusement l'enseignement scolaire actuel ne transmet plus cette hygiène de base, de sorte que de telles lacunes se prolongent jusqu'aux classes préparatoires...

Voici donc une «recette» permettant d'éviter l'erreur la plus fréquente : la confusion entre les terminaisons -er, , -ez. On peut l'appliquer sans vraiment comprendre ce que c'est un infinitif, un participe composé et une deuxième personne au pluriel (de toutes manières ceux qui comprennent ces notions ne font probablement pas d'erreurs).

L'idée est simple : remplacer le verbe du premier groupe par un autre verbe, puis se fier à la prononciation. Par exemple on a les correspondances suivantes.

montrer/apprendre/voir,    montrez/apprenez/voyez,    montré/appris/vu.

Il suffit alors de procéder par analogie. Au lieu du verbe montrer utilisez l'autre verbe (apprendre, voir, etc.), puis testez laquelle est la bonne conjuguaison en lisant à haute voix.

Quelques règles de grammaire pour les nuls

FAUX
CORRECT
DONC PAR ANALOGIE
on a apprendre que... on a appris que... on a montrer montré que...
vous devez apprenez... vous devez apprendre... vous devez montrez montrer...
je viens de vu que... je viens de voir que... je viens de montré montrer que...
le lemme qu'on a voir le lemme qu'on a vu le lemme qu'on a montrer montré
ce qu'il devait compris ce qu'il devait comprendre ce qu'il devait montré montrer
Quel lemme voir-vous ? Quel lemme voyez-vous ? Quelle femme aimer aimez-vous ?

C'est bizarre, je ne suis pas français mais je crois que je fais moins d'erreurs de conjuguaison que la moyenne des bacheliers français. Je fais des fautes sur les prépositions (par exemple je ne sais pas si on dit j'aide un élève à faire ses devoirs j'aide un élève de faire ses devois ou j'aide un élève faire ses devois) et parfois je n'utilise pas le passé correct (dans ma langue maternelle, l'allemand, on utilise de manière indifférente l'imparfait et le passé composé), mais jamais ça ne me viendrait à l'esprit d'écrire « on a montrer que… »

Remarques sur l'enseignement des math au collège

Constat : Lacunes dans le post-bac

Il y a quelques semaines, lors d'une colle en prépa MPSI (math sup) sur les développements limités, une étudiante était amenée à calculer la somme de trois fractions,

\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8}\;.

Voici comment elle s'y prenait (avec mon téléphone portable j'ai pris la photo du tableau) :

réduire au même dénominateur
A éviter : dénominateur inutilement grand

Ce qui est gênant dans cette histoire c'est que cette étudiante n'est pas une mauvaise élève, mais apparemment au collège on ne lui a pas enseigné qu'il faut toujours privilégier le plus petit dénominateur commun pour additionner des fractions. En effet, cela évite des grands nombres difficiles à gérer ; le plus petit dénominateur commun n'est pas le produit 40x12x8 des trois dénominateurs ! Il fallait procéder comme suit :

\begin{array}{rcl}
\frac3{40}\;+\;\frac1{12}\;+\;\frac3{8} \;&=&\;\frac3{2^3\times5}\;+\;\frac1{2^2\times3}\;+\;\frac3{2^3} \\
\;&=&\;\frac{3\times3}{2^3\times3\times5}\;+\;\frac{2\times5}{2^3\times3\times5}\;+\;\frac{3\times3\times5}{2^3\times3\times5}
\\&&\phantom{\frac{\frac AA}{\frac AA}}\\
\;&=&\;\frac{9+10+45}{2^3\times3\times5}\;=\;\frac{64}{2^3\times3\times5}\;=\;\frac{8}{3\times5}\;=\;\frac{8}{15}
\end{array}

On voit sur la première ligne ci-dessus que le plus petit dénominateur commun est 2^3\times3\times5 car c'est le plus petit nombre qui contient les facteurs premiers qu'on obtient en décomposant chaque dénominateur. Autrement dit, c'est le plus petit commun multiple (PPCM) des trois dénominateurs.
On remarque d'ailleurs que je n'ai pas vraiment calculé ce dénominateur, je l'ai laissé sous forme de produit car à la fin cela permet de simplifier plus facilement...

Les nombres premiers ont disparu du collège

Comment se fait-il que certains élèves arrivent aujourd'hui en classes préparatoires de sciences et ne savent pas manipuler correctement des fractions ? La réponse est que la décomposition en produit de facteurs premiers est enseignée beaucoup trop tard et seulement à une partie des bacheliers scientifiques ; en effet, elle n'est plus au programme du collège mais seulement au programme de l'option mathématiques en terminale S.

Il fut une époque en France (pas lointaine et dans autres pays on y est toujours) où tout les enfants apprenaient à l'âge de dix ou onze ans de décomposer un nombre entier en facteurs premiers.

Valeurs pédagogiques et conceptuelles de cette décomposition :

  • On apprend à décomposer un grand problème en petits problèmes, certaines composantes, les nombres premiers, étant irréductibles comme des atomes — ou les briques d'un jeu de légo.
  • On trouve facilement le PGCD et le PPCM de deux, trois, quatre nombres ou plus à partir de leurs décompositions en nombres premiers. (En revanche, l'algorithme d'Euclid s'applique seulement à deux nombres à la fois.)
  • Avec le PPCM on rencontre le concept de la réunion d'ensembles et la signification exacte du mot ou.
  • Avec le PGCD on rencontre le concept de l'intersection et la signification exacte du mot et. Ce sont d'ailleurs des notions importantes en probabilités.
  • On apprend sa table de multiplication...

On se demande vraiment pour quelle raison mystérieuse l'Inspection Générale a-t-elle ôté des programmes le concept simple et fondamental de la décomposition en nombres premiers ? Pour trouver le PGCD de deux nombres elle préconise l'algorithme d'Euclide ! Or cet algorithme est moins intuitif et son fonctionnement plus délicat à comprendre que la décomposition en nombres premiers. Son seul avantage est qu'il marche bien avec les très grands nombres — autrement dit, il n'a aucun intérêt pédagogique... Un jeune esprit a besoin d'apprendre des idées, des concepts et pas quelques recettes pour manipuler de nombres élevés, nombres qui n'ont aucun intérêt, ni pour lui ni pour nous autres mathématiciens (sauf quelques spécialistes en cryptographie, informatique ou théorie des nombres) ! D'abord un enfant doit maîtriser la manipulation des petits nombres, se faire une idée de leurs multiples, de leur diviseurs, et ce défi n'est point gagné à l'époque de la calculatrice...
Supprimer l'enseignement de la décomposition en facteurs premiers était donc une grave erreur et qui plus tard devient source de lacunes ; en plus c'était une occasion manquée de réviser les tables de multiplication.

Plus de vraies constructions géométriques au collège ?

Pour finir, voici deux exemples de l'enseignement actuel de la géométrie, extraits du manuel scolaire Transmath 6e (Nathan 2005). Dans les deux cas l'approximatif remplace une idée de construction simple et précis :

Bissection d'un angle.  On ne fait plus appel à la symétrie !

construire la bisectrice
Bissectrice — méthode approximative avec pauvre valeur pédagogique

Encore une fois, une belle idée conceptuelle est remplacée par un procédé rapide qui n'a pas de valeur pédagogique, comme s'il s'agissait de faire croire aux enfants que plus tard dans la vie ils seraient amenés quotidiennement à diviser des angles ! Or ce qui est intéressant dans la division d'un angle par deux, ce n'est pas le résultat lui-même mais la manière dont on l'obtient, à savoir par un simple concept, la symétrie : si je fais la même construction des deux côtés d'un angle alors j'obtiens une figure symétrique.
Voici donc la vraie construction avec règle et compas telle qu'elle devrait être enseignée :

construire la bissectrice
Bissectrice — la vraie construction intéressante

Parallèle à une droite.  En appliquant la bissection d'un angle au cas particulier de 180° on obtient une perpendiculaire ; et en faisant la même chose à cette perpendiculaire on trouve une parallèle. C'est une idée simple et facile à retenir. Mais qu'est-ce qu'on enseigne à la place ? La construction approximative que voici :

construire une parallèle
Parallèle passant par un point — méthode avec peu d'intérêt

Une statistique sur les acquis d'élèves en terminale

En complément de mon billet sur une génération dyslexique en maths voici quelques statistiques. Une analyse avec des idées sur ce qu'on peut encore sauver et sur les conséquences dans l'enseignement supérieur sera donné dans un billet ultérieur. En attendant j'invite mes lecteurs à lire l'article concernant la baisse de niveau sur le blog Mathéphysique.

L'échantillon est constitué des 54 élèves de deux classes de terminale ES d'un même lycée en 2007/2008. Les questions portent sur le calcul élémentaire et ont été posées dans un devoir sur table. L'utilisation de la calculatrice était permise.

Le taux de réussite au bac de ces deux classes était de 55% environ. Si on extrapole avec le taux de réussite au premier exercice ci-dessous, cela signifie qu'au moins 40% des 54 candidats ont obtenu le bac sans savoir interpréter correctement un prix tel qu'il est affiché dans un supermarché.

En publiant ces exemples anonymes, je ne veux pas me moquer des élèves. Nous avons tous fait des erreurs lorsque nous étions élèves, et continuons à en faire — nobody is perfect! Le problème réside dans la fréquence des erreurs (faire des erreurs doit rester l'exception et ne pas devenir la règle) et le type des erreurs (ce ne sont pas de simples erreurs de concentration).

CALCUL D'UN PRIX — 8 élèves ont réussi, taux de réussite: 15%

Calculer un prix

Faux calcul de prix (erroné)

Calculer un prix  (faux)

Calcul de prix (faux)

CALCUL DE POURCENTAGE — 24 élèves ont réussi, taux de réussite: 44%

Calculer un pourcentage

Faux calcul de pourcentage

calculer un pourcentage (faux)

Calcul d'un pourcentage (faux)

TROUVER UNE EQUATION DE DROITE — 11 élèves ont réussi, taux de réussite: 20%

déterminer l'équation d'une droite

déterminer l'équation d'une droite

trouver une équation de droite


EQUATION DE PREMIER DEGRE — 5 élèves ont réussi, taux de réussite: 9%

Résoudre correctement une équation de premier degré

Résoudre une équation de premier degré (faux)

Résoudre une équation de premier degré (faux)


SIMPLIFIER UNE FRACTION — 2 élèves ont réussi, taux de réussite: négligeable

Calculer avec une fraction double correctement

Comment ne pas calculer avec une fraction double

Calculer avec une fraction double  (faux)


Autres exemples

Remarque:
Les questions étaient regroupées comme premier exercice d'un DST. La barême était indiqué et assurait 1 point par question (sur 20 points dans le devoir complet). Dans "taux de réussite" on a compté les bonnes réponses; l'absence de réponse comptait comme une fausse réponse.

Hausse hallucinante du prix de l'immobilier à Paris ?

Recemment notre ami bloggeur PB, à la recherche d'un logement pour lui est son serveur, a relevé la question sur les compétences des agences immobilières. Je pensais à lui lorsque je suis passé devant une agence immobilière située rue des Tournelles dans le 4e arrondissement de Paris. Ca doit être bien difficile de manipuler autant de zéros toute la journée ! On savait bien que le prix du mètre carré est très élévé à Paris, mais à ce point ?

prix appartement paris, immobilier vente, quel prix pour un logement à paris, le prix du metre carré
Affiche chez une agence immobilière rue des Tournelles —
Peut-être ciblent-ils des riches investisseurs étrangers...
;-)

SO(3) e(s)t l'espace projectif à 3 dimensions

Quelques fois on garde un souvenir très complet d'une démonstration mathématique, et ce souvenir inclût également des accessoires absurdes et inutiles comme par exemple le numéro de la page du livre où on l'a apprise ou la couleur de la chemise du professeur qui l'a expliquée...

Ci-dessous j'explique, en forme d'exercice corrigé, pourquoi le groupe SO(3) de rotations dans l'espace peut être identifié à l'espace projectif réel \mathbb{P}^3. Et je me rappelle que c'était un collègue d'études qui m'a raconté cette preuve par la méthode de hand waving sous le soleil d'été dans une piscine plein air à Bonn!

Un bel énoncé géométrie et topologie
Le but de l'exercice est de montrer que \;SO(2)\:\simeq\: \mathbb{P}^1\;\; et \;\;SO(3)\:\simeq\:\mathbb{P}^3\,.

Notations
Dans un premier temps — dont nous nous contentons ici — le symbole \:\simeq\: signifie simplement qu'il existe une bijection entre les ensembles concernés; c'est clairement une relation d'équivalence.
Comme d'habitude \mathbb{P}^n dénote l'espace projectif réel de dimension n, c'est-à-dire l'ensemble des droites vectorielles dans \mathbb{R}^{n+1}. Fixons aussi les notations pour trois sous-ensembles importants de \mathbb{R}^{n+1}\::
  • la boule \;\mathbb{B}^{n+1}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2\leq1\}\,,
    \:
  • la sphère \;\mathbb{S}^{n}=\{x\in\mathbb{R}^{n+1} \:|\: x_1^2+\cdots+x_{n+1}^2=1\}\,,
    \:
  • l'hémisphère nord \;\mathbb{S}^{n}_+=\{x\in\mathbb{S}^{n} \:|\: x_{n+1}^2\geq0\}\,.
    \:
Le bord de la boule \mathbb{B}^{n+1} est la sphère \mathbb{S}^n. Chaque point x sur ce bord possède un antipode, à savoir le point —x.
Si on ``recolle'' \mathbb{B}^{n+1} par identification des antipodes sur son bord, alors on obtient un nouvel ensemble que nous notons \mathbb{B}^{n+1}/\!\sim\,. Ca, c'est du handwaving. De manière ensembliste on pourra écrire

\;\;\;\;\;\mathbb{B}^{n+1}/\!\sim~\;\,=\;\,\left(\mathbb{B}^{n+1}\backslash\mathbb{S}^n\right)\:\dot{\bigcup}\:<br />\big\{\{x,-x\}\,|\,x\in\mathbb{S}^n\big\}\,.<br />


Questions
  1. Expliquer par des mots de quelles formes sont la boule \mathbb{B}^n et son bord \mathbb{S}^{n-1} dans les cas n=1,2,3.
  2. Démontrer que \;\mathbb{S}^n_+ \:\simeq\: \mathbb{B}^n\,.
    \,
  3. Démontrer que \;\mathbb{B}^n/\!\sim~\;\simeq\:\mathbb{P}^n\,.
    \,
  4. Démontrer que \;SO(2)~\simeq~\mathbb{P}^1\,.
    \,
  5. Démontrer que \;SO(3)~\simeq~\mathbb{P}^3\,.
    \,
Cliquez pour lire la Solution.