Vous êtes sur la page 1sur 56

ARCHIMEDE

Le gnie de Syracuse
(- 287 ; - 212)

Franois Lavallou - Association PlayMaths


Quelques repres historiques

Guerres puniques:
-264, -241 : dclin naval de Carthage (corbeau)
-218, -201 : Campagne dItalie dHannibal
-149, -146 : Carthago delenda est

Platon (-427, -346)


Eudoxe de Cnide (-395,-342)
Aristote (-384, -322)
Euclide (-325, -265)
Eratosthne (-276, -194)
Franois Lavallou - Association PlayMaths
Franois Lavallou - Association PlayMaths
PELUSE

Franois Lavallou - Association PlayMaths


BIOGRAPHIE dARCHIMEDE (-287, -212)

Petit-fils dAcupatre : Arnaire


Fils de PHIDIAS, astronome (diamtre soleil/lune)
Proche de Hiron II (tyran de Syracuse entre -270 et -215)
Voyage en Egypte
Correspondances suivies avec:
Eratosthne (-276, -194)
Conon de Samos (-280, -220)
Dosithe (?)

Peu dinfos hors de ses uvres


Franois Lavallou - Association PlayMaths
ARCHIMEDE lINGENIEUR

Contraint par Hiron produire

Domaines multiples :
Statique
Hydrostatique
Mcanique
Hydraulique
Balistique
...

Franois Lavallou - Association PlayMaths


ARCHIMEDE lINGENIEUR

Vis (Philon de Byzance, Vitruve)


Mise au point lors de son voyage en Egypte
Lien avec hlices, Conon?

Franois Lavallou - Association PlayMaths


ARCHIMEDE lINGENIEUR

Plantarium
qui runit tous les mouvements clestes connus de lpoque

Allusion de Cicron lors du pillage de Syracuse


Sphres dArchimde (plutt que les cercles?)
Allusion cette machine:
Platon (?), Eudoxe de Cnide, Calliste

Anticythre?

Franois Lavallou - Association PlayMaths


Anticythre

Franois Lavallou - Association PlayMaths


INGENIEUR MILITAIRE

Catapultes, mains de fer (corbeau)


Fortifications (Plutarque, Polybe, Tite-Live)
On ne prte quaux riches
Orgues hydrauliques (Tertullien)
En fait : Alexandrin Ktsibios, puis Hron

Franois Lavallou - Association PlayMaths


INGENIEUR MILITAIRE

Miroirs ardents
Anthmius de Tralles (architecte de sainte Sophie)
24 miroirs plans

Discussions sur efficacit, faisabilit

Diocls (focale de la parabole, cissode)

Archimde : aucun ouvrage technologique!

Franois Lavallou - Association PlayMaths


INGENIEUR MILITAIRE

Exprience du port de Syracuse


Contredire le Stagirite (Aristote)
Dynamique seuil (Cf. tome I pXI)
Erreur jusquaux temps modernes
Archimde reprends la dmonstration dAristote:
Si la force pouvait se diviser, un seul homme suffirait
pour un bateau (argument pour initis)

Expriences de physique = outil de justification de la thorie


Vrification de proposition de math applique
Vrification de loi physique
Sources : Plutarque (vie de Marcellus), Proclus
Franois Lavallou - Association PlayMaths
Donnez-moi un point dappui (et un levier), et je soulverai la terre.

Franois Lavallou - Association PlayMaths


MORT dARCHIMEDE
Sige de Syracuse
Instruments
de dfense
Guerre puniques

Marcellus :
Attaque de nuit
Prise Syracuse
Mort dArchimde
Hommage

Franois Lavallou - Association PlayMaths


MORT dARCHIMEDE

Cercles ou sphres?

Franois Lavallou - Association PlayMaths


Mathmatiques pr-archimdienne

Elments dEuclide: arithmtique, gomtrie pythagoricienne,


figures planes, cercles
Thorie des similitudes reprise par Eudoxe de Cnide
Thtte : polydres rguliers
Construction et existence des 5 polydres platoniciens
Rapport de surfaces cercle-carr, de volume sphre-cube
vol(cne)=vol(cylindre)/3
Figures de rvolution : cne, cylindre, sphre
Tore : Archytas de Tarente
Quadratures : lunules dHippocrate
Quadratrice dHippias dElis + coniques
Franois Lavallou - Association PlayMaths
uvre mathmatique dArchimde
Crativit, varit, perfection logique
Trouvailles sur polygones rguliers

Mthodes nouvelles champs gomtriques nouveaux


Cercle : 3+10/71 < pi < 3+1/7
Volume entre surface courbe et plane

Mthode dexhaustion perfectionne (compression)


