Histoires daires 1

LA GEOMETRIE DES INDIVISIBLES

Application la quadrature de la spirale dArchimde et celle de la parabole
I - Deux mthodes pour calculer une mme aire: exemple de la spirale dArchimde
La spirale dArchimde est la trajectoire dun point M se
dplaant dun mouvement uniforme sur une droite (OM)
anime dun mouvement de rotation uniforme autour de O.
On munit le plan dun repre (O;

i ;

j ) avec

i =

OA.
On suppose que, linstant t = 0, M est en O, M est en A et
que, linstant t = 1, M = M = A (la droite (OM) a fait un
tour complet).
Les coordonnes polaires du point M sont alors

r = t
= 2 t t
Lactivit propose en Annexe 1 peut faire lobjet dun devoir maison en Terminale Scientifique.
La partie I de cette activit amne tracer la spirale dArchimde (du nom de celui qui ltudia). Les parties
II et III permettent de comprendre deux mthodes utilises au cours de lhistoire pour calculer laire dun
segment de cette spirale: la mthode utilise par Archimde (Des spirales) et la mthode utilise par
Cavalieri (Geometria livre VI).
Cette activit utilise videmment le langage mathmatique moderne et les notions du programme de
Terminale (suites adjacentes, nombres complexes). Elle nest donc pas rigoureusement calque sur les textes
historiques.
A) Mthode dArchimde
Il sagit de prouver que
"laire comprise entre la spirale et la droite revenue sa position initiale est gale au tiers du cercle
dcrit autour du point fixe comme centre avec un rayon gal au segment de droite parcouru par le
point pendant une rvolution de la droite" ([3] p.11),
cest dire que laire de la surface S dlimite par la spirale et le segment [OA] est le tiers de laire du disque
de centre O et de rayon OA.
Comme dans lactivit de lAnnexe I, Archimde construit partir de la surface S dont il veut calculer laire
une figure inscrite et une figure circonscrite, ces deux figures tant constitues de secteurs angulaires.
Cependant, afin dviter tout recours linfini, Archimde utilise deux raisonnements par labsurde, en
sappuyant sur le rsultat suivant, quil a dmontr :
"il est possible de circonscrire laire indique une figure plane telle quelle vient dtre dcrite, de
manire que la figure circonscrite dpasse laire indique dune aire infrieure toute aire propose,
et dy inscrire une autre figure plane, de manire que laire indique dpasse la figure inscrite dune
aire infrieure toute aire propose" ([3] p.54).
Notons, pour simplifier, A laire de la surface S et A le tiers de laire du cercle de rayon OA.
- Si A < A, il est possible de circonscrire la surface S une figure daire A" telle que lon ait :
A" A < A A.
Or Archimde dmontre que A < A" do la contradiction.
- Si A > A, il est possible dinscrire dans la surface S une figure daire A telle que lon ait :
Histoires daires 2
A A < A A.
De la mme faon que prcdemment, Archimde aboutit une contradiction aprs avoir prouv
que : A > A.
B) Mthode de Cavalieri (mthode des indivisibles)
Il sagit de dcouvrir une surface dont laire est connue et qui a la mme aire que le "segment de spirale" S.
Le principe consiste considrer une surface comme une juxtaposition de lignes puis dire que si deux
surfaces sont formes de lignes respectivement de mme longueur, leurs aires sont gales.
Les lignes constituant une surface sont appeles ses "indivisibles".
Ainsi, les indivisibles du segment de spirale sont
des arcs de cercle dont on calcule la longueur. A
chaque darc de cercle MH, on fait correspondre
un segment [HQ] de mme longueur, tous ces
segments constituant les indivisibles dun segment
de parabole, dont on sait calculer laire.
C) Comparaison des deux mthodes
La deuxime mthode prsente plusieurs avantages par rapport la premire:
- elle nexige pas de procder des encadrements.
- elle ne fait pas intervenir de raisonnements par labsurde, ni, comme dans sa version moderne, de
limite de suite.
Cependant, comme on le verra plus loin, elle manque de rigueur.
Pour procder par raisonnement par labsurde, comme dans la premire mthode, il faut avoir ide du
rsultat dmontrer et la valeur de laire cherche constitue le point de dpart de la dmonstration. La
deuxime mthode, au contraire, permet daboutir la valeur de laire cherche et parat donc intressante
comme moyen de dcouverte de nouveaux rsultats.
II - Archimde, prcurseur de la mthode des indivisibles? Exemple de la parabole
La quadrature de la parabole est le premier exemple connu de quadrature exacte dune surface dlimite par
un segment et une ligne courbe. Mais surtout, cet exemple est intressant car cest le premier pour lequel
nous possdons des indications sur son mode de dcouverte. Pendant longtemps, nous avons cru que les
Anciens ne nous avaient livr que la partie synthse de leurs travaux, et nous navions aucune ide des
mthodes danalyse qui leur avaient permis daccder aux rsultats dmontrs.
Dans le Trait de la Mthode (II
me
sicle av. J.C.), Archimde, sadressant Eratosthne, expose comment
lui a t rvl le rsultat concernant la quadrature de la parabole. Mais cett e lettre, initialement crite, puis
recopie de nombreuses fois sur papyrus jusquau IV
me
sicle ap J.C., fut ensuite recopie sur parchemin,
une seule fois notre connaissance, au X
me
sicle. Au XII
me
sicle, afin que le parchemin puisse tre
rutilis, les thormes dArchimde furent gratts, les pages furent coupes, rcrites et relies en un livre
de prires. Ce nest quen 1906 que lon dcouvrit le "palimpseste dArchimde" (un parchemin dont on a
effac lcriture pour crire un nouveau texte est nomm un palimpseste), et encore bien plus tard, aprs
restauration du manuscrit, que lon eut connaissance de son contenu, prsent dans le paragraphe suivant.
Histoires daires 3
A) La mthode "mcanique" dArchimde
Sur la figure ci-contre, larc ABC est un arc de
parabole de sommet B, A et C tant symtriques
par rapport laxe (BE) de cette parabole.
La droite (FC) est tangente en C cette parabole.
P est un point quelconque du segment [AC].
Les droites (AF) et (PM) sont perpendiculaires
(AC). K est le milieu de [AF]. [PM] coupe [KC]
en N et la parabole en Q.
Le point O est le symtrique de C par rapport K
et le segment [TT], de milieu O est le translat du
segment [PQ].
Les rsultats suivants sont utiliss par Archimde et peuvent tre tablis titre dexercice sur la parabole en
Premire S (voir Annexe 2):
1) BE =
1
4
AF
2) PQ et PM sont proportionnels AP et AC.
Du rsultat 1, on dduit que laire du triangle ABC est le quart de laire du triangle AFC.
Du rsultat 2, on dduit que
PQ
PM
=
AP
AC
=
KN
KC
=
KN
KO
.
Comme TT = PQ, il en rsulte que TT KO = PM KN .
A partir de ce moment du raisonnement interviennent les considrations mcaniques: un levier fictif [OC], de
point fixe K, auquel on suspendrait le segment [TT] lextrmit O et le segment [PM] au point N resterait
en quilibre.
On peut faire de mme pour tous les segments [PQ], P variant de A jusqu C: le levier sera toujours en
quilibre. Les segments [PQ] sont dplacs et fixs par leur milieu au point O, et le long du segment [KC]
sont suspendus les segments [PM], ce qui revient suspendre le triangle AFC en son centre de gravit G.
G est le point de [KC] tel que KG =
1
3
KC =
1
3
KO.
Archimde en dduit donc que laire du triangle AFC est le triple de laire de la surface S comprise entre
larc de parabole ABC et le segment [AB] .
B) Critique de la mthode
Au moment de la conclusion, il est sous-entendu que la "somme" des longueurs des segments [TT]
correspond laire de la surface S. Cest cette ide qui est la base de la "thorie" des indivisibles des
mathmaticiens italiens du XVII
me
sicle.
Nous verrons plus loin que cette ide est dangereuse. Cependant, cest plutt le caractre exprimental de la
mthode qui a amen Archimde ne la considrer que comme une mthode heuristique et laccompagner
dune vritable dmonstration du rsultat qui lui a ainsi t rvl.
Dans La Quadrature de la parabole, on trouve deux dmonstrations par double raisonnement par labsurde,
du mme type que celle concernant la spirale dArchimde. En introduction, Archimde annonce
Dosithe :
Histoires daires 4
"Je tenvoie les dmonstrations que jai rdiges pour le thorme, en montrant dabord comment je
lai examin par la mcanique, ensuite aussi comment je lai prouv par la gomtrie".
La dmonstration par la mcanique dont il sagit ici sapparente celle qui a t dveloppe dans la partie A,
mais remplace les segments [PQ] par des trapzes. La critique concernant les indivisibles nest donc plus
fonde, puisquon ne considre pas la surface comme un agrgat de lignes, mais on lencadre entre deux
surfaces const itues de trapzes. Cest donc une dmonstration parfaitement rigoureuse. Mais, faisant appel
la mcanique, elle ne satisfait pas pleinement Archimde, qui propose ensuite une dmonstration purement
gomtrique.
C) Dmonstration par la gomtrie
La dmonstration fournie par Archimde exige davoir ide du rsultat dmontrer: laire de la surface S est
les quatre tiers de laire du triangle ABC, B tant le point o la tangente la parabole est parallle (AC).
Elle comporte deux raisonnements par labsurde, le premier utilise explicitement le principe dEudoxe (ou
principe dexhaustion) pour aboutir une contradiction; le deuxime le sous-entend.
Figure 1 Figure 2
Les deux parties utilisent une succession de polygones inscrits dans le segment de parabole: au triangle ABC,
on ajoute les triangles ADB et BEC, du mme type que le premier triangle (triangles inscrits dans la
parabole, ayant un ct parallle la tangente la parabole au sommet oppos), et on recommence le
processus autant de fois que lon veut (voir figure 1).
A chaque tape, on ajoute une aire qui est le quart de la prcdente (rsultat dmontr dans lactivit de
lannexe 3) : laire de chacun de ces polygones inscrits est donc du type
Aire(ABC) (1 +
1
4
+
1
4
2
+ +
1
4
n
)
Par ailleurs, Archimde a dmontr que "lorsque certaines grandeurs sont tablies dans une srie dont la
raison est quatre, la somme de toutes ces grandeurs, augmente du tiers de la plus petite, vaudra les quatre
tiers de la plus grande".
En langage moderne, nous dirions : 1 +
1
4
+
1
4
2
+ +
1
4
n
+
1
3

