Histoires daires 1

LE PROBLEME ISOPERIMETRIQUE
- Le problme de la reine Didon : la construction de Carthage
Au 9 sicle avant Jsus-Christ, la reine Didon dut senfuir aprs que son frre Pygmalion eut
assassin son poux afin de prendre le pouvoir.
Elle accosta Byrsa ("la peau de buf"), citadelle proche du Tunis actuel, et demanda asile aux
autochtones. On ne lui concda que ce que pourrait couvrir la peau dun buf. Elle dcoupa la peau en si
fines lanires quelle obtint, bout bout, une longueur fantastique de prs de 4 km. Puis elle fit disposer cette
corde sur le sol de faon enclore la plus grande surface possible.
Lide de Didon fut de former un cercle plutt quun triangle, un rectangle, un carr ou tout autre
forme gomtrique ferme et sans point double. En fait, elle choisit de former un demi cercle avec sa corde,
la cte de Byrsa tant presque rectiligne.
Plus tard, les cartes de certaines cits mdivales montrent que les mmes principes ont inspir leurs
btisseurs.
Carte mdivale de Cologne [6]
- Les yeux du bouillon : pourquoi les yeux du bouillon sont-ils toujours ronds ?
Imaginons un petit volume dhuile en suspension dans un bouillon, plus populairement appel les
yeux du bouillon.
Les molcules les plus mal laise se trouvent linterface (cest dire entre lhuile et le bouillon)
donc plus linterface est grande, plus le systme est mal laise. De plus lnergie dinterface (surplus
dnergie chimique par rapport au cas o la goutte dhuile serait dans de lhuile) est proportionnelle laire
de ce "bord". Or un systme prend spontanment la configuration dnergie minimale cest --dire que la
goutte en suspension va adopter la forme ayant pour un volume donn la plus petite interface possible : la
sphre.
Histoires daires 2
Ce qui explique pourquoi, lorsque deux yeux du bouillon se rencontrent, ils fusionnent pour ne
former quune sphre.
Ce qui explique aussi pourquoi lorsquon coupe en deux un il , on obtient deux yeux de la mme
forme , et aussi pourquoi lorsquon dforme lgrement un tel il il reprend spontanment sa forme initiale
[1], [2].
- Et pour les yeux qui surnagent me direz-vous ?
Sur le bouillon tout se passe, pour ce que lon voit, comme si la goutte dhuile tait plane avec une
certaine surface et cette goutte tend adopter la forme qui minimise son interface cest--dire son primtre :
on retrouve les disques la surface du liquide.( Ce raisonnement ne tient pas compte de lnergie potentielle
de gravit et suppose quil sagit dune goutte trs peu lourde et trs tale).
Ces deux problmes, trs diffrents apparemment, sont mathmatiquement identiques et se formulent
de la manire suivante :
De toutes les courbes fermes, sans point double, de longueur donne, celle qui entoure la surface de
plus grande aire est le cercle.
Ce rsultat se gnralisant lespace par :
De toutes les surfaces daire donne, celle qui englobe le solide de plus grand volume est la sphre.
Znodore ( mathmaticien grec du II
me
sicle avant Jsus-Christ) baucha le premier une dmonstration
base sur la gomtrie lmentaire: il montra que parmi tous les polygones n cts de primtre donn ( n
fix), le polygone rgulier est celui qui entoure la surface daire la plus grande. En augmentant le nombre n
de cts des polygones inscrits dans une courbe ferme de primtre p et daire S, et en utilisant les rsultats
sur la mesure du cercle dArchimde, il en dduisit lingalit isoprimtrique pour le cercle.
t 4
2
p
S s
En ralit, le trait sur les figures isomtriques crit par Znodore a
disparu et ce que lon sait sur ce travail na t transmis que par
Thon dAlexandrie dans son commentaire sur lAlmageste et par
Pappus dans son livre V. [4]
transmis que par Thon dAlexandrie dans son commentaire sur
lAlmageste et par Pappus dans son livre V [4].
On sait galement que le trait de Znodore contenait des rsultats de gomtrie dans lespace et que
Znodore montra que la sphre tait le solide de plus grande surface pour un volume donn, rsultat
qui fut utilis pendant des sicles avant den avoir une vritable preuve.
Steiner ( mathmaticien suisse du dbut du
XIX
me
sicle) simplifia de beaucoup cette
dmonstration. [5], [6]
Histoires daires 3
Il utilisa le procd de symtrisation dune courbe convexe mais ne parvint pas pour autant achever le
travail.
Cest Weierstrass (mathmaticien allemand du XIX
me
sicle) qui acheva la dmonstration en
prouvant lexistence et lunicit de la courbe optimale.
Sa dmonstration utilise tous les rsultats de Jakob Bernoulli (mathmaticien suisse du XVII
me
sicle), prcurseur du calcul des variations. [11]
Ce nest que depuis 1960 , avec le dveloppement de la thorie gomtrique de la mesure, que le
problme isoprimtrique fut rsolu dans lespace.
Dans ce chapitre, nous dmontrons quelques uns de ces rsultats.
Plus prcisment ,
- Paragraphe 1 : le cas des triangles.
- Paragraphe 2 : les quadrilatres.
- Paragraphe 3 : les polygones n cts (dmonstration selon Znodore).
- Paragraphe 4 : les courbes fermes (dmonstration de Steiner).
- Paragraphe 5 : les polygones ayant un nombre pair de cts par la mthode de Steiner.
- Annexe 1 : lemme sur les triangles rectangles semblables.
- Annexe 2 : si on fixe la base et le primtre dun triangle, celui de plus grande aire est le
triangle isocle.
- Annexe 3 : construction partir de deux triangles isocles ayant des bases diffrentes et les
autres cts de mme longueur, de deux autres triangles isocles semblables, dont la somme
des primtres reste inchange et dont la somme des aires est plus grande.
La dmonstration de Weierstrass ntant pas dans lesprit de ce travail sur les aires et
exigeant des connaissances sur le calcul des variations , ne sera pas aborde ici. Cependant,
le lecteur intress pourra trouver les principes de la preuve en consultant [3] ,[8], [10].
- Annexe 4 : activit
Histoires daires 4
1 - Les triangles
Parmi tous les triangles ayant un primtre donn p, le triangle quilatral est celui de plus grande
aire.
Notons ABC un triangle de primtre p et qui serait daire maximale .
Si le triangle ABC ntait pas quilatral, il aurait deux cts de longueurs diffrentes, par exemple AB et
AC.
Daprs le rsultat de lannexe 2, on peut construire un triangle ABC isocle en A , de primtre p et qui
aurait une aire plus grande que celle de ABC.
Ceci est impossible car ABC a laire la plus grande parmi tous les triangles de primtre p.
ABC est donc quilatral et son aire vaut
3 12
p
2
.
Finalement tous les triangles ayant un primtre donn p et une aire S vrifient lingalit
isoprimtrique :
3 12
2
p
S s
Le cas dgalit tant obtenu pour le triangle quilatral de ct
3
p
, celui-ci est donc le triangle daire
maximale parmi tous ceux de primtre p.
Calculons laire du polygone
n
P rgulier n cts de primtre p. On utilisera un langage actuel.
Notons
n
S cette aire.
On a ) ( AOB aire n S
n
=
n
p
n
n
n
p
n
p
n
OA
n
p
h AOB aire = = =
t
t
t
cos
sin
2
2
1
cos
2
1
2
1
) (
n
n
p
AOB aire
t
tan 4
) (
2
2
= do
n
n
p
S
n
t
tan 4
2
= .
De ltude prcdente, on dduit que:
Finalement, tous les polygones ayant un nombre n de cts ,un primtre p et une aire S vrifient
lingalit isoprimtrique suivante :
n
tan n 4
p
S
2
t
s
Le cas dgalit tant obtenu pour les polygones rguliers n cts et de primtre p qui est donc celui
de plus grande aire.
Histoires daires 5
Znodore montra la maximalit de laire du polygone rgulier n cts parmi ceux n cts de mme
primtre au II
me
sicle avant Jsus-Christ .
Znodore sappuya sur les travaux dArchimde pour conclure ses travaux sur lingalit isoprimtrique
(en utilisant la mthode dexhaustion) :
Pour une courbe C de primtre p entourant une aire S, on approche la courbe C par des polygones
n
g
non forcment rguliers ayant de plus en plus de cts. Approcher signifiant que la suite des primtres
n
q
des
n
g tendra vers p et que la suite
n
a des aires des
n
g tendra vers S.
Pour tout n, on a par lingalit isoprimtrique prcdente
t
t
4
tan 4
2 2
n n
n
q
n
n
q
a s s
Lingalit prcdente montre si n tend vers linfini que
t 4
2
p
S s
autrement dit que le cercle, dont laire est gale
t 4
2
p
, est la courbe dlimitant une aire maximale parmi
toutes les courbes de primtre donn p. Cette ingalit portant le nom dingalit isoprimtrique ds
lpoque de Znodore, fut utilise pendant des sicles et pourtant ce raisonnement, mme si le rsultat est
vrai, tait bien entendu incomplet lpoque.
Il repose sur deux faits, ignors par les mathmaticiens grecs de lpoque :
- lexistence dune limite
- dans lapproximation par des polygones ayant un nombre croissant de cts, le primtre et laire
se comportent de manire continue. La courbe doit tre suffisamment rgulire.
Histoires daires 6
2 - Les quadrilatres.
Parmi tous les quadrilatres ayant un primtre donn p, le carr est celui de plus grande aire.
Notons Q un quadrilatre ABCD ayant un tel primtre et qui serait daire maximale.
On remarque que Q est convexe.
Sinon, il existe deux sommets de Q, A et C par
exemple, tels que le segment [AC] ne soit pas
contenu dans Q.
Si B est le symtrique de B par rapport (AC),
le quadrilatre ABCD a le mme primtre p et
possde une aire plus grande que celle de Q.
Deux cts conscutifs de Q sont de mme longueur
Supposons par exemple que AB = BC .
Formons le triangle ABC isocle de base AC et
de mme primtre que ABC.
En utilisant le rsultat de lannexe 2, on montre
que le quadrilatre ABCD est de primtre p et
daire plus grande que celle de ABCD ce qui
contredit que Q est daire maximale.
Tous les cts ayant mme longueur, Q est donc un losange.
Montrons que Q est un carr.
La diagonale AC coupe le losange ABCD en deux parties
superposables.
Il suffit donc de prouver que langle B

est droit lorsque

laire S de Q est maximale.
Notons O le milieu de [AC].
On a S = h AC = a sin AB AC o h est la hauteur
du triangle ABC issue de B et a langle en A dans ce
triangle.
Or
4
p
AB= et a cos
2
p
a cos . AB . 2 OA . 2 AC = = =
donc S = ) 2 ( sin
16
2
a
p
.
Histoires daires 7
Cette quantit est maximale quand a = 45, cest dire quand langle C B

A vaut 90.
Finalement tous les quadrilatres ayant un primtre donn p et une aire S vrifient lingalit
isoprimtrique suivante :
16
p
S
2
s
Le cas dgalit tant obtenu pour le carr de ct
4
p
, celui-ci est donc le quadrilatre daire
maximale parmi tous ceux de primtre p.
3 - Les polygones ayant un nombre n de cts
Parmi tous les polygones ayant n cts et de mme primtre p, le polygone rgulier est celui qui a la
plus grande aire.
Notons P un polygone ayant n cts, un primtre fix p et qui soit daire maximale.
Les sommets de P sont les points
i
A , n i ,.., 1 = .
On prouve, comme pour les quadrilatres, que P est convexe.
Les n cts de P ont mme longueur.
n = 8
Supposons que deux cts conscutifs ne soient pas de mme
longueur. Par exemple
3 2 2 1
A A A A = .
Formons le triangle isocle
3
A
2
' A
1
A
de mme primtre que
3
A
2
A
1
A
.
Laire de
3
A
2
' A
1
A
tant plus grande que celle de
3
A
2
A
1
A
, le
polygone P de n cts, dont les sommets sont les mmes que ceux de
P lexception de
2
A remplac par
2
' A , a le mme primtre que P
et une aire plus grande ce qui contredit la maximalit de laire de P.
On en dduit que deux cts conscutifs ont mme longueur et
finalement tous les cts galement.
Les angles forms par les cts conscutifs du polygone P sont identiques
Supposons par exemple que deux angles, forms par deux
cts conscutifs du polygone P soient diffrents.
Plus prcisment, on suppose que
2
1
o o > o B E

A
1
= o
et D C

B
2
= o .
Comme CD BC EB AE = = = on en dduit que :
BD AB > .
Histoires daires 8
En utilisant le rsultat dmontr dans lannexe 3, on peut alors construire deux triangles AEB et BCD
isocles et tels que :
- D ' C ' BC B ' E ' AE CD BC EB AE + + + = + + +
- les angles B ' E

A et D ' C

B soient gaux
- la somme des aires des triangles AEB et BCD soit strictement plus grande que la somme des
aires des triangles AEB et BCD.
En remplaant dans P les cts AE, EB, BC, CD respectivement par AE, EB, BC, CD, on obtient un
nouveau polygone P ayant n cts, de mme primtre que celui de P mais daire plus grande ; ce qui
contredit la maximalit de laire de P.
Par consquent, tous les angles internes du polygone P sont gaux et P est un polygone rgulier.
Finalement, Znodore montra que le polygone rgulier n
cts est celui de plus grande aire parmi ceux de mme
primtre.
Calculons laire du polygone
n
P rgulier n cts de primtre p.
On utilisera un langage actuel.
Notons S
n
cette aire.
On a ) (AOB aire n S
n
=
n
p
n
n
n
p
n
p
n
OA
n
p
h AOB aire = = =
t
t
t
cos
sin
2
2
1
cos
2
1
2
1
) (
n
n
p
AOB aire
t
tan 4
) (
2
2
= do
n
n
p
S
n
t
tan 4
2
= .
De ltude prcdente, on dduit que:
Finalement, tous les polygones ayant un nombre n de cts, un primtre p et une aire S vrifient
lingalit isoprimtrique suivante :
n
n
p
S
t
tan 4
2
s
Le cas dgalit est obtenu pour le polygone rgulier n cts et de primtre p. Parmi tous les
polygones ayant n cts et de mme primtre p, le polygone rgulier est celui qui a la plus grande
aire.
Znodore montra la maximalit de laire du polygone rgulier n cts parmi ceux n cts de mme
primtre au II
me
sicle avant Jsus-Christ .
Histoires daires 9
Il semble que Znodore sappuya sur les travaux dArchimde pour conclure ses travaux sur lingalit
isoprimtrique (en utilisant la mthode dexhaustion) :
Pour une courbe C de primtre p entourant une aire S , on approche la courbe C par des polygones g
n
non forcment rguliers ayant de plus en plus de cts. Approcher signifie ici que la suite des primtres q
n
des polygones g
n
tendra vers p et que la suite a
n
de leurs aires tendra vers S.
Pour tout n, on a par lingalit isoprimtrique prcdente
t
t
4
tan 4
2 2
n n
n
q
n
n
q
a s s
Lingalit prcdente montre, en faisant tendre n vers linfini, que
t 4
2
p
S s
autrement dit que le cercle, dont laire est gale
t 4
2
p
, est la courbe dlimitant une aire maximale parmi
toutes les courbes de primtre donn p. Cette ingalit portant le nom dingalit isoprimtrique ds
lpoque de Znodore, fut utilise pendant des sicles et pourtant ce raisonnement, mme si le rsultat est
vrai, tait bien entendu incomplet lpoque.
Il repose sur deux faits , ignors par les mathmaticiens grecs de lpoque :
- lexistence dune limite
- dans lapproximation par des polygones ayant un nombre croissant de cts, le primtre et laire se
comportent de manire continu, la courbe devant avoir certaines proprits de rgularit.
4 - Les courbes fermes.
Supposons quil existe une courbe C ferme de primtre p donn et qui dlimite une aire
maximale ; montrons alors quune telle courbe est un cercle.
C est une courbe convexe
Si C ntait pas convexe, il existerait deux points
P et Q de C tels que le segment de droite [PQ]
soit extrieur la courbe.
On peut alors crer une courbe C en remplaant
dans C larc PQ par son symtrique par rapport
au segment [PQ].
La courbe C a le mme primtre que C et
possde une aire plus grande ce qui contredit la
maximalit de laire de C.
Histoires daires 10
On peut partager le domaine dlimit par C en deux
domaines de primtre et daire identiques.
C tant une courbe ferme de longueur donne p, on peut
partager cette courbe en deux arcs C et C" de longueur
2
p

partir dun point P quelconque de C.
On notera Q lautre extrmit des deux arcs.
Le segment [PQ] partage lintrieur de C en deux parties dont
les aires seront notes S et S" .
Supposons que S > S".
Notons C1 larc symtrique de C par rapport au segment [PQ]. La courbe runion des deux arcs C et
C1 est une courbe ferme de primtre p et daire gale 2S cest--dire suprieure celle de C ; ce
qui contredit la maximalit de laire dlimite par C, donc S = S".
C est un cercle
Il suffit de montrer que C est un demi-cercle de diamtre PQ. En effet le mme raisonnement montrera
que C" est aussi un demi-cercle de mme diamtre et par suite C sera un cercle.
Soit A un point de C distinct de P et de Q. On note o
langle Q A

P .
Montrons que
2
t
o = .
Supposons que
2
t
o = et dcoupons le domaine H dlimit
par C et [PQ] en deux lunules (bleues sur la figure) et le
triangle PAQ.
Laire du triangle PAQ est o sin AQ AP et on note S
et S" les aires des lunules.
Construisons un nouveau domaine D de la faon suivante : on conserve les deux lunules dlimites par larc
C et les segments [AP] et [AQ] que lon juxtapose au triangle APQ dangle A

gal
2
t
.
Le domaine D ainsi cr est dlimit par un arc de mme mesure que Cet par le segment [PQ] (remarquons
que ce segment a chang de mesure).
Son aire quant elle est gale S + S" + AQ AP et est donc suprieure celle de lancien domaine.
Soit D le symtrique de D par rapport la droite (PQ).
De faon vidente, ' D D est un domaine de mme primtre que celui dlimit par la courbe C.
On a ) ' ( D D aire = ) ( 2 D aire > ) ( 2 H aire qui est laire dlimite par la courbe C ; ce qui
contredit la maximalit de cette aire.
Histoires daires 11
Par consquent, tous les points A de C distincts de P et Q vrifient :
2
Q A

