Vous achetez une moquette pour couvrir le sol d'une pièce qui fait 9m x 12m. Le vendeur vous donne deux morceaux, 10m x 10m et 1m x 8m.
Vous protestez: "La superficie totale est bien celle de ma chambre mais ce ne sont pas les bonnes tailles!"
Le vendeur: "Je vous rassure, il suffit de couper le grand morceau en deux, ensuite vos trois morceaux rentreront parfaitement.''
Mais arrivé à la maison vous avez du mal à suivre le conseil du vendeur — et pourtant c'est possible! Quelle coupe faut-il faire?



Cliquez ici pour la solution de ce casse-tête.

Noël est le temps des casse-noisettes, non des casse-têtes pour mes amis les matheux. Voici une égalité :

Le but est de démontrer qu'elle est vraie pour tout entier n strictement positif. Comme d'habitude en maths c'est la dévise short is beautiful, c'est-à-dire il faut trouver une solution courte et élégante, sans avoir beaucoup de calcul à faire. On pourra s'inspirer de l'image d'un père noël ayant des cadeaux à distribuer dans des chaussettes...

Vous avez douze boules d'or qui se ressemblent. Elles ont exactement le même poids à l'exception d'une qui est une imitation, et vous ne savez pas si elle est plus lourde ou plus légère que les vraies boules d'or.

Vous disposez d'une simple balance à plateaux. Est-il possible d'isoler avec trois pesées la fausse boule et de déterminer en même temps sa nature (plus lourde ou plus légère)?



Cliquez ici pour la solution de ce casse-tête.

Comme l'espérance semble à la mode aujourd'hui, voici un autre problème de proba.

On dispose d'une infinité de bâtons de longueur un mètre. On prend le premier, on le casse en deux pièces, le point de cassure étant au hasard. On choisit au hasard l'une des deux pièces, on la garde et on jette l'autre. Puis on fait la même chose avec le deuxième bâton, puis le troisième, etc. En moyenne, combien de bâtons doit-on casser pour que les pièces gardées font une longueur cumulée d'au moins un mètre?

Aujourd'hui c'est la finale de la coupe du monde de football et donc la dernière occasion pour vous poser la question suivante :

Lorsqu'un joueur reçoit un ballon et le joue avec sa tête, le ballon se déforme, il s'aplatit avant de rebondir. Donnez un ordre de grandeur de cette déformation (en cm) !

Voici les caractéristiques du ballon selon la FIFA : il est sphérique, en cuir ou dans une autre matière adéquate, a une circonférence de 70 cm au plus et de 68 cm au moins, a un poids de 450 g au plus et de 410 g au moins au début du match et a une pression se situant entre 1,6 et 2,1 atmosphère (1600 - 2100 g/cm²).

Donnez juste une estimation pour la compression du ballon... puis pour celle de la tête du jouer ;-)