1
4
n
=
4
3
et nous dmontrerions aisment cette
formule grce au rsultat concernant la somme de termes conscutifs dune suite gomtrique.
La traduction moderne de la dmonstration dArchimde est :
1
4
n
+
1
3

1
4
n
=
1
3

1
4
n -1
Histoires daires 5
Donc
1
4
n -1
+
1
4
n
+
1
3

1
4
n
=
1
4
n -1
+
1
3

1
4
n -1
=
1
3

1
4
n -2
De proche en proche
1
4
+
1
4
2
+ +
1
4
n
+
1
3

1
4
n
=
1
4
+
1
3

1
4
=
1
3
1 +
1
4
+
1
4
2
+ +
1
4
n
+
1
3

1
4
n
= 1 +
1
3
=
4
3
La consquence est que 1 +
1
4
+
1
4
2
+ +
1
4
n
<
4
3
et que
4
3
- (1 +
1
4
+
1
4
2
+ +
1
4
n
) =
1
3

1
4
n
donc que (1) chacun des polygones inscrits a une aire infrieure
4
3
aire (ABC)
(2) la diffrence entre ces deux aires est le tiers de laire des triangles ajouts la dernire tape.
Premier raisonnement par labsurde : Supposons que laire de la surface S soit suprieure aux quatre tiers
de laire du triangle ABC et notons c = aire (S)
4
3
aire (ABC).
La figure 2 permet de comprendre que laire du paralllogramme AACC est suprieure laire de la
surface S, donc que laire du triangle ABC, moiti de laire du paralllogramme AACC est suprieure la
moiti de laire de la surface S. De la mme faon, sur la figure 1, laire de la surface noire est suprieure la
moiti de laire de la surface comprise entre le parabole et le triangle ABC
Par consquent, quand laire de S on retranche laire de ABC, puis laire de ADB et de BEC, et ainsi de
suite , on retranche de laire de S plus de sa moiti, puis du reste obtenu encore plus que sa moiti, et lon
continue toujours ainsi: daprs le principe dEudoxe, on aboutira finalement une aire infrieure c.
Notons S le polygone inscrit, runion du triangle ABC et de tous les triangles qui lui ont t ajouts :
aire (S) aire (S) < c, cest dire aire (S) aire (S) < aire (S)
4
3
aire (ABC).
On en dduit donc aire (S) >
4
3
aire (ABC) ce qui contredit le rsultat (1) prcdemment dmontr .
Deuxime raisonnement par labsurde : Supposons que laire de la surface S soit infrieure aux quatre tiers
de laire du triangle ABC et notons c =
4
3
(aire ABC) aire(S).
Quand on construit la succession des polygones inscrits, il arrive une tape o laire des triangles ajouts est
infrieure c ( en dautres termes, il existe un entier n tel que aire (ABC)
1
4
n
< c).
A plus forte raison, le tiers de laire des triangles ajouts la dernire tape est infrieur c, cest dire,
daprs le rsultat (2) dmontr prcdemment,
4
3
(aire ABC) aire du polygone inscrit <
4
3
(aire ABC) aire(S)
On en dduit que aire du polygone inscrit > aire (S) ce qui est impossible.
En 1647, Grgoire de Saint-Vincent reprend cette dmonstration en introduisant lide de passage la limite
et de somme infinie. Cest lui que lon doit lexpression "mthode dexhaustion" (par puisement
linfini). Il parle galement de "triangle maximal" inscrit dans un segment de parabole. Sa dmonstration est
assez proche de notre faon de raisonner et peut faire lobjet d activits pour des lves de Premire S (voir
Annexe 3).
En Terminale, on calculera laire "sous la parabole" et on pourra retrouver le rsultat dArchimde. Mais les
polygones introduits pour cela nont rien de commun avec ceux dArchimde, puisquils sont forms de
rectangles juxtaposs, et non de triangles.
Histoires daires 6
III - La mthode des indivisibles de Cavalieri.
Cette mthode est explicite dans son trait intitul "Geometria Indivisibilibus" publi en 1635.
A) Son principe
Les "lignes dune surface selon la rgle AB" sont tous les segments intersection de cette surface avec des
parallles la droite (AB).
Par extension, comme pour lexemple de la spirale dArchimde, les "lignes dune surface" pourront tre
des arcs de cercle, lessentiel tant quils soient "parallles entre-eux".
En passant la dimension suprieure, Cavalieri parle aussi des "plans dun solide".
Cavalieri nonce: "Il y a la mme proportion entre deux figures planes quentre toutes les lignes de ces deux
figures, dtermines selon une rgle quelconque" .
Il nonce aussi un rsultat analogue pour deux solides et les plans de ces solides.
B) Son intrt
Soient deux surfaces S
1
et S
2
, S
1
ayant une aire A
1
connue.
Si toutes les "lignes" de S
2
sont proportionnelles toutes les lignes de S
1
, le rapport de proportionnalit tant
k, on en dduira que laire de S
2
est A
2
= k A
1
.
Ainsi, dans la partie I, k = 1: laire du segment de parabole est
1
3
t R
2
(ce rsultat tait connu depuis
Archimde). On en dduit que laire du segment de spirale est
1
3
t R
2
.
Dautres rsultats peuvent ainsi tre obtenus bien plus rapidement que la mthode traditionnelle :
un disque de rayon R a les mmes indivisibles quun triangle rectangle qui a pour cts de langle droit le
rayon R et le primtre du disque 2 t R.
Donc, il a la mme aire que ce triangle:
1
2
R 2 t R.
On retrouve bien que laire du disque est t R
2
.
Histoires daires 7
C) Les prcautions prendre
Cette mthode ne repose pas sur des bases rigoureuses : on ne peut pas dire quune surface est une
juxtaposition de segments, qui sont chacun daire nulle, et encore moins quune aire est une somme de
longueurs.
Mme si Cavalieri ne dit jamais les choses ainsi, il fait cependant le lien entre son "thorme" et la proprit
nonce par Euclide:
Si
a
1
b
1
=
a
2
b
2
=
a
n
b
n
alors
a
1
+ a
2
+ a
n
b
1
+ b
2
+ b
n
=
a
1
b
1
en se demandant si on pouvait ltendre une somme infinie.
Cavalieri est donc prudent vis vis de sa mthode, dautant plus quil se rend rapidement compte quelle
peut conduire des rsultats faux.
Citons, par exemple, le paradoxe suivant, dnonc
par Toricelli:
EF = k EG avec k =
AB
BC
(k = 1)
La mthode des indivisibles aboutirait donc :
aire (DAB) = k aire (DBC).
Or ces deux aires sont gales.
Aussitt, Cavalieri rectifie sa mthode en ajoutant que les surfaces doivent tre coupes dans la mme
direction.
Cette restriction ne suffit pas liminer tous les paradoxes. En effet, dans une lettre Torricelli, Cavalieri
prsente le paradoxe suivant:
IC= LE
Toutes les lignes du triangle HAD sont gales
toutes les lignes du triangle HDG et elles ont la
mme direction.
Pourtant, HAD et HDG nont pas la mme aire.
Et dans cette mme lettre, il propose une explication : les lignes de HAD sont plus serres que celles de
HDG.
Pour remdier ce problme, il restreint encore sa mthode, ne pouvant jamais tre certain quun nouveau
paradoxe ne va pas malgr cela mettre sa thorie en dfaut.
D) Lvolution ultrieure
Torricelli, ami de Cavalieri, et adepte des indivisibles, tire parti de ces paradoxes en faisant voluer la
mthode vers une vritable thorie, plutt quen lappauvrissant : en 1644, dans ses "Opera Geometrica", il
accorde une paisseur aux indivisibles.
Histoires daires 8
Ainsi, dans le cas du premier paradoxe, la ligne
EF a pour longueur k EG.
Mais, en contrepartie, lpaisseur de EG est
k paisseur de EF.
Donc ces indivisibles sont bien gaux et il en
dcoule que les aires des triangles sont gales.
La mthode des indivisibles faon Cavalieri, ou faon Torricelli eut dautant plus de succs quelle permit de
dcouvrir de nouveaux rsultats : par exemple, vers 1630, Roberval rsout la quadrature de la cyclode.
Les mathmaticiens du XVII
me
sicle reconnaissent tous que la mthode de double rduction labsurde
dArchimde est trs longue et ne peut aboutir que si on a ide lavance du rsultat dmontrer. Cela
amne Descartes distinguer deux faons de dmontrer: lanalyse et la synthse. Il avance lide selon
laquelle les gomtres grecs nont transmis par crit que la synthse, gardant pour eux, comme un prcieux
secret, lanalyse, qui leur avait permis de dcouvrir le rsultat. (Ce nest quen 1906 quon eut la preuve
quArchimde avait bien une telle mthode de dcouverte).
Constatant que la gomtrie des indivisibles et celle des anciens sont compatibles, certains mathmaticiens
du XVII
me
sicle, comme Fermat, accompagnent systmatiquement leurs rsultats dune dmonstration la
manire dArchimde, la seule faon leurs yeux datteindre lgitimement la certitude.
Dautres, comme Roberval, Pascal, Wallis, posent priori lquivalence des deux mthodes et se dispensent
de la dmonstration archimdienne. Mais ils seraient prts la faire sil y avait contestation.
Le XVII
me
sicle a donc, grce la gomtrie des indivisibles, vu natre une rflexion sur la manire de
dmontrer, et a introduit la distinction entre analyse et synthse, entre mthode dinvention et mthode de
dmonstration.
Du dbat entre "mthode ancienne" et "mthode moderne" naquit aussi lide, soutenue en particulier par
Pascal, que la science est constamment en marche et que lon peut faire mieux que les anciens. Et cest en
effet Pascal qui, par sa faon de pratiquer la gomtrie des indivisibles, va ouvrir la voie au calcul
infinitsimal.
Histoires daires 9
Annexe 1
I - Trac de la spirale
Le plan est rapport un repre orthonorm direct (unit 8 cm)
A tout rel t appartenant [0 ; 1], on fait correspondre le point M
t
daffixe t e
i 2 t t
1) Placer les points M
0
, M
1/8
, M
1/4
, M
3/8
, M
1/2
, M
5/8
, M
3/4
, M
7/8
et M
1.
2) Relier ces points par une courbe I de faon obtenir lensemble de tous les points M
t
(on admet que I a
une tangente horizontale en O).
II - Calcul de laire de la surface S dlimite par I et par le segment [M
0
M
1
]
1) On dsigne par r la rotation de centre O et dangle -
t
4
et par r" la rotation de centre O et dangle
t
4
.
Limage dun point M par r est note M et limage du point M par r" est note M".
Placer sur la figure les images par r des points M
1/8
, M
1/4
, M
3/8
, M
1/2
, M
5/8
, M
3/4
, M
7/8
et M
1
et les images
par r " des points M
1/8
, M
1/4
, M
3/8
, M
1/2
, M
5/8
, M
3/4
et M
7/8
en traant tous les arcs de cercle de centre O
joignant un point et son image.
On obtient ainsi 8 arcs du type MM extrieurs S et 7 arcs du type MM" contenus dans S.
2) Calculer la somme A
8
des aires des 8 secteurs circulaires du type OMM et la somme A
8
des aires des 7
secteurs circulaires du type OMM".
En dduire un encadrement de laire de S.
3) Gnralisation: on imagine que lon fait le mme travail partir des points M
0
, M
1/n
, M
2/n
M
n-1/n
, M
1
de I et en utilisant les rotations de centre O et dangle
2 t
n
et
2 t
n
.
Prouver quil en rsulte que laire de S est comprise entre A
n
et A
n
avec A
n
=
t
n
3
(1
2
+ 2
2
+ + (n-1)
2
+ n
2
) et A
n
=
t
n
3
(1
2
+ 2
2
+ + (n-1)
2
).
4) Dmontrer par rcurrence que, pour tout entier naturel n, 1
2
+ 2
2
+ + n
2
=
n (n+1) (2n+1)
6
5) En dduire la limite de A
n
et celle de A
n
quand n tend vers linfini.
Quen rsulte-t-il pour laire de S ?
III - Une surface qui a la mme aire que S
1) Placer un point H quelconque sur le segment [M
0
M
1
]. On dsigne par K le point dintersection de I et du
cercle de centre O qui passe par H. Tracer larc de cercle HK contenu dans S. On dsigne par N le point qui a
la mme abscisse x que H et qui a pour ordonne la longueur de larc de cercle HK.
2) Pour x =
1
8
, x =
1
4
, x =
3
8
, x =
1
2
, x =
5
8
, x =
3
4
, x =
7
8
, tracer larc HK, calculer sa longueur puis placer le
point N.
3) Dans le cas gnral, prouver que, si x est labscisse de H, la longueur de larc de cercle HK est :
2 t x (1 x).
En dduire lquation de la courbe P forme par tous les points N. Tracer P.
4) Calculer laire de la surface S comprise entre P et laxe des abscisses.
Histoires daires 10
On remarque que les surfaces S et S sont gales.
Au XVII
me
sicle, en Italie, est apparue la "thorie des indivisibles": selon cette thorie, une surface serait
compose de lignes appeles ses "indivisibles" et laire dune surface serait la "somme" de ses indivisibles.
Ainsi, daprs Cavalieri, les arcs de cercles HK sont les indivisibles de la surface S et les segments [HN]
sont les indivisibles de la surface S . Les indivisibles des surfaces S et S ont mmes l ongueurs, et par
consquent il en dduit que ces surfaces ont mme aire.
La thorie des indivisibles a donc permis dobtenir un rsultat exact bien plus rapidement que par la
mthode de la partie 2. Dans bien dautres cas, elle permet de calculer rapidement des aires. Mais elle na
pas de fondement thorique rigoureux et, applique sans prcautions, elle peut donner des rsultats faux.
Cependant, on peut la considrer comme anctre du calcul intgral.
Histoires daires 11
Annexe 2
Le plan est muni dun repre dorigine A.
a et b sont deux rels positifs, a non nul.
La parabole I dquation y = - ax
2
+ bx recoupe
laxe des abscisses au point C.
On dsigne par B le sommet de I et par E le
milieu du segment [AC].
1) a) Calculer les coordonnes de B.
b) Ecrire une quation de la tangente I en C
et en dduire lordonne du point F o cette
tangente coupe laxe des ordonnes.
c)Vrifier que BE =
1
4
AF.
2) P tant un point quelconque du segment [AC], on dsigne par Q et M les points de I et de [FC] qui ont la
mme abscisse x que P.
a) Exprimer en fonction de x les ordonnes des points Q et M.
b) Vrifier que PQ et PM sont proportionnels AP et AC.
Histoires daires 12
Annexe 3
Partie A
La parabole P ci-contre reprsente la fonction carr.
A et C sont deux points de P, dabscisses respectives a et
c.
1) Prouver quil existe un point B de P situ entre A et C,
en lequel la tangente P est parallle (AC).
Dterminer labscisse de ce point B.
2) M est un point variable de P, situ entre A et C.
Prouver que le triangle AMC a une aire maximale
lorsque M est en B.
Remarque: ce rsultat " laire du triangle AMC est maximale lorsque la tangente la courbe en M est
parallle (AC)" se gnralise toute courbe convexe.
Archimde a, le premier, calcul laire de la surface S comprise entre la parabole P et le segment [AC]. Il
utilise des triangles inscrits dans la parabole P (cest dire ayant leurs trois sommets sur P) et tels que la
tangente P en lun des sommets soit parallle au ct oppos ce sommet.
Le mathmaticien Grgoire de Saint -Vincent, dans la premire moiti du XVII
me
sicle, a repris le travail
dArchimde concernant la quadrature de la parabole. Il utilise ces mmes triangles, quil appelle "triangles
maximaux", en vertu du rsultat de la partie A.
Les parties B et C ont pour but de comprendre la mthode dArchimde, mais la dmarche suivie et le
langage utilis sont plus modernes, et assez proches du travail de Grgoire de Saint-Vincent.
Partie B.
Sur la figure 2, ABC est un triangle maximal: A, C et B ont pour abscisses respectives a, c et
a+c
2
.
AACC est un paralllogramme tel que (AA) et (CC) sont parallles laxe des ordonnes: son aire est
double de celle du triangle ABC. I est le milieu de [AC]. K est le projet orthogonal de A sur (CC).
1) Calculer les longueurs BI et AK en fonction de a et c.
2) En dduire que laire du triangle ABC est
(c a)
3
8
Partie C (on utilisera le rsultat de la partie B)
Sur la figure 3, les triangles ABC, ADB et BEC sont maximaux.
1)Prouver que les triangles ADB et BEC ont la mme aire et dterminer le rapport entre cette aire et celle du
triangle ABC.
figure 1
Histoires daires 13
2) En dduire que laire de la surface colorie en noir est le quart de laire de la surface grise.
3) On note A
0
laire du triangle ABC et A
1
laire de la surface colorie en noir.
On recommence le processus en construisant les triangles maximaux de cts [AD], [DB], [BE] et [EC]: on
obtient 4 triangles dont la somme des aires est A
2
, et ainsi de suite
A ltape n, on obtient 2
n
triangles maximaux dont la somme des aires est A
n
.
a) Prouver que la suite (A
n
) est une suite gomtrique de raison
1
4
et exprimer A
n
en fonction de A
0
et de n.
b) On note S
n
la somme A
0
+ A
1
+ + A
n
. Calculer, en fonction de n, le rapport u
n
=
S
n
A
0
.
c) Quelle est la limite de la suite (u
n
) ? Que peut-on en dduire pour laire S de la surface comprise entre la
parabole P et le segment [AC]?
Figure 2 Figure 3
Histoires daires 14
Bibliographie:
[1] Fragments dhistoire des mathmatiques II. - Brochure APMEP n 65, 1987.
[2] Activits gomtriques pour le collge et le lyce prsentes dans une perspective historique
(volume II). - IREM de Strasbourg, 1996.
[3] ARCHIMEDE (traduction de CHARLES MUGLER) - Des spirales. Quadrature de la parabole. "Les
Belles Lettres" Tome II. 1971
[4] Aux origines du calcul infinitsimal. - IREM de Basse-Normandie - Ellipses, 1999
|5] JEANDHOMBRES - Nombre, mesure et continu. - CEDIC. 1980
|6] PIERRE DEDRON et JEANITARD - Mathmatiques et Mathmaticiens - Magnard, 1965
[7] CLAUDE PORTENIER - Le nombre t et les quadratures. Site Internet de lUniversit de Marburg
[8] Participation de lICC la restauration du palimpseste dArchimde - Bulletin de lInstitut
Canadien de Conservation n28. 2001. Site Internet de lICC.