Premire intgration de lhistoire :
quadrature de la parabole
Spirale

Mathmatiques appliques :
Trait de statique, mcanique rationnelle
Franois Lavallou - Association PlayMaths
Traits dArchimde

De lquilibre des figures planes (Livre I) (*)


La quadrature de la parabole (*)
De lquilibre des figures planes (Livre II) (*)
De la sphre et du cylindre (I-II)
Des spirales (*)
Sur les conodes et les sphrodes (*)
Des corps flottants (I-II) (*)
De la mesure du cercle
Larnaire
De la mthode

Franois Lavallou - Association PlayMaths


Traits cits mais perdus

Arithmtique (archimdien)
Cinq polydres rguliers
Treize polydres semi-rguliers (archimdiens) (Pappus)
Statique du levier et des centres de gravit
Parties dun trait doptique (dans lAlmageste de Ptolme)
Traits de gomtrie lmentaire : proprit du cercle
(version arabe de 15 thormes et traduction latine Liber assumptorum)
Texte original reconstitu en Dorien (pXIX)

Franois Lavallou - Association PlayMaths


POLYEDRES

15 ARCHIMEDIENS

5 PLATONICIENS
Franois Lavallou - Association PlayMaths
Lemmes
Proposition XI (gnralisation Hippocrate de Chios)

EA2 + EB 2 + EC 2 + ED 2 = 4 R 2

Franois Lavallou - Association PlayMaths


Lemmes
Proposition IV

Surface de larbelos = surface du cercle BD

arbelos : couteau de savetier


Franois Lavallou - Association PlayMaths
Codex : +I, +IVme sicle
Eutoxe (n en +480) : uvres compltes dArchimde
IXme : lettres dArchimde en trois codex A, B, C.
1265 : traduction du grec au latin
1450 : nouvelle traduction du codex A (jacques de Crmone)
1492 : copie du codex A (Laurent le magnifique)
1544 : 1re dition (Ble)
1564 : codex A perdu
B perdu
Palimpseste = codex C
Hommage aux moines copistes
peu derreurs mathmatiques
scribes connaissant la gomtrie classique

Difficults conservation des connaissances


Franois Lavallou - Association PlayMaths
Palimpseste trouv en 1899
CODEX C
Monastre du saint Spulcre

Traduction de Heiberg
en 1906

Texte grec des corps flottants


(en latin seulement auparavant)

La mthode
(seulement cit par quelques auteurs)

Stomachion

Franois Lavallou - Association PlayMaths


Stomachion

Combinatoire?

14 pices

17152
combinaisons!

Franois Lavallou - Association PlayMaths


Le Codex C

Franois Lavallou - Association PlayMaths


Pese
de la
Parabole

Franois Lavallou - Association PlayMaths


De lquilibre des figures planes

Livre I

Livre II

Centre de gravit dun segment de parabole (prop. 9)


Tronc de parabole (prop. 10)

Franois Lavallou - Association PlayMaths


De la sphre et du cylindre
(1) laire de toute sphre est quivalente au quadruple
de laire de son grand cercle : S = 4 R 2
(2) laire de tout segment de sphre est quivalente laire dun cercle dont
le rayon est gal au segment de droite joignant le ple du segment un
point quelconque de la circonfrence limitant le segment : S = r 2

h r r
=
r 2R h
r2 = 2 R h

R
r 2 = 2 R h

Franois Lavallou - Association PlayMaths


De la sphre et du cylindre

Franois Lavallou - Association PlayMaths


De la sphre et du cylindre
(3) 3
Volume : Vcyl = Vsphre
2
3 4 3
R 2R = R
2
2 3

3
Surface : Scyl = Ssphre
2
3 4
R + R + 2 R 2R = R 2
2 2
2 3

Il est clair que tout cylindre, ayant comme base le grand


cercle de la sphre, vaut une fois et demie cette sphre

Franois Lavallou - Association PlayMaths


De la sphre et du cylindre
(3)

Construction de lheptadcagone de Gauss


Bernouilli? daniel

Ces proprits prexistaient, lies la nature des figures indiques,


mais elles taient ignores de ceux qui se sont occups de gomtrie
avant nous, personne dentre eux ne stant aperu que les mesures
de ces figures sont comparables.
Franois Lavallou - Association PlayMaths
De la sphre et du cylindre
Application du passage la limite dEudoxe
Perfectionnement :
double rduction par labsurde (mais?) encadre la courbe
par deux suites convergentes.

DEFINITIONS (axiomata):
position courbe/droite ; surface/plan ;
secteur sphrique ; rhombe

POSTULATS (lambanomena) :
proprit godsique de la droite
(notion la plus abstraite)
proprit semblable pour une figure plane

