Math'O Man : le Blog des Maths

Système de langage


Les involutions en langage courant

Par Mathoman, mardi 20 octobre 2009 à 09:13 - Maths pour tous - Tags

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.

7 commentaires

Pourquoi ne pas lire aussi :


MacBook. Première impression : plus chic que pratique

Par Mathoman - Tags

Depuis quelques jours je possède un MacBook Pro. C'est le troisième système d'exploitation que je rencontre dans ma vie. Mon premier était Unix à l'université ; je l'utilisais principalement pour envoyer des emails avec Eudora, pour éditer du code LaTeX dans Emacs et pour programmer un peu en Html.

C'est seulement plus tard, lorsque je me suis acheté un PC, que j'ai fait la connaissance du système d'exploitation du plus riche homme de la planète. Mais je ne l'utilisais pas exclusivement ; en fait mon PC avait une double-fonction pour moi : je le bootais soit sous Linux pour faire du LaTeX comme avant, soit sous Windows pour lancer d'autres applications qui n'existent pas en Linux (principalement des logiciels de MAO, comme Cubase). Plus tard, j'ai découvert MiKTeX de Christian Schenk, une version Windows de LaTeX qui marche très bien avec TeXnicCenter ; cela sonnait alors le glas à mon utilisation de Linux car je pouvais enfin faire fonctionner LaTeX et mes applications audio favoris sous un même système d'exploitation, à savoir Windows.

Alors, dans ce monde si parfait, qu'est-ce qui m'a poussé à acheter un MacBook Pro ? Il y avait principalement deux raisons. D'abord la qualité hardware des PC portables m'a deçu — les touches, le boîtier, tout commencait à se dégrader après un ou deux ans, même avec des bonnes marques comme HP. Beaucoup de mes amis me conseillaient alors les ordinateurs à la pomme. Et il est vrai, mon nouveau MacBook Pro est vraiment agréable à toucher et semble fait pour durer. L'autre raison était que certains logiciels de musique comme le fameux Metasynth de mon ami Eric Wenger ne fonctionnent que sur Mac.

Grâce à BootCamp mon Mac démarre maintenant avec WinXP. Cela me permet de travailler comme toujours avec MiKTeX. Contrairement à ce que je craignais, WinXP fonctionne parfaitement sur le Mac — donc pas de problème au niveau software.

Mais voilà ma grande déception, elle vient plutôt de la hardware : le clavier du Mac. Le clavier du MacBook est conçu pour être chic sans être pratique ! L'élégance a emporté sur la fonctionnalité. Les touches indispensables pour coder en LaTeX n'y existent pas :

~   {   }   [   ]   |   \

Plus précisément, elles existent et sont accéssibles en combinaison avec la touche alt mais il faut connaître leurs emplacements par cœur. C'est assez désagréable. Je ne comprends vraiment pas comment on a pu laisser de côté ces touches si importantes pour tout programmeur.

Sur un Mac on cherchera aussi en vain d'autres touches qu'on connaît d'un PC :

Del   Home   End   PgUp   PgDown

Dans l'édition LaTeX ou Html ces touches sont très pratiques si on veut, par exemple, sélectionner rapidement toute une ligne pour la copier-coller une page plus bas. Leur absence sur le Mac (sous Windows) implique qu'on doit utiliser plus souvent la souris pour sélectionner ou pour descendre et cela signifie une perte de temps ainsi qu'un manque de comfort.

En résumé : Je déconseille le MacBook à tous ceux qui doivent écrire des longs fichiers en un langage de programmation. Le Mac est certainement bon pour un usage multimédia. Pour ceux qui souhaitent, comme moi, faire les deux sur une même machine, ma recommandation est d'acheter plutôt un PC.

4 commentaires

La notation binaire

Par Mathoman - Tags

Mathias Wandel a construit une calculatrice en bois, basée sur la notation binaire !



Ceux qui ont vu le film Matrix se rapellent des suites constituées des chiffres 0 et 1 qui défilent sur l'écran presque interminablement, comme par exemple 10011100100001101010111111. Beaucoup appellent cela un "nombre binaire", mais cette appellation est mal choisie, mieux est de l'appeler "écriture binaire d'un nombre naturel". Pour mieux comprendre cette écriture bizarre faisons un petit détour.

Les nombres naturels

Les nombres naturels sont le premiers que nous avons appris à l'école : zéro, un, deux, trois, quatre,... Il y en a une infinité, car à chaque nombre on peut ajouter 1 :

zéro = 0 , un = 1 , deux = 1+1 , trois = 1+1+1, quatre = 1+1+1+1 , etc.

Cette écriture en forme de somme est essentiellement la même que l'écriture primitive par bâtons qu'on trouve sur les murs des prisons : par exemple |||| pour quatre ou |||| ||| pour huit. Elle prendrait trop de place pour des grands nombres. Pour éviter cela on utilise une ruse, que j'illustre d'abord par quelque chose que tout le monde connaît et utilise :

