Math'O Man : le Blog des Maths

Équation d'une courbe ovale


Oeuf de pâques


Je viens de recevoir le message suivant :

Je suis à la recherche de ce que serait l'équation d'une ovoïde ayant pour axe de symétrie l'axe des y. J'ai bien trouvé ceci :

a(1+ky)x² + by² = 1

Mais la figure associée semble avoir l'axe des x pour axe de symétrie. De plus, j'aimerais connaître l'incidence des divers coefficients sur le tracé de la courbe.
Pouvez-vous m'aider ?
Bien cordialement, Jean-Christian Dubau

Voici quelques éléments de réponse.

  • D'abord pour changer les axes il vous suffit de changer dans votre équation les rôles de x et y. Mais votre équation est bien celle d'une courbe symétrique par rapport à l'axe des y ; en effet, l'équation reste inchangée si on remplace (x,y) par (-x,y).
     
  • Le mieux pour connaître l'incidence des coefficients a, k et b est de les essayer, par exemple en entrant 2(1+3y)x² + 4y² = 1 sur WolphramAlpha. Vous pouvez aussi utiliser le logiciel gratuit Graphmatica ; attention, avec ce logiciel il faut entrer les multiplicatio ns et les exposants sous la forme a*(1+k*y)*x^2 + b*y^2 = 1.
     
  • D'où tenez-vous cette équation ? A mon avis le terme 1+ky devrait être au numérateur, comme ceci

    ax²/(1+ky)+ by² = 1.

    Le signe de k (positif ou négatif) devrait influencer si votre œuf est large en bas ou en haut. Les valeurs positives de a et b vont faire un ovale plus haut ou plus large en général.
     
  • Je vous propose l'équation sous une autre forme, 13x²=y(y-3)(y-4). (Si vous remplacez le x² par un simple x alors vous allez comprendre pourquoi on obtient un ovale par cette équation.) Jouez sur les nombres 13, 3 et 4 pour changer la forme de la courbe. Voici ce que ça donne avec Graphmatica :

    courbe en forme d'oeuf, courbe ovale, ovoide

     
  • Vous trouverez d'autres equations ici.

Etant en voyage, je ne peux pas répondre plus longuement, mais peut-être certains de mes lecteurs pourront vous aider davantage.

Pourquoi ne pas lire aussi :


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

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

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

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

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

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

Calculer un prix

Faux calcul de prix (erroné)

Calculer un prix  (faux)

Calcul de prix (faux)

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

Calculer un pourcentage

Faux calcul de pourcentage

calculer un pourcentage (faux)

Calcul d'un pourcentage (faux)

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

déterminer l'équation d'une droite

déterminer l'équation d'une droite

trouver une équation de droite


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

Résoudre correctement une équation de premier degré

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

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


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

Calculer avec une fraction double correctement

Comment ne pas calculer avec une fraction double

Calculer avec une fraction double  (faux)


Autres exemples

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

Multiplicateurs de Lagrange

En économie, physique, ingénierie, on enseigne la méthode des multiplicateurs de Lagrange : Si P est un extrémum d'une fonction f de n variables x1, ... ,xn sous m contraintes données par g1(x1,...,xn)=0, ... , gm(x1,...,xn)=0, alors il existe des réels λ1, ... ,λm tels que

grad f(P) = λ1 grad g1(P) + ··· + λm grad gm(P).

Généralement, lorsqu'on enseigne ce théorème à des non-matheux, il est préférable de ne pas faire la démonstration en toute généralité. D'habitude je me contente d'expliquer deux cas particuliers où on "voit" géométriquement ce qui se passe :

  • n=3 et m=1. Grâce à la règle de dérivation d'une fonction composée, on montre que les gradients de f et g en P sont orthogonaux au plan tangent à la surface décrite par g(x,y,z) = 0. Donc ces gradients sont colinéaires.

  • n=3 et m=2. De même, on montre que les gradients de f, g1 et g2 en P sont orthogonaux à la tangente à la courbe décrite par g1(x,y,z) = g2(x,y,z) = 0. Ils sont donc coplanaires.

Concernant une application de ce théorème j'ai une question à laquelle vous savez peut-être répondre.

Y a t-il un exemple élémentaire mais non trivial? L'exemple classique de minimisation de coût lorsqu'on construit une boîte rectangulaire dont le volume est fixé et dont le couvercle coûte, au cm2, le double des autres côtés n'est pas vraiment intéressant; en effet, on peut isoler l'une des variables dans l'équation de la contrainte et se ramener à une fonction de deux variables indépendantes.

Pourquoi je demande à tracer des courbes à la main