P
t
= autrement dit sont sur un
demi -cercle de diamtre [PQ].
Considrons alors une courbe C ferme arbitraire de primtre p donn.
Cette courbe dlimite un domaine du plan daire S.
Le cercle de primtre p a pour rayon
t 2
p
r = et a une aire
t
t
4
2
2
p
r A = = qui est maximale parmi toutes
les courbes fermes de mme primtre.
On en dduit lingalit isoprimtrique :
Si C est une courbe ferme de primtre p dlimitant une rgion daire S, on a :
t 4
p
S
2
s
Le cas dgalit tant obtenu pour le cercle de primtre p.
Ce raisonnement, du Jacob Steiner, date de 1836.
Ce dernier pensait avoir prouv que le cercle tait la courbe ferme daire maximale parmi toutes les
courbes de mme primtre.
Cependant, tout ce raisonnement repose sur lexistence dune telle courbe daire maximale ce que Steiner ne
put dmontrer.
Il fallut attendre les annes 1960, avec ldification de la thorie de la mesure gomtrique, pour que
lexistence dune telle courbe optimale soit rigoureusement dmontre.
5 - Les polygones 2n cts.
Parmi tous les polygones ayant 2n cts et de mme primtre p, le polygone rgulier est celui qui a la
plus grande aire.
Notons P un polygone ayant 2n cts, un primtre fix p et qui soit daire maximale.
Les sommets de P sont les points
i
A , n i 2 ,.., 1 = .
On prouve, comme pour les quadrilatres, que P est convexe.
Les 2n cts de P ont mme longueur.
Cest la mme dmonstration que celle de Znodore.
Chaque segment de droite ] [
n i i
A A
+
, n i ,.., 1 = coupe le polygone en deux parties de mme aire.
Les cts de P ayant tous mme longueur, chaque ] [
n i i
A A
+
coupe le polygone en deux polygones
1
P et
2
P de mme
primtre.
Si laire de
1
P tait plus grande que celle de
2
P , notons '
1
P le
symtrique de
1
P par rapport ] [
n i i
A A
+
. Le polygone P
form de la runion des polygones
1
P et '
1
P serait encore un
polygone de mme primtre mais daire plus grande que celle
de P.
Histoires daires 12
P est un polygone rgulier
En effet, coupons le polygone P par le diamtre ] [
n k k
A A
+
en deux polygones
1
P et
2
P .En toute gnralit
on peut supposer k = 1.
Pour montrer que P est rgulier, il suffit de montrer
que tous les sommets
i
A de P distincts de
1
A et de
n
A
+ 1
se trouvent sur le cercle de diamtre
] [
1 1 n
A A
+
cest--dire que langle
1 1

+ n i
A A A =
2
t
.
En toute gnralit, on peut supposer que n i s s 2 et
que
1
P A
i
e .
Supposons que
1 1

+ n i
A A A = o avec
2
t
o =
Partageons le domaine enclos par
1
P en trois :
- le triangle
1 1 + n i
A A A que nous noterons ) (o T
- le polygone
1
H =
i
A A A ..
2 1
- le polygone
2
H =
1 1
..
+ + n i i
A A A .
Le triangle ) (o T a pour aire o sin
1 1

+ n i i
A A A A . Cette aire est maximale si
2
t
o = do lide de
crer un nouveau polygone P de la faon suivante.
On conserve les polygones
1
H et
2
H (en bleu sur la figure) et on remplace ) (o T par
|
.
|

\
|
2
t
T ;
on obtient un polygone '
1
P 1 + n cts dont ] [
1 1 n
A A
+
est un ct.
Crons le symtrique '
2
P de '
1
P par rapport ] [
1 1 n
A A
+
puis juxtaposons '
1
P '
2
P .
On obtient un polygone P qui a n 2 cts, qui a pour primtre p et tel que :
|
|
.
|

\
|
|
.
|

\
|
+ + = = )
2
( ) ( ) ( 2 ) ' ( 2 ) ' (
2 1 1
t
T aire H aire H aire P aire P aire
( ) )) ( ( ) ( ) ( 2 ) ( 2 ) (
2 1 1
o T aire H aire H aire P aire P aire + + = = .
Ce qui implique que ) ( ) ' ( P aire P aire > et contredit la maximalit de laire de P et prouve le rsultat.
Cette dmonstration qui allge de beaucoup la dmonstration de Znodore est due Jacob Steiner.
Cependant, elle ne fournit une ingalit isoprimtrique que pour les polygones ayant un nombre pair de
cts.
Histoires daires 13
Annexe 1
Lemme:
T tant un triangle rectangle dhypotnuse c et dont les autres cts sont a et b, T un triangle
rectangle dhypotnuse c et dont les autres cts sont a et b, on suppose que T est semblable T.
Alors on a lgalit: cc = aa + bb
Ce petit lemme dcoule directement du thorme de Pythagore et peut faire lobjet dun exercice en classe de
seconde;
T et T sont semblables donc on a lgalit
' b
b
' a
a
' c
c
= =
En particulier
' c
' ca
a = et
' c
' cb
b = .
' c
) ' b ( c
' c
) ' a ( c
' bb ' aa
2 2
+ = + = ) ' b ' a (
' c
c
2 2
+ = cc
puisque T est rectangle dhypotnuse c.
Histoires daires 14
Annexe 2
Parmi tous les triangles dont on fixe le primtre et la base, celui qui a la plus grande aire est le triangle
isocle.
Premire dmonstration
A et B tant deux points du plan, on considre tous les triangles de base constante gale AB et de primtre
p.
Si d est la mdiatrice de [AB], notons K le point de d tel que KA + KB = p - AB.
Comme KA = KB, le triangle AKB est isocle.
Notons I le milieu de [AB].
Soit M un point du plan. On appelle H son projet orthogonal sur D.
Montrons que si le primtre de AMB est gal p alors IH s IK.
Autrement dit :
si MA + MB = p AB alors IH s IK.
Ce qui quivaut, par contrapose, prouver :
si IH > IK alors MA + MB = p AB.
Notons d la perpendiculaire en H d et soit B le
symtrique de B par rapport d.
Le triangle AHB tant isocle, et langle M H

B tant
gal langle ' B H

M on montre aisment que A, H et B

sont aligns.
Comme HB = HB
on a HA + HB = HA +HB = AB.
Supposons donc que IH > IK. On a HA + HB > KA + KB
donc HA + HB > p AB.
Il suffit donc de prouver que MA + MB > HA + HB
cest--dire que MA + MB > AB.
Or MA + MB = MA + MB > AB par lingalit triangulaire.
Conclusion
La hauteur IK est donc la hauteur maximale dun triangle de primtre p et de base AB .
Remarquons au passage que cette hauteur maximale vaut ) 2 (
2
1
AB p p .
En effet comme KA = KB, on a IA
p
AB p AK = =
2
) (
2
1
;
Dautre part, ) AB . p p ( IA . p
p
IA AK IK 2
4
1
4
2
2
2 2 2
= = = et donc IK= ) 2 (
2
1
AB p p .
Histoires daires 15
Montrons alors quun triangle AMB de hauteur IK, de
base AB et de primtre p est forcment isocle.
Sinon, avec les notations prcdentes et le mme
raisonnement (ici H =K) on montre que
AM + MB = AM +MB > AK +KB =AK + KB
Cest dire que le primtre de AMB est suprieur p.
Ce qui prouve que si la base AB et le primtre p du triangle sont fixs, le triangle isocle de base AB
est celui qui a la plus grande hauteur donc celui daire maximale .
On prouve au passage que :
parmi tous les triangles dont la hauteur et la base sont fixs, autrement dit dont laire est fixe, le
triangle isocle est celui de plus petit primtre.
Histoires daires 16
Autre dmonstration faisant intervenir la formule de Hron
On rappelle que si un triangle a des cts de
longueur x, y et a , son aire est donne par la
formule : ) )( )( ( y l x l a l l S =
2
y x a
l
+ +
= reprsente le demi primtre du
triangle .
On suppose quun triangle est de base a et de primtre p fix.
Notons x et y ses deux autres cts.
Laire dun tel triangle est donne par la formule )
2
)(
2
)(
2
(
2
y
p
x
p
a
p p
S = .
De plus,
p a y x = + +
donc )
2
)(
2
)(
2
(
2
x p a
p
x
p
a
p p
S + + =
)
2
(
2
) ( )
2
(
2
2
a
p p
x a p x a
p p
S + = .
Laire S est maximale si
2
S lest, cest--dire si )
2
(
2
) (
2
a
p p
x a p x + est maximale.
Le maximum est atteint pour
2
) ( a p
x

= et dans ce cas
2
) ( a p
a p y

= =
2
) ( a p
= x .
Autrement dit laire est maximale lorsque le triangle est isocle.
Histoires daires 17
Annexe 3
A partir de deux triangles isocles AEB et GCD tels que AE = EB = GC = CD ,
on peut construire deux autre triangles AEB et GCD qui vrifient les conditions suivantes :
- AEB et GCD sont isocles et semblables
- primtre (AEB) + primtre (GCD) = primtre (AEB) + primtre (GCD)
- aire (AEB) + aire (GCD) < aire (AEB) + aire (GCD)
Dmonstration :
Elle est due Znodore, mathmaticien grec du II
me
sicle av J.C et repose sur la gomtrie lmentaire.
Dr Nokk traduisit en Allemand les travaux cits par Pappus et Thon dAlexandrie [7], pour les besoins dun
cours de lyce en 1860... Si les principes de la dmonstration sont simples, la lecture de celle-ci ncessite
toutefois un papier , un crayon et une bonne concentration.
Histoires daires 18
Notons HT = AE + EB + GC + CD
Construisons le point K de | | HT tel que (*)
GD
AB
KT
HK
= .
En toute gnralit, on peut supposer que AB > GD ce qui implique que HK > KT
Or AE + EB > AB et GC+ CD > GD donc HT > AB + GD
cest--dire GD AB KT HK + > + .
Dautre part, on a AB . KT GD . HK =
En multipliant lingalit prcdente par GD , il vient GD . GD GD . AB GD . KT GD . HK + > +
) GD AB ( GD ) GD AB ( KT + > +
cest dire KT > GD et par (*) HK > AB.
Notons L le milieu de ] HK [ et M celui de | | KT .
Construisons deux triangles B AE' et D GC' tels que
LK HL B E' AE' = = = et MT. KM D C' GC' = = =
On a HL+ LK = AE+ EB = HK >
2
HT
car KT HK > .
Dautre part, AE+EB =
2
HT
do AE+ EB > AE+ EB .
De mme, GC+CD= KT
donc GC+CD <
2
HT
do GC+CD< GC+CD.
- Montrons que les triangles AEB et GCD sont semblables.
On a
MT
LK
KM
HL
KT
HK
GD
AB
= = =
do
' GC
' AE
GD
AB
= =
D ' C
B ' E
car HL = AE , KM = GC , EB = LK et CD = MT.
- Montrons que primtre (AEB) + primtre (GCD) = primtre (AEB) + primtre (GCD)
Histoires daires 19
primtre (AEB) + primtre (GCD) = AB+AE+EB+GC+CD+GD
= AB+HL+LK+KM+MT+GD
= AB+HT+GD
= AB+AE+EB+GC+CD+GD
= ) B ' AE ( primtre + ) D ' GC ( primtre .
- Montrons que aire (AEB) + aire (GCD) < aire (AEB) + aire (GCD).
Quitte rapprocher les deux triangles AEB et GCD
on peut considrer que G = B.
Les triangles AEG et AEG tant isocles et de mme
base, la droite (EE) est la mdiatrice de | | AG
quelle coupe en son milieu que nous noterons K.
De mme (CC) coupe | | GD en son milieu T.
Soit L le symtrique de C par rapport T.
Comme on a suppos que AB=AG >GD et que
AE =EG = GC = CD, on a D G

C > A G

E .
Do comme T G

L = D G

C ,
on obtient T G

L > A G

E .
Par consquent, la droite (LE) coupe (GK) en un
point que lon nommera M et on a T M

L = K M

E .
On sait que AE+EG+GC+CD = AE+EG+GC+CD
donc EG+GC = EG+GC
Or GC = GL et EG+GL > EL
do EG+GC > EL
Calculons
2
) ' GC G ' E ( + = EG
2
+ ' GC
2
+ 2 EG.GC
=
2
K ' E +
2
KG +
2
GT +
2
T ' C +2 EG.GC
=
2
) K ' E T ' C ( + +
2
) KG GT ( + + ) KG . GT K ' E . T ' C ' GC . G ' E (
Les triangles AEG et GCD tant semblables, les triangles EGK et CGT le sont galement ; dautre
part, le triangle CGT est rectangle en T donc GT . GK T ' C . K ' E ' GC '. GE = 0 par le lemme
dmontr en annexe 1 do
2
) ' GC G ' E ( + =
2
) K ' E T ' C ( + +
2
) KG GT ( + =
2
) K ' E T ' C ( + +
2
TK .
De mme
2
EL =
2
) ML EM ( + = EM
2
+ML
2
+ 2 EM.ML
=
2
EK +
2
KM +
2
MT +
2
TL +2 EM.ML
=
2
) TL EK ( + +
2
) TM KM ( +
Histoires daires 20
=
2
) TL EK ( + +
2
TK compte tenu du fait que les triangles
TML et KME sont semblables.
On en dduit que
2
) K ' E T ' C ( + >
2
) TL EK ( +
cest--dire K ' E T ' C + > TL EK +
autrement dit la somme des hauteurs des triangles construits est plus grande que la somme des hauteurs
des triangles initiaux.
Or T ' C = CT - C ' C = TL - C ' C et K ' E = ' EE +EK.
On en dduit que ' EE > C ' C .
On a suppos que AG > GD donc GK > TG.
Finalement GK . ' EE > TG . C ' C
autrement dit laire du quadrilatre AEGE est strictement plus grande que celle du quadrilatre DCGC.
Finalement,
) AEB ( aire + ) GCD ( aire = ) AEG ( aire + ) GCD ( aire
= ) G ' AE ( aire - ) GE ' AE ( aire + ) D ' GC ( aire + ) ' DCGC ( aire
< ) G ' AE ( aire + ) D ' GC ( aire .
Histoires daires 21
Annexe 4
Problme : Dterminer parmi les triangles de base AB donne,
et daire donne, celui ou ceux pour lesquels le primtre est minimal
Prliminaires : Sous cabri , chercher les instructions polygone et aire
Partie A
1. Construire un triangle ABC quelconque
2. Dfinir le polygone ABC (voir prliminaires)
3. Dterminer laire de ce triangle (voir prliminaires)
4. Enregistrer cette figure sous le nom triangle ABC
Partie B
Sur la figure prcdente, construire des points D, E et F tels que les triangles ABC, ABD, ABE et ABF aient
la mme aire.
Que pouvez vous dire des points C, D, E et F ?
Justifier votre affirmation :
Conclusion : lensemble des points C tels que le triangle ABC ait une aire constante est :
Partie C
Fermer votre fichier et rouvrir le fichier triangle ABC
1. Construire alors la parallle A ) (AB passant par C, puis B symtrique orthogonal de B par rapport
. A que peut-on dire de BC et BC ? Justifier.
Histoires daires 22
Que vaut alors ? CB AC +
2. Daprs les questions prcdentes C se dplace sur A pour le triangle ABC garde une aire constante,
dterminer alors la position de C qui rend CB AC + minimum.
3. Que pensez vous alors du triangle ABC ?
Emettre alors une conjecture :
Partie D
Preuve de la conjecture :
Sur la figure prcdente tracer la perpendiculaire A passant par B, et dmontrer qualors . BC AC =
Parmi les triangles ABC de base AB donne et daire constante celui de primtre minimum est :
Histoires daires 23
Bibliographie:
[1] Tension superficielle: gouttes, capillarit, bulles et surfusion;
http://www.ifrance.com/fsp-faq/corps/th0004.html
[2] Un problme de cristallographie.
http://www.math.u-psud.fr/~pansu/crital.html
[3] COURANT - HILBERT - Methods of mathematical physics- (vol. 1- chap IV: The calculus of Variations)
[4] http://www.history-mcs.st-and.ac.uk/history/Mathematicians/Zenodorus.html
[5] Maxima and minima -(chap VII- par 8:the isoperimetric problem)
[6] TROMBA - Mathmatiques et formes optimales- Hildebrandt - lunivers des sciences- Belin
[7] DR NOKK - Zenodorus Abhandlung ber die isoperimetrischen Figuren -. Lyceums-Programme von
1860.
[8] Ingalit isoprimtrique
http://www.les-mathematiques.net/c/a/b/node23.php3
[9] MARCELBERGER - Le volume optimal - Pour la science- octobre-dcembre 2003
[10] Y. BURAGO et V.ZALGALLER - Geometric inequalities- Springer 1988.
[11] OSKAR BOLZA - Calculus of variations-chap 1 - The decennial publications (second series-vol. XIV) -
University of Chicago Press 1904.