Franois Lavallou - Association PlayMaths


De la sphre et du cylindre
5me postulat (dernier) :
De plus, parmi les lignes ingales, les surfaces ingales, les
volumes ingaux, le plus grand dpasse le plus petit dune
grandeur telle que, ajoute elle-mme, elle peut dpasser
toute grandeur donne ayant un rapport avec les grandeurs
compares entre elles.
Outil de base pour construire des encadrements
Rigueur exemplaire:
Dmocrite NON Eudoxe OUI
notion densemble archimdien
Notation moderne:
A>B : il existe un entier n tel que n(B-A)>C
Franois Lavallou - Association PlayMaths
De la sphre et du cylindre

Outil de base pour construire des encadrements


Mise en garde
contre la validit logique
de latomisme mathmatique.

Rigueur exemplaire:
Dmocrite NON
Eudoxe OUI

Franois Lavallou - Association PlayMaths


Des spirales (peri elikon)

Conon? SPIRALE dARCHIMEDE


Prop. 1 : Si un point se dplace dun mouvement uniforme
sur une certaine ligne et quon prend et quon prend sur
cette ligne deux segments, les segments pris entre eux
dans le mme rapport que les temps mis par le point les
parcourir.
Prop. 1-11 : dplacement uniforme dun point sur une droite
Prop. 12-28 : proprits de la spirale

Prop. 21-28 : quadrature de la spirale

Trisection de langle?
Franois Lavallou - Association PlayMaths
Des spirales (peri elikon)

Intgration = cas despce


Parabole triangles
Spirale secteurs circulaires
(rayons en progressions arithmtiques)

Sspirale = Scercle/3
Franois Lavallou - Association PlayMaths
Sur les conodes et les sphrodes

Nouveaux objets mathmatiques:


Conodes :
Parabolodes, Hyperbolodes (2 nappes)
Sphrodes :
Ellipsodes allongs (/grand axe)
aplatis (/petit axe)

Ariste, Euclide :

ellipse parabole hyperbole

Apollonius : plan quelconque


Franois Lavallou - Association PlayMaths
Sur les conodes et les sphrodes

Chef duvre denchanement logique : 32 propositions

2 propositions arithmtiques (procd de sommation)


Propositions 3-20 : proprits des figures
prop. 3-6 : segment de parabole, rapports ellipse-cercle, ellipse-ellipse
prop. 7-9 : construction cne (sommet-ellipse), cylindre (axe-ellipse)
prop. 10 : segment dun troncs de cne
prop. 11-14 : sections planes parabolode, hyperbolode, ellipsode
prop. 15-17 : contacts plan de ces figures
prop. 18 : partage dun ellipsode en 2 parties gales (surface, volume)
par un plan passant par son centre

Franois Lavallou - Association PlayMaths


Sur les conodes et les sphrodes

prop. 19-20 : mthode gnrale de compression


Calcul intgral en germe
prs de 2000 ans avant Leibniz et Newton!

Raisonnement gomtrique + extrme logique => rdaction longue

Volume du segment droit du parabolode = 10 pages!

Double rduction par labsurde / valeur intuite du rsultat (pese)

prop. 21-32 : valeurs de segments de conodes et sphrodes


simplicit arithmtique

Franois Lavallou - Association PlayMaths


Des corps flottants I et II

Pousse dArchimde

Couronne de Hiron (- 265)

Franois Lavallou - Association PlayMaths


De la mesure du cercle

Extrait dun trait sur la quadrature du cercle : 3 prop.

prop. 3 : circonfrence p dun cercle de diamtre d

(3+10/71)d < p < (3+1/7)d

double le nombre de cts 96 cts

R an
a2 n =
2
2 an
R + R +
2

racines carres : Archimde ?


Franois Lavallou - Association PlayMaths
De la mesure du cercle

1351 265
Problme : estimation de 3 par et ?
780 153
Proposition:
( 3 an ) ( 3 + an ) = 3 an2 ( 3 an ) 2 an

3 an2 3 + an2
an +1 = an + =
2 an 2 an

5 26 1351
a0 = a1 = a2 = (erreur < 0,00003%)
3 15 780

1 A
Classique : an +1 = an + converge vers A
2 an
Franois Lavallou - Association PlayMaths
De la mesure du cercle

1351 265
Problme : estimation de 3 par et ?
780 153
Proposition:
5 26
a0 = a1 =
3 15

