Un ami m'a envoyé une belle collection d'exercices dont je parlerai bientôt sur ce blog (c'est ici). L'une des questions est simplement :

Calculer la moyenne de sin¹⁰⁰(x) avec une précision de 10%.

Je suppose qu'il faut comprendre calculer la moyenne sur un intervalle de période (par exemple entre 0 et pi).
Selon l'auteur de cette liste de problèmes, un étudiant qui ne sait pas faire cet exercice en cinq minutes n'aurait aucune maîtrise des mathématiques... Qu'en est-il de vous ? :-)

Et pour rallonger un peu ce billet, voici deux belles phrases.

Algebriquement parlant, Mr M. est execrable, mais Mr G. est (x+1)ecrable.
— Edgar Alan Poe

Même le nombre le plus fort a besoin des nuls : 100000000.
— Zarko Petan

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

Cliquez sur l'image

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

Vous avez un troupeau de 101 vaches vérifiant l'hypothèse suivante : chaque fois que vous prenez 100 vaches parmi elles il est possible de les séparer en deux parties de 50 vaches telle que les deux parties ont le même poids.
Démontrez que toutes les 101 vaches ont le même poids.

D'ailleurs, pour ceux qui se sont posés la question : le poids d'une vache (Bos primigenius taurus) se situe entre 500 et 800 kg, et celui d'un taureau peut atteindre 1200 kg. Evidemment cela n'a pas d'importance pour l'exercice.

Et comme je n'aime pas les billet trop courts, voici un autre exercice (indépendant du premier). Retrouvez les neuf mathématiciens célèbres cachés dans la phrase suivante :

Quand t’auras fini de classer des cartes et de les ranger, coche ici et ferme à clef la grange : la dernière fois t’as laissé tout ouvert, et les chats l’ont saccagée et ont volé des poissons.

Pourquoi le nombre de la formule pour la circonférénce d'un cercle intervient-il également dans la formule pour calculer la surface d'un disque ?

Lisez ici la belle explication que Stéphane Lamy donne à sa fille en CM2.

0 + 0 + 0 = 0, n’est-ce pas ? Et pourtant : 0 + 0 + 0, c’est trois fois rien. Et trois fois rien, c’est déjà un petit quelque chose...

Plus il y a de gruyère, plus il y a de trous. Et plus il y a de trous, moins il y a de gruyère.
Donc : plus il y a de gruyère, moins il y a de gruyère !

Soit N le plus petit nombre ne pouvant pas être défini en moins de 17 mots en français. Le plus petit nombre ne pouvant pas être défini en moins de dix-sept mots en français est une expression correcte en français comportant 16 mots. Et N peut être défini par cette phrase, ce qui est contradictoire. Un tel entier N n’existe donc pas.

Pour finir, une petite devinette pour mes chers lecteurs (laissez vos réponses) :

Le grand chercheur Alain Connes (géométrie non-commutative, médaille Fields) a donné un entretien très intéressant sur sa vie, la recherche et l'enseignement des mathématiques. Des extraits de cet entretien sont disponibles en streaming sur le site internet d'Arte.

Pour les visionner cliquez ici.

Une phrase m'a particulièrement marqué :

On ne peut pas comprendre les mathématiques sans les faire.

Je suis complètement d'accord. Les mathématiques passives n'existent pas. Il est possible d'apprendre la compréhension d'une langue étrangère en regardant suffisamment la télé dans cette langue ; on peut alors atteindre un degré pour suivre plus ou moins ce qui est dit sans maîtriser activement la langue.
Mais en mathématiques cela ne marche (malheureusement) pas. L'apprenti mathématicien peut aller dans tous les cours et écouter attentivement ce que dit son professeur, mais s'il ne se confronte pas régulièrement à des exercices il sera vite perdu et ne comprendra plus rien ;-)

Je me rappelle qu'une fois, en plein concert à la Philharmonie de Munich, le pianiste Alfred Brendel interrompit son jeu car le public qui toussait. Il se retournait vers la salle et disait : "Die Grundlage der Musik ist die Stille." Traduction : la base de la musique c'est le silence.

J'aimerais adapter cette phrase aux mathématiques : "La base des mathématiques c'est le calcul". Et je pense au calcul le plus simple, les opérations élémentaires qui devraient être maîtrisées par tous les citoyens d'un pays moderne (à l'exception de quelques rares personnes souffrant d'une sorte de dyslexie des nombres) : addition, soustraction, multiplication et division. Si les élèves ne savent plus calculer, le professeur devrait arrêter son cours, comme Alfred Brendel, et le reprendre plus tard...

Autrefois, grâce à la scolarisation, le savoir progressait d'une génération à l'autre
Dans cet extrait de film des années cinquante un représentant essaie en vain de dissuader Ma and Pa Kettle que 25 divisé par 5 donne 14.

