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.

Les chercheurs en mathématiques appellent hand waving une manière d'expliquer une idée oralement et avec les mains, sans faire appel à un formalisme poussé. Dans certaines situations, cette démarche est justifiée et peut être très efficace.

Si on veut être méchant on pourrait dire que, pour expliquer sa nouvelle découverte un mathématicien a besoin de

• ses mains et 15 minutes s'il s'adresse à un collègue dans la cafétéria de son centre de recherche,
• cinq transparents et 60 minutes s'il l'expose dans un séminaire,
• vingt pages qui demandent trois jours de lecture, s'il la publie dans une revue scientifique.

Le problème est que les mathématiques demandent la précision totale, et celle-ci nécessite un formalisme exacte et sans ambiguïté. Oralement, en faisant des dessins avec les mains dans l'air ou sur un brouillon, on peut toujours guider son interlocuteur et l'empêcher de mal comprendre. Mais ce n'est pas le cas en communication écrite où l'auteur est obligé de traduire ses idées en un formalisme que le lecteur devra ensuite retraduire en idées!
Beaucoup d'énergie est perdue dans ces efforts de traduction et re-traduction. Pour minimiser ces efforts le lecteur doit s'entraîner à maîtriser le formalisme et l'auteur, de son côté, doit inventer un formalisme facile à lire et avec des notations intuitives --- et, si possible, ajouter des dessins à son texte!

Malheureusement, dans beaucoup de manuels universitaires, il n'y a pas assez de dessins. Peut-être c'est dû à la paresse des auteurs qui rédigent en LaTeX où il est beaucoup plus rapide d'écrire cinq lignes de formules que de faire un dessin avec PSTricks...

Moi, personnellement, lorsque j'étais étudiant j'adorais les livres de Klaus Jänich, parus dans la série Undergraduate Texts in Mathematics chez Springer, très bien écrits et agrementés de nombreux dessins; en particulier son livre sur la topologie et son livre sur les fonctions holomorphes m'ont beaucoup aidé.
C'est cette démarche, avec beaucoup d'illustrations, que nous avons adoptée pour la rédaction de notre livre Mathématiques L1 pour la première année en université ou en classe prépa.

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

Pour bien réussir un concours le mieux c'est de le préparer avec des annales. C'est aussi vrai pour le premier concours que vous passerez dans votre vie : le baccalauréat.

Le style de sujets de bac de mathématiques ne change pas soudainement d'une année à l'autre. Mais il peut être différent des exercices que vous trouvez dans votre manuel scolaire ou que votre professeur vous pose en classe. Si vous maîtrisez bien les sujets des cinq dernières années, je crois le jour du bac vous n'aurez pas de mauvaises surprises. C'est pourquoi je vous conseille de vous préparer avec des sujets corrigés de bac en mathématiques.

Il est important aussi d'apprendre à gérer son temps. Si par exemple votre épreuve de bac dure trois heures, trouvez un créneau libre de trois heures non-interrompu pour vous enfermer dans votre chambre en éteignant le téléphone, l'ordinateur, la télé et concentrez vous sur le sujet. Prenez ensuite une bonne pause afin de comparer vos solutions avec le corrigé. Après une semaine refaites le même sujet pour contrôler si vous avez retenu les méthodes du corrigé...

En général, je vous conseille une règle valable pour tous les apprentissages (musique, sport, etc.) : travaillez d'abord la justesse, puis la rapidité, et pas dans le sens inverse ! Au départ votre but n'est pas de répondre à toutes les questions mais de donner des réponses complètes et justes aux exercices que vous maîtrisez ; plus tard la rapidité viendra de façon automatique. Un correcteur préfère une copie qui traite seulement la moitié des questions mais de manière correcte à une copie qui traite toutes les questions avec la moitié des réponses fausses !

Un dernier conseil: les sujets de bac nécessitent jamais de très longs calculs. Si vous avez besoin d'une page de calcul pour prouver une question, votre solution est peut-être juste mais elle est certainement trop longue. Donc même si vous savez faire un exercice, prenez quand même le temps de survoler le corrigé afin de vous impregner d'une rédaction concise qui dégage les points importants. Cela tient en particulier pour les candidats qui aspirent à la mention au bac!

Mon ami Laurent Kaczmarek souhaite recenser toutes les démonstrations du résultat suivant d'algèbre linéaire.

Un espace vectoriel de dimension finie sur un corps non-dénombrable n'est pas réunion dénombrable de sous-espaces vectoriels stricts.

Preuves dans les cas réel ou complexe acceptées (et même souhaitées !).

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.

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.

L'Etat fait la loi. En particulier, il s'occupe du code de travail et devrait veiller à ce que le paiement des salires soit transparent et se fait à temps. Or bizarrement il paraît que l'Etat est un employeur moins scrupuleux que les entreprises privées en ce qui concerne la transparence des fiches de paie et la ponctualité du paiement.

