Sur le rapport isoprimtrique du ttradre

Jean-Pierre Demailly
Professeur l'Universit Joseph Fourier de Grenoble, membre correspondant de l'Acadmie des
Sciences, demailly@fourier.ujf-grenoble.fr
Rsum:
Un ttradre dont une face et le volume sont donns, comment dterminer le quatrime sommet
de faon minimiser son aire.

1 Sur le rapport isoprimtrique du ttradre
2 Note sur l'origine du problme du ttradre joufflu

1 Sur le rapport isoprimtrique du ttradre
Si est un domaine bord ferm born de l'espace , on dfinit le rapport isoprimtrique de
comme le quotient


comparant l'aire de la frontire et le volume de (une fois ceux-ci ramens des
dimensions homognes). Il est bien connu que ce rapport est minimal lorsque est une boule
euclidienne.
On se propose ici de rsoudre le problme suivant en dimension : tant donn un triangle
, comment choisir le quatrime sommet de faon que le rapport isoprimtrique du
ttradre soit minimal ?
Pour tudier ce problme, on recherche les extrema de la fonction


Choisissons un repre orthonorm en sorte que le plan soit le plan d'quation et
dsignons par les coordonnes de (avec ). Soit la projection
orthogonale de sur le plan et le pied de la hauteur issue de dans le triangle
, gal la projection orthogonale de sur la droite . On utilisera de mme les
notations , . Si est l'aire du triangle , on obtient
Page 1sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...


avec (par exemple)


Calculons la diffrentielle de . On se place d'abord dans un plan horizontal ,
. Comme est colinaire et donc orthogonal , on trouve


On obtient donc


soit encore


puisque est quelconque.
Cette galit peut tre crite sous la forme


avec , et strictement positifs, ce qui implique que est strictement intrieur au triangle
. Montrons que cette relation implique son tour que est strictement intrieur
au triangle .
Sinon en effet serait, par exemple, dans le demi-plan ferm d'arte ne contenant pas ,
d'o . Si est sa projection orthogonale sur la hauteur issue de , on disposerait des
relations


Or l'appartenance de et de au cercle de diamtre implique les relations
Page 2sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...


puisque, si les deux nombres et taient nuls ensemble, les quatre points , , et
seraient confondus. Par suite .
Enfin les galits


impliqueraient les ingalits contradictoires


qui achvent de prouver l'absurdit de l'hypothse.
Or un peu de gomtrie intrinsque, usant du produit vectoriel par exemple, montre que pour
tout point intrieur la somme


est constante (c'est le double de l'aire du triangle ). Sa diffrentielle est donc nulle pour
un vecteur quelconque. Conformment un calcul effectu ci-dessus si , on dispose
de l'galit


et de deux autres analogues, d'o l'identit


pour tout point intrieur .
Par unicit essentielle du triplet de coordonnes barycentriques de relatives au triangle ,
les deux galits ci-dessus impliquent les relations


En levant au carr et en tenant compte des relations du type cela
quivaut

Page 3sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...

c'est--dire que doit-tre le centre du cercle inscrit dans le triangle . On
voit que la fonction


admet comme seul point critique.
Or cette fonction tend vers lorsque tend vers l'infini dans le plan . Les ingalits


montrent en effet qu'il suffit de dmontrer que n'est pas
born lorsque dcrit le plan . Or dans le repre , cette fonction s'crit sous
la forme


avec et strictement positifs. Pour tout rel , dans chacune des quatre parties dfinies
par les droites et , on a avec et positifs ou nuls; le sous-
ensemble des points tels que , qui contient puisque , forme donc un
triangle de sommet . La runion des quatre triangles ainsi dfinis tant borne, le rsultat en
dcoule.
Par consquent est le minimum absolu de dans le plan . Soit


le rayon du cercle inscrit. On trouve


Avec les notations usuelles , on sait que , donc


Un calcul lmentaire montre que la fonction , qui tend vers quand
Page 4sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...
et quand , atteint un unique minimum au point (et alors
). On peut donc noncer :
Proposition Lorsqu'un ttradre a une face fixe, le rapport isoprimtrique du
ttradre est minimal prcisment lorsque la projection orthogonale de sur le plan
concide avec le centre du cercle inscrit dans le triangle , avec de plus o
est le rayon de ce cercle.
On peut mme aller un tout petit peu plus loin, en cherchant la valeur minimale de C'est le
rel , obtenu lorsque le triangle est quilatral. En effet


o les trois nombres , et , respectivement gaux , et , ont 1 pour
somme. Le thorme classique de Cauchy sur les comparaisons entre moyennes arithmtique et
gomtrique montre que est maximum pour , d'o le rsultat.
Par suite le minimum absolu du rapport isoprimtrique est donc . Il est atteint pour le
ttradre rgulier et seulement par lui, ce qui est assez classique dans ce genre de problmes. On
peut mme noter que toute valeur suprieure ou gale ce minimum est effectivement atteinte
par un ttradre au moins.
Nous sommes donc ici dans un cadre assez rare, o l'on peut dterminer la fois un minimum,
absolu et strict, ainsi que les valeurs effectivement prises par la fonction optimiser.

2 Note sur l'origine du problme du ttradre joufflu
par Yves BRCHET, professeur de Physique l'Institut National Polytechnique de Grenoble.
Il s'agit d'un problme de mcanique des fluides, plus prcisment d'acoustique, pour concevoir
des structures amortissant le bruit des racteurs d'avion : on a besoin de rsoudre des quations
aux drives partielles pour obtenir l'coulement du gaz et la dissipation, et ce dans des
gomtries un peu complexes (empilement de billes). Dans ces situations, les quations de
Navier Stokes doivent tre rsolues numriquement, et l'on utilise des calculs par lments finis.
La discrtisation de l'espace se fait par des pavages de ttradres, et les calculs sont plus rapides
et plus prcis quand les ttradres sont rguliers. Au voisinage des parois courbes, il faut
discrtiser les surfaces par des triangles qui ne peuvent pas tous tre rguliers. On doit donc,
pour un triangle de base donn, construire le ttradre le plus "joufflu". C'est un beau problme
de gomtrie, motiv par un problme de mcanique, ncessaire pour inventer un matriau
nouveau... et pour amliorer le confort du citoyen !
Rfrence : S. GASSER, thse de l'INPG (2003) en science des matriaux sur les Proprits
mcaniques et acoustiques d'un matriau mtallique poreux base de sphres creuses de
Page 5sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...
Nickel .

Page 6sur 6 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=61&Type=enonce&Num=0&Mode=...