Personnellement je pense que les calculatrices et TICE (Technologies de l'information et de la communication pour l'éducation) devraient être utilisées avec prudence dans les cours de mathématiques. La raison est simplement que ça va trop vite pour qu'un élève ou étudiant comprenne les nouvelles notions qu'il rencontre. C'est à nous, les enseignants, de choisir des exemples numériques où les calculs ne se compliquent pas trop et qui font dégager l'essentiel. Le danger des TICE c'est que souvent elles font primer la quantité sur la qualité. Or je pense qu'un élève qui trace lui-même sur sa feuille cinq paraboles bien choisis va comprendre plus de choses que s'il en voit vingt paraboles défiler sur un écran.

Le fait que beaucoup de bacheliers quittent l'école sans maîtriser les fondements en calcul a été (et est toujours) discuté amplement dans ce blog. Aujourd'hui je veux insister sur un autre point, la capacité de tracer à la main les courbes de fonction simples. Dans mes cours sur les fonctions trigonométriques j'insiste sur des dessins soignés des fonctions sinus, cosinus, tangente, arcsinus, arccosinus et arctangente dans une repère orthonormé. Je fais ces dessins au tableau et je passe dans les rangs pour vérifier si les étudiants les ont bien faits ; si ce n'est pas le cas je leur demande de les refaire chez eux.

Evidemment le dessin ne peut pas être aussi précis que celui qui sort d'un ordinateur. Mais en insistant sur deux choses on arrive quand même à un tracé correct :

  • Utiliser quelques valeurs particulières. Par exemple la courbe de la tangente passe par le point de coordonnées (\frac\pi4,\,1). Et afin de trouver pour l'abscisse la valeur approximative 0,8 un étudiant faible doit déjà réfléchir un peu...

  • La pente de la tangente à l'origine du sinus est sin'(0)=cos(0)=1. Placer des petits traits de pente 1 ou -1 aux points où le sinus s'annule est un bon réflexe qui permet d'augmenter sensiblement la précision du tracé de la courbe. En même temps cela rappelle la notion de la dérivée comme taux d'accroissement local...

D'ailleurs, j'ai un message à passer aux professeurs de math au collège et lycée : Travaillez moins ! Ne me comprenez pas mal ;-) Par cela je veux dire que les professeurs ne devraient plus faire le travail à la place de leurs élèves et donc ne plus fournir de repère prêt-à-utiliser sur la feuille d'énoncé. Déjà le choix d'une repère est un tâche intellectuelle importante à accomplir par l'élève : quelles échelles sur les deux axes sont adaptées à mon graphique ? quelle région veux-je représenter ?

Vu le nombre de bacheliers S qui ont du mal à dessiner correctement en moins d'une minute une parabole comme y=½(x-1)²+1 il serait souhaitable de revenir à ces concepts qui ont l'air vieux-jeu mais en réalité ne le sont pas car celui qui les a compris a compris bien plus que de faire un simple dessin.
Déjà au collège quand on trace la parabole standard y=x² à la main c'est l'occasion de comprendre plein de choses, comme par exemple que x<x² lorsque x est plus grand que 1, tandis que x>x² lorsque x est compris entre 0 et 1.

Le tracé d'une courbe doit si possible faire apparaître les propriétés essentielles, comme les intersections avec les axes, les pentes en ces intersections, les extréma, des éventuels asymptotes,...
Si l'on négligence ces choses-là ça donne des intersections fantaisistes entre la courbe de la fonction tangente et celle de sa réciproque, enseignées aux étudiants d'un établissement d'enseignement supérieur américain réputé d'être l'un des meilleurs du monde (rang 4 au classement de Shanghaï 2010) :

erreur dans le dessin
Cours filmé au MIT — Tracés complètement faux de tan et arctan !

Heureusement le reste de ce cours pris en vidéo semble de meilleure qualité.

Question pour mes étudiants : Cherchez l'erreur !

Cet enseignant a probablement vu trop d'images dans des repères à échelles distinctes sur l'abscisse et l'ordonnée, comme celle-ci au lieu de celle-là. C'est d'ailleurs la raison pour laquelle je demande toujours de tracer les fonctions trigonométriques dans un repère orthonormé.

Question de codimension en algèbre linéaire

Je collectionne constamment des exercices de maths intéressants et accéssibles aux élèves niveau prépa ou licence. On en trouve beaucoup dans les livres, sur internet, sur les vieilles feuilles d'exercices de ses propres professeurs... et quelques fois en invente soi-même ! Voici une question intéressante qui m'est venue le week-end dernier. La solution que j'ai trouvée ne nécessite pas de grand théorème, il faut seulement bien maîtriser ses connaissances élémentaires en algèbre linéaire :
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 ?
Rappel : la codimension d'un sous-espace est la différence entre la dimension de l'espace ambiant et la dimension du sous-espace. Autrement dit, c'est le nombre d'équations nécessaires pour décrire le sous-espace (car chaque équation enlève un degré de liberté). Par exemple, dans l'espace habituel à trois dimensions la codimension d'une droite est 2, celle d'un plan est 1.