5 265 26 a c a c + a c >0
< < < < <
3 153 15 b d b d + b d >0
= 10 ; = 1
3 4 3 22
Exemple : < < = 1 ; = 6 < <
1 1 1 7
3 22 223 22
< < = 10 ; = 1 < <
1 7 71 7
Franois Lavallou - Association PlayMaths
LArnaire
Pindare : le sable chappe au nombre .
Myriade : 10.000
Grec moderne : (106)
Premiers nombres : 1 108
Nombres seconds : 108 est la nouvelle unit, de 108 1016
Nombres troisimes : de 1016 1024
8
et ainsi de suite jusqu : A = MM = 108.10
108 8.1016
et encore ainsi de suite ... jusqu A = 10
Dimension du cosmos ( =/= )
Aristarque de Samos (- 310, - 230) : Copernic de lantiquit
Phidias : soleil = 12 x lune
Archimde : description minutieuse de sa mesure
du diamtre du soleil.
Franois Lavallou - Association PlayMaths
De la mthode

Prcurseurs exhaustion

Bryson (- 520, - 450)


Anaxagore (- 500, - 428)
Antiphon (- 480, - 411)
Hippocrate de Chios (- 470, - 400)
Eudoxe de Cnide (- 408, - 355)

Principe dEudoxe :

Soit une suite Mn de nombres positifs tels que : M n < M n1 2

Alors, quel que soit > 0, il existe un entier n tel que : M n <
Franois Lavallou - Association PlayMaths
La quadrature de la parabole
Rfrences : Elments des sections coniques
(Euclide, Ariste)

Th. I
B
Th. II
Z E
EB = B
B

E


A A

Th. III : carr des segments EZ/AD = BZ/B ( y = ax 2)


Franois Lavallou - Association PlayMaths
La quadrature de la parabole
Tout segment de parabole est gal aux quatre tiers du
triangle ayant mme base et mme hauteur.

prop. 6 - 17 :
procd statique
(mthode de la pese)

prop. 18 - 24 :
mthode gomtrique
(mthode de la compression)

Pourquoi la parabole, pourquoi pas le cercle?


Franois Lavallou - Association PlayMaths
La quadrature de la parabole

Principe de la pese
S1

G M1
A O
X XG
S2(X)

S2
M2
Franois Lavallou - Association PlayMaths
La quadrature de la parabole
ABC : triangle maximal (Grgoire de saint-Vincent, 1647)

y
JN diamtre
C
AM/AI = (MN/IC)2 = 1/4
N
AI/MI = AI/PK = 4/3 J

AI = 2.HK => HK = 2.HP


A M
x
S(ABP) = S(ABK)/2 = S(ABC)/8 I

H
P K
S(ABP) + S(ACN) = S(ABC)/4

Franois Lavallou - Association PlayMaths


B
La quadrature de la parabole
Pese dune parabole (voie moderne )
K, O, (P2) : B lieu des milieux de (P1) et (P2)
C
N

M
R Q

HN = HP => MN = PQ
D
=> NMA, PQR, ABR semblables K P
=> MN/AM = AR/AB = MQ/AB
=> MN/MQ = AM/AB = KH/K H
S
N
KW.MN = KH.MQ (P1)
(P2) O
m(P) = m(ABC)/3 = 4.m(ASB)/3
A M B
Franois Lavallou - Association PlayMaths
La quadrature de la parabole
Mthode de la compression T = S(BON)
N

Procd itratif :
B
Tn = T (1 + 1/ 4 + ... + 1/ 4 ) n
P = 4T/3 ?

S(BIEN) = 2S(BON) > P E


O
=> T > P/2 I

Archimde :
la somme des grandeurs dune srie de
raison 4 augmente du tiers de la plus petite
vaudra les quatre tiers de la plus grande .

4T / 3 Tn = (1/ 3) (T / 4n ) > 0

Franois Lavallou - Association PlayMaths


La quadrature de la parabole
Mthode de la compression T = S(BON)
N
(H1) u = P 4T/3 > 0
B
Il existe n tel que : P = 4T/3 ?
P Tn < u => Tn > 4T/3 E
contradiction O
I
(H2) u = 4T/3 P > 0
4T / 3 Tn = (1/ 3) (T / 4n ) > 0
Il existe n tel que : 4T/3 Tn < u => Tn > P contradiction

P = 4T/3
Franois Lavallou - Association PlayMaths
Influence dArchimde

Fondement du calcul intgral, statique (XVII, XVIII)

2000 ans perdus

Regret de Pascal, Newton

Franois Lavallou - Association PlayMaths


ARCHYTAS de Tarente (-435, -347)

Mathmatiques = art applicable tous les problmes :

Il semble bien que l'art du calcul rapport la philosophie soit

bien suprieur aux autres arts, de par sa capacit traiter, mieux

encore que ne le fait la gomtrie, n'importe quel problme avec

une certitude plus grande.

Franois Lavallou - Association PlayMaths


Franois Lavallou - Association PlayMaths