Le système décimal

Il fonctionne comme suit.
  • Nous convenons que les dix premiers nombres (zéro, un, deux, trois, ..., huit, neuf) soient représentés par les dix symboles 0, 1, 2, 3, ..., 8, 9.
  • Nous convenons que le onzième nombre, à savoir le 9+1 ou encore le dix, est représenté par la juxtaposition de 1 et de 0 : donc 10.
  • Puis on donne une règle pour les autres juxtapositions en utilisant les puissances de 10. Voici deux exemples:

    236 = 2 * 10^2 + 3*10 + 6 et 190237 = 1*10^5+9*10^4+0*10^3+2 * 10^2 + 3*10 + 6 .

Il n'est pas difficile de montrer que tout nombre naturel peut s'écrire dans ce système en n'utilisant que dix chiffres. Le fait qu'on ait pris dix chiffres est un pur hasard, certainement lié au fait que nous comptons dix doigts. Cela marcherait de la même manière si nous nous étions contentés par exemple de sept chiffres ; dans ce cas là, la juxtaposition 10 signifierait le nombre sept et 236 signifierait 2 * 10^2 + 3*10 + 6 (c'est-à-dire 2 * 49 + 3*7 + 6 dans notre système décimal habituel).

Dans toutes les langues que je connais il y a les noms particuliers "onze" et "douze" ; on dit "vingt-deux", mais on ne dit pas "dix-deux", on dit "douze". Cela montre qu'il fût un temps où nous ne comptions pas dans en dizaines mais en douzaines.

Le système binaire

Maintenant au lieu de prendre dix chiffres nous nous contentons du minimum syndical, des deux chiffres 0 et 1. C'est vraiment le minimum car avec un seul chiffre nous ne pourrions pas aller très loin, nous serions restreints à la notation primitive par bâtons |||| .

La juxtaposition 10 signifie alors le nombre deux et 101 signifie 1 * 10^2 + 0*10 + 1, c'est-à-dire 1 * 4 + 0*2 + 1, donc cinq dans notre système décimal habituel.

Ecrivons quelques nombres naturels dans les deux systèmes, binaire suivi de décimal :

0 est 0, 1 est 1, 10 est 2, 11 est 3, 100 est 4, 101 est 5, 110 est 6, 111 est 7, 1000 est 8, etc.

1000000 est 2^6=64, 10000000 est 2^7=128, 10000000000 est 2^10=1024 (un méga)

Ces derniers nombres sont très familiers en informatique. C'est simplement parce que les ordinateurs utilisent le système binaire pour compter. En effet, la manière la plus simple pour communiquer avec une machine c'est de lui donner seulement deux signaux (et pas trois ou plus), comme oui/non, comme on/off, comme gauche/droite (dans les leviers de la machine en bois) ou comme haut/bas, etc.


Exemples de passage d'un système à l'autre

Résumons par deux exemples les règles qui permettent de passer du système binaire au système décimal :
  • Soit n=10110 un naturel écrit dans le système binaire. Alors dans le système décimal c'est le nombre
    n=1*2^4+0*2^3+1*2^2+1*2^1+0*2^0=1*16+0*8+1*4+1*2+0*1=22.

  • Soit m=1101 un naturel écrit dans le système décimal (!). Pour le transformer en écriture binaire nous devons d'abord trouver la plus grande puissance de 2 qui "rentre" dans m. Nous savons que 2^10=1024 et que 2^11=2048. Donc 2^10 est la plus grande puissance de 2 qui "rentre" dans 1101, et ainsi l'écriture binaire de m nécessitera onze chiffres le premier étant 1. Nous avons m=2^10+77. La plus grande puissance de 2 qui "rentre" dans 77 est 2^6=64. On est passé de la dixième puissance directement à la sixième ; les trois puissances "sautées" (neuvième, huitième, septième) sont représentées par des zéros. Donc l'écriture binaire de notre nombre commence par les cinq chiffres m=10001. On poursuit de la même manière : 77=2^6+13 ; la plus grande puissance de 2 qui "rentre" dans 13 est 2^3=8. Puis 13=2^3+5 ; la plus grande puissance de 2 qui "rentre" dans 5 est 2^2=4. Le dernier reste est 1=2^0 . Ainsi nous obtenons m=10001001101 (notation binaire).

  • Pour nous rassurer de notre dernier résultat faisons le test et re-transformons l'écriture binaire en écriture décimale. Le nombre m=10001001101 en binaire devient en décimal m=1*2^10+0*2^9+0*2^8+0*2^7+1*2^6+0*2^5+0*2^4+1*2^3+1*2^2+0*2^1+1*2^0 donc m=1024+64+8+4+1=1101 (notation décimale).

Compris ? Et n'oubliez pas : il y a 10 sortes de gens au monde : ceux qui comprennent la notation binaire et ceux qui ne la comprennent pas ;-)

3 commentaires

Forum Emploi Mathématiques

Par Mathoman - Tags

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!

Aucun commentaire

Evaluation par QCM dans l'enseignement supérieur

Par Mathoman - Tags

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

11 commentaires

Humour et calembours

Par Mathoman - Tags

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

Aucun commentaire

Sur les priorités dans l'enseignement en terminale S

Par Mathoman - Tags

Aujourd'hui est paru dans le journal le Monde un article sur la suppression de l'enseignement obligatoire d'Histoire-Géographie en terminale S. Les commentaires se chauffent beaucoup :

Jeunes amis de S & futurs incultes bonjour! Si vous avez la malchance d'être bons en maths, vous n'aurez plus le droit d'accéder à la culture. Etc., etc....

Je ne comprends pas cette excitation. Je suis tout à fait d'accord avec cette réforme. Je pense qu'à partir d'un certain point il faut commencer à se spécialiser et si c'est en terminale, donc juste deux ans après le moule unique du collège unique, ce n'est vraiment pas trop tôt (*). Cela ne signifie pas qu'on devient ignorant en histoire. Lorsque je passais mon bac de maths (en Allemagne) le système me permettait de ne plus prendre de cours d'histoire-géo ni de français pendant la première et la terminale — et pourtant aujourd'hui je parle le français et je ne crois pas d'être inculte. A partir d'un certain âge il faut laisser les personnes choisir leurs priorités et leur faire confiance que, le moment venu, ils vont chercher à se cultiver dans d'autres domaines à leur propre initiative.

J'irai même plus loin : il faudrait supprimer les cours de langue obligatoires en classes préparatoires scientifiques ou à l'université pour leur laisser le temps de bien assimiler leurs cours en sciences. Evidemment un scientifique d'aujourd'hui doit maîtriser au moins l'anglais et une autre langue etrangère, mais encore une fois : je pense qu'il aurait dû l'apprendre avant le bac pour ensuite compléter ses connaissances, à son propre gré, par un vocabulaire scientifique. (**) Le fait qu'il y a encore des cours d'anglais en CPGE scientifiques ou à la fac n'est, pour moi, qu'une preuve que le système d'enseignement des langues au collège et au lycée a échoué et n'a pas réussi à donner des bases suffisantes pour que l'étudiant puisse se perfectionner de manière autonome.

De manière générale, je suis contre le zapping qu'on fait dans l'enseignement actuel : trop de matières et trop de zapping à l'intérieur du programme d'une matière. L'idée de vouloir faire un peu de tout, et tout en même temps, est très déstabilisant pour les élèves — et en fin du compte peu est acquis. A mon avis le mieux est ce qu'on appelle un T-shaped knowledge, c'est-à-dire on commence avec une base solide, puis on rentre à fond dans une matière. Cela permet à l'élève de gagner de la confiance en soi, et ensuite il peut transposer les méthodes acquises dans un deuxième domaine pour construire son

\prod-shaped knowledge !

(*) Il faut aussi rappeler le fait qu'aujourd'hui un trop grand nombre de bacheliers S arrivent en études supérieures sans savoir manipuler correctement une équation avec des fractions ou des racines carrées (programme du collège). On peut en voir des exemples ici. J'enseigne aujourd'hui dans le supérieur et il est flagrant de voir combien d'étudiants en première année ont des lacunes graves en raisonnement et en calcul simple. Je ne peux que saluer une réforme du lycée qui leur laisse plus de temps pour réviser ces notions qu'ils ont zappées dans un système de collège unique qui attend sa réforme à lui.

(**) Il serait souhaitable en CPGE qu'on fasse de temps en temps cours ou TD de maths en anglais. Quant à moi, j'essaie au moins de leur donner des exercices posés et corrigés en anglais ou allemand, comme par exemple ici.

12 commentaires

Devoirs maison : Améliorer l'éfficacité des TD maths

Par Mathoman - Tags

Aujourd'hui j'ai reçu cet email d'un collègue dont je dois taire le nom car il habite dans le spectre d'un "corps" à un élément :

\begin{lamentations}
J'ai enfin découvert le chaînon manquant entre le buse et l'évier : un élève dont je dois taire le nom a réussi écrire « ln(-1) » à 4 reprises dans sa copie !
\end{lamentations}

Lorsque nous enseignants corrigeons des copies d'examen en première ou deuxième année à l'université ou dans une école d'ingénieurs, très souvent nous nous arrachons les cheveux. Nous ne comprenons pas pourquoi les étudiants n'arrivent pas à refaire des exercices semblables à ceux qu'on a traités en TD ; ou pourquoi ils n'arrivent pas à faire des raisonnements simples.

Evidemment pour une grande partie le responsable de cet échec est le système de l'enseignement secondaire et primaire qui, en cherchant la facilité du zapping sans apprentissage des connaissances fondamentales, fait que dans l'enseignement supérieur on construit sur du sable. Mais comme nous n'y pouvons rien changer, il faut chercher à améliorer le système où nous intervenons, c'est-à-dire l'enseignement supérieur, et le rendre plus efficace.

Ayant fait une partie de mes études en Allemagne je vais proposer une idée inspirée du système universitaire allemand. D'ailleurs ce système existe aussi dans les pays anglo-saxons. La photo suivante illustre la solution que je propose.

cinéman le film voir au cinéma frank dubosc
Etudiant de maths à l'université de Munich
rendant l'un de ses d.m. hebdomadaires

Devoirs maisons notés

De quoi s'agit-il ? Il s'agit de devoirs maisons qui sont à rendre chaque semaine. Vous allez répondre : Mais qui est-ce qui va corriger tout ça ? Dans un amphi il peut bien avoir 150 à 200 étudiants et souvent il y a deux ou trois amphis, ça fait donc beaucoup de copies par semaine ! Les profs aux universités allemandes passent-ils leur nuits à corriger des copies ? Dans une classe prépa française avec peu d'élèves, oui, ça peut fonctionner (et ça fonctionne avec un DM par mois environ), mais pas à l'université !
Evidemment on ne peut pas transposer le système des prépa à une système universitaire où les TD et cours sont souvent assurés par des vacataires. Car on aura du mal à recruter un vacataire qui corrige chaque semaine les devoirs maison de ses groupes de TD ; sans augmentation sensible de sa paye il ne le fera pas.

L'étudiant Korrektor ou Grader

Donc qui est-ce qui va corriger toutes ces copies pour un salaire correct ? Les universités allemandes et américaines nous donnent l'exemple, ils font de l'outsourcing, en confiant ce travail à un personnel moins qualifié et donc moins coûteux : des étudiants de 3e ou 4e année. Ces Korrektoren ou graders sélectionnés, même s'ils n'ont pas forcément le niveau nécessaire pour enseigner, sont bien capables de corriger les copies suivant les instructions et le barême imposé par le professeur responsable du cours. La rémunération est certainement plus basse que celle qu'on devrait payer à un docteur ou agrégé.

Organisation

Chaque semaine les copies sont à rendre avant une heure et un jour fixe. Le correcteur les corrige et les rend une semaine plus tard. La note des devoirs maison peut être intégrée dans la moyenne générale (avec un faible coefficient pour ne pas inciter à la tricherie). Dans l'examen final certains exercices pourraient être inspirés des DM.
Les solutions des exercices des DM sont exposées dans des séances de correction qui remplacent les actuels séances de TD. On peut rentrer dans le sens même des exercices car le temps d'assimilation de l'énoncé n'est plus pris sur le temps de la séance.
D'ailleurs on pourrait encourager le travail en groupe en autorisant de rendre une seule copie par binôme (cela diminuerait aussi le coût ce correction). Je sais de mes propres études que j'ai beaucoup appris à travailler à deux ou à trois sur un DM.

Avantages

  1. Contrôle régulier des acquis. Dans le système français actuel l'étudiant est censé de préparer son exercice à la maison avant le TD ; or dans la séance de TD ce n'est pas lui, mais le professeur ou un autre étudiant, qui expose la solution, et donc le travail de l'étudiant ne sera jamais controlé. Il n'y a simplement pas le temps pour contrôler tous. Après quelques semaines, l'étudiant cesse de préparer ses exercices ou il le fait avec une rédaction peu complète.
    Seulement des devoirs maison corrigés garantissent un travail complet et régulier.

  2. Apprentissage de la rédaction. Un débutant en mathématiques apprend à rédiger et raisonner clairement seulement si on le corrige. Quand j'étais moi-même étudiant en première année je n'aurais jamais appris à bien rédiger si je n'avais pas su que ce que j'écrivais serait lu par un correcteur.

  3. Gratification. Je dis souvent que les mathématiques sont une sorte de masturbation mentale... mais masturbation fertile ! Si on veut que les étudiants aiment les maths au moins un tout petit peu, il faut leur donner la chance de la découverte. Or dans le système actuel des TD (où on ne contrôle pas le travail de tous) l'étudiant moyen ne prépare pas ses exos. Dans la séance de TD il n'a jamais le temps de trouver le truc, il y aura toujours quelqu'un autre avant lui, le professeur ou un étudiant très fort, qui présente la solution. Cela prive l'étudiant du plaisir que peuvent donner les mathématiques car il n'est jamais récompensé par le sentiment d'avoir trouvé le truc lui-même.

  4. Augmenter l'autonomie des étudiants. De la même manière que vous ne trouvez personne qui a appris à jouer au piano en allant au concert, on peut dire que les mathematiques passives n'existent pas. Or dans une séance de TD peu de temps est laissé au travail de chaque élève. Il est évident que les DM augmentent la capacité de travail autonome. Le jour d'un examen l'étudiant se trouve seul devant sa feuille, il ne peut pas poser une question à son professeur de TD. Avec les devoirs maison il se prépare mieux à cette situation.

  5. Le labo de maths, c'est la tête. Pour des sciences expérimentales comme la physique, la chimie, la biologie, les séances de TP en laboratoire sont essentielles. En mathématiques c'est la tête qui joue le rôle de laboratoire. Et quelque fois vaut mieux que l'enseignant reste loin et laisse le temps aux expériences de fermir dans la tête de l'étudiant. C'est comme avec un élève de violon qui pratique, quelque fois vaut mieux ne pas être à côté...

  6. Approfondir les connaissances, inciter à l'esprit de recherche. Dans une séance de TD du système actuel on ne peut jamais poser de vrais problèmes intéressants qui demandent un peu de temps de refléxion. On se restreint souvent à des exercices d'application de quelques recettes et si on fait un exo plus intéressant on n'a pas le temps de laisser chercher tous les élèves. Or dans une feuille de DM on peut aussi donner quelques exercices qui demandent un peu plus de recherche.

  7. Recruter des futurs enseignants ou chercheurs. Les étudiants en 3e ou 4e année sélectionnés et payés pour être correcteurs font ainsi leurs premières expériences dans une équipe pédagogique de l'enseignement supérieur. Ce point peut enrichir leur CV. On pourrait également valoriser ce travail dans leur cursus d'études.

  8. Démystifier la réussite. Les étudiants correcteurs en 3e ou 4e année serviront de bon exemple aux étudiants de 1ère ou 2e année et montrent qu'il est bien possible de réussir.

  9. Economiser de l'argent en augmentant le niveau. Vu que les actuels séances de TD n'existeraient plus et céderaient la place à des séances de correction de d.m. on peut les faire en groupes plus grands. En plus, inutile de dépenser de l'argent dans des cours de mise à niveau que certains établissement font ; car on peut faire autant de cours de mise à niveau qu'on veut — si les étudiants ne travaillent pas chez eux, c'est du temps et de l'argent perdu.

Voilà donc mes idées d'Outre-Rhin. Ca marche très bien là-bas, je vous assure. Pourquoi ne pas l'essayer ici ?

On pourra aussi lire un billet et un autre sur thème, écrit par un collègue en physique.

5 commentaires

Sur les réformes du recrutement des professeurs à l'Education Nationale

Par Mathoman - Tags

Chers lecteurs, j'ai beaucoup apprécié les commentaires détaillés que vous avez laissés à mon dernier billet concernant la suppression de cours d'HG selon la réforme du lycée. Aujourd'hui je vais donner mon point de vue sur deux autres changements prévus par cette réforme : le recrutement.

Mutation et attribution de poste

Le premier point concerne l'attribution des postes. Dans un article du Monde on peut lire que l'Eduction Nationale modifie son mode de recrutement vers un système à l'anglo-saxonne ou à l'allemande. Le concours devient un examen à l'issue duquel les professeurs n'auront pas de poste assuré et devront postuler auprès des écoles, collèges ou lycées en fonction des besoins, comme dans une entreprise. Peut-être l'Education Nationale a fait de bonnes expériences avec son système de mouvement sur postes spécifiques et souhaite élargir ce concept à tous les postes.

Encore une fois, je trouve que c'est une bonne idée de récruter sur profil. En plus, le fait de poser candidature pour un certain poste implique automatiquement que l'enseignant sera plus motivé que s'il est nommé sur un poste qui souvent ne lui convient pas soit à cause de sa situation géographique soit à cause de son environnement. Au lieu de subir une affectation il doit agir et reste maître de son destin.

Autre avantage possible : le principe d'offre/demande pourra générer une plus juste rémunération car il est clair que certains postes ne trouveront aucun candidat, donc il faudra les rendre plus attractifs par des primes financières importantes ou des décharges horaires ! En effet, certains considèrent le système actuel comme injuste car les professeurs qui enseignent devant des classes plus agréables sont payés plus que leurs collègues. Dans cette vidéo des auditions sur le métier d'enseignant Philippe Meirieu dit à peu près ceci : Dans le passé la société avait besoin de professeurs en classes préparatoires et donc on a augmenté leur salaire. Aujourd'hui nous avons besoin de personnel dans des établissements difficiles, il faudrait maintenant faire un effort financier pour ces einseignants.
En fait, un professeur agrégé en prépa touche 50% plus pour chaque heure de cours avec sa classe. On justifie cette augmentation de salaire par une charge de travail plus importante en CPGE. Or on peut aussi argumenter — et c'est le point de Philippe Meirieu — que le temps de récupération du système nerveux d'un enseignant en collège difficile après un cours devant une bande d'adolescents de niveau très hétérogène est bien supérieure au temps de préparation de cours en prépa.
Ce qui amenerait à poser les enseignants de prépa devant le choix suivant : Soit vous gardez votre prépa mais avec le même salaire horaire que toute le monde ou bien vous prenez une classe de collège qui vous fait moins de travail. Combien vont choisir le collège ?

Concours et recrutement

Le deuxième point de la réforme dont je veux parler ici c'est l'idée d'élever les niveaux des enseignants en les recrutant à bac + 5 contre bac + 3 aujourd'hui. Je pense que c'est une très mauvaise idée, au moins en mathématiques.

Déjà aujourd'hui l'Education Nationale ne dispose pas d'assez de postes qui nécessitent un niveau avancé de maths, alors pourquoi monter le niveau de recrutement ? A mon avis, il vaudrait mieux le baisser les exigences disciplinaires pour pouvoir recruter dans le vivier de profils dont les chefs d'établissement ont vraiment besoin. Et de quoi ont-ils besoin ? De personnages capables à tenir, garder et surveiller une classe. L'enseignement passe au second plan.

On a parfois l'impression que les critères de recrutement sont complètement découplés des missions confiées aux professeurs. Par exemple dans le rapport du jury de l'agrégation externe de mathématiques 2008 (page 52) on peut lire :

Signalons que la grande majorité des candidats ne sait pas faire la différence entre une bijection indéfiniment dérivable et un difféomorphisme.
En effet, c'est triste. Mais d'autre part Jean-Pierre Obin, inspecteur général de l'éducation nationale, dit clairement (voir vidéo ici) que les professeurs doivent s'occuper de l'éducation civique et morale des élèves. Et ceux qui connaissent les collèges d'aujourd'hui savent que cela représente 80% du temps et de l'énergie dépensés par un professeur. Le problème est alors trouver des fins connaisseurs de difféomorphismes qui sont aussi des éducateurs passionnés et charismatiques pour des élèves qui n'ont rien à voir avec les difféomorphismes. C'est un recrutement paradoxale...

11 commentaires

Conseils aux étudiants pour une bonne rédaction

Par Mathoman - Tags

Souvent les étudiants en première année ont une idée intuitive pour une preuve mais lorsqu'ils l'écrivent avec les termes de la logique mathématique leur rédaction est très maladroite, voire fausse ou illisible. Ces lignes leur sont destinées. Je vais montrer sur des exemples très simples ce qu'il faut faire et ce qu'il faut éviter.

Syntaxe d'une assertion

Une assertion (ou proposition) mathématique est une phrase contenant un verbe. Les verbes mathématiques sont par exemple

=\;\;\;<\;\;\;>\;\;\;\leq\;\;\;\geq\;\;\;\subset\;\;\;\supset\;\;\;\in\;\;\;\ni\;\;\;\Rightarrow\;\;\;\Leftarrow\;\;\;\Leftrightarrow\;\;\;\perp\;\;\;\parallel

et leurs négations. Par exemple

7 + 1 = 8

est une assertion (qui est vraie), et

1 < 0

est une assertion (qui est fausse). Mais

7+1

n'est pas une assertion car elle ne contient pas de verbe, donc on ne peut pas se demander si elle est vraie ou fausse. Entre deux assertions équivalentes on n'écrit pas = mais le symbole \Leftrightarrow. Ce symbole étant lui-même un verbe c'est donc un emboîtement d'assertions (pensez aux poupées russes).
Ecrire
1 \leq x \leq 5\;\;\Leftrightarrow\;\; [1,5]
n'a aucun sens car [1,5] n'est pas une assertion (c'est un intervalle). En revanche, on peut écrire
1 \leq x \leq 5\;\;\Leftrightarrow\;\; x\in [1,5].

Il ne suffit pas de mettre un verbe pour avoir une assertion, il faut aussi que la syntaxe soit correcte. Par exemple écrire \{7\}\in\mathbb{N} et 7\subset\mathbb{N} n'ont pas de sens. Mais \{7\}\subset\mathbb{N} et 7\in\mathbb{N} sont des assertions (qui sont vraies d'ailleurs).
Le langage mathématique suit les mêmes règles que notre langage habituel (phrase principale, phrase relative, conjonctions,...). Si quelqu'un vous disait
Nous ¤ camping # faisez ((à pluie sec
pouvez-vous dire qu'il dit la vérité ou non ? Non, vous ne pouvez pas ! Or c'est précisément ce que certains étudiants écrivent sur leurs copies de mathématiques : des juxtapositions de symboles qui ne donnent aucun sens. Et donc nous, les correcteurs, ne pouvons pas donner de point pour ce charabia.
Les symboles ne sont que des raccourcis d'écriture. Vous devriez être capables de rédiger sans eux. Si la traduction en langage français de ce que vous écrivez à l'aide de symboles n'a pas de sens, alors il y a un problème.

Introduire les objets avant leur utilisation

Ne faites jamais apparaître un objet sans l'introduire. Par exemple n'écrivez pas

x^2-6x+5=0\;\;\Leftrightarrow\;\; S=\{1,5\}.

Peut-être votre enseignant au lycée vous a donné cette mauvaise habitude, mais la lettre S n'est pas universellement reconnue pour désigner l'ensemble de solutions d'une équation. Il faut donc faire précéder par une petite phrase comme : Notant S l'ensemble de solutions de l'équation x²-6x+5=0 on obtient... Mais cela est bien lourd. Ecrivez donc plus simplement
x^2-6x+5=0\;\;\Leftrightarrow\;\; x\in\{1,5\}.

Exemples de bonne syntaxe

Les théorèmes 1, 2 et 3 ci-dessous sont des assertions. Les deux premiers sont équivalents ; et chacun d'entre eux implique le troisième.

Théorème 1.  Soit a\in \mathbb{R}. Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur \mathbb{R} si et seulement si a > 0.
Théorème 2.  Pour tout réel a la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur \mathbb{R} si et seulement si a > 0.
Théorème 3.  Si a > 0 est un réel alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur \mathbb{R}.
La preuve du théorème 2 devrait commencer comme suit.
Preuve du théorème 2.  Soit a un réel. Blabla...
Evidemment on aurait pu écrire soit b un réel et continuer à travailler avec ce b. Ca serait tout à fait correct car dans le théorème 2 le réel a est une variable locale car précédé par le quantificateur \forall. Ecrire soit a un réel ou soit b un réel revient à fixer ce réel ce qui en fait une variable globale pour la suite du raisonnement.
C'est le moment de mentionner une subtilité. Le théorème 1 commence par soit a un réel. De ce fait a est déjà fixé (une variable globale) dans le théorème 1 et ça serait inutile et même faux de commencer la preuve par dire soit a un réel. Il est déjà donnée et nous devons travailler avec lui et pas avec un autre a ni un autre b.

Mauvaise rédaction de la preuve

Preuve du théorème 2 (version débutant).
Soit a un réel. Supposons a > 0. Il faut montrer que pour tous réels x, y tels que x < y on a f(x) < f(y). Or x < y et a > 0 entraînent ax < ay ou encore f(x) < f(y). Donc f est strictement croissante.
Réciproquement supposons que f est strictement croissante, c'est-à-dire pour tous réels x, y tels que x < y on a f(x) < f(y). On voit sur l'inégalité ax < ay que a doit être forcément positif, sinon l'inégalité devrait être dans l'autre sens.
Trois erreurs :
  • On voit sur l'inégalité ax < ay .... Or les symboles x et y n'ont pas été introduits précédemment. Il fallait écrire soit x et y....
  • La fin du raisonnement devrait être... n'est pas clair.
  • Le débutant écrit il faut montrer que... puis il donne la définition d'une fonction strictement croissante. Or redonner une définition tellement basique c'est presqu'un insulte vis-à-vis du correcteur ! Evitez de redonner des définitions que tout le monde connaît et n'écrivez pas ce que vous voulez démontrer si c'est déjà écrit clairement dans l'énoncé.
    En revanche, si ce que vous allez démontrer est une reformulation équivalente ou seulement une condition nécessaire pour la proposition que vous cherchez à prouver alors il est souhaitable que vous écrivez "je vais démontrer ceci...". Par exemple c'est une bonne idée d'écrire : Soit a > 0. Pour montrer que la fonction définie par f(x)=ax pour tout réel x est strictement croissante sur R je vais prouver que sa dérivée est strictement positive.

Bonne rédaction

Preuve du théorème 2 (version de l'étudiant expérimenté).
Soit a un réel.
Supposons a > 0. Soient x, y deux réels tels que x < y. Alors on a
f(x) = ax < ay = f(y). Cela prouve que f est strictement croissante.

Réciproquement supposons f strictement croissante. Alors l'inégalité 0 < 1 entraîne l'inégalité f(0) < f(1). Cela prouve que a = f(1) > f(0) = 0.

Structure d'une preuve

Exemple de structure d'une preuve bien rédigée :

Enoncé.  Soient A et B des ensembles et f une application de A dans B. Montrer que si on a l'hypothèse (H) ... alors f est injective.
Preuve.
Supposons (H). Soient x et y deux éléments de A tels que f(x) = f(y) ......
...... (je raisonne) ...... j'utilise la propriété (H) ...... (je raisonne) ...... j'obtiens x = y.
Cela prouve l'injectivité de f.
Autrement dit, vous introduisez deux éléments x et y qui vérifient l'égalité f(x) = f(y), puis vous gardez en tête que vous voulez arriver à l'égalité x = y. Si vous voulez vous pouvez l'écrire x = y en bas de votre page pour savoir où vous voulez arriver. Mais surtout ne l'écrivez pas plus tôt car c'est votre but et non votre point de départ ! Sur le chemin du raisonnement vous devez, très probablement, utiliser la propriété (H).
Preuve alternative (par contraposition).
Supposons (H). Soient x et y deux éléments distincts de A ......... (je raisonne) ........
........ j'utilise la propriété (H) ........ (je raisonne) ........ je trouve que f(x) est différent de f(y). Cela prouve l'injectivité de f.

Autre conseil

Mon collègue et ami Laurent Kaczmarek a écrit des conseils de rédaction utiles concernant la notation des fonctions en analyse.

1 commentaires

Mieux comprendre la topologie des matrices singulières

Par Mathoman - Tags

Mon billet récent sur la dimension maximale d'un sous-espace affine contenu dans l'ensemble des matrices non-inversibles m'a inspiré les réflexions suivantes, une sorte de version différentiable de ce résultat.

On note {\mathcal M}_n(\mathbb{R}) l'espace des matrices n x n à coefficients réels et GL(n,\mathbb{R}) le sous-ensemble des matrices inversibles. On sait que GL(n,\mathbb{R}) est un ouvert dans {\mathcal M}_n(\mathbb{R}). En effet c'est l'image réciproque de l'ouvert \mathbb{R}^* par l'application continue déterminant

\det\;:\;\; {\mathcal M}_n(\mathbb{R}) \;\rightarrow\;\mathbb{R}.

On peut même dire un peu plus : le déterminant étant polynômial en x_{11},x_{12},\dots,x_{nn} le complémentaire des matrices inversibles, c'est-à-dire l'ensemble des matrices de déterminant nul,

\mathcal{A}\; =\; {\mathcal M}_n(\mathbb{R}) \:\backslash\:GL(n,\mathbb{R})

est une hypersurface algébrique. Géométriquement parlé \mathcal{A} est un fermé de {\mathcal M}_n(\mathbb{R}) qui ressemble localement à un hyperplan (c'est-à-dire à un sous-espace affine de dimension n²-1). Enfin, cela est vrai en presque tous les points, ceux où la différentielle du déterminant ne s'annulle pas (points réguliers). En revanche, en les points où la différentielle du déterminant est nulle (points singuliers), l'hypersurface \mathcal{A} ne ressemble plus à un sous-espace affine. Il peut y avoir un croisement comme par exemple

algebraische Fläche, surface algébrique

ou un rétrécissement comme par exemple

Algebraische Flächen

(Pour plus d'images de surfaces algébriques visitez le la galerie de Herwig Hauser.)

Il est évident que la différentielle du déterminant est nulle à l'origine. Donc notre hypersurface {\mathcal A} possède une singularité à l'origine. Le résultat suivant dit qu'il s'agit d'une singularité de type rétrécissement, car l'hypersurface de dimension n²-1 y perd quelques dimensions — il y reste juste assez de place pour n²-n dimensions...

Proposition :

Le nombre n²-n est la plus grande dimension possible d'une sous-variété différentiable F de \mathcal{M}_n(\mathbb{R}) telle que 0\in F\subset {\mathcal M}_n(\mathbb{R}) \backslash GL(n,\mathbb{R})\,.
Démonstration :
  • L'ensemble des matrices dont la première ligne est nulle est un sous-espace vectoriel (et donc en particulier une sous-variété différentielle) de dimension n²-n. Evidemment il contient l'origine 0 et est contenu dans \mathcal{A}.

  • Soit F une sous-variété de {\mathcal M}_n(K) de dimension n²-n+1 et telle que 0\in F. Nous allons prouver que F contient une matrice inversible.
    Au voisinage de l'origine la sous-variété F est décrite par un système de n-1 équations
    f_j(x_{11},x_{12},\ldots,x_{nn})=0\,,\;\;\;j=1,\,\ldots\,,n-1,
    tel que les différentielles df_j sont linéairement indépendantes à l'origine. On résoud ce système par le théorème des fonctions implicites, c'est-à-dire on peut isoler (théorétiquement) n-1 des coordonnées et les exprimer par les autres. On a ainsi, toujours au voisiange de l'origine, n²-n+1 coordonnées variables et n-1 coordonnées isolées (fonctions différentiables des coordonnées variables).
    Maintenant je peux poursuivre mon raisonnement de la preuve du cas affine : par des permutations de lignes et de colonnes je m'arrange à ce que les coordonnées isolées soient toutes au-dessus de la diagonale matricielle ; puis je prends les coordonnées sur la diagonale toutes égales à un nombre \epsilon non-nul et proche de 0 et les autres coordonnées variables égales à 0. Ainsi j'obtiens une matrice inversible qui est dans F.

1 commentaires