Les mots clé et les visiteurs de ce blog

Récemment j'ai regardé, comme tout bloggeur qui se respecte, les statistiques de ce blog MathOMan. J'étais curieux de savoir de quels pays viennent mes visiteurs et via quelles pages web intermédiaires ou grâce à quels mots clé ils arrivent sur mon site.

Pour les non-initiés : un mot-clé (en anglais keyword) est un mot ou une combinaison de mots que vous rentrez dans un moteur de recherche.

La majorité des visiteurs de ce blog viennent de la France, du Canada et des pays francophones d'Afrique. En regardant de plus près dans Network Location j'ai pu constater que le Ministère de l'éducation nationale rend visite à MathOMan presque tous les jours ouvrés de la semaine. Je suppose qu'il s'agit là d'une procédure standard visée à vérifier que les enseignants n'écrivent pas trop de bêtises sur leurs blogs.

Les mots clés les plus fréquemment cherchés par les internautes arrivés sur MathOMan concernent les mathématiques élémentaires, comme par exemple :

  • comment trouver le centre d'un cercle
  • comment calculer un pourcentage
  • calculer une circonférence
  • algebre pour les nuls

Pour que ces gens ne restent plus sur leur faim ici, je vais ouvrir prochainement une nouvelle catégorie de billets intitulée Les Maths pour les Nuls !

Evidemment il y a actuellement beaucoup de recherches du mot clé "sujet de bac mathématiques". D'autres mots clé sont très amusants, pour diverses raisons, soit par leur combinaisons insolites, soit par le côté existentiel (comme le no.4 ci-dessous), soit par l'impossibilité de trouver une réponse à cette question (comme le no.5) :

  1. blog ennuyeux
  2. comment etre elégante en classe
  3. pourquoi pas de belle fille en math spé
  4. faire des math ou pas
  5. comment trouver le centre d'un cercle juste avec un compas
  6. comment faire un piege a oiseau qui marche
  7. piege a oiseaux sans piege
  8. thèse doctorat reggae
  9. ils ne comprennent rien il n'apprennent jamais
  10. combien en fraction le nombre de gens qui parlent existent ?
  11. comment resoudre une equation du premier degre sans pi
  12. jean dieudonné: quelle distance a-t-il parcouru ?
  13. apprendre beaucoup en peu de temps
  14. bien gerer son bac avec humour
  15. komen reusir le bac san travailé
  16. avec quelle musique faire des maths ?
  17. comment etre un bon eleve dans la classe
  18. comment calculer comment sa nous prend pour passer avec un pourcentage
  19. insecte laid qui ressemble a une fourmi transparent
  20. je veux qu'on me calcule cet exercice
  21. comment faire une opération de transformation un homme en une femme
  22. peut on réapprendre les maths à quarante ans
  23. qui fait les math à ma place
  24. demontrer de fausses égalités mathématiques
  25. elle est ferme
  26. image filles sur canapé
  27. colloque proust contrepeterie
  28. les étudiants ne savent plus faire une équation
  29. exercice pour avoir le prix nobel en maths
  30. apres combien de temps un chien oublie son maitre
  31. comment tracer une droites concourantes
  32. apprendre la corégraphie de nobody's perfect
  33. je suis aller au collège cette année, un jour, malheureusement, nous avons un problème dans le français le plus de mes leçons que nous ne comprenons pas ce que je dois faire des contrôles
  34. combien de temp deux chien son coller après avoir fait l'amour
  35. comment trouver le mot je t'aime en math
  36. comment être une fille amusante
  37. comment aimer son mari
  38. maths et masturbation
  39. extrait x les petit nin avec femme
  40. femme qui fait l'amour avec un chien
  41. anssienne metode de multiplication
  42. alain conne salaire
  43. les 3 connes streaming
  44. comment écrire (a+b)² sous la forme d'un produit de deux facteurs
  45. franque du bosque
  46. ou faire virifier c'est fiche de paye

Je lance un défi aux lecteurs de ce blog : trouvez les réponses les plus insolite à ces questions !

A propos

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

Le logo du site
illustre la fameuse formule  e^{i\times\pi}+1=0  qui réunit huit symboles et nombres fondamentaux en mathématiques :

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

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

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

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.

Conseils aux étudiants pour une bonne rédaction

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.

La promenade

Trois femmes se promènent sur une allée de 100 m de long, d'un bout à l'autre. Lorsqu'une femme atteint la fin de l'allée elle fait demi-tour. Les vitesses respectives des trois femmes sont constantes et valent 1 km/h, 2 km/h et 3 km/h. Montrer qu'il existe un intervalle de temps d'une durée au moins d'une minute durant lequel toutes les trois marchent dans la même direction.
(On peut supposer qu'il n'y pas d'hommes qui les dérangent.)

Trouver la fausse boule d'or

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)?

Trouver limitation parmi les boules dor

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