Aujourd'hui c'est le récul: beaucoup de bachéliers ne savent plus calculer
Lorsque j'enseignais en deux classes de terminale ES dans un lycée en région parisienne, j'étais confronté à un problème majeur : le programme du baccalauréat porte sur les dérivées et les intégrales, les logarithmes et les exponentielles. Or la majorité de ces élèves en terminale ne connaissait pas les règles élémentaires de calcul, beaucoup confondaient l'addition avec la multiplication et la soustraction avec la division. Voici un florilège extraits de quelques copies de bacs blancs :

              

Tout ça pourrait faire rire si ce n'étaient que quelques cas isolés. Mais ce type d'erreurs n'est plus exceptionnel, il est devenu la règle (voir mes statistiques). Il semble qu'aujourd'hui il est impossible de demander à un élève en terminale d'effectuer un calcul élémentaire sans faire d'erreur. Le nombre d'élèves acceptés en première (même en section S) et qui ne connaissent pas la table de multiplication est légion.

Le roi est nu
Certains diront que tout cela n'a pas d'importance car les mathématiques n'interviennent que peu dans notre vie quotidienne et que d'autres facilités sont plus déterminantes pour bien réussir dans la vie. Peut-être. Je serais le dernier à exiger que tous mes co-citoyens connaissent les logarithmes et les intégrales. Mais ce qui me gêne beaucoup c'est que le calcul élémentaire n'est pas acquis et qu'en même temps on habitue les élèves à utiliser un langage de bois mathématique qui prétend qu'il y a une compréhension des objets impliqués tandis qu'au fond rien n'est compris. Sous un splendide manteau de termes savants (intégrales, limites, théorème des valeurs intermédiaires, etc.), le roi est nu ! C'est digne des Impostures intellectuelles à la Sokal-Bricmont...
Evidemment il est impossible, en dernière année de lycée, de rattraper avec des cours de soutien toutes ces bases manquées. Soit on fait les choses correctement dès le départ, soit on ne les fait pas, c'est-à-dire on élimine des programmes scolaires le calcul supérieur avec les fonctions.

Ci-dessous un dernier exemple qui me rend heureux et triste à la fois — triste car cet élève ne maîtrise pas du tout le programme du collège (règles de calcul avec les fractions), et heureux car il a appris ce que je lui enseignais en terminale (règles de dérivation). Mais en fin de compte, quelle est la valeur de ses connaissances en calcul différentiel s'il ne sait pas simplifier correctement la fraction qu'il obtient ?

La question posée était de dériver la fonction Voici sa réponse :

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

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 . Ce symbole étant lui-même un verbe c'est donc un emboîtement d'assertions (pensez aux poupées russes).
Ecrire n'a aucun sens car [1,5] n'est pas une assertion (c'est un intervalle). En revanche, on peut écrire
Il ne suffit pas de mettre un verbe pour avoir une assertion, il faut aussi que la syntaxe soit correcte. Par exemple écrire et n'ont pas de sens. Mais et 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

.

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

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 .

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

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 ?

Un amour de Swann, le deuxième livre autonome de la trilogie Du côté de chez Swann de Marcel Proust, est paru en 1913. A cette époque la théorie des ensembles et la théorie des groupes venaient d'être inventées et connaissaient un grand essor.
Je m'imagine bien l'écrivain Proust lors d'une réception un dimanche après-midi chez un représentant de la nomenklatura scientifique parisienne, disons chez le grand mathématicien Henri Poincaré ; on y joue des arrangements pour violon et piano des opéras de Wagner, on parle de poésie ou d'art chinois. Proust, le snob, s'isole dans le salon à côté et trouve sur la table une revue scientifique avec la dernière publication de son hôte. Il l'ouvre sur la première page, commence à lire et n'y comprend pas grand'chose — mais les mots et formulations lui plaisent...

Bon, vous direz que j'ai trop d'imagination ! Alors jugez par vous-même... voici la phrase avec laquelle commence Un amour de Swann :

Pour faire partie du « petit noyau », du « petit groupe », du « petit clan » des Verdurin, une condition était suffisante mais elle était nécessaire [...]

 

Dernièrement mon collègue bloggeur Tanguy donne souvent la parole à ses lecteurs. Aujourd'hui je fais pareil avec un email que je viens de recevoir d'un lecteur par ma page de contact. En fait il pose une belle question de géométrie:

Je viens de lire avec beaucoup de plaisir l'intégralité de ce blog.* Tout à fait d'accord avec Rungaldier. Pour ma part je suis plus physique chimie et j'ai une colle math/géométrie que je n'ai jamais su résoudre. Pouvez vous me donner la solution?

Un champs circulaire de 10m de diamètre. Un paysan plante un piquet sur la périphérie. Il y attache une chèvre. Quelle doit être la longueur de corde pour que la chèvre ne puisse brouter que la moitié du champs; la longueur du col à la bouche n'est pas prise en compte.

* Wow, moi-même je n'aurais pas ce courage !