Des élèves qui ne viennent pas le jour du contrôle, c'est l'horreur de tout prof qui doit alors concocter un deuxième sujet pour le rattrapage. On comprend donc que très souvent ce deuxième sujet sera un peu plus difficile... Voici une belle petite histoire que des collègues m'ont écrite :

Ce sont quatre taupins qui ont un DS de math le lundi à passer. Ils vont faire la fête toute la nuit du dimanche à l’occasion de l’anniversaire de l’un d’entre eux. Seulement, ils ne se réveillent pas le fameux lundi matin et vont voir mardi le professeur pour s’excuser. Ils lui demandent alors de rattraper le lendemain en argumentant qu’ils ont crevé une roue sur le chemin en guise d’excuse. Le professeur accepte finalement.
Les étudiants bossent toute la nuit et arrivent le matin confiants à l’examen. Le professeur les met dans des salles différentes et leur donne le sujet d’examen qui comporte deux questions.
La première est sur 1 point. Chacun la lit dans son coin et trouve cela très facile. En effet, la question est : « Quelle est la raison qui vous a empêché de passer le DS prévu lundi ? ». Après, ils tournent la page et la seconde question, sur 19 points, est : « Quelle roue a été crevée ? »

Question (niveau probabilités classe de première)

Quelle est la note moyenne (valeur d'expectation) des quatre élèves à laquelle il faut s'attendre ?

Incitation à la réflexion

Pourra-t-on intégrer la question précédente comme troisième question au contrôle sans provoquer une boucle logique ?

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 !

Après quelques exercices plutôt abstraites, voici une belle question de géométrie dans l'espace.

On dit qu'un objet dans l'espace est invariant par rapport à un axe de rotation si toute rotation autour de cet axe transforme l'objet en lui-même. Par exemple un cylindre droit (ou un cône droit) est invariant par rapport à son axe central.
On dit que l'objet est convexe s'il contient avec deux points A et B aussi tout le segment [A,B]. Et on dit qu'il est borné s'il ne sétend pas infiniment, ou autrement dit s'il existe une boule (éventuellement très grande) le contenant.

Que pouvez-vous dire sur un objet convexe, borné et invariant par rapport à deux axes de rotation ?

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

7 + 1 = 8

1 < 0

7+1

Nous ¤ camping # faisez ((à pluie sec

Introduire les objets avant leur utilisation

.

.

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 . Alors la fonction f définie par f(x)=ax pour tout réel x est strictement croissante sur 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 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 .

Preuve du théorème 2.  Soit a un réel. Blabla...

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.

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

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

Voilà un beau petit problème de colle : quels sont les groupes possédant un automorphisme non-trivial ?

Il y a une solution élégante, pas très longue...

Quel est le plus grand entier k tel que tout sous-espace affine de codimension k dans l'espace des matrices n x n contient une matrice inversible ?

Un joli exercice de géométrie

Question: Comment peut-on trouver, par construction sur ce dessin, les emplacements des poteaux suivants?

Réponse: Cliquez ici pour la solution.

Remarque: Peut-être plus de bacheliers L que de bacheliers S savent résoudre cet exercice!

Ce matin en TP Maple je voulais coder une chose qui semble toute anodine : créer le liste des fonctions x —> sin(kx) où k=0,..,100. Il est facile de créer la liste des expressions sin(kx) où k=0,..,100, et dans les cas pratiques on peut se débrouiller avec ça. Mais créer la liste de ces fonctions ne semble pas aussi simple. Est-ce que par hasard un de mes lecteurs sait comment s'y prendre?

Actuellement je traverse la Corse à vélo, et aujourd'hui lors d'une montée raide je pensais à un problème de souplesse. Comme nous le savons les fonctions infiniment dérivables sont beaucoup plus souples que les fonctions analytiques. Par exemple on peut se poser la question suivante sur la donnée des dérivées successives en un point :

Existe-t-il une fonction f de classe telle que pour tout naturel n,

La question suivante est certainement dans le goût de certains lecteurs du blog, un typique petit problème sur lequel nous matheux aimons perdre notre temps...

Tout point de l'espace (trois dimensions) est coloré avec une de cinq couleurs, et toutes ces cinq couleurs interviennent. Montrer qu'il existe un plan contenant au moins quatre couleurs.