J'ai acheté le numéro 391 du magazine Pour la Science (mai 2010) car il y a un article sur l'harmonie musicale. Je suis plutôt déçu de cet article (j'écrirai une autre fois pourquoi), et finalement c'est un autre, même pas mentionné sur la couverture, que je trouve beaucoup plus intéressant : Les parasites manipulateurs de F. Thomas et F. Libersat. Par exemple, un certain ver parasite influence le comportement de son hôte, une petite crevette, par des sécrétions chimiques de sorte que la crevette nage en surface au lieu de se cacher sous l'eau ; la crevette devient ainsi plus facilement proie des oiseux et ça convient au ver qui peut alors poursuivre son cycle de vie dans ce nouvel hôte plus grand.
Je vous recommande la lecture de cet article, il y a plein d'autres exemples surprenants.

A ce sujet un petit exercice de prédateur-proie (la similitude s'arrête là car il n'a rien à faire avec des questions de comportements ou de manipulation).

Casse-tête : Une mouche et deux araignées se déplacent sur les arêtes d'une cube. Toutes les trois se voient et ont la même vitesse constante. Prouver que les araignées finiront par attraper la mouche.

Dans la solution que j'ai trouvée je suppose que le temps de réaction de chaque animal est nul et qu'à tout moment l'animal peut changer de direction de mouvement. J'ignore si l'énoncé reste vrai sans ces hypothèses.

Quand on dit que quelqu'un a une bonne vision dans l'espace, c'est pour exprimer que cette personne est capable de restituer à partir des informations d'un dessin 2-dimensionnel (par exemple sur une feuille de papier ou à l'écran de votre ordinateur) la position d'un objet dans l'espace 3-dimensionnel.

Ce qui est facile pour certains peut être difficile pour d'autres. Cette vision dans l'espace n'est pas innée à tout le monde, c'est une capacité qu'on peut entraîner ; et dans certaines professions elle est indispensable, par exemple en architecture.

Quand on passe d'une configuration à 3 dimensions vers un dessin à 2 dimensions, forcément on perd certaines informations. Ainsi le dessin d'un cube transparent ci-haut admet deux "vues" possibles qu'on a representées avec deux cubes opaques.
Tandis que la première de ces deux possiblilités ne semble pas poser beaucoup de problèmes, la deuxième n'est pas évidente pour tous. C'est pourquoi ci-dessous je la reprends en ajoutant deux hommes, l'un portant le cube, l'autre se promenant dessus. Cela clarifie la perspective.

Exercice
Vous pouvez maintenant faire un exercice : cachez les deux cubes à droite, fixez le cube à gauche et essayez de passer d'une perspective à l'autre ! C'est un bon entraînement...

Souvent on utilise aussi des traits en pointillets pour distinguer les bords invisibles des bords visibles:

Un autre exercice
Voici un autre exercice basé sur le même concept mais qui exige plus d'imagination.

On peut voir de deux manières la silhouette de la danseuse ci-dessus:

• La fille nous montre son dos. Alors sa tête est légèrement inclinée vers sa droite et c'est sa jambe droite qui est levée.
• Nous voyons le visage de la fille. Alors sa tête est légèrement inclinée vers sa gauche et c'est sa jambe gauche qui est levée.

Essayez de passer d'une vue à l'autre ! C'est beaucoup plus dur qu'avec les cubes. Et ça devient encore plus difficile, si elle tourne.

• Soit elle tourne sur sa jambe gauche. Un oiseau au-dessus d'elle la verrait alors tourner dans le sens des aiguilles d'une montre.
• Soit elle tourne sur sa jambe droite. Un oiseau au-dessus d'elle la verrait alors tourner contre le sens des aiguilles d'une montre.

Quant à moi, je vois spontanément la première possibilité. Mais quelques fois j'arrive à adopter la deuxième vue, et seulement si je fais un effort. Et j'y reste bloqué, c'est-à-dire immédiatement après je ne peux plus revoir la première vue.

Il est aussi intéressant de tenir compte de l'ombre de la jambe soulevée. Comme on ne voit qu'une silhouette de la danseuse on déduit que l'éclairage est placé derrière la fille ; donc quand l'ombre du pied soulevé appraît en bas de l'image cela signifie que ce pied est plus loin du spectateur que pendant la phase où l'ombre est hors du cadre. Le seul sens possible est alors le deuxième !

Paradoxes
Lorsqu'on essaie de coder un objet 3D dans un dessin 2D, on peut perdre de l'information, mais on peut aussi créer des informations contradictoires, c'est-à-dire on peut faire des représentations pour lesquels il n'existe pas d'objet dans l'espace à 3 dimensions l'ayant pour image — ce qu'a fait l'artiste Maurits Cornelis Escher avec son escalier impossible

ou le mathématicien Roger Penrose avec son fameux triangle impossible (aussi tripoutre ou tribarre).

Après les maths et la musique et les maths du côté de chez Proust voici les mathématiques dans un roman.

A l'occasion de la journée mondiale de la femme le bloggeur El Jj a dédié un billet aux mathématiciennes. Ca m'a donné l'idée de parler d'un grand romancier qui rend hommage à sa femme mathématicienne en décrivant son incompréhension devant la science qu'elle étudie. Il s'agit de Thomas Mann (lauréat du prix Nobel de littérature en 1929) ; lorsque Mann rencontra sa future épouse Katia Pringsheim, celle-ci était étudiante en mathématiques (plus tard elle abondonnera cette voie pour se consacrer à leurs six enfants).

Dans le roman Königliche Hoheit (Altesse Royale, 1909) Thomas Mann dépeint comment il a conquis le cœur de Katia à travers deux personnages : le protagoniste Klaus Heinrich et l'étudiante en mathématiques, Imma Spoelmann. Voici un extrait que je trouve très amusant :

[...]
— Non, dit-il, aujourd'hui vous ne ferez pas d'algèbre, mademoiselle Imma, vous ne jouerez pas dans les espaces au-dessus de l'atmosphère, comme vous dites ! Regardez donc le soleil !... Vous permettez...? Il s'avança vers la petite table et prit en main le cahier de cours. Ce qu'il vit était ahurissant. En une écriture embrouillée, d'une épaisseur enfantine, qui laissait reconnaître la tenue de porte-plume propre à Imma Spoelmann, une fantaisie abracadabrante, un sabbat du runes entrecroisées couvrait les pages. Des signes d'écriture grecque se mariaient avec des caractères latins et des chiffres placés à différentes hauteurs, entremêlés de croix et de traits, alignés au-dessous ou au-dessus de lignes horizontales, à la manière des fractions, surmontés d'autres lignes qui formaient comme une tente, égalisés par de petits traits doubles, encadrés de rondes parenthèses, et réunis par des crochets carrés en grandes formules massives.
Des lettres isolées, placées en avant comme des sentinelles, se détachaient à droite, en haut des groupes enclavés. Des signes cabalistiques, complètement incompréhensibles au profane, entouraient de leurs bras les lettres et les nombres, tandis que des fractions les précédaient et qu'au-dessus d'eux, à la tête et aux pieds, planaient des nombres et des lettres. Des syllabes bizarres, abréviations de paroles mystérieuses étaient semées partout, et entre les colonnes nécromantiques, étaient écrites des phrases et des remarques en langage ordinaire, dont le sens dépassait tellement les choses humaines qu'on pouvait les lire sans en comprendre un mot, comme une incantation.

Klaus Heinrich leva les yeux sur la petite silhouette qui se tenait auprès de lui en robe chatoyante, drapée dans le voile noir de ses cheveux et regarda la petite tête exotique dans laquelle tout cela avait un sens et prenait une vie sublime et facile. Et voilà donc les arts impies, dit-il, qui vous feraient négliger cette belle matinée ?
[...]

Ca se passait il y a plus de cent ans. A cette époque il était encore exceptionnel de voir une jeune femme entamer des études supérieures, voire les maths — et ça a dû impressionner quelqu'un comme Thomas Mann qui n'a même pas passé son baccaluréat !

Si Katia a choisi de faire les études de mathématiques ce n'était certainement pas un hasard. En effet le père de Katia était Alfred Pringsheim, professeur de mathématiques à l'université de Munich. Même s'il n'est pas aussi illustre que son contemporain et collègue munichois Lindemann (qui est passé à la postérité pour sa démonstration de la transcendance de ), nous rencontrons encore aujourd'hui le nom Pringsheim sur certains travaux au sujet des séries et des fonctions analytiques.
D'ailleurs Thomas Mann au aussi éternisé son beau-père dans ce roman car le père du personnage fictif Imma Spoelmann porte les traits physiques et caractérielles d'Alfred Pringsheim. En revanche, dans le roman il n'est pas mathématicien mais simplement un homme très riche ce que Pringsheim, fils d'industriels prospères, était aussi dans la vraie vie.

Le nom du blog
peut faire penser à Math Ol’ Man, à mythomane, à math zéro man, à Mannomann !

Le logo du site
illustre la fameuse formule    qui réunit huit symboles et nombres fondamentaux en mathématiques :

• la relation d’égalité =
• l’addition +
• la multiplication
• le nombre 0 (élément neutre de l’addition)
• le nombre 1 (élément neutre de la multiplication)
• le nombre transcendant (pour calculer l'aire d’un cercle)
• le nombre transcendant e (pour la croissance exponentielle)
• le nombre imaginaire i (solution de l’équation ).

L’auteur du blog
c'est moi, , alias MathOMan.
J'ai étudié les mathématiques en Allemagne (Munich et Bonn) et en France (Nice et Paris) pour terminer avec une thèse de doctorat (directeur de thèse : Frédéric Pham, rapporteur : Mikhaïl Zaidenberg, rapporteur et président du jury : Pierre Cartier). D'ailleurs à cette occasion j'ai formulé une conjecture à l'apparence simple et toujours ouverte actuellement... peut-être elle vous tente !

J'ai aussi passé l'agrégation (année 2002 r.83) et, après avoir enseigné dans divers établissements de l'Education Nationale, j'ai donné des cours, TD et heures d'interrogation dans des écoles d'ingénieurs et classes préparatoires parisiennes ; aujourd'hui je suis professeur agrégé à l'Université de Versailles.

Avec d'autres auteurs j'ai écrit le livre Mathématiques L1 (publié chez Pearson Education) destiné aux étudiants en première année d'université ou classe prépa. (Lisez ici un chapitre extrait de ce manuel.)

Septembre 2008 a vu la naissance de ce blog éclectique sur divers sujets liés aux maths qui me passent par la tête. Pour des questions ou suggestions je vous prie de me contacter via ce formulaire.

Adresse professionnelle
Université de Versailles Saint Quentin
Département de Mathématiques — Bureau G-212
45 avenue des États-Unis
F-78035 Versailles
Tél.: +33 139254620

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.

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 3^e ou 4^e 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 3^e ou 4^e 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 3^e ou 4^e année serviront de bon exemple aux étudiants de 1^ère ou 2^e 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.

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.