Escolar Documentos
Profissional Documentos
Cultura Documentos
Georges Glaeser
Universit Louis Pasteur, Strasbourg
RESUMEN
Para poder afirmar que la regla de los signos ( - por - = +, - por +
-, etc.) no ofrece ninguna dificultad particular en su comprensi6n,
fu necesario esperar ms de 1500 alios. Un estudio detallado de trabajos de los mejores matemticos - de Diofantes, Euler, d'Alembert, a
nuestros dias - permiti6 observar algunos de los obstculos que se
oponian a la adquisici6n de la noci6n de los niimeros negativos y, en
consecuencia, de dicha regla.
Nosotros deseariamos que se examinara, a travs de numerosas
experiencias, si las dificultades que esta regla ocasion6 a los grandes
matematicos sigue presentandose a nuestros jovenes studiantes.
RESUME
Il a fallu attendre plus de 1500 ans pour que la rgle des signes
soit considre comme une banalit par les mathmaticiens. Une tude
dtaille de textes puiss aux meilleurs auteurs - de Diophante nos
jours - permet de localiser quelques-uns des obstacles qui s'opposaient la comprhension des nombres ngatifs. On souhaite que des
expriences nombreuses examinent si ce qui troublait Euler ou d'Alembert gne encore nos jeunes lves d'aujourd'hui.
304
* Depuis que Gaston Bachelard (1938) a dgag la notion d'obstacle pistmologique ( propos de physique) beaucoup d'auteurs
se sont efforcs de cerner cette ide, de la prciser, de la nuancer en
mathmatiques. A la suite de Guy Brousseau, j'ai moi-mme fait
quelques tentatives dans ce sens.
Dans le prsent article, les mots obstacles, difficult, seuil, symptme sont utiliss trs navement. Je suis, en effet, convaincu qu'il
est prmatur d'enfermer ces concepts dans des formulations trop
rigides. Ce n'est qu' la suite de nombreux travaux qu'on sera en mesure de juger des distinctions pertinentes, utiles pour le dveloppement de la didactique exprimentale. Et l'on rejettera celles qui, sduisantes a priori, risquent de constituer ces connaissances mal
faites qui feraient obstacle au progrs.
305
* Il y a un an, j'aurais t prt jurer que je n'avais jamais rencontr la moindre difficult avec les nombres relatifs. Aujourd'hui, je
situe un ge voisin de 25 ans mon premier contact avec une preuve
compltement formelle de la rgle des signes: c'tait l'poque de la
parution des premiers tomes de Bourbaki. Et, en crivant le prsent
article, je suis all de surprise en surprise, prenant conscience du
grand nombre de finesses de comprhension qui m'avait chapp auparavant sur ce thme.
SO
Ces hsitations du grand d'Alembert sont singulirement instructives quant la nature active et non point
statique du nombre ngatif et du nombre entier en gnral. Il est clair, en effet, que si l'on conoit toute
notion mathmatique comme devant tre drive de la
perception, le nombre ngatif ne saurait se justifier
puisqu'il correspondrait une absence de perception,
ou moins encore, et qu'il n'y a pas de degrs dans les
perceptions nulles. Mais l'tonnant est que cette contradiction entre l'interprtation sensualiste de la connaissance et la ralit mathmatique, n'ait pas conduit
un esprit aussi port au concret et rompu aux considrations mcaniques que d'Alembert comprendre que
la nature essentielle du nombre n'est ni statique ni perceptive, mais bien dynamique et lie l'action ellemme, intriorise en oprations.
L'explication de Piaget comporte une large part de vrit.
Mais elle n'puise pas le sujet. Nous citerons beaucoup d'auteurs qui insistent constamment sur le caractre dynamique
du nombre positif, li notamment des activits de mesurages.
Mais ces mathmaticiens prouvent des difficults adopter la mme attitude vis vis des nombres relatifs. Ils sont
gns par d'autres obstacles que Piaget ne mentionne pas.
Parmi ceux-ci, signalons ce que nous appelons l'ambigut des deux zros. Pendant des sicles, les mathmaticiens ont t impressionns par le zro-absolu, au-dessous
duquel on ne peut rien concevoir. Cela les a empchs de
manier avec facilit le zro-origine, que l'on marque arbitrairement sur un axe orient. Cette confusion apparat
d'ailleurs dans le court passage cit de Piaget, propos de
307
308
309
Diophante
SimOI} Stevin
Ren Descartes
Colin McLaurin
Lonard Euler
Jean d'Alembert
Lazare Carnot
Pierre de Laplace
Augustin Cauchy
Herman Hankel
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
310
311
[hl
- e,J
1r1
312
Voici par exemple, comme elle s'est prsente dans l' Arithmtique de Simon Stevin, publie en 1625 (Stevin
1634):
l "' 11i:dupl1 pAr plus, do11ne produu1 plu1, & moinmru/riplic P" 111011/J donne prod11iil p/U< , & p/111 m11lriplic pr
mo1w, 011 11101111 m11/r1plze pAr plrts , donne pnduiit .moms.
-: \
SoitABS--1 (
fovoir A D S-D B
5) Puis AC 9 - 7
10
;s
( f.1Voir A E 9 -E
C 7) kur pro<luia
B
G fera C B: ou bien Iclon lamultiplicJtion
6
preceddnte E D 1
-EF5G-DG+5
A 1 C
7
E .,- G F l5, Lcl]<1clks nom dc111ontlrcrons fftrc cgalcs C ll en celle fo~tc.
De ro11t k E D-t- G F, foublh.ul: E F, & DG, rcl1e Cil.
Cont1 11jio11. Plm cloncqurs rnulti\'lii: parphis,donne pro n 1 s & moins mnln
pro. . plic !'" rno rn s, donne
1
' l mec pli .
. t 1 - l 1s mu ltiplie. pormorns,on
moms mu tic1111c p llS,~'- pl
.
.. If. Il d
plie pJr plus, <lonncprodu1t rnoms; cc qu 1 a oit l'-
!---------1
monfcr.
On remarquera que le premier argument n'est qu'une vrification sur exemple numrique sans porte gnrale. Mais
la dmonstration gomtrique peut servir de base un dveloppement gnral de (a - b) x (c - d ) = ac - ad - be + bd.
313
314
* A l'intention des lecteurs peu familiers avec le franais archaque, signalons que cocordance, nuict et parfection se disent
aujourd'hui concordance (ou cohrence), nuit et perfection.
315
316
317
318
b~
gle ou mefure .
319
320
+ 6 ax
'
ou y= " +x+ a [f..)' 11 J , I'e6
+sa11-6ay=o,
XX
J,
qui
321
"
!l=J
A
+x+"a
XX
en Y = -a -x +~a.
Ou
j'
on v01t
'
dre que 6a, -XX enIl. mom
dre que x , de
que x etant
mom
6a
x.
(Cramer 1750)
L'obscurit se situe ici uniquement au niveau du langage:
on comprend parfaitement ce que l'auteur a voulu dire. Le
discours embrouill n'est donc qu'un symptme d'une incomprhension plus profonde: le refus de raisonner sur des
nombres ngatifs, htrognes aux positifs.
Notons au passage que le changement de variable x """* -x,
permet Cramer, dans sa dernire phrase, de raisonner sur
des ingalits. Il faut savoir, que les signes < et > s'introduisent ds 1631 dans les livres de l'anglais Thomas Harriot
(Cajori 1928), et l'analyse infinitsimale conduira pratiquer des majorations. Mais jusqu' la fin du XIXe sicle,
la rsolution des inquations n'appartient pas aux rpertoires des connaissances enseignes aux dbutants. (L'ouvrage le plus ancien que j'ai trouv, o un chapitre spcial
est consacr aux ingalits est un trait d'Algbre de Joseph
Bertrand [1870]. On y nonce, et dmontre la rgle du renversement des ingalits, par multiplication des deux membres par un facteur ngatif). (cf. aussi Bourdon 1834).
Bien entendu, l'poque d'Euler on savait fort bien raisonner sur des majorations. Mais on recourt chaque fois
des artifices, analogues celui que Cramer utilise pour viter
d'avoir comparer des nombres relatifs.
Les crits d'Alexis Clairaut (1713-1765) ne favorisent
gure l'investigation pistmologique. Cet auteur adopte
une stratgie pdagogique qui consiste dvelopper abondamment ce qui lui parat parfaitement clair et passer
322
323
r.
=--
324
On s'est demand si c'est bien dans des articles de vulgarisation qu'il faut aller chercher le fond de la pense d'un mathmaticien. Une lecture attentive. des textes ci-dessous rvle que d'Alembert n'aurait certainement pas multipli ses
aveux d'incomprhension et de malaise s'il avait dispos des
explications trs simples qui sont donnes aujourd'hui.
Et puis, ce qui importe ici, ce n'est pas tant le niveau de
comprhension d'un mathmaticien pris isolment, mais
l'impact que le rapport rdig par d'Alembert a eu sur ses
lecteurs. Or l'article Ngatif sera une rfrence constante
pendant un sicle encore. Chacun le citera, en ne tarissant
pas d'loges pour la clart des explications donnes!!!
Voici encore deux passages de l'article Quantit, que le
mme auteur a rdig pour !'Encyclopdie:
325
Selon quelques auteurs , les quantits ngatives font les dfauts des politives.
Selon ces marnes auteurs' puifqu'un dfau' peut excder UQ autre (car, par exemle ,.Io dfaut .de 7 eft plus grand que ceuidC 3); une ~aaminf m:garive prife w1 cer.tain nombre '1c fuis, peut tre pins grmde
qime aune.
D'o il. fuit. que les- quantits ngatiYcs
font homogCDCs emr'eUes.
Maii , ajool.teAt" ils 9 puifque lt dfaut
d'Lme quantit poftive prifo tel nombre.de
fois que !'.on >voudr.1., ne ~Ut jomais furpalfa la quantitl pofcive ; & qu'elle devient itoajours plus dfedive: les quantitb
ngatives fom hcrogenes ~ux politives ';
d'oi i)s concluent que les IJWltUitls ngative. tant! htcrogcnes aux pofitiv~s , &
hom0gene1aux ngatives, il ne peut y avoir
de . r.lP'J'Ort entre une quatUitl pofirive &
une ngative,~ il peut s'en trouver entre deux ngatives_ Par exemple , - J a :
- ; a : : J : s. Le rapport eft ici le mmc
que li les qumuitls toicnt pofci ves. MJis
ils prccndcnt.obfervcr qu'encre 1 & - 1,
& encre - 1 & 1 , la rai Con eft toar-1-fait
difttrcntc. li eft vrai pounam d'un autre
ct que 1: - 1 : : + 1: 1 , puifque le
produit des extrmits ell gal au produit
des mayens ; ainf la notion que donnent
les auteurs des quantith ngarives n'eft pas
parlitement e:u&e.
r.
326
ter quelque chose de rien: opration impossible. Comment donc concevoir une quantit ngative isole?
Et il ajoute:
327
ne diffraient que par leurs positions, pourquoi la racine de l'une serait-elle une quantit imaginaire, tandis
que celle de l'autre serait effective? Pourquoi Fa ne
serait-elle pas aussi relle que .J(l? Conoit-on une
quantit effective dont on ne puisse extraire la racine
carre? Et d'o viendrait le privilge que la premire,
-a, aurait de donner son signe au produit -a x +a ?
Rappelons que l'auteur, Lazare Carnot est membre de
l'Acadmie des Sciences! Ce n'est pas un gamin qui vient
d'chouer au B.E.P.C.! Force nous est de constater qu'en
1803 la chmmunaut scientifique ne reconnaissait pas,
comme notion routinire, l'tude de la variation de la fonction x-+ x2.
En somme, Carnot a fortement particip au progrs mathmatique en ce qui concerne les nombres relatifs, non en
apportant des rponses valables aux questions souleves,
mais en jouant un rle provocateur. Sous l'influence de ces
interrogations harcelantes, les Mobius et les Chasles vont
bientt laborer la gomtrie oriente; en particulier, ils
utiliseront tout un axe pour reprsenter la droite IR en
entier, sans qu'il soit ncessaire de recourir, comme chez
Descartes ou Cramer (loc. cit.) des raisonnements spars sur deux demi-droites opposes.
Voici un exemple d'exercice, longuement comment par
Carnot (1803), et qui fut constamment cit ultrieurement,
jusqu' la popularisation des mthodes de Chasles.
D'un point K extrieur un cercle,
,..,.., '
mener une scante KMM', telle que
la distance MM' soit de longueur
donne C.
t'\
1:- ....
"'
!>
328
Dans un tel contexte, il ne parvient pas interprter la racine ngative de cette quation. Cette difficult se surmonte
facilement de nos jours condition de se plier scrupuleusement aux rgles de la gomtrie oriente qui n'tait pas
encore fonde.
On comprend que la formule de Chasles*, aujourd'hui
considre comme un truisme, ait pu constituer un progrs
considrable. Pour qu'on puisse la formuler, et la faire fonctionner, il aura fallu oprer un renversement complet de
point de vue. Le pralable indispensable devrait tre le franchissement de l'obstacle (3), qui devait conduire au reprage
d'un point sur une droite non par sa distance l'origine,
mais par son abscisse (au sens actuel du terme).
329
330
331
332
En confondant les points T <'l 0, trs voisins si le miroir est de faible ouverture, et en reprsentant par p, p' les distances de P et P' au miroir, par/ la
distance focale, il vient :
p -2/
21
p d' o . 2Pf p' = p'
PP ' = PP . -
2P'f ,
ou
Pl
+ p 'J =
pp ' ,
P' est donc fixe qu<'I que soit Ir rayon P !. Les rayons partis de P qui rencontrent le miroir viennent donc tous passer au point P' aprs rflrxion;
P' est l'image de P.
.............................
P'
Si P est rnt rr F et 0,
le raisonnrmrnt prcdent donne :
1
-p--p =
Fig. 238 . -
333
Toute dmonstration de rgles sur les quantits ngatives isoles, ne peut tre qu'une illusion, puisqu'il
n'y a aucun sens attacher des oprations arithmtiques sur des choses qui ne sont pas des nombres, et
n'ont aucune existence relle.
Ils rvlent le pas dcisif qui reste accomplir, de Laplace Hankel. En 1821, Augustin Cauchy (1789-1857)
publie son cours destin l 'Ecole Polytechnique. Il y fait
d'abord une distinction nette, entre les nombres (rels positifs) et quantits (nombres relatifs). Il prsente ces derniers d'une faon unifie, en introduisant le thme dynamique cher Piaget. Ce point de vue est tempr par un
334
De mme qu'on voit l'ide de nombre natre de la mesure des grandeurs, de mme on acquiert l'ide de quantit (positive ou ngative) lorsque l'on considre chaque
grandeur d'une espce donne comme devant servir
l'accroissement ou la diminution d'une autre grandeur fixe de mme espce. Pour indiquer cette destination, on reprsente les grandeurs qui doivent servir
d'accroissements par des nombres prcds du signe +,
et les grandeurs qui doivent servir de diminutions par
des nombres prcds du signe -.
Cela pos, les signes + ou - placs devant les nombres
peuvent tre compars suivant la remarque qui en a
t faite, des adjectifs placs auprs de leurs substantifs. On dsigne les nombres prcds du signe +
sous le nom de quantits positives et les nombres prcds du signe - sous le nom de quantits ngatives.
Ainsi apparaissent les germes d'une confusion entre les
signes ( + ou -) opratoires et prdicatifs. Les premiers
dsignent une action (accrotre, diminuer) et les seconds
qualifient un tat (positif ou ngatif).
Quoi qu'il en soit, Cauchy dispose d'une mtaphore (positif = augmentation; ngatif = diminution) qu'il va exploiter pendant deux pages pour justifier les proprits additives des nombres relatifs. Et tout coup, sans prvenir le
lecteur (et peut-tre inconsciemment) il abandonne le point
de vue mtaphorique pour aborder dogmatiquement la multiplication.
Il ~rsente d'emble le groupe multiplicatif des signes
+, - ) et assimile les quantits aux lments du produit
cartsien { +, -} x IR+ . Les puristes regretteront sans
doute qu'il ait oubli d'identifier +O et -0. De toute faon
cet expos n'explique pas ce changement inopin d'attitude. Le modle mtaphorique, prsent au dbut, qui
facilite la comprhension des proprits additives, est un
obstacle la comprhension de la multiplication.
Dans ce dernier cas, on peut diminuer un nombre positif,
en le multipliant par un facteur compris entre 0 et 1. Il en
rsulterait des confusions entre ces deux types de diminutions, et dans cette situation embrouille, on ne comprendra
335
plus pourquoi le produit d'une diminution par une diminution est une augmentation. Cauchy aurait pu nanmoins
assimiler le nombre relatif une diminution additive. Il ne
le fait pas).
C'est alors que Cauchy adopte le nouveau point de vue
(que l'on a trouv en germe, chez MacLaurin et Laplace). Il
a la volont de prsenter la multiplication d'une faon formelle, sans voquer de modles concrets ou mtaphoriques.
Il annonce qu'il va oprer sur des symboles, couples d 'un
signe et d'une valeur absolue), et il expose les rgles opratoires auxquelles ces symboles vont tre soumis.
Mais ce franchissement de seuil ne s'accomplira pas sans
bavures. Il commet d'emble la confusion entre signes opratoires et prdicatifs.
Il ne dmontre la composition que pour des signes prdicatifs, et l'applique ultrieurement aux signes opratoires,
sans remarquer cet abus:
336
En analyse, on appelle expression symbolique ou symbole toute combinaison de signes algbriques qui ne
signifie rien par elle-mme, ou laquelle on attribue
une valeur diffrente de celle qu'elle doit naturellement avoir. On nomme de mme quations symboliques toutes celles qui, prises la lettre et interprtes d'aprs les conventions gnralement tablies,
sont inexactes ou n'ont pas de sens, mais desquelles
on peut dduire des rsultats exacts, en modifiant et
altrant selon des rgles fixes ou ces quations ellesmmes, ou les symboles qu'elles renferment.
Ainsi, les nombres complexes seraient des symboles, qui
n'auraient pas de sens par eux-mmes (mais n'est-ce pas,
par dfinition, le cas de tous les symboles!) . Ils n'en acquerraient un qu' la condition de ne pas tre interprts
selon la signification qu'ils devraient avoir! ...
Ce galimatias traduit un malaise sur un sujet o Cauchy a
accompli une uvre dcisive, mais qu'il n'arrive pas expliquer d'une faon tout fait claire.
Signalons enfin, qu'on ne trouve aucune trace de ces
efforts pdagogiques dans l 'uvre scientifique de Cauchy.
Les distinctions subtiles qu'il introduit dans son Cours n 'ont
pas eu d'influence sur le style de ses travaux de recherche.
Enfin! C'est en 1867 que parat l'ouvrage d'Hermann
Hankel Thorie du systme des nombres complexes o
tous les obstacles concernant la thorie des nombres sont
surmonts.
En fait, le changement essentiel - passage du point de
vue concret au point de vue formel - a t accompli
auparavant dans d'autres domaines de la mathmatique.
Dans le cas qui nous occupe, Hankel s'est born appliquer des ides qui commenaient se dgager.
Il est important pour le didacticien de noter que l'auteur
(qui fut aussi un historien des mathmatiques) n'est absolument pas conscient d'avoir mis fin une tension qui persistait depuis Diophante! Son livre est consacr un sujet
plus noble : l'expos formel de la thorie des nombres
complexes, et ce n'est qu'en passant, titre de prliminaires, qu'il liquide le problme des nombres relatifs.
On sait que la conception gomtrique des nombres complexes avait dj t lucide par C. Wessel (1798) et J.R.
Argand (1813). Les publications de ces obscurs auteurs pas-
337
338
339
340
341
342
343
C'est possible en ce qui concerne 0: dans le modle commercial, 0 correspond au bilan quilibr, sans bnfice et
sans dficit. Mais le choix de l'image de 1 est, gnralement
subordonn au choix d'une unit de mesure. Et, il est clair
que si l'image de 1 est arbitraire, la multiplication, sur le
modle, ne peut tre qu'arbitraire. Elle est dtruite par le
moindre changement d'unit.
Les modles proposs consistent reprsenter IR par
divers espaces IE 1 , IE 2 ... qui sont ~ - vectoriels, puis dfinir le produit par une multiplication bilinaire:
IE 1 x IE 2 ~ IE 1 x IE 2 (on en trouvera un exemple la page
suivante).
La rvolution accomplie par Hankel est de refuser la
qute du bon modle. Ce progrs mit beaucoup de temps
s'imposer.
En 1896, Carlo Bourlet veut introduire, pour la premire
fois en France un expos qui se veut complet, des nombres
relatifs, dans un manuel d'enseignement secondaire (Bourlet 1896) . Son ouvrage s'ouvre sur une prsentation soigne
des proprits additives des nombres relatifs, bass sur le reprage d'un point sur un axe, et sur le modle commercial.
Mais ouvrons le chapitre suivant. Comment va-t-on prsenter la multiplication? L'expos se fait soudain dogmatique: la multiplication est parachute grce une dfinition.
Henry Brulard resterait encore sur sa faim, s'il pouvait
utiliser le manuel d'Emile Borel, publi en 1920. Cependant,
la seconde dition, signe Emile Borel et Paul Montel (1926)
utilise une mtaphore, qui est encore adopte aujourd'hui
par quelques manuels (par exemple celui de l'IREM de
Strasbourg, 1979) .
La seule diffrence, dcisive, tient ce que ce modle sert
Montel-Borel comme introduction la multiplication.
Alors que dans le manuel de l'IREM de Strasbourg, les nombres relatifs sont d'abord introduits abstraitement, et dans
un chapitre ultrieur on explique la signification de la
multiplication, grce l'explication suivante :
344
Aulo
Aut o
-~
'i/
Orolle
ObMJVeteur
Orientons l'autoroute en attribuant le signe + notre droite et le signe notre gauche (s1 on avan voulu. on aurait pu faire le choix contraire).
Le zro est devant nous . A1ns1 ( + 150) signifie 150 km vers notre
droite, ( - 80) s1gn1f1e 80 km vers notre gauche. De mme pour la
vitesse des autos
Orien~ons aussi le temps: 0 est l'instant prsent, le signe + est attribu
au futur et le signe - au pass.
( + 1)
+ 110)
( - 1) x ( + 110)
x (
et
345
BIBLIOGRAPHIE
ALEMBERT Jean (d') - Articles Ngatif et Quantit de l'Encyclopdie .
BACHELARD Gaston (1938) - La formation de l'esprit scientifique
Paris Vrin 1975.
BEZOUT Etienne (1772) - Cours de Mathmatiques l'usage des
gardes du Pavillon et de la Marine. Paris. J.B.G. Musier
BOREL Emile (1920)-Algbre (Premier Cycle). Paris Armand Colin.
BOREL Emile et MONTEL Paul (1926) - Algbre. Paris Armand
Colin .
BOURLET Carlo (1896) -Leons d'Algbre lmentaire.
BOURDON Jean (1834) - Elments d 'Arithmtique. Paris Bachelier.
BRAHMEGUPTA and BHASCARA (1817)-Algebra with arithmetic
and mensuration. (Translated by H.T. Colebrooke) London. John
Muray.
CAJORI Florin (1928) - A History of Mathematical Notations
(Vol. I) The Open Court Publishing Company. La Salle. Illinois.
CARNOT Lazare (1803) - Gomtrie de Position . Paris, Duprat.
CAUCHY Augustin (1821) - Cours d'analyse de /'Ecole Royale Polytechnique. Paris. De Bure.
CLAIRAUT Alexis (1749)-Elmens d 'Algbre. Chez David !'Ain.
CRAMER Gabriel (1750) - Introduction l'analyse des lignes
courbes algbriques. Chez les Frres Cramer et Philibert.
DESCARTES Ren (1628)-La Gomtrie . Paris Hermann 1927.
DIOPHANTE d'Alexandrie -Arithmtique. Paris Blanchard 1959.
DUHAMEL J .H.C. (1866) - Des Mthodes dans les Sciences de Raisonnement. (2 partie). Gauthier-Villars. Paris.
EULER Lonard (1770) - Vollstandige Anleitung zur Algebra Opera
Omnia. Series Prima . Volumen Primum 1911.
EUCLIDE - O?uvres compltes. Paris Blanchard . 1966.
346