Voici un exemple. Une école d'ingénieur privée où j'enseigne établit le bulletin de paye suivant. Il est clairement structuré en commençant avec le plus important, à savoir le mois concerné, le nombre d'heures travaillées (CM=cours magistral, TD=travaux dirigés) et la base unitaire (par heure) ; puis il y a le total brut suivi des diverses côtisations. Et à la fin du mois l'argent est sur le compte de l'intervenant.

Dans le privé : fiche de paie claire

Maintenant comparons avec la fiche de paye pour un travail équivalent (heures d'interrogation en classe prépa) à l'Education Nationale. Sous la dénomination mystérieuse Rappel années antérieures on trouve un montant total, mais sans aucune explication.

Dans la fonction publique : fiche de paie obscure

On y cherchera en vain tous les détails importants, comme le tarif de base (nombre d'heures-élèves) ou la période concernée ! En plus, la période serait du plus grand intérêt car, même si le bulletin porte la date du janvier 2010, il s'agit en fait du paiement pour des interventions qui ont commencé en septembre 2009... et oui, l'Etat est un mauvais payeur, il est très souvent en retard ! Parfois il attend même six mois avant de payer les intervenants non-fonctionnaires (et aussi ses fonctionnaires pour leurs heures supplémentaires) ; en fait, lorsqu'on donne des heures de colles dans établissement pour la première fois, il n'est pas rare d'attendre le mois de mai pour avoir le premier virement concernant les heures du septembre. L'intervenant doit donc avoir une très bonne foi... Toute vérification est impossible.

Il est difficilement compréhensible que, dans notre monde informatisé du 21^e siècle, l'Education Nationale n'arrive pas à éditer des fiches de paye propres et à payer à échéance pour des services effectués.

C'est le moment de transmettre à mon père mes vœux d'anniversaire en forme d'une petite devinette.

Aujourd'hui, dimanche 5 juillet 2009, mon père fête son anniversaire. Il est né un dimanche dans une année bissextile. Quel âge a-t-il aujourd'hui ?

Pour résoudre cet exercice je conseille d'effectuer les calculs dans des groupes cycliques. En plus on peut utiliser le fait que j'ai plus de vingt-trois ans, que mon père aussi avait plus de vingt-trois ans lorsqu'il a pris la responsabilité de devenir mon père et, enfin, qu'il n'est pas centenaire...

En tout cas je te souhaite une bonne fête d'anniversaire, papa !

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.

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 ?

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

Dans un post récent mon collègue bloggeur PB a constaté qu'une trop grande partie de ses élèves en prépa ne savent pas conjuguer correctement les verbes du premier groupe au passé composé et qu'ils écrivent souvent « on a montrer que… » dans leurs copies.

Je pense que la compréhension de la structure grammaticale d'une langue est fondamentale pour l'apprentissage des mathématiques. Je la situerais au même niveau que la théorie des ensembles, c'est-à-dire une structure fondamentale à connaître pour ne pas écrire de bêtises. Malheureusement l'enseignement scolaire actuel ne transmet plus cette hygiène de base, de sorte que de telles lacunes se prolongent jusqu'aux classes préparatoires...

Voici donc une «recette» permettant d'éviter l'erreur la plus fréquente : la confusion entre les terminaisons -er, -é, -ez. On peut l'appliquer sans vraiment comprendre ce que c'est un infinitif, un participe composé et une deuxième personne au pluriel (de toutes manières ceux qui comprennent ces notions ne font probablement pas d'erreurs).

L'idée est simple : remplacer le verbe du premier groupe par un autre verbe, puis se fier à la prononciation. Par exemple on a les correspondances suivantes.

montrer/apprendre/voir,    montrez/apprenez/voyez,    montré/appris/vu.

Il suffit alors de procéder par analogie. Au lieu du verbe montrer utilisez l'autre verbe (apprendre, voir, etc.), puis testez laquelle est la bonne conjuguaison en lisant à haute voix.

Quelques règles de grammaire pour les nuls

FAUX	CORRECT	DONC PAR ANALOGIE
on a apprendre que...	on a appris que...	on a montrer montré que...
vous devez apprenez...	vous devez apprendre...	vous devez montrez montrer...
je viens de vu que...	je viens de voir que...	je viens de montré montrer que...
le lemme qu'on a voir	le lemme qu'on a vu	le lemme qu'on a montrer montré
ce qu'il devait compris	ce qu'il devait comprendre	ce qu'il devait montré montrer
Quel lemme voir-vous ?	Quel lemme voyez-vous ?	Quelle femme aimer aimez-vous ?

C'est bizarre, je ne suis pas français mais je crois que je fais moins d'erreurs de conjuguaison que la moyenne des bacheliers français. Je fais des fautes sur les prépositions (par exemple je ne sais pas si on dit j'aide un élève à faire ses devoirs j'aide un élève de faire ses devois ou j'aide un élève faire ses devois) et parfois je n'utilise pas le passé correct (dans ma langue maternelle, l'allemand, on utilise de manière indifférente l'imparfait et le passé composé), mais jamais ça ne me viendrait à l'esprit d'écrire « on a montrer que… »