le livre du problme, vol.

Ce volume porte le numro: ISBN

- 2 - 7124 - 0118 - 2

CEDIC 1975
Droits de traduction et de reproduction rservs pour tous pays. Toute reproduction, mme partielle, de cet ouvrage est interdite. Une copie ou reproduction par quelque procd que ce soit, photographie, microfilm, bande magntique, disque ou autre, constitue une contrefaon passible des peines prvues par la loi du 11 mars 1957 sur la protection des droits d'auteurs. Imprim en France

Editions CEDIC

93,avenue d'Italie - 75013 PARIS

COLLECTION FORMATION DES MAITRES EN MATHEMATIQUE Directeur: Maurice GLAYMANN Tous les ouvrages de celle collection destine aux matres en exercice proposent des situations et des activits en prise directe avec la ralit pdagogique quotidienne. Ils concernent plus particulirement, s'ils sont marqus d'un : * les enseignants de l'enseignement lmentaire les enseignants du premier cycle de l'enseignement secondaire les enseignants du deuxime cycle de l'enseignement secondaire

1. LA LOGIQUE A L'ECOLE * M. Glaymann - P. C. Rosenbloom 2. LA MATHEMATIQUE ET SES APPLICATIONS Troisime sminaire intemational- E. Galion 3. L'ALGEBRE LINEAIRE PAR SES APPLICATIONS T. J. Fletcher 4. LE LIVRE DU PROBLEME Pdagogie de l'exercice et du problme Exercices lmentaires de gomtrie affine La parit La convexit Le calcul barycentrique I.R.E.M. de STRASBOURG 5. ADDITION DANS N * M. Robert 6. MODELES FINIS * A. Myx 7. LA GEOMETRIE AUTOUR D'UN CARRE P. Gagnaire 8. LE LANGAGE DES CATEGORIES P. J. Hilton 9. LES PROBABILITES A L'ECOLE * M. Glaymann et T. Valga 10. ACTIVITES SUR QUELQUES THEMES D'ALGEBRE L. Jeremy

11. OPERATEURS A L'ECOLE ELEMENTAIRE * F. Jarente 12. RENCONTRE SUR L'ENSEIGNEMENT ELEMENTAIRE Quatrime sminaire - E. Galion 13. POINTS DE DEPART * C. S. &nwell, K. D. Sanders et D. G. Tahtn 14. APPORT DE L'INFORMATIQUE A L'ENSEIGNEMENT MATHEMATIQUE Jean Kuntzmann 15. SIX THEMES POUR SIX SEMAINES * A. Myx 16. PROBABILITES, STATISTIQUES ET BIOLOGIE J. L. Chass et A. Pav 17. INITIATION MATHEMATIQUE * Jean et Suzanne Daniau 18. LA MATHEMATIQUE VIVANTE * I. I. Perelmann

sommaire
CHAPITRE 1 : L'espace vectoriel du calcul barycentrique . . . . . . . . . . . 0. La composition des forces parallles . . . . . . . . . . . . . . . . . . . . . . 1. Exercice d'exposition n 1 : prsentation lmentaire . . . . . . . . . 2. Exercice d'exposition n 2 : prolongement dans un espace affine de dimension 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Exercice d'exposition n 3 : reprsentation par des champs de vecteurs" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4. Notations, conventions, rsum . . . . . . . . . . . . . . . . . . . . . . . . . . CHAPITRE 2 : Mthodologie du calcul barycentrique . . . . . . . . . . . . . . Mode d'emploi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1. Les trois rgles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Repres affines et coordonnes barycentriques . . . . . . . . . . . . . . . 13 14 15 18 21 25 27 27 28 34

CHAPITRE 3 : Le barycentre en gomtrie affine. . . . . . . . . . . . . . . . . . 41 CHAPITRE 4 : Le barycentre en gomtrie euclidienne . . . . . . . . . . . . . 49 CHAPITRE 5 : Le centre de gravit . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2. Dfinition et principales proprits du centre de gravit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3. Quelques exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 55 56 58

CHAPITRE 6 : Le barycentre hors de la gomtrie . . . . . . . . . . . . . . . . . 63 Solutions et commentaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Chapitre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 Chapitre 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Chapitre 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Chapitre 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101 Chapitre 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 Chapitre 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119 Bibliographie. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128

SOMMAIRE
PREFACE L'histoire du calcul barycentrique est lie essentiellement deux noms : ARCHIMEDE, qui vcut au troisime sicle avant J.C et MBIUS dont le mmoire fondamental "Der barycentrische Calcul" fut publi Leipzig en 1827. La porte de la thorie apparat mieux, et l'on rsout plus lgamment les exercices et problmes qui s'y rapportent, lorsqu'on a rflchi sur le changement complet de point de vue, que le second savant a apport aux conceptions de son illustre devancier. Archimde fut le crateur de la Statique ; dans ses deux "Livres des quilibres" et ses deux ouvrages consacrs aux "corps flottants" il dfinit quelques concepts de base de cette science et dmontre une trentaine de propositions concernant 1es centres de gravits des triangles, paralllogrammes, segments de parabole etc. etc... La dcouverte du centre de gravit est une tape importante dans l'histoire de l'abstraction. Pour rsoudre des problmes pratiques d'quilibre, il convient de faire intervenir un point "idal", qui n'apparat pas toujours d'une faon concrte dans les donnes. Et lorsque la dynamique commena a s'laborer dix-neuf sicles plus tard, ce fut encore ce mme centre de gravit qui joua un rle primordial dans l'tude du mouvement du solide. La dcouverte d'Archimde prfigure une tendance aujourd'hui banale: "expliquer du visible (concret) compliqu, par de l'invisible (abstrait) simple" (Jean Perrin) Entre l'poque d'Archimde et le dix-neuvime sicle, la thorie des centres de gravit fit quelques progrs. Les mthodes de recherche s'apparentent la gomtrie ou au calcul diffrentiel et intgral, mais la motivation reste lie la physique : la mcanique d'abord, puis les sciences du magntisme et de l'lectricit (qui obligent considrer des charges ngatives). La contribution de Mbius fut l'laboration d'un Calcul. Le centre d'intrt se dplace de la contemplation d'un point remarquable, vers l'tude d'une loi de composition non triviale : la barycentration. Mbius se libre du contexte physique en modifiant la terminologie. Au centre de gravit (en allemand Schwerpunkt) il substitue le mot barycentre pour indiquer qu'il ne se limite plus aux charges de signe positif et qu'il ne s'agit plus d'un chapitre de mcanique : la notion est utile en gomtrie, analyse, calcul de probabilit etc... A deux points massifs affects de charges positives on peut associer le barycentre affect de la somme des charges : on dfinit ainsi une loi de composition, la barycentration sur l'ensemble M+ des points d'un espace affine, chargs positivement. 11

SOMMAIRE
Mais pour donner plus de souplesse ce calcul, il convient de l'tendre des points chargs de masses de signe quelconque. C'est l que surgit l'obstacle majeur: on ne peut dfinir le centre de gravit de points massifs que si la charge totale n'est pas nulle ! Ainsi au lieu de pouvoir appliquer automatiquement quelques rgles de calcul simple, il faudrait constamment surveiller la lgitimit de certaines combinaisons, et s'assurer que l'on ne voit pas surgir, en cours de calcul, des systmes de points dont le barycentre n'est pas dfini. En fait, de nombreux manuels ne s'embarrassent pas de tant de scrupules : ils se bornent traiter quelques cas gniaux, passant sous silence les trs nombreux cas singuliers. On peut restaurer l'harmonie qui rgnait dans M+, en lui adjoignant, non seulement l'ensemble des points massifs de masse ngative M ( u r support dans un espace affine E) mais aussi l'espace vectoriel E associ E. Et u r l'on a la surprise de trouver que l'ensemble. M+ M. E est muni d'une structure d'espace vectoriel : la somme de deux points massifs de charge u r totale nulle est un vecteur de E . Lorsqu'on se place dans ce cadre, le calcul barycentrique retrouve la souplesse dont les exceptions prcdemment cites risquaient de le priver. A partir de l, on 'la pouvoir apprendre penser linairement, et exploiter systmatiquement les proprits d'invariance affine. On effectuera avec ingniosit tous les changements de repre affine que requiert chaque problme particulier. Ainsi, la pratique du calcul barycentrique dveloppe les mmes aptitudes que l'utilisation de l'algbre linaire, dont ce n'est en fait qu'une variante. Mais comme cette activit s'effectue dans un contexte assez. diffrent de celui de l'espace vectoriel deux ou trois dimensions familiers, elle fournit un exemple prcieux de "pdagogie polyconcrte" (A. Lichnrowicz.) qui incite utiliser les mmes ides dans des situations trs varies. On constate malheureusement, que l'immense majorit des usagers ne manie les barycentres qu'avec lourdeur sans tirer tout le parti qu'offre cet algorithme. La principale raison de ce fiasco pdagogique tient, au fond, la confusion entre les points de vue d'Archimde et de Mbius. On s'imagine que l'essentiel est d'assimiler quelques dfinitions et thormes (d'ailleurs triviaux). On nglige compltement le mode d'emploi, la mthodologie du maniement des points massifs. Le prsent fascicule vise les objectifs pdagogiques suivants : Entraner la pense linaire. Inciter l'art du calcul ingnieux et lgant. Faire le lien entre une thorie abstraite et les applications diverses de la thorie dans des situations pratiques. 12

SOMMAIRE
CHAPITRE I L'ESPACE VECTORIEL DU CALCUL BARYCENTRIQUE

Ce premier chapitre se propose de donner une prsentation "thorique" du calcul barycentrique, c'est--dire de construire l'espace vectoriel qui permettra de ramener le calcul barycentrique un "calcul linaire". Que le lecteur ne se laisse pas rebuter par l'apparente lourdeur de ce chapitre. En effet, s'il trouve ci-dessous trois exercices d'exposition, ces exercices prsentent en fait trois constructions diffrentes et totalement indpendantes. Il n'est donc nullement indispensable de les rsoudre tous : un seul suffira amplement. A la rigueur, on pourra mme se contenter d'une lecture attentive du paragraphe 4, qui met en place les notations et conventions, et rappelle les oprations et les principales proprits. Il serait notre avis dommage de se priver, pour s'pargner un effort somme toute minime, de toutes les facilits offertes par le calcul barycentrique, lorsqu'il est trait comme un calcul linaire. Le premier des trois exercices d'exposition qui suivent se veut trs lmentaire ; il construit l'espace vectoriel " la main", en essayant de justifier chaque tape. Un inconvnient majeur de cette mthode rside dans la dmonstration de l'associativit de l'addition, dmonstration pnible car elle oblige distinguer de nombreux cas diffrents. Les deux autres mthodes vitent ce dsagrment, car elles induisent la structure d'espace vectoriel au moyen d'une bijection partir d'un espace vectoriel connu. Pour des lves dj plus dgrossis, ce pourra tre une illustration intressante de cette technique de "transport de structure". Dans la premire, on considre l'espace affine P comme hyperplan d'un espace affine A ; la seconde fait appel la notion de champ de vecteurs sur un espace affine. Ces deux constructions sont plus dogmatiques que la prcdente, et ncessitent sans doute une plus grande habitude des mathmatiques. Elles ne prsentent cependant pas de trs grandes difficults.
13

SOMMAIRE
0 La composition des forces parallles Avant d'aborder les exercices d'exposition, il peut tre utile de se souvenir de la composition des forces parallles, qu'on a apprise en physique. Soit O x y z un repre orthonorm de l'espace. On s'intresse aux forces parallles Oy, et ayant leur point d'application sur Ox.

r Le point d'application d'une telle force ( F , A) non nulle est entirement dtermin par le moment en O de cette force, c'est-dire par le vecteur, d'origine O et port par Oz, uuur r uu r r M ( F , A) = OA F . En effet, l'galit vectorielle uuur r uu r r M ( F , A) = OA F est ici quivalente l'galit des mesures alguu r r briques M ( F , A) = OA F . r r Etant donn deux forces ( F , A) et ( F ', B), on cherche une force r ( S , G) satisfaisant aux conditions : uu r r uu r r uu r r r r r (2) M ( S , G) = M ( F , A) + M ( F ', B) (1) S = F + F'
qui sont quivalentes aux conditions : (4) OG S = OA F + OB F' (3) S = F + F' Par consquent, G est dfini, de faon unique, par l'galit : (5) (F + F') OG = F OA + F' OB r r si et seulement si F + F' n'est pas nul.
14

SOMMAIRE
r r r Si F + F' = 0 , on a affaire un "systme de forces oppo ses" (s.f.o.). Le moment en O de ce s.f.o. est, par dfinition, le uuur r uu r r uu r r vecteur M ( F , A) + M ( F ', B), c'est--dire BA F . Ce moment ne dtermine pas le s.f.o. On dfinit une relation d'quivalence sur l'ensemble des s.f.o., en disant que deux s.f.o. sont quivalents s'ils ont mme moment. Une classe d'quivalence est appele un couple. On a maintenant une bijection entre l'ensemble des couples et l'ensemble des vecteurs d'origine O et ports par Oz : un couple, cette bijection associe le moment de l'un quelconque de ses reprsentants. r Ainsi, ron sait dfinir la compose ou somme de deux forces ( F , A) et ', B) quelconques : r ( Fr r r r r r Si F + F' = 0 , c'est la force ( S , G) telle que S = F + F' et (F + F') OG = F OA + F' OB . r r r Si F + F' 0 , c'est le couple engendr par le s.f.o. r r ( F , A), ( F , B) , qu'on peut identifier un vecteur. r Si on identifie la force ( F , A) au "point massif" (A, F ), on peut dfinir la somme de deux points massifs (A, F ) et (B, F ') Si F + F' 0, c'est le point massif (G, F + F' ), o G est dfini par l'galit : (F + F') OG = F OA + F' OB
Si F + F' = 0, c'est un vecteur.

1 Exercice d'exposition n 1 : prsentation lmentaire u r P dsigne un plan affine rel, P sa direction ; si A et B sont deux points de P, et deux rels non nuls, on s'intresse l'ensemble des points G tels que : uuur uuu r r (1) GA + GB = 0 1) Si A est un espace affine dont P est un sous-espace, montrer que les assertions suivantes sont quivalentes : uuur uuu r r GA + GB = 0 (1) uuur uuu r uuur (2) O A , OA + OB = ( + )OG uuur uuu r uuur (3) O A , OA + OB = ( + )OG
15

SOMMAIRE
2) Si + 0, montrer l'existence et l'unicit de G. A quelle droite appartient G (lorsque A et B sont distincts) ? Donner une construction gomtrique de G, par exemple dans le cas o = 2, = 3. 3) Dfinition On appelle point massif de P un couple (A, ), o A est un point de P, et un rel non nul. Montrer que sur l'ensemble P R+* des points massifs de masse positive, on dfinit une opration interne commutative et associative en posant : (A, ) + (B, ) = (G, +), o G est l'unique point vrifiant (1). Dfinition : Le point massif (A, a) + (B, ) est le barycentre des points massifs (A, ) et (B, ). 4) On aimerait maintenant tendre cette opration l'ensemble P R* de tous les points massifs de P, en conservant commuta tivit et associativit. Pour quelles paires (A, a), (B, (3) de points massifs peut-on dj dfinir (A,)+(B,) ? Si + = 0 montrer que : a) Si A B, il n'existe aucun point G satisfaisant (1) Si A = B, (1) est satisfaite pour tout point G. Le procd utilis pour dfinir l'addition dans P R+* se gnralise-t-il P R* ? uuur b) Le premier membre de (1) comme de (2) est gal BA . En dduire que l'on peut dfinir la somme de deux points massifs quelconques,, si u rl'on accepte que dans certains cas la somme soit un lment de P et non un point massif. On a donc une opration dfinie sur P R*, valeurs dans u r , runion de P et de P R* : l'ensemble P u r = P (P R * ) P Cette opration est-elle commutative ?
16

SOMMAIRE
Pourquoi ne peut-on encore parler de l'associativit de cette opration ? Que faut-il dfinir pour pouvoir parler de cette asso ciativit ? Par quel ensemble est-on donc amen remplacer P R*?

5) L'addition dans P On veut dfinir u r dans P une addition telle que P devienne un groupe ablien dont P soit un sous-groupe. . Soit donc X et Y deux lments de P
a) Dans quels cas sait-on dj dfinir X + Y ? Quel est l'lment neutre de l'addition ? Quel est l'oppos de (A, ) ?
ur On suppose que X = (A, ), Y = V . ur Montrer que (A, ) + V ne peut tre un vecteur. ur Montrer que si (A, ) + V = (B, ), ncessairement = , et B uuu r ur est le point de P dfini par AB = V . (Ou encore, avec la ur notation classique dans les espaces affines : B = A + 1 V ). ur Comme on veut que l'opration soit commutative, V + (A, ) est galement dfini. Rappeler dans tous les cas la dfinition de X + Y. est un groupe ablien. Montrer qu'avec cette opration P

b)

c)

6) La multiplication par les scalaires On veut maintenant dfinir une loi de composition externe devienne un R - espace vectoriel, dont P soit un sur P telle que P sous-espace vectoriel. ur a) Montrer que pour dfinir le produit V d'un rel et d'un u r ur vecteur V de P , on n'a pas le choix. b) Pour le produit d'un rel et d'un point massif, on pose : (A, ) si 0 (A, ) = r si = 0 0 Montrer que le but propos est atteint.
17

SOMMAIRE
Complments R dfinie par : Montrer que l'application : P ur (A, ) = , ( V ) = 0 . est une forme linaire sur l'espace vectoriel P b) En dduire que
n

7) a)

(A , )
i i 1
i

est

un vecteur si

=0

un point massif de masse

si

0.

; Montrer que P est isomorphe l'hyperplan affine 1(1) de P . en dduire la dimension de P (Commentaire page 69).

Exercice d'exposition n 2: Plongement dans un espace affine de dimension 3 [ 4] [5]

u r P dsigne un plan affine rel, P sa direction; un point massif de P est un couple (A, ), o A est un point de P, un rel non nul. u r = P (P R ). On pose P
1) Montrer qu'on peut toujours considrer P comme hyperplan d'un espace affine A, (c'est--dire qu'il existe un espace affine A de dimension 3, tel que P soit isomorphe un sous-espace affine de dimension 2 de A). 2) On choisit un point O de A, non situ dans P, et on dfinit de la manire suivante : une application X : A P u r ur ur ur (i) Si V P , alors X ( V ) = V u r ur (ii) Si V P , alors la droite passant par O et de vecteur ur directeur V coupe P en un point A, et il existe un unique rel uuur ur ur , non nul, tel que V = OA ; on pose: X ( V ) = (A, )
18

SOMMAIRE

A P
ur V

de la Montrer que X est une application bijective. On munit P structure d'espace vectoriel induite de celle de ~ par X : rappeler u r explicitement la dfinition des oprations dans P . Etude de la structure de P u r ; quel est l'l 3) Montrer que P est un sous-espace vectoriel de P ? ment neutre de l'addition dans P 4) L'addition dans P
a) (i) Soit A et B deux points de P, u r et deux rels; montrer que uuu r uuur OA + OB est un vecteur de P si et seulement si + = 0. uuur (ii) Montrer que si + = 0, alors (A, ) + (B, ) = BA . Quel est l'oppos de (A, ) ? (iii) Montrer que si + 0, alors (A, ) + (B, ) est un point massif (G, ). uuur uuu r uuur Calculer GA + GB en fonction de OG , et en dduire que : =+ G est caractris par l'galit uuur uuu r r (1) GA + GB = 0 (iv) Dduire de ce qui prcde que la somme de deux points massifs ne dpend pas des divers choix arbitraires effectus (choix de A, du plongement de P, dans A, du point O).
19

SOMMAIRE
b)

u r ur Soit (A, ) un point massif de P, V un vecteur de P . ur Montrer que (A, ) + V est un point massif (B, ), que = et r que B = A + 1 V (notation dans l'espace affine P, c'est--dire

uuu r r AB = 1 V ).

Montrer que la somme d'un point massif et d'un vecteur ne dpend pas des choix effectus. 5) La multiplication des scalaires (A, ) si 0 Montrer que (A, ) = r si = 0 0 ur Qu'est-ce que le produit V ? Cette opration dpend-elle des choix effectus ? Complments Montrer que l'application R : P dfinie par : r r r V P, (V) = 0 ; (A, ) P R*, (A, ) = est une forme linaire sur P. En dduire que un vecteur si

6) a)

b)

(A
1

, i ) est

=0

un point massif de masse

si

c)

; Montrer que P est isomorphe l'hyperplan affine 1(1) de P en dduire la dimension de P ; retrouver cette dimension d'une autre manire.
(Commentaires page 70).
20

SOMMAIRE
3 Exercice d'exposition n 3 : Reprsentation par des champs de vecteurs [4 ] [5] M. 1.3.1 Manipulations

Une suite simple de manipulations permet d'illustrer E.E.3. Elle ne ncessite que peu de matriel (une planche dessin, une feuille de papier, trois punaises de dessinateur, trois lastiques ou mieux trois ressorts fins) et ne demande que peu de temps (nous avons mis un quart d'heure pour la raliser entirement). Cette manipulation est fonde sur "l'axiome" de l'las tique". "Axiome" de l'lastique. Trois points P, Q, R tant marqus QR l'encre sur un lastique, le rapport = ne dpend pas de la QP tension exerce sur l'lastique. Manipulation 1. Vrifier 1'"axiome" de l'lastique (certains caoutchoucs se comportent mieux que d'autres, les ressorts don nent les meilleurs rsultats). Manipulation 2. Utiliser un caoutchouc pour visualiser le champ de centre A et d'intensit a (pour la dfinition d'un tel champ, voir ci-dessous question 3). Pour cela, placer P en A au moyen d'une punaise. M tant un point uuuuu r uuuu r quelconque, pour obtenir M' tel que MM' = MA il suffit, en tendant l'lastique, d'amener Q en M. R vient alors en M' . Manipulation 3. Utiliser un deuxime lastique pour visualiser le champ de centre A' et d'intensit ' ( tout point M on associe le uuuuu u r uuuu r point M" tel que MM" = MA' ). uuuuu r uuuuu u r Construire pour divers points M la rsultante MM' + MM" par la rgle du paralllogramme. Vrifier que le support de cette rsul tante passe par un point fixe G (ou ventuellement que cette rsultante est un vecteur constant). Manipulation 4. A l'aide d'un troisime lastique fix en G, vrifier que le champ rsultant est un champ central d'intensit constante.
21

SOMMAIRE

E.E

1.3.2

u r Un champ de P dsigne un plan affine rel, P sa direction. u r vecteurs de P est une application de P dans P . Un point massif de P est un couple (A, a), o A est un point de P, un rel non nul. u r = P (P R* ) On pose P
1) Soit l'ensemble des champs de vecteurs de P ; rappeler les oprations classiques qui font de un R-espace vectoriel. 2) Champs constants Soit ' l'ensemble des champs de vecteurs constants de P, u r u r ur f' : P ' l'application qui tout vecteur V de P associe le champ u u r dfini par : constant f 'V ur r (M) = V . M P , f 'V Montrer que ' est u r un sous-espace vectoriel de , et que f ' est u n isomorphisme de P sur '.
22

SOMMAIRE
3) Champs centraux (attraction ou rpulsion proportionnelle la distance) Dfinition Soit un lment de , A un point de P, un rel non nul ; est un champ central de centre A, d'intensit a, si : uuuu r M P , (M) = MA a) Soit " l'ensemble des champs centraux de P, f" : P R* " l'application qui tout point massif (A, ) associe le champ cen tral f"(A,) de centre A et d'intensit . Montrer que f" est une bijection: b) Montrer que : ' " = c) Soit un rel, (A, ) un point massif ; tudier le produit f "(A, ) ; " est-il un sous-espace vectoriel de ? d) Soit f"(A, ) et f"(B, ) deux champs centraux. (i) Montrer que si + = 0, alors uuu u r f"(A, ) + f"(B, ) = f ' BA (ii) Montrer que si f"(A,) + f"(B,) est un champ central f "(G, ) alors :

(1) +0 (2) = + uuu uuur r r (3) GA + GB = 0 Inversement, montrer que si + 0, il existe un point G tel que f" ( A , ) + f" ( B , ) = f" ( G , + ) . G est-il unique ? 4) a) Montrer que ' " est un sous-espace vectoriel de . ' " l'application dfinie par : b) Soit f : P r r r r V P, f(V) = f 'V

(A, ) P R*, f(A, ) = f "(A, ) .

Montrer que f est une bijection. c) On munit P de la structure d'espace vectoriel induite de ' " par la bijection f . Rappeler la dfinition des oprations de P .
23

SOMMAIRE
5) a) b)

Structure de P u r Montrer que P est un sous-espace vectoriel de P . Addition uuur (i) Montrer que si + = 0, (A, ) + (B. ) = BA Quel est l'oppos de (A, ) ? (ii) Montrer que si + 0, (A, ) + (B, ) = (G, +) o G est l'unique point vrifiant les conditions quivalentes suivantes : uuur uuu r r GA + GB = 0 (1) uuur uuu r uuur (3) O A , OA + OB = ( + )OG uuur uuu r uuur (3) O A , OA + OB = ( + )OG A tant un espace affine quelconque dont P est un sousespace. Dfinition. Le point massif (G, +) est le barycentre des points massifs (A, ) et (B, ). ur (iii) Montrer que (A, ) + V = (B, ), o B est dfini par uuu r ur ur AB = V (soit encore B = A + 1 V avec les notations ordi

naires dans l'espace affine P). c) Produit par les scalaires Montrer que :

(A, ) =

(A, ) si 0 r 0 si = 0

6) Complments a) Montrer que l'application : P R dfinie par : r r r V P , (V) = 0 ; (A, ) P R* , (A, ) = est une forme linaire sur P. b) En dduire que un vecteur si

(A , )
i i

est .

1 n

=0`

un point massif de masse

si

0.

c) Montrer que P est isomorphe l'hyperplan affine 1(1) de P ; en dduire la dimension de P. (Commentaires page 71).
24

SOMMAIRE
Notations, conventions, rsum Ce paragraphe peut suffire pour aborder les chapitres suivants. On rappelle que P est un u r plan affine rel (plus gnralement un espace affine quelconque), P u rsa direction ; un point massif de P = P (P R*). est un lment de P R*, et P Le calcul barycentrique est le calcul dans P, qui est muni d'une structure d'espace vectoriel par les oprations dont la dfinition est rappele ci-dessous. 1) Notation de Grassmann Le point massif (A, a) s'crit encore (A, 1) ; si l'on identifie P P {1} , on peut remplacer (A, 1) par A, de sorte que le point massif (A, ) s'crira simplement A . Cette notation, due Grassmann, sera toujours utilise par la suite. Convention 1 Alors que le point massif (A, ) a une masse toujours non nulle, lorsqu'on crit A, on dsigne le produit du point massif A (c'est--dire (A, 1)) par le rel , de sorte que peut tre nul, auquel r cas A n'est plus un point massif, mais le vecteur 0 . Par abus de langage, on parlera du point massif A, mme si peut prendre la valeur 0, ou on dira que le point A est affect de la masse 0. 3) Convention 2 Le barycentre d'une famille iAi, i = 1...n, de points massifs tels que 2) 4

i = 0 , est le point massif ( i ) G ; cependant on dira

1 1

souvent que G est le barycentre des points massifs i Ai, en omettant la masse ; ; mais dans les calculs, il ne faut pas oublier d'associer G sa masse. En particulier, si ai = 1 pour tout i , le point massif nG est l'isobarycentre des points massifs Ai, i = 1n . Mais on dira simplement que G est l'isobarycentre des points Ai. 4) Rsum a) Rappel des oprations : en utilisant la notation de Grassmann, les oprations de l'espace vectoriel P se dfinissent comme suit :
25

SOMMAIRE
Addition

uuur BA si + = 0 A + B = ( + )G si + = 0 uuur uuu r r o G est le point tel que GA + GB = 0 ur ur A + V = (A + 1 V )

ur o A + 1 V est la notation classique dans l'espace affine P.

Produit par les scalaires r (= 0 si = 0) ( A) = ( )A r r V produit d'un vecteur de P par un rel b)

Ai est

un vecteur si

=0

un point massif de masse c) Si

, si

0, les assertions suivantes sont quivalentes :

(i) (ii) (iii) (iv)

Ai = ( i )G
1

OA,

1 n 1

n uuuu r uuur OA i = ( i ) OG 1

n uuuu r uuur O A , i OA i = ( i ) OG 1

uuuu r r GA i i =0
n 1

A tant un espace affine quelconque dont P est un sousespace

26

SOMMAIRE
CHAPITRE II METHODOLOGIE DU CALCUL BARYCENTRIQUE Aprs la mise en place "thorique" du barycentre au chapitre I, le chapitre II se propose d'initier la "pratique" du calcul barycentrique, en essayant d'en dgager un "mode d'emploi". Il ne faudrait cependant pas que, sduit par l'expression "mode d'emploi", le lecteur s'attende une suite de recettes dont l'application automatique fournirait coup sr la solution du problme cherch` Le calcul barycentrique est un "calcul imaginatif'. Bien souvent, dans sa conduite, il prsente diverses options plus ou moins lgantes, parmi lesquelles le chercheur doit faire un choix ; et surtout, il ncessite chaque tape une interprtation gomtrique des rsultats obtenus. En aucun cas il ne saurait se laisser rduire une succession d'automatismes. Cela nous a amens introduire, en plus des Exercices Didactiques et des Problmes, une nouvelle catgorie d'exercices, que nous avons baptise Calcul Imaginatif (C.I) : un Calcul Imaginatif n'atteint pas la difficult d'un Problme, tout en tant moins facile qu'un Exercice Didactique. Selon le degr d'entranement des lves, il se rapprochera plutt de l'un ou de l'autre. MODE D'EMPLOI Rgle 1 : Penser "linairement" Il faut utiliser systmatiquement toutes les ressources de la structure d'espace vectoriel mise en vidence au chapitre I, en particulier l'associativit et la commutativit, les changements de bases. Il faut viter le "dfaut de linarit" qui consiste normaliser systmatiquement, en introduisant le plus souvent des dnomina teurs fort encombrants. Cela signifie qu'il vaut, en gnral, mieux crire (a + ) G = A + B plutt que

G=

A + B + +

et que, lorsqu'on travaille dans un repre affine, il ne faut employer des coordonnes barycentriques normalises (cf. dfini tion dans E.E. 2.2.3) que lorsque le calcul s'en trouve allg.
27

SOMMAIRE
Rgle 2 : Penser en termes de transformation et d'invariance En prsence d'un objet gomtrique, on s'intresse aux trans formations de l'espace qui laissent cet objet invariant. Dans notre cas, l'invariance du barycentre caractrise les applications affines : Si est une application affine, si

G est le barycentre des n

points massifs ai Ai, i = 1, ..., n, alors

(G) est le bary

centre des points massifs i (Ai), i = 1, ..., n . Rgle 3 : Une mthode pour prciser la position du barycentre. Un point d'un espace affine E appartient au sous-espace affine F engendr par les points A1 ..., Ap si et seulement si il peut s'crire comme barycentre des Ai. On essaie donc systmatiquement d'crire un point comme barycentre de diffrents systmes de points ; le point appartient alors l'intersection des diffrentes sous-varits engendres respectivement par chaque systme de points. Le paragraphe 1 se propose d'illustrer ces trois rgles. Les exercices qu'on y trouve se rsolvent u aisment par des calculs r intrinsques dans l'espace vectoriel P = P (P R*), c'est--dire sans utiliser de bases. Cependant, comme toujours dans un espace vectoriel, il peut tre utile dans certains cas de choisir une base et d'effectuer des calculs au moyen de coordonnes. Aussi le para , et le paragraphe 2 tudie-t-il les bases de l'espace vectoriel P graphe 3 les coordonnes barycentriques. 1 LES TROIS REGLES E.D 2.1.1 A, B, C, D tant les sommets conscutifs d'un paralllogramme, construire de diverses manires le barycentre des points massifs A, 2B, 3C, 2D. Commentaire Cet exercice doit permettre de se familiariser avec les oprations ; on demandera en particulier une construction obligeant de P faire la somme d'un point massif et d'un vecteur. On exigera des constructions soignes, partir d'un mme paralllogramme, afin de vrifier "de visu" qu'on obtient le mme rsultat.
28

SOMMAIRE
E.D 2.1.2 Soit G le barycentre des points massifs aA et B. Etudier la position de G par rapport A et B, en fonction de et . A quelle condition G est-il le milieu du segment [AB] ? E.D 2.1.3 Dterminer le barycentre D des points massifs A, B, C, tant un rel non nul. Examiner les milieux des diagonales du quadrilatre A, B, C, D. Conclusion ? Commentaire On transformera cet exercice didactique en problme, en demandant comment choisir , , pour que le barycentre D des points massifs A, B, C forme avec A,B,C un paralllogramme. C.I 2.1.4 Soit ABC un triangle du plan affine euclidien P, a,b,c les longueurs des cts BC, CA, AB. Que dire de la position du barycentre des points massifs A, B, C ? Quelle proprit classique a-t-on redmontre ? (Solution page 73) P 2.1.5 Droite d'Euler

29

SOMMAIRE
Soit ABC un triangle du plan P, G son isobarycentre, A', B', C' les milieux de [BC], [CA], [AB]. A tout point M du plan, on associe le point X dfini par: uuuu r uuuu r uuuu r uuuu r MX = MA + MB + MC 1) Trouver une construction gomtrique de X. 2) Montrer que les parallles menes par A, B, C MA', MB', MC' respectivement, se coupent en X. Application On se place dans un plan affine euclidien P. En prenant M en O, centre du cercle circonscrit au triangle ABC, retrouver le rsultat classique : les hauteurs du triangle ABC se coupent en un point H, appel orthocentre du triangle. O, H, G sont aligns sur une droite uuur uuur appele droite d'Euler, et OH = 3OG . E.E 2.1.6 Rgle 3 Soit G un espace affine, G' le sous-espace affine engendr par les points A0, Al ,, An . Montrer qu'un point M de G appartient G' si et seulement si il existe des rels 0, l , ..., n tels que :
M=

A
i 0

Indication uuuuu u r uuuuuu r On se rappellera que les vecteurs A 0 A1 ,K A 0 A n engendrent la direction uuuuu r uu r uu r G' de G' et que M appartient G' si et seulement si A 0 M appartient G' . Remarque Certains des coefficients i peuvent tre nuls, mais bien entendu

0.

E.D 2.1.7 Isobarycentre d'un triangle Soit ABC un triangle. 1) Construire les points A' et A" dfinis par: 2 A' = B + C 3 A" = 2 A' + A A quelle droite particulire du triangle appartient le point A" ? 2) Par permutation circulaire sur A, B, C, on dfinit de mme B' et B" , C' et C" . Que peut-on dire des points A", B", C" ? Quel thorme classique a-t-on redmontr ?
30

SOMMAIRE
C.I 2.1.8 Extension au ttradre Montrer que dans un ttradre, les quatre droites qui joignent l'un des sommets l'isobarycentre de la face oppose, ainsi que les quatre droites joignant les milieux de deux artes opposes, sont concourantes. E.D 2.1.9 Soit ABCD un quadrilatre (plan ou gauche). Montrer que les segments joignant les milieux des cts opposs se coupent en leur milieu. Quelle est la nature du quadrilatre construit sur les milieux des cts d'un quadrilatre quelconque ? Commentaire On pourra transformer cet E.D en P en demandant par exemple : quelles conditions faut-il imposer un quadrilatre pour que le quadrilatre construit sur les milieux de ses cts soit un , parall logramme ? E.D 2.1.10 A partir de 6 points distincts du plan, on obtient 10 paires de triangles ayant deux. deux des sommets distincts. Pour chaque paire, on trace le segment joignant les isobarycentres des deux triangles. Montrer que ces dix segments sont concourants en leurs milieux. P 2.1.11 De la convexit (cf. Le livre du problme, vol. 4, page 18) [AB] et [A'B'] sont deux segments du plan P, I et J les milieux de [AA'] et [BB']. Montrer que, pour tout point K du seg ment [IJ], il existe des points C et C' des segments [AB] et [A'B'], tel que K soit le milieu de [CC'].
31

SOMMAIRE
Application Si E et E' sont deux parties convexes du plan P, l'ensemble des milieux des segments [AA'], o A est dans E et A' dans E', est convexe. (Solution page 73). Autour du thorme de Thals Soit D et D' deux droites parallles du plan P, O un point de P extrieur ces droites. Une droite issue de 0 coupe D et D' en A et A', et on a : O = A + 'A'. Montrer que si une droite issue de 0 coupe D et D'en B et B', on a: O = B + 'B' . Soit C et C' les points dfinis par: ( + )C = A + B, ( + )C' = A' + B', ( + 0). Montrer que O, C, C' sont aligns. P 2.1.13 Thorme de Pappus Soit A, B, A', B' quatre points du plan tels que les droites : AA' et BB' se coupent en I AB et A'B' se coupent en J AB' et A'B se coupent en K Montrer que les droites JI et JK sont conjugues harmo niques par rapport aux droites AB et A'B'. (Solution page 73). C.I 2.1.12

32

SOMMAIRE
Rappel Si P et P' sont deux espaces affines, une application f : P P' est r r une application affine s'il existe une application linaire l : P P ' telle que pour tout couple (A, B) de points de P on ait : uuuuuuuuu u r uuu r r f(A) f(B) = l(AB) ; 1 est alors unique, et note f : c'est la partie linaire de f. On sait que, si le corps de base est R, si f : P P est une bijection qui transforme trois points aligns en trois points aligns, alors f est une application affine (l'hypothse que le corps de base est R est essentielle). (Cf. J. Frenkel "Gomtrie pour l'lve-professeur", pages 83-88). E.E 2.1.14 Soit D et . deux droites non parallles du plan affine rel P, S la symtrie d'axe ., de direction D. Montrer que S est une application affine. Indication Mme raisonnement que 2.1.12.

E.E

2.1.15

Rgle 2

Soit i Ai, i = 1, ... n, n points massifs de P, f une application r affine de P dans P', de partie linaire f .
33

SOMMAIRE
Montrer que : 1) Si

0 et si G est le barycentre de i Ai , i = 1, ..., n, alors

f(G) est le barycentre des points massifs if(Ai), i = 1, ..., n, c'est--dire que :

f(Ai) =

f(G)

2) Si

i = 0, alors :
1

r n f(A ) = f ( i Ai) i i
n 1 1

(Solution page 74). C.I 2.1.16 Mme nonc que C.I 2.1.12, mais cette fois on demande une solution gomtrique. Indication Utiliser une homothtie de centre O. E.D 2.1.17 Soit . la mdiane issue de A d'un triangle ABC. En utilisant la symtrie oblique d'axe ., parallle BC, montrer que l'isobarycentre du triangle appartient . 2 REPERES CENTRIQUES AFFINES ET COORDONNEES BARY

E.E 2.2.1 Bases de P Pour cet exercice, il est commode de connatre la seconde construction expose au chapitre I. Cela n'est cependant nullement indispensable, et l'on peut faire cet exercice sans connatre aucune des constructions du chapitre I. P dsigne toujours un plan affine rel. On rappelle que la dimen est 3 (dim P = dim P + 1). sion de l'espace vectoriel P 1) Montrer que les points massifs A et A sont lis ; en dduire , on peut se limiter aux points que pour tudier les bases de P massifs de masse 1, c'est--dire aux points de P. r r r r r r r 2) Peut-on choisir u, v, w dans P tels que ( u, v, w ) soit une base de P
34

SOMMAIRE
r r r 3) Soit A un point de P, u, v deux vecteurs de P . A quelle r r ? Montrer que, dans une condition (A, u, v ) est-il une base de P r r telle base, tout point M de P s'crit: M = A + xu + yv comment peut-on interprter x et y ? r 4) Soit A et B deux points de P, u un vecteur de P. A quelle r r condition (A, B, u ) est-il une base de P ? 5) On suppose P de dimension n ; soit A0, Al, ..., An n + 1 points de P. Montrer que les assertions suivantes sont quivalentes : (i) (A0, Al , ..., An) est une base de P uuuuu r (ii) Il existe j tel que ( A j Ai )i j soit une base de P uuuuu r (iii) Pour chaque j, ( A j Ai )i j est une base de P.
Exprimer ce rsultat en langage plus "parlant" dans le cas o P est de dimension 1, 2, 3. (Commentaire page 74) Dfinitions r r Une base du type (A, u, v ) de P est appele repre cartsien du plan affine P. Une base du type (A, B, C) de P est appele repre affine du plan affine P. E.E 2.2.2 P et P' dsignent deux plans affines rels, (A, B, C) et (A', B', C') des repres affines de P et P' respectivement. 1) Montrer qu'il existe au plus une application affine de P dans P' qui transforme (A, B, C) en (A', B', C'). 2) Soit 1 l'application linaire de P dans fi dfinie par : uuu r uuuu r uuu r uuuu r l( AB ) = A'B' , l( AC )= A'C' . uuuu r On dfinit f : P P' par: f(M) = A' + l( AM ). Montrer que f est affine, et transforme (A, B, C) en (A', B', C'). 3) Conclure qu'il existe une unique application affine de P dans P' transformant (A, B, <?)en (A', B', C'), et qu'elle est bijective. Commentaires 1) Utiliser l'invariance du barycentre par les applications affines. r 2) Remarquer que f = 1 et que 1 est bijective.
35

SOMMAIRE
E.E 2.2.3 Coordonnes barycentriques (A, B, C) est un repre affine du plan P, M un point de P. 1) Un point massif mM (m 0) s'crit dans le repre (A, B, C) : mM = A + B + C a) , , sont-ils ncessairement tous non nuls? Que signifie = 0 ? = = 0 ? b) Quelle est la relation qui lie les scalaires m, , , ? 2) Dfinition On appelle coordonnes barycentriques du point M dans le repre (A, B, C) tout triplet (, , ) de rels tel que: (i) + + 0 (ii) ( + + ) M = A + B + C Dfinition On appelle coordonnes barycentriques normalises de M dans le repre (A, B, C) l'unique systme de coordonnes barycentriques de M dans (A, B, C) dont la somme soit gale 1. Comment obtient-on les coordonnes barycentriques normalises de M partir de coordonnes barycentriques quelconques ? Inversement, comment, partir des coordonnes barycentriques normalises, obtient-on tous les systmes de coordonnes barycentriques de M ? 3) Soit ( + + ) des coordonnes barycentriques de M dans le repre affine (A, B, C) et x, y les coordonnes de M dans le repre cartsien (A, AB, AC). Calculer + + en fonction de x et y, et inversement. (Commentaires page 75). E.E 2.2.4 Soit ( + + ) des coordonnes barycentriques de M dans le repre affine (A, B, C) du plan P. (i) Que dire de la position de M si + = 0 ? (ii) Si + 0, soit A' le point de coordonnes barycentriques (0, , ) dansuuuur le repreuuuu (A, r B, C) ; quelle droite appartient A' ? Montrer que A'M = A'A , et en dduire que la position de M par rapport la droite BC est caractrise par le signe de . (iii) Sur un dessin, mettre dans chacune des sept rgions du plan dtermines par les droites AB, BC, CA les signes que doivent avoir , , pour que M appartienne cette rgion.
36

SOMMAIRE
C.I. 2.2.5 Soit A, B, C un triangle, A', B', C' les milieux des cts [BC], [CA], [AB]. Soit , , (resp. ', ', ' ) des coordonnes barycentriques d'un point M dans le repre (A, B, C) (resp. A', B', C'), et m = + + (resp. m' = ' + ' + '). a) Exprimer , , en fonction de ', ', ' et de m . m' b) On suppose m = m' ; dterminer les points du plan pour lesquels ( , , ) = (' , ' , '). c) On suppose m = m' ; quelles conditions doivent satisfaire ( , , ) pour que M soit intrieur au triangle A'B'C' ? C.I 2.2.6 A, B, C, D sont quatre points du plan tels que trois quelconques d'entre eux ne soient pas aligns. Montrer que si l'on connat des coordonnes barycentriques de l'un des points dans le repre form par les trois autres, on connat des coordonnes barycen triques de n'importe lequel de ces quatre points dans le repre form par les trois autres. P 2.2.7 (A, B, C) est un repre du plan P, M un point de P. a) Montrer que si F: P P R est une forme bilinaire . alterne non nulle sur P, des coordonnes barycentriques quelconques de M dans repre (A, B, C) uuuu r le r uuuu rsont uuuu rtoujours proportion uuuu r uuuu r uuuu nelles F( MB , MC ), F( MC , MA ), F( MA , MB ). b) On suppose que P est un plan euclidien orient. Montrer que si (resp. resp. ) est l'aire algbrique du triangle MBC (resp. MCA, resp. MAB), alors (, , ) est un systme de coordonnes barycentriques de M dans le repre (A, B, C). (Commentaires page 76). P 2.2.8 Le thorme de Helly (Cf. Le livre du problme, vol. 4, page 31) [8] E est un ensemble de (p+l) parties convexes d'un espace affine n dimensions, avec p n + 1.
37

SOMMAIRE
Si les lments de t se coupent p p, alors les p + 1 lments de t ont un point commun. (Solution page 76). Equations barycentriques Soit (A, B, C) un repre affine du plan P ; on appelle quation barycentrique d'une partie E de P, dans le repre (A, B, C), toute relation entre des coordonnes barycentriques d'un point M de P dans le repre (A, B, C), ncessaire et suffisante pour que M appartienne E. Il peut arriver qu'une telle relation s'crive en reliant plusieurs relations barycentriques l'aide de la conjonction "et". On parle alors d'un systme d'quations barycentriques. E.D 2.2.9 Soit ABC un triangle. Trouver des quations barycentriques, dans le repre (A, B, C), a) des cts du triangle, b) de la mdiane issue de A, c) de la parallle mene AC par l'isobarycentre du triangle ABC. E.E 2.2.10 (A, B, C) est un repre affine du plan P. 1 En partant de l'quation d'une droite dans le repre cartsien uuu r uuu r (A, AB , AC ), et en utilisant les relations entre coordonnes cart siennes et coordonnes affines, montrer que toute droite de P a dans le repre (A, B, C) une quation de la forme : a + b + c = 0 o a, b, c sont des coefficients non tous nuls. 2 Soit la droite d'quation barycentrique a + b + c = 0 a) que signifie la nullit d'un coefficient? b) que signifie l'galit de deux coefficients ? c) quelles sont les coordonnes barycentriques normalises dans le repre (A, B), de l'intersection de .avec la droite AB? 3 Les droites . et ' ont respectivement pour quation a + b + c = 0 et a' + b' + c' = 0. Exprimer, au moyen d'un dterminant, la condition sur a, b, c, a', b', c' laquelle .et .' sont parallles.

38

SOMMAIRE
Rponse

a b c =0 a' b' c'

E.D 2.2.11 ABC est un triangle, K le barycentre des points massifs B, 2C, L le barycentre des points massifs A, mC (m 1). A quelle condition les droites AK et BL se coupent-elles? Voici, pour terminer ce chapitre, un exercice qui peut servir de test, et qui est la premire partie d'un texte d'examen partiel propos des tudiants prparant le CAPES. T et C.I 2.2.12 Sur la droite de Newton Soit (A, B, C) un repre affine du plan affine, , , trois rels tous diffrents de 1. On dsigne par : L le barycentre des points massifs (B, 1) , (C, ) M le barycentre des points massifs (C, 1) , (A, ) N le barycentre des points massifs (A, 1) , (B, ) M' le barycentre des points massifs (C, 1) , (B, ) N' le barycentre des points massifs (A, 1) , (C, ) L' le barycentre des points massifs (B, 1), (A, ) 1) a) Quelle est la relation entre , , qui exprime que les points L, M, N sont aligns ? S'il en est ainsi, trouver des rels et tels que L soit le barycentre de (M, ) et (N, v). b) Si L, M, N sont aligns sur une droite ., montrer que L', M', N' sont aligns sur une droite ' , qu'on appelle la droite isotomique de .par rapport au triangle ABC. 2) Le thorme de Newton: a) Montrer que si L, M, N sont aligns sur une droite ., les milieux des segments [AL], [BM] et [CN] sont aussi aligns sur une droite D. (Il sera commode d'utiliser ct du triangle ABC, le triangle A'B'C' dont les sommets sont les milieux des cots du triangle ABC). Montrer que D ne dpend que des quatre droites AB, BC, CA, LMN et non de l'ordre dans lequel on les considre. D est la droite de Newton de ces quatre .droites.
39

SOMMAIRE
b) Trouver une relation remarquable entre la droite de Newton D, l'isobarycentre G du triangle ABC, et l'isotomique ' de 3) 1 , 2 , 3 , 4 sont quatre droites du plan en position gnrale (c'est--dire trois quelconques d'entre elles ne sont pas concou rantes, et deux quelconques d'entre elles ne sont pas parallles). On dsigne par 'i l'isotomique de i par rapport au triangle form par les trois droites j , j i. Etudier la disposition des quatre droites 'i. (Commentaires page 77).

40

SOMMAIRE
CHAPITRE III

LE BARYCENTRE EN GEOMETRIE AFFINE ED 3.1 Soit A, A', B, B' quatre points du plan tels que les droites AA' et BB' se coupent en I, et que les droites AB 'et A'B' se coupent en L. Soit et ' (resp. , ') des coordonnes barycentriques de I dans le repre (A, A') (resp. (B,B')). Calculer en fonction de , ', , ' des coordonnes barycentriques de L dans les repres (A, B) et (A', B') (Solution page 81).

E.D 3.2 (A, B, C) est un repre du plan affine P, et A', B', C' les milieux des cts [BC], [CA], [AB]. tant un rel diffrent de 1, on dsigne par I le barycentre de (B, 1) et (C, ). Dterminer des coordonnes barycentriques : 1 de I dans le repre (A', B', C') 2 du milieu M de [AI] dans le repre (A', B', C'). (Solution page 81). E.D 3.3 On considre trois points non aligns A, B, C. Quel est l'ensemble des points P dfini par : uuur uuuu r uuuu r uuuu r MP = MA + MB + MC lorsque M dcrit une droite D ? (Solution page 82).
41

SOMMAIRE
C.I 3.4 Le calcul des homothties - translations On se place dans un espace affine E. H(A,k) dsigne l'homothtie de centre A et de rapport k (k 0) r r dsigne la translation de vecteur u . Tu 1 Exprimer en langage barycentrique que le point M' est le r ). transform de M par H(A,k) (resp. par Tu 2 Dterminer la compose : a) de deux translations b) de deux homothties c) d'une homothtie et d'une translation 3 Montrer que l'ensemble HT form des homothties et des translations de E est, pour la composition des applications, un sous-groupe du groupe des applications affines bijectives de E dans E. Ce sous-groupe est-il commutatif? 4 On associe l'homothtie H(A,k) le point massif (A,k) et la r r le vecteur u . Quel est la structure de groupe sur P translation Tu qui rsulte du transport de structure du groupe HT ? (Solution page 82). E.D 3.5 Soit (, , ) les coordonnes barycentriques normalises d'un point G dans un repre affine (A, B, C). La parallle mene par G AB (resp. AC) coupe BC en M (resp.N). uuuu r uuu r uuur uuu r Montrer que MB = BC et que NC = BC . Commentaire Cet exercice permet de donner une interprtation des masses , , comme mesures algbriques de segments ports par les cts du triangle ABC. Cette interprtation graphique des masses est dveloppe dans un article d'Emma CASTELNUOVO (C.I.E.M. Lyon 24-30 Aot 1969). (Solution page83). P 3.6

1, , n sont n rels de somme non nulle; quel est l'ensemble des barycentres G des points massifs 1 A1 , ..., nAn, lorsque les
points A1, ., An se dplacent indpendamment sur n droites parallles donnes? (Solution page 84).
42

SOMMAIRE
C.I 3.7 On donne trois points A, B, C non aligns et trois nombres rels , , de somme non nulle. Soit ) et 2 deux nombres variables tels que 1 + 2 = . Soit : G le barycentre de (A, ), (B, ), (C, ) G1 le barycentre de (A, 1 ), (B, ), (C, ) G2 le barycentre de (A, 2)' (B, ), (C, ) G' le barycentre de (G1, 1 + + ), (G2, a2 + + ) uuur uuu r uuu r uuuu r 1 Calculer le vecteur GG' en fonction des vecteurs GA, GB, GC et des coefficients , , . 2 Les points G et G' peuvent-ils tre confondus ? 3 Dans le cas o G et G' sont confondus, tudier comment varient G1 et G2 lorsque 1 et 2 varient. (Solution page 84). C.I 3.8 L'intrt de cet exercice est de montrer qu'une application affine est en gnral la compose de trois affinits. Soit (A, B, C) un repre du plan affine P et soit A' un point tel que la droite (A, A') coupe la droite BC en un point A". On considre l'application f de P dans P qui, au point M de coordonnes barycentriques normalises , , dans le repre (A, B, C) fait correspondre le point M' dfini par M' = A' + B+ C. uuuuu r uuuu r 1 Montrer que le vecteur MM' et le vecteur AA' sont linairement dpendants. 2 On dsigne par p, q, r les coordonnes barycentriques norma lises de A' dans le repre (A, B, C). Soit M" l'intersection des droites MM' et BC. Montrer que : uuuuuu r uuuuu u r M"M' = p M"M Quelle est la nature de l'application f ? 3 Plus gnralement, soit A'B'C' un triangle quelconque et soit g l'application de P dans P qui fait correspondre au point M= A + B+ C le point M' = A' + B'+ C'. Montrer que g est en gnral la compose de 3 affinits. (Solution page 85).
43

SOMMAIRE
C.I 3.9 On donne un triangle OAB, et un rel a non nul. On dfinit, pour tout entier naturel non nul n, le point Bn pa r : uuuur uuu r ABn = a n AB et le point Sn par : uuuu r uuuu r uuuur uuuur OSn = aOB1 + a 2 OB2 + L + a n OBn Montrer qu'on peut choisir a de faon que, pour tout entier n, Sn soit intrieur au triangle OAB. (Solution page 86). C.I 3.10 Le thorme de Mnlas Soit ABC un triangle, , , , trois rels diffrents de 1. Soit A' (resp. B', resp. C') le barycentre des points massifs B et C(resp. C et A, resp. A et B). 1 Trouver une relation entre , , ncessaire et suffisante pour que A', B', C' soient aligns. 2 En dduire le thorme de Mnlas : A' B' C' sont aligns si et seulement si A'B B ' C C'A = 1 A'C B'A C'B (Solution page 86). C.I 3.11 r r r On donne un triangle ABC et trois vecteurs u, v, w du plan ABC. On considre les points A', B', C' tels que : uuuu r r AA' = u uuur r BB' = v uuur r CC' = w o est un paramtre rel. 1 Montrer qu'on peut en gnral trouver 3 coefficients non simultanment nuls , , tels que, quelque soit , le barycentre du systme (A, ), (B, ),(C, ) soit confondu avec le barycentre du systme (A' ,), (B', ), (C', ). . r r r 2 Le triplet (, , ) n'existe pas lorsque les vecteurs u, v, w vrifient une condition que l'on explicitera. Dans ce cas, montrer qu'on peut trouver trois coefficients , , non tous nuls, indpendants de , tels que ' + ' + ' = 0 et tels
44

SOMMAIRE
uuuu r uuuu r uuur u que le vecteur 'OA' + 'OB' + 'OC' ne dpende ni du point O, ni de . Prciser ', ', ' et faire la figure dans le cas particulier suivant : r r uuu r r uuur r uuu u = BC , v = CA , w = 1 BA , = 1 2 2 3 On revient au cas gnral. On donne trois coefficients l, 1, 1 tels que l, + 1 + 1 = 1 et l'on dsigne par I1 le barycentre de (A', l), (B', 1), (C', 1). Montrer que I1 dcrit en gnral une droite lorsque dcrit R. 4 De mme I2 est le barycentre de (A', 2), (B', 2), (C', 2) o 2, 2, 2 sont des rels donns tels que 2, + 2 + 2 = 1. On pose : uu r r r r V1 = 1 u + 1 v + 1 w uur r r r V2 = 2 u + 2 v + 2 w uu r uur Montrer que si V1 et V2 sont dpendants, alors la droite I1I2 passe en gnral par un point fixe I lorsque dcrit R. Application uuu r r uuu r r uuu r r On donne u = BC , v = CA , w = AB 1 = 1 1 = 1 1 = 1 6 3 2 1 1 2 = 2 = 2 = 1 2 3 6 Dterminer L et construire les points A', B', C', I1, I2 pour = 1. (Solution page 87). C.I 3.12 Le thorme de Desargue Dans un plan affine P, on considre deux triangles ABC et A' B' C' tels que les droites AA', BB', CC' soient concourantes. On suppose que les droites BC et B'C' se coupent en A1, que les droites CA et C'A' se coupent en B1 , que les droites AB et A'B' se coupent en C1. Montrer que A1, B1, C1 sont aligns. (Solution page 90). T.T 3.13 Soit ABC un triangle. Construire point par point l'ensemble des barycentres M des points massifs A, B, 2 C lorsque dcrit R. Prciser la tangente la courbe obtenue au point de paramtre = 0.
45

SOMMAIRE
Commentaire : On obtient une ellipse. On trouvera des explications plus prcises dans les uvres de Mobius, Tome 1. Pour dterminer la tangente au point Mo ,on tudie la limite, quand tend vers o, de uuuuuuuu r M 0 M 0 E.E 3.15 Curiosit On appelle ttradres associs de Mobius deux ttradres ABCD et A'B'C'D' tels que chaque sommet de l'un soit dans le plan d'une face de l'autre. 1 Montrer que l'on peut obtenir deux ttradres associs de Mobius partir des huit sommets d'un cube. 2 Etant donn un ttradre ABCD, soit : A' le barycentre de B, C, D B' le barycentre de A, C, D C' le barycentre de A, B, D D' le barycentre de A, B, C . Vrifier que ABCD et A'B'C'D' sont associs au sens de Mobius. 3 Soit ABCD et A'B'C'D' deux ttradres, M la matrice de la base (A',B',C',D') de ~dans la base (A,B,C,D). Montrer que les deux ttradres sont associs au sens de Mobius si M et M1 n'ont que des 0 sur la diagonale principale. La condition est-elle aussi ncessaire ? (Solution page 91). T.T 3.16 (cf. [10]) To be or not to be Soit M0 un point d'un plan affine contenant les points A,B,C. On construit successivement le point M1 milieu de (M0,A), M2 milieu de (Ml , B), M3 milieu de (M2, C), M4 milieu de (M3, A), M5 milieu de (M4,B), etc... Cette situation est prsente dans divers livres de rcrations mathmatiques sovitiques, accompagne d'une petite histoire concernant un garon indcis, Marc, qui a trois copains Albert, Bernard et Charles.

46

SOMMAIRE
Il sort de chez lui, dcide d'aller jouer chez Albert, change d'avis mi-chemin pour se rendre chez Bernard, etc... On demande ce qui adviendra si cette conduite indcise se poursuit indfiniment. (Solution et commentaire page 92). P 3.17 Le Parabolode Hyperbolique E est un espace affine de dimension 3, A, B, A', B', quatre points non coplanaires de E. Pour tout couple (, ) de rels, on dfinit les points suivants :

Montrer que les droites II',.et JJ' se coupent en un point M . On appelle PH l'ensemble des points M lorsque (, ) parcourt R2 . PH est-il gal E ? 2 On se propose d'tudier les droites de E incluses dans PH. a) Mettre en vidence deux familles de droites de PH, et les tudier (que dire de deux droites d'une mme famille ? de deux droites des deux familles ? les droites d'une mme famille dfinissent-elles une direction de plan? ).
47

SOMMAIRE
b) PH contient-il d'autres droites que celles mises en vidence ci-dessus ? 3 Dterminer les sections de PH par des plans parallles respec tivement aux plans vectoriels dtermins par : uuuu r uuur AB' et A'B uuuu r uuuu r uuur AB' et AA' BB' uuur uuuu r uuur A'B et AA' BB' (Solution page 94).

3.18

Une belle erreur!

Quelles rflexions vous suggrent l'nonc et la "dmonstration" qui suivent? "thorme": tant donns n points distincts A1, An d'un espace affine rel E, si un point M de E s'crit: M=

A
i 1

, alors les i sont uniques.

"dmonstration" : Par rcurrence sur n n=2 M = A + B = 'A + 'B ( ')A = ( ' )B A et B tant distincts, : ' et ' sont forcment nuls. Supposons le rsultat vrai pour n, dmontrons-le pour n + 1. Si M =

A
i 0

, tous les i ne peuvent tre gaux 1, puisque leur

somme est 1; on peut donc supposer 0 1 . Alors M = 0 A0 + (1 0)B, o le point B est dfini par :
B=

1
1

Par hypothse de rcurrence, les coefficients de la dcomposition de B sur A1, ..., An sont dtermins de faon unique; de mme les coefficients de la dcomposition de M sur A0 et B sont uniques. Donc 0 , 1 , n sont dtermins de faon unique. (Commentaire page 98).

48

SOMMAIRE
CHAPITRE IV LE BARYCENTRE EN GEOMETRIE EUCLIDIENNE

Dans ce chapitre, on se place dans un espace affine euclidien E ; la distance de deux points A et B est note AB. E.E 4.1 Formule de Leibniz Soit l A1 , ... , n An n points massifs; pour tout point M de l'espace, on pose :
F(M) =

MA
i i=1

2 i

Soit O un point de l'espace E ; exprimer F(M) en faisant intervenir F(O) et le vecteur n ur uuuu r V = i OA i
i=1

On suppose i 0, et on appelle G le barycentre des i Ai

i=1

i = 1, ..., n ; tablir la formule de Leibniz :

MA = MG + GA
i 2 i 2 i i

2 i

On suppose

i=1

i=1 n

i=1

i=1

=0

a) Montrer que F est une fonction affine. b) Ecartant le cas trivial o tous les i sont nuls, on considre une partie I de {1,2,...,n} telle que: i 0
iI

Soit G' le barycentre des i Ai , i I, G" le barycentre des i Ai i I. . r Que peut-on dire de F si G' = G" ? et de V ? Si G' G", on appelle G le milieu du segment [G'G]. uuuu r r r Montrer que F(M) = (2MG V) + F(G), et calculer V en fonc tion des i de G' et de G" . (Solution page 101).
49

SOMMAIRE
E.D 4.2 On donne deux points A et B. Transformer MA2 + MB2 et MA2 MB2 en s'inspirant de l'exercice prcdent. Pour la deuxime transformation, on choisira le point O de la manire la plus simple. (Solution page 102). E.D 4.3 Montrer que, dans un paralllogramme, la somme des carrs des longueurs des diagonales est gale la somme des carrs des longueurs des quatre cts. (Solution page 102). E.D 4.4

Soit l Al , ..., n An , n points massifs tels que que la quantit

A
i 1

r = 0 .Montrer

MA
i i=1

2 i

, est une constante. (Solution page 103).

E.D 4.5 Dans le plan euclidien, on donne deux paralllogrammes ABCD et A'B'C'D' de centres respectifs O et O'. 1 Quel est l'ensemble des points M du plan tels que MA2 + MB2 + MC2+ MD2soit gal une constante positive donne ? 2 Quel est l'ensemble des points Mtels que MA2 + MB2 + MC2 + MD2 = MA'2 + MB'2 + MC'2 + MD'2 ? (Solution page 103). C.I 4.6 La formule de Stewart 1 A,B,C sont trois points d'un axe .,M un point quelconque de l'espace. r Montrer.que BC A + CA B + AB C = 0 En dduire, grce E.D 4.4, la formule de Stewart : BC MA 2 + CA MB2 + AB MC 2 + BC CA AB = 0 2 Cette question montre comment la formule de Stewart permet de calculer aisment certains lments du triangle.
50

SOMMAIRE
La bissectrice intrieure de l'angle A du triangle ABC coupe BC en D. Calculer la distance AD, en fonction de BC = a, CA = b et AB= c. (Solution page 103). C.I 4.7 Orthocentre d'un triangle On donne un triangle ABC. Quel est l'ensemble des points M du plan tels que: MB2 MC2 = AB2 AC2 ? En dduire que les hauteurs d'un triangle sont concourantes en un point D, qui satisfait : AB2 + CD2 = BC2 + AD2 = CA2 + BD2 (Solution page 104). C.I 4.8 Ttradre orthocentrique Soit A,B,C,D quatre points non coplanaires de l'espace euclidien de dimension 3 tels que : AC2 + BD2 = BC2 + AD2 = AB2 + CD2 Montrer que deux artes opposes quelconques du ttradre ABCD sont orthogonales, que les plans passant par une arte et perpendiculaires l'arte oppose ont un point commun N et que toutes les droites passant par un sommet et perpendiculaires la face oppose sont concourantes en N. (Solution page 104). Proprit du centre du cercle inscrit dans un triangle Dans le plan euclidien, on donne un triangle ABC et l'on pose BC = a, CA = b, AB = c. 1 Dmontrer que le barycentre 1 du systme de points massifs (A,a), (B,b), (C,c) est le centre du cercle inscrit dans le triangle. (Ce rsultat ne sera pas utilis dans la suite). 2 On se propose de dmontrer la formule a IA2 + b IB2 + c IC2 = abc Pour cela, on appliquera la formule de Leibniz au systme de points massifs prcdent, en plaant successivement le point M en A, B, C.
51

P et C.I

4.9

SOMMAIRE
3 Trouver des formules analogues pour les centres des cercles ex-inscrits. (Solution page 105). P et CI 4.10 Soit M un point intrieur au triangle ABC. Montrer que M est barycentre des points A, B, C affects de coefficients propor tionnels aux aires des triangles MBC, MCA, MAB. (Solution page 105). P 4.11 Calcul du rayon de la sphre orthoptique d'un cercle, en fonction du rayon de ce cercle Etant donne une figure F de l'espace affine euclidien de dimension 3, la figure orthoptique de F est l'ensemble des points qui sont sommet d'un tridre trirectangle ayant ses trois faces tangentes F. Dans le cas d'un cercle (plus gnralement d'un ellipsode), on dmontre que l'orthoptique est une sphre, dont on propose de calculer le rayon. On peut illustrer ce problme de la faon suivante : on pose un cerceau dans un coin d'une pice, et on veut calculer la distance du centre du cerceau au point d'intersection des deux murs et du plancher. Soit donc un tridre trirectangle de sommet S, dont les trois faces sont tangentes un cercle de centre 1 et de rayon r. Les trois artes du tridre rencontrent le plan du cercle en A, B, C. On pose: BC = a, CA = b, AB = c, SA = x, SB = y, SC = z. Exprimer la somme aSA2 + bSB2+ cSC2 1 en calculant x2 , y2, z2 en fonction de a, b, c 2 en utilisant la formule de Leibniz (se reporter l'exercice C.I 4.9) En dduire IS en fonction de r. On rappelle que si a + b + c = 2p, l'aire du triangle ABC est donne par : 2 == p(p a) (p b) (p c) et = pr. (Solution page 106).

52

SOMMAIRE
Aire et longueur d'une arche de cyclode approche On sait qu'une cyclode est la courbe dcrite par un point fix sur un cercle, lorsque ce cercle roule sans glisser sur une droite D. Si l'on remplace le cercle par un polygone rgulier n cts, un sommet fix de ce polygone dcrit une "cyclode approche". 1 Calculer, en fonction de n et du rayon R du cercle circonscrit au polygone, l'aire Sn limite par une arche de la cyclode approche et la droite D. Quelle est la limite de Sn lorsque n tend vers + ? Calculer de mme la longueur Ln d'une arche de la cyclode approche, et tudier la limite de Ln lorsque n tend vers + . Effectuer le calcul de L18 (Solution page 107). 4.13 Couvercles des simplexes (cf [9] 200) P 4.12

Dans un espace affine E, un simplexe de dimension n est l'enveloppe convexe de n + 1 points affinement indpendants (donc n dim E) qui sont les sommets du simplexe. E tant suppos euclidien, on se donne un simplexe , de sommets A0, A1 ..., An et on s'intresse la borne infrieure R0 de l'ensemble des rels R > 0 tels que puisse tre inclus dans une boule de rayon R. 1 On suppose n = dim E : il existe alors un unique point O de E quidistant des Ai ; l'hypersphre de centre O, passant par les Ai est l'hypersphre circonscrite . On suppose que 0 est intrieur . a) Montrer que R0 est gal au rayon de l'hypersphre circonscrite . b) En dduire l'ingalit: n R0 l 2(n + 1) o l = sup AiAj. Dans quel cas a-t-on l'galit ? Le rsultat prcdent reste-t-il valable si n < dim E ? (Solution page 108).
53

SOMMAIRE
CHAPITRE V

LE CENTRE DE GRAVITE

1 Introduction:
Il n'est pas rare de rencontrer des lves qui ont tudi le barycentre en mathmatiques, le centre de gravit en physique, sans souponner qu'il s'agit de deux notions de mme nature. C'est l un chec pdagogique : sans importance pour qui ne vise que la russite aux examens, trs grave pour le matre qui prtend former l'esprit. Le prsent chapitre se propose d'alerter les matres sur la ncessit du rapprochement entre barycentre et centre de gravit. Signalons d'abord que, contrairement une ide assez rpandue, l'intervention de masses ngatives est frquente en physique. E.D 5.1.1 Une barre rectiligne est soumise n forces parallles entre elles. Que peut-on dire de la rsultante de ces forces lorsque : on modifie la direction commune de ces forces ? on remplace ces forces par des forces proportionnelles ? (Solution page 111). E.D 5.1.2 On vide une plaque homogne carre en y perant une ouverture carre. Connaissant les dimensions de la plaque, ainsi que les dimensions et la position de l'ouverture, trouver la position du centre de gravit de la plaque vide. (Solution page 111). Cependant, trs souvent en physique (et c'est dj le cas dans E.D 5.1.2) on rencontre non pas des ensembles finis de points massifs, mais des rpartitions continues de masses, sous forme de corps pesants (volumes, surfaces ou courbes), homognes ou non. Dans ce cas, la notion de barycentre cde la place celle de centre de gravit.
55

SOMMAIRE 2 Dfinition et principales proprits du centre de gravit.

C dsigne un corps pesant, ayant en chaque point une densit de masse . On appellera "mesure de C" le volume de C si C est trois dimensions; la surface de C si C est deux dimensions (ou du moins considr comme tel, une dimension tant ngligeable par rapport aux deux autres : par exemple une tle, etc...) ; la longueur de C si C est une dimension (fil de fer, barre, etc...). C est dit homogne si sa densit de masse est constante, auquel cas la masse est proportionnelle la mesure. E.E 1 5.2.1

Soit 1 A1 , , n An et 1 B1 , ..., n Bn deux ensembles de points massifs tels que pour tout indice i on ait : i 0 , d(Ai , Bi) < . Majorer la distance des barycentres de ces deux ensembles. On ralise (par la pense) un dcoupage de C en n morceaux D1, ..., Dn, de masses 1 , ..., n, et on choisit dans chaque morceau Di un point arbitraire Ai . On a alors un "dcoupage point (D,A) de C", o D = (D1 ,..., Dn) et A = (A1 ,..., An). Le module de ce dcoupage, est le rel : |D| = sup diam (Di.). Le barycentre G(D,A) de l'ensemble 1 A1 , , n An ralise une "approximation du centre de gravit de C", associe au dcoupage point (D,A). a) Montrer que si (D, A) et (D' ,A') sont deux dcoupages points de C, alors d(G(D,A) , G(D ',A') ) 2|D| + 2|D'| b) Montrer que si (Dk,Ak ) k N est une suite de dcoupages points de C telle que lim D k = 0, la suite (G(Dk Ak) k N
k

a une limite. c) Dans les conditions du b), montrer que la limite obtenue ne dpend pas du choix de la suite (Dk , Ak ). Dfinition: Cette limite est le centre de gravit de C. (Solution page 111).
56

SOMMAIRE
Commentaire Le rsultat repose essentiellement sur le critre de Cauchy. Cet exercice peut servir de test de rvision, pour contrler un enseigne ment sur l'intgrale de Riemann. Il faudra l'adapter pour le prsenter avec le mme degr de rigueur que celui qui est utilis dans cet enseignement. Remarque Il faut remarquer que le centre de gravit de C n'appartient pas forcment C, si C n'est pas convexe. Associativit : Thorme 1 Si le corps C est form de deux corps distincts C' et C", de masses m' et m", le centre de gravit de C est le barycentre des centres de gravit de C' et C" affects respectivement des masses m'et m". Commentaire Il pourra tre utile de prsenter ce thorme sous forme d'exercice d'exposition. E.E 5.2.2 Symtrie "mcanique" Soit C un corps admettant un "axe de symtrie mcanique" d : cela signifie que d est un axe de symtrie (oblique) gomtrique, et que de plus deux parties de C symtriques ont mme masse. En particulier, si la symtrie est orthogonale ou si C est un corps trois dimensions ou une plaque plane, il suffit que la densit en deux points symtriques soit gale. 1 Un dcoupage D de C est dit plus fin que le dcoupage D' si chaque Di est inclus dans D'j. Etant donn un dcoupage D de C, montrer qu'il existe un dcoupage de C, plus fin que D et symtrique par rapport d (c'est--dire que pour tout i de , S(i) appartient ). 2 En dduire que le centre de gravit de C appartient l'axe de symtrie mcanique d. (Solution page 112). Invariance par les bijections affines Le rsultat de l'exercice E.E 5.2.2 s'tend facilement sous la forme suivante :

57

SOMMAIRE
Thorme 2 Si C et C' sont deux corps pesants de densit de masse et ', si f est une bijection affine telle que f(C) = C' et qu'une partie de C et son image par f ont des masses proportionnelles, alors le centre de gravit de C' est l'image par f du centre de gravit de C. "Passage la limite" On dit qu'un corps homogne C est limite d'une suite de corps homognes (Cn) si la mesure de la diffrence symtrique (C CnC) (CC Cn) tend vers 0 lorsque n . Exemples Un disque D est limite de la suite des polygones rguliers n cts qui y sont inscrits (resp. qui lui sont circonscrits). Un cne plein' base circulaire est limite de la suite des pyramides de mme sommet, et dont les bases sont les polygones rguliers n cts inscrits dans le disque de base (resp. circonscrits au disque de base). Quelques connaissances sur l'intgration permettent de dmontrer le : Thorme 3 Si le corps homogne C est limite de la suite de corps homognes (Cn), alors la suite des centres de gravit des Cn a pour limite le centre de gravit de C.

3 Quelques exercices
E.D 5.3.1 Dterminer le centre de gravit d'une plaque triangulaire homogne. (Solution page 112). Dterminer le centre de gravit du solide form par trois barres homognes soudes en triangle. (Solution page 113). Dterminer le centre de gravit d'un ttradre plein homogne. (Solution page 113).
58

5.3.2

E.D

5.3.3

SOMMAIRE
E.D 5.3.4 Dterminer le centre de gravit d'un cne plein homogne base circulaire. (Solution page 113). Plaque trapzodale

E.D

5.3.5

Une plaque homogne a la forme d'un trapze ABCD. uuu r uuu r uuuu r uuu r 1 On dfinit les points L et M par DL = AB et AM = DC . Montrer que le centre de gravit G de la plaque se trouve sur le segment [LM]. 2 Soit EF et HK des parallles aux bases, divisant la hauteur en trois parties gales, soit 1 le point d'intersection de HF et AD. Montrer que G se trouve sur la parallle aux bases mene par I. Constructions gomtriques de G. (Solution page 114). P 5.3.6 Un rcipient de forme quelconque est partiellement rempli de liquide, de telle faon que le centre de gravit de l'ensemble affleure la surface du liquide. Etudier le comportement de ce centre .de gravit lorsqu'on enlve, ou qu'on ajoute, un peu de liquide. (Solution page 114).

59

SOMMAIRE
C.I 5.3.7 Une plaque homogne a la forme d'un secteur circulaire, de centre O, de rayon R, d'angle . G1 tant son centre de gravit, on pose OG1 = . 1) Exprimer, en fonction de , la position du centre de gravit de la plaque obtenue en divisant la premire en 2k secteurs gaux. 2) En faisant tendre k vers l'infini, dduire de la question 1) l'expression de en fonction de . 3) Peut-on utiliser la mthode prcdente pour obtenir simplement le centre de gravit d'un arc de cercle homogne quelconque ? (Solution page 114). C.I 5.3.8 Dterminer le centre de gravit d'un cne plein homogne dont la base est un demi-disque. (Solution page 115). P 5.3.9 Le mystre de l'horloge magique Il s'agit d'une horloge peu ordinaire: son cadran, totalement transparent, est simplement perc en son centre d'un trou, dans lequel l'axe de l'aiguille tourne librement. Il semble que cette aiguille marche seule, et ce qui ajoute l'illusion, c'est que l'aiguille est parfaitement libre de tourner sous l'impulsion du doigt, et que ds qu'on l'abandonne elle-mme, elle revient exactement dans la position qu'elle occupait, aprs avoir oscill quelques instants autour de cette position. Puisque le cadran ne cache rien, il ne reste qu' dmonter l'aiguille: il s'y cache un canal circulaire dans lequel un systme d'horlogerie fait se mouvoir un petit corps assez pesant. Comment lucider le mystre ? (Solution page 116). Le culbuto connat ces jouets d'enfants: buste de poussah en par une demi-sphre leste. Lorsqu'on les couche ils se redressent immdiatement pour se placer
60

P 5.3.10 Tout le monde cellulod port sur une table, verticalement.

SOMMAIRE
Commentaire La partie suprieure du jouet tant trs lgre, le centre de gravit est l'intrieur de la demi-sphre: lorsque l'objet est couch, la verticale du centre de gravit passe en dehors du polygone de sustentation, et la force de pesanteur, pour abaisser ce point, force le jouet se redresser. P 3.11 Poussah polydrique [8] Voici la photographie du poussah polydrique, promise dans le Livre du Problme, vol. 4, page 101. On a fix sur la base fonce de ce polydre en carton, l'intrieur, une lourde masse de plomb. Si on met une face quelconque, autre que cette base, en contact avec la table, et qu'on lche l'objet, on observe un redressement vigoureux et spectaculaire.

5.3.12

O l'on peut admirer un exemple d'quilibre paradoxal

Introduction Tout le monde connat le tour de force qui consiste empiler verticalement, l'un au-dessus de l'autre, un nombre impressionnant de verres de vin, de faon que le tout reste en quilibre.
61

SOMMAIRE
Le problme qui suit dmontre que thoriquement, on pourrait faire bien mieux et donne des rsultats contraires l'intuition du commun des mortels. Enonc

On considre n + 1 barreaux homognes identiques, en forme de paralllpipde rectangle, que l'on empile comme indiqu sur la figure, chaque barreau tant dcal par rapport au barreau sous jacent d'une certaine distance dans la direction x'x, l'ensemble tant pos sur un plan rigoureusement horizontal. Etudier les conditions d'quilibre de ce systme et en particulier les valeurs permises pour le surplomb s, connaissant la demi-longueur l d'un barreau et le nombre n + 1 de barreaux empils. (Solution page 116).

62

SOMMAIRE
CHAPITRE VI LE BARYCENTRE HORS DE LA GEOMETRIE Le calcul barycentrique tire son importance du fait qu'il s'applique des domaines trs loigns de la gomtrie. Le prsent chapitre illustre ce fait par des exemples. Le professeur ne manquera pas de faire prendre conscience ses lves de l'analogie formelle qui existe entre un calcul portant sur des "sommes pondres" (comme on en rencontre constamment en conomie par exemple) et un calcul barycentrique. E.D 6.1 Un mode pratique de calcul de moyenne Soit xi (1 i n) n nombres rels de moyenne arithmtique x . On pose yi = xi m. Montrer que la moyenne arithmtique y des nombres yi est donne par la formule : y = x m . (Commentaire page 119). Application 6.2 A propos de la docimologie Les lves A et B ont obtenu, aux vingt devoirs de mathmatiques de l'anne, les notes suivantes (dans l'ordre des devoirs) : 15 14 16 17 2 15 15 4 18 15 A) 5 16 14 17 4 3 18 3 15 16

11 12 9 8 17 12 13 14 5 9 14 14 13 9 15 13 11 17 11 13 1) Calculer les moyennes et les carts-types de ces deux lves. Que conclure ? 2) Calculer pour chaque lve la moyenne (resp. cart-type) des devoirs n 5, 8, 11, 15, 16 et 18, puis celle des autres devoirs. Les devoirs cits, sauf le n 11, sont des devoirs de gomtrie ; les autres, part les n2 et 13, sont des devoirs d'algbre. Quelles informations peut-on en tirer ? En fait, les 6 devoirs cits sont des problmes demandant une certaine invention ; les autres ne sont que des exercices didac tiques : pour les rsoudre, il suffit pratiquement de savoir son cours. Quel nouveau jugement va-t-on porter sur les lves A et B? B)
63

SOMMAIRE
3) Quelles conclusions peut-on tirer de cet exercice ? (Commentaire page 119).

C.I 6.3 Rduction d'une somme algbrique de carrs Mettre le trinme 2(x 1)2 + 3(x 2)2 (x + 4)2 sour la forme canonique (x )2 + h. (Solution page 120). C.I 6.4 Thorme de Csaro Soit (Un) une suite de nombres rels tels que lim U n = l .
n

U + U 2 + U3 + L + U n On pose sn = 1 n Montrer que lim s n = l .

n

(Solution page 121). E.D 6.5 Reprsentation barycentrique d'un vnement Une baguette de verre se casse en trois parties de longueurs , , . Etant donn trois points A, B, C non aligns d'un plan affine, on reprsente chaque ventualit par le barycentre M de (A,), (B, ), (C, ). Quel est l'ensemble des points M du plan reprsentant l'vne ment : "On peut former un triangle avec les trois parties de la baguette" ? (Solution page 122). C.I 6.6 Problme de mlange Le chocolat au lait comprend trois constituants: sucre, cacao, et lait. On dsigne par , , les masses respectives de ces constituants. Etant donns trois points non aligns A, B, C, on reprsente chaque type de chocolat au lait par le barycentre M de (A,:), (B, ), (C, ). 1) Sachant que le mlange doit comprendre au moins 30 % de cacao et entre 20 % et 50 % de lait, quel est l'ensemble des points M du plan rpondant ces conditions?

64

SOMMAIRE
2) Le prix du kilogramme de sucre est 2 francs Le prix du kilogramme de cacao est 3 francs Le prix du kilogramme de lait est 1 franc Quel est la composition du chocolat au lait rpondant aux conditions du 1) et dont le prix soit minimal ? Dterminer le prix du kilogramme de ce chocolat. Le chocolat pour diabtiques est exempt de sucre. Quel est le prix du kilogramme de chocolat pour diabtiques le moins cher, rpondant aux conditions du 1) ? (Solution page 122).

3)

C.I 6.7 Suites dfinies par rcurrence On dfinit deux suites de rels (Un) et (Vn) de la manire suivante : On donne U0, V0, ., tels que U0 < V0 0 < < On dfinit Un+1 et Vn+l pour tout entier naturel n, par les formules de rcurrence : U + Vn U n+1 = n 1+ U n + Vn Vn+1 = 1+ 1) Montrer que n N, U n < Vn 2) Montrer que la suite (Un) est croissante, que la suite (Vn) est dcroissante. 3) Montrer que Vn Un 0 quand n + et en dduire que les deux suites ont une limite commune. (Solution page 124). C.I 6.8 Etude statistique On se propose d'tudier deux caractres dfinis sur la population de la France mtropolitaine. Pour cela, on demande chaque dpartement de fournir les moyennes, les variances et la covariance de ces deux caractres. Comment, partir de ces indications et des populations des dpartements, obtenir les moyennes, les variances et la covariance nationales? (Solution abrge page 125).
65

SOMMAIRE
C.I 6.9 Sur les polynomes de SergeBerstein [11] On se propose d'associer, chaque fonction numrique continue f (dfinie sur [0,1]), une suite de polynmes Bnf qui fournissent une "bonne approximation" de f. 1re partie - Calculs prliminaires Pour tout couple d'entiers (v, n) (o n> 2 et 0 n) on pose : n p n, (x) = ( ) x (1 x)n a) b) c) Montrer que les polynmes Pn, v (pour v = 0, 1, 2,..., n) forment , une base de l'espace vectoriel Pn des polynmes de degr n. Reprsenter graphiquement le polynme Pn, v dans l'intervalle [0,1] (pour un choix simple de (v,n)). Dmontrer les identits
=n =0 =n

n,

(x) 1 (x) nx
n,

=0 =n

p
=0

n,

( 1)p ( nx)
2

(x) n(n 1)x 2

=n

=0

p n, (x) nx(1 x)

d)

Etant donn et x tels que 0 < < 1 et 0 x 1, on dsigne par n l'ensemble des entiers v tels que 0 v n et que

x
n

Prouver que

p
n

n,

(x)

1 4n 2

Pour cela, on crira: 1 x)2 p (x) 1 = n ( nx)2 p (x) p (x) ( n, n, n 2 n n 2 n 2 =0 n (Ce rsultat signifie que lorsque~ est suffisamment loign de x n et que n est suffisamment grand, Pn, v(x) devient ngligeable).
66

SOMMAIRE
2me partie Soit C([0,1]) l'espace vectoriel des fonctions numriques continues dfinies sur [0,1]. A tout lment f de C([0,l]) associons son polynme de Berstein Bnf, o
=n

Bn f =

f( ) p n
=0

n,

a) b)

Vrifier que f Bnf est une application linaire (continue) de C([0,l]) dans Pn C([0,1]). Calculer BnP lorsque P est un polynme du second degr et tudier le comportement de BnP lorsque n augmente indfini ment.

3me partie On suppose, pour simplifier, que la fonction f satisfait, pour tout couple de valeurs x et x' de [0,1], l'ingalit : |f(x) f(x')| |x x' | Prouver que, pour tout x [0,1], Bnf(x) f(x) tend vers 0 lorsque n augmente indfiniment. Pour cela, on crira :
Bn f(x) f(x) =
=n

(f( ) f(x))p n
=0

n,

(x)
n

et l'on tudiera sparment les contributions de

=n

et de

la sommation On trouve

=0

1 4n 2 1 4n 2

|Bnf(x) f(x)| +

On peut donc choisir d'abord , puis n en sorte que + soit aussi petit que l'on veut.

(Commentaires page 126).

67

SOMMAIRE
SOLUTIONS ET COMMENTAIRES CHAPITRE 1 Solution E.E. 1 1) Il peut tre dans certains cas intressant de se rappeler que le point O peut tre mis l'extrieur de l'espace affine P dans lequel on travaille. Un exemple en est fourni au chapitre II, Exercice 2.2.12. 2) La construction gomtrique du point G se dduit de (2) et du fait que G appartient la droite AB.

3)

On ne peut parler de l'associativit, car la somme ((A,) + (B,)) + (C, ) n'est pas dfinie si + = 0, puisqu'on n'a pas encore dfini la somme d'un vecteur et d'un point massif. r = P (P R*) . Cela amne remplacer P R* par P 4) Le seul problme est celui de l'associativit, qui oblige distinguer cinq cas. Un intrt essentiel des constructions indiques dans les deux Exercices d'Exposition suivants est justement d'viter cette dmonstration fastidieuse.
69

SOMMAIRE
7) Il sera bon de bien mettre en vidence le fait que P s'identifie .1(1), ensemble des points massifs de masse 1, car dans la suite on utilise toujours cette identification, en considrant P , et en notant comme hyperplan affine de l'espace vectoriel P simplement A le point massif (A, l) (Cf. 4, notation de Grassmann).

Solution E.E. 2 1) On peut prendre A :=: P R, et P s'identifie tout hyperplan P {} de A. . 3)

r P est l'image par l'isomorphisme X: du sous-espace vectoriel P r de A . (Il serait maladroit de vrifier que P est stable pour les deux oprations) .

uuur uuu r uuur uuu r (i) OA + OB = BA + ( + )OB uuur uuu r r r r Comme BA est dans P , et que P R OB = {0} , on voit que uuur uuu r uuu r r r OA + OB appartient P si et seulement si ( + )OB = 0 , donc si et seulement si + = 0. uuur uuu r uuur uuu r uuur (iii) GA + GB = OA + OB ( + )OG uuur = ( )OG uuur uuu r uuu r r r r Comme GA + GB est dans P , et que P R OB = {0} , nces sairement = + .~ uuur (iv) (A, ) + (B, ) = BA ne dpend pas des choix effectus. Le point G non plus, dans le cas o + 0, car il est caract ris par la relation intrinsque (1). Il sera bon d'insister sur la ncessit de vrifier que la structure ne dpend pas des choix de G et de O. de P 6) c) Bien mettre en vidence le fait que P s'identifie .1(1), ensemble des points massifs de masse 1, car dans la suite on utilise toujours cette identification, en considrant P comme , et en notant simplement hyperplan affine de l'espace vectoriel P A le point massif (A, l). (Cf. 4 notation de Grassmann).
4)
70

SOMMAIRE
Solution E.E. 3 2)

3)

r On peut considrer f ' comme application de P dans V, montrer qu'elle est linaire et injective ; on en dduit alors que l'image r V ' de P par f ' est un sous-espace vectoriel de V et que f ' est un r isomorphisme de P sur V . a) Cette question consiste en fait dmontrer que pour un champ central, le centre et l'intensit sont uniques. d) (ii) L'galit f "(A, ) + f "(B, ) = f "(G, ) est quivalente : uuuu r uuuu r uuuu r M P, MA + MB = MG uuur uuu r uuuu r soit encore : M P, GA + GB = ( )MG uuur uuu r r En prenant M = G, on obtient : GA + GB = 0 uuuu r r donc : M P, ( )MG = 0 . d'o, en prenant M G : = + . G est unique puisque la somme f "(A, ) + f "(B, ) est dter mine de manire unique, et que f " est injective. Cette unicit uuur uuu r r rsulte aussi de l'galit GA + GB = 0 . r parce que a) P est un sous-espace vectoriel de P r P = (f 1)(V ') = (f ')1(V '). c) Il sera bon de bien mettre en vidence le fait que P s'identi fie 1(1) (ensemble des points massifs de masse 1), car dans la suite on utilise toujours cette identification, en considrant P et en notant comme hyperplan affine de l'espace vectoriel P simplement A le point massif (A, l). (Cf. 4, notation de Grassmann).

5) 6)

71

SOMMAIRE
CHAPITRE II

Solution C.I. 2.1.4

uuur uuu r uuu r (a + b + c) G = aA + bB + cC (a + b + c) AG = bAB + cAC . Traduction gomtrique de cette dernire galit: les vecteurs uuu r uuu r bAB et cAC ont mme norme, donc G appartient la bissectrice de l'angle BAC. On retrouve le fait que les trois bissectrices du triangle ABC sont concourantes.

Solution P. 2.1.11 I et J sont les milieux de [AA'] et [BB'], donc: 2I = A + A' et 2J = B + B'. K est sur le segment [IJ] : il existe des rels 0 et 0 tels que K= 2 I + 2 J. D'o: K = (A + A') + (B + B') = ( A + B) + ( A' + B') = ( + )C+ ( + )C' o C (resp. C'), barycentre de A et B (resp. A' et B'), appartient au segment [AB] (resp. [A' B']). Solution P. 2.1.13 Soit I' l'intersection des droites KJ et AA' : on doit montrer que I et I' sont conjugus harmoniques par rapport A et A'. On a (rgle 3) : I = A + 'A' = B + ' B' d'o : A B = 'A'+ ' B' Par suite (rgle 3) : ( ) J = ( ' + ') J = A B = 'A' + 'B' De mme : ( ') K = ( ' + ) K = A ' B' = 'A' + B

73

SOMMAIRE
De ces galits on dduit: ( ) J + ( ') K = A ' A' et par suite (rgle 3) : ( -') I' = A 'A' . Les galits: I = A + 'A' et ( ') I' = A 'A' prouvent que I et I' sont conjugus harmoniques par rapport A et A' , c.q.f.d. Solution E.E. 2.1.15 1)
uuuu r r r r uuuu
i

i Ai = ( i )G
1 1

i GAi = 0
1 n

f(GA ) = 0
i 1

uuuuuuuuuu u r r i f(G)f(Ai ) = 0
1

2)

f(A ) = ( )f(G)
i i i 1 1

Si M est un point de P, on a :

A = MA
i i i 1 1

uuuuu r
i

n r r n r uuuuu Par suite : f( i A i ) = i f(MA i ) 1 1 r uuuuuuuuuuu u r r uuuuu et comme f(MAi ) = f(M) f(A i ) , on obtient: n uuuuuuuuuu u r n r n f( i A i ) = i f(M)f(A i ) = i f(A i ) 1 1 1

Commentaires E.E. 2.2.1 1) Il faut se rappeler que si on multiplie les vecteurs d'une base d'un espace vectoriel par des scalaires non nuls, on obtient encore une base. r , 2) Ce n'est pas possible car P est un sous-espace vectoriel de P . non gal P r r 3) a) Si on connat E.E.2 du chapitre l, on sait que (A, u, v ) est uuur r r une base de P si et seulement si ( OA , u, v ) est une base de A ; r r autrement dit si ( u, v ) est une base de P. r r r r b) Dmonstration direct!! : si (A, u, v ) est une base de P, u et v r . donc dans le sous-espace vectoriel P . sont indpendants dans P
74

SOMMAIRE
r r r Rciproquement, si ( u, v ) est une base de P , de l'galit r r r A + u + v = 0 , qui implique de toute faon que = 0 et r r r u + v = 0 , on dduit que = = = 0. Cela prouve que A, r r , donc en forment une base. u et v sont indpendants dans P r a) Si on connat E.E.2 du chapitre I, on sait que (A, B, u ) est uuur uuu r r r si et seulement si ( OA, OB , u ) est une base de A , une base de P uuu r r donc si et seulement si AB et u ne sont pas colinaires. uuu r r r , AB et u b) Dmonstration directe: si (A, B, u ) est une base de P ne peuvent tre colinaires, car une relation de liaison r r A + B + u = 0 donnerait une relation de liaison r r r A + B + u = 0 entre A, B et u . . uuu r r r Rciproquement, si AB et u ne sont pas colinaires, A, B et u r r peuvent tre lis, car une relation de liaison A+ B + u = 0 impliquerait d'abord + = 0, donc une relation de liaison uuu r r r r AB + u = 0 entre A, B et u . La dmonstration directe est trs facile. Le rsultat signifie que : Si P est de dimension 1, deux points de P forment une base si et seulement si ils sont distincts. de P Si P est de dimension 2, trois points de P forment une base si et seulement si ils forment un triangle non dgnr. de P forment une Si P est de dimension 3, quatre points de P base de Psi et seulement si ils forment un ttradre non dgnr.

4)

5)

Commentaires E.E 2.2.3 , introduite la fin 1) b) On peut utiliser la forme linaire sur P des exercices d'exposition du chapitre 1. On peut remarquer aussi que, puisque m 0, + + n'est pas nul (car sinon A + B+ C serait un vecteur). Le barycentre de A + B+ C est donc gal mM, par cons quent : m = + + . 2) Attention aux coordonnes barycentriques normalises (ou coordonnes affines) : thoriquement elles sont intressantes, car elles sont dtermines de manire unique, alors que des coordonnes barycentriques quelconques ne sont dtermines
75

SOMMAIRE
qu' un facteur de proportionnalit (non nul) prs. Mais dans la pratique, il vaut souvent mieux viter de normaliser, quitte travailler une constante multiplicative prs. 3) x et y s'expriment facilement en fonction de , , :

x=

, y= . Mais l'expression de , , en + + + +

fonction de x et y n'est pas entirement dtermine. (Cf. le 2) ci-dessus). Commentaires P. 2.2.7 La structure euclidienne intervient en apparence dans la question b) pour que l'on puisse mesurer l'aire du triangle; en fait, les rapports d'aires ne dpendent pas du choix de la mtrique. L'orientation permet d'affecter cette aire d'un signe (l'aire du uuu r uuu r triangle ABC est positive ou ngative, suivant que la base ( AB, AC ) est compatible ou non avec l'orientation du plan). r r r ( u, v }tant une base orthonorme directe de P , si l'on considre P comme hyperplan d'un espace affine A de dimension 3, on oriente r r r r r r A en compltant le systme libre ( u, v ) en une base( u, v, w )de A , ce r qui respecte l'orientation de P. On peut alors munir A d'un produit r scalaire dont la restriction P concide avec celui qui est r r r donn sur P , et tel que w soit orthogonal P et de norme 1. On a r alors sur A une notion de produit vectoriel, et l'aire algbrique d'un triangle ABC du plan P est, au coefficient prs, la mesure uuu r uuu r r algbrique du produit vectoriel AB AC sur le vecteur w . On est alors ramen au a). Si l'on craint de faire prciser ces notions des lves, on pourra se placer d'emble dans la situation o P est un plan de R3 muni de sa structure affine euclidienne oriente. Solution P. 2.2.8 Si E = { Xl , X2 , ..., Xp +1 }, on appelle Ak un point de l'intersection de tous les Xi , sauf Xk .

76

SOMMAIRE
Les p + 1 points Ai sont affinement lis, il existe donc des rels i non tous nuls tels que: p+1 p+1 r A = 0 et i i i = 0
i=1 i=1

Il en rsulte que le barycentre des iAi tels que i > 0 est confondu avec le barycentre des iAi tels que i < 0. Ce barycentre est un point commun tous les Xi . Note: La solution parue dans le Livre du Problme, vol. 4, com portait quelques lapsus.

Commentaires T. C.I 2.2.12 1) a) Pour exprimer que les points L,M,N sont aligns, on peut chercher les coordonnes (a, b), (a', b') et (a", b") de L,M,N dans le uuu r uuu r repre cartsien (A, AB, AC ) par exemple, et crire que le dtermi nant 1 1 1

a a' a" est nul. Ce qui donne la condition = 1. b b' b"

Cependant, la seconde partie de cette question l,a, suggre d'crire que L,M,N sont aligns si et seulement si L est barycentre de M et N affects de masses convenables. Mais pour cela, on vite de normaliser ds le dpart, ce qui introduirait des dnominateurs gnants : on ne cherchera pas et tels que : L = M + N, mais ' et ' tels que: (1) (l )L = '(l )M + '(l )N . pour la simple raison que (l )L , (l )M , (l )N ont des expressions simples en fonction de A,B,C : (l )L = B C , (l )M = C A , (l )N = A B On porte ces valeurs dans (1), puis on utilise le fait que (A,B,C) est , de sorte un repre affine, donc une base de l'espace vectoriel P r qu'une relation du type uA + vB + wC = 0 quivaut u = v = w = O. On obtient la fois la condition = 1 et les valeurs de ' et '.

77

SOMMAIRE
Des lves non habitus des critures telles que (1) pourront introduire un point O arbitraire, et utiliser l'criture quivalente: uuu r uuuu r uuur (2) (1 - ) OL = '(1 - ) OM + ' (1 - ) ON Dans ce cas, il est bon de se souvenir qu'on peut prendre 0 l'extrieur du plan P (celui-ci tant plong dans un espace affine de uuur uuu r uuu r dimension 3 par exemple) de sorte que les vecteurs OA , OB , OC soient linairement indpendants, ce qui n'est plus le cas si on prend O dans P, et oblige alors placer successivement O en A, B, et C. b) On peut remarquer que, , , n'tant pas nuls (puisque = 1), les relations dfinissant L', M', N' : (1 )L' = C B etc... peuvent s'crire : (1 1 )L' = B 1 C , etc...

De sorte que d'aprs a), la condition d'alignement de L', M', N'est 1 = 1 , ce qui est ralis. 2) a) Soient I, J, K les milieux respectifs des segments [AL], [BM], [CN], A', B', C' les milieux de [BC], [CA], [AB]. En langage barycentrique, cela se traduit par des galits comme : uur uuur uuu r 2 I= A + L (ou si l'on prfre : 2 2OI = OA + OL ). L non plus on ne normalise pas ; au contraire, on multiplie par (l ) pour mettre en vidence (l )L, qu'on peut remplacer par B C. On obtient ainsi : 2(1 )I= (l )A + B C = A + B (A + C) = 2C' 2B'. Soit (1 )I = C' B' et de mme : (1 ) J= A' C' et (l ) K = B' A'. Cela prouve que I, J, K se dfinissent partir de (A', B', C') comme L', M', N' partir de (A, B, C). La condition d'alignement est donc la mme : = 1. On utilise ici la transformation du barycentre par l'application affine qui associe A'B'C' ABC. Les points I, J, K sont les milieux des diagonales du quadrilatre complet dtermin par les quatre droites AB ,BC, CA, LMN, ind pendamment de leur ordre. La droite D ne dpend donc pas de l'ordre dans lequel on considre les quatre droites.

78

SOMMAIRE
b) A', B', C' se dduisent de A,B,C dans l'homothtie de centre G (isobarycentre de ABC) et de rapport . D'aprs les relations qui dfinissent I, J, K en fonction de A' ,B', C' (cf. a), et du fait qu'une homothtie (qui est une application affine) conserve le barycentre, I, J, K se dduisent de L', M', N' dans la mme homothtie. Cela dmontre que les points I, J, K sont aligns puisque L', M', N' le sont, et prouve aussi que D et ' sont parallles. 3) Les quatre droites 'i sont parallles, car parallles la droite de Newton D des quatre droites i .

79

SOMMAIRE
CHAPITRE III

Solution E.D 3.1 Par hypothse on a : ( + ')I = A + 'A' ( + ')I = B + 'B'

L tant l'intersection des droites AB et A'B', on cherche une com binaison linaire de A et B qui soit gale une combinaison linaire de A' et B' ; les galits ci-dessus fournissent : ( + ')( A + ' A') = ( + ') ( B+ ' B') d'o ( + ') A ( + ') B = ( + ') 'A' + ( + ') ' B' et par suite: ( ' ' ) L = ( + ') A ( + ') B = ( + ') 'A' + ( + ') 'B' Remarquer que ' ' n'est pas nul parce que AB et A'B' ne sont pas parallles. Solution E.D 3.2 Les donnes se traduisent par les galits: 2A' = B + C, 2B' = C + A, 2C' = A + B, (1 )I = B C 1) Les trois premires donnent: A = A' + B' + C', B = A' B' + C', C = A' + B' C' d'o grce la quatrime: (l ) I = A' B' + C' (A' + B' C') = (1 )A' (1 + )B' + (1 + )C' 2) 2M = A + I ; on multiplie par (1 ) afin d'viter les dnomi nateurs : 2(1 )M = (1 )(A' + B'+ C')+ (1 )A' (1 + )B'+ (1 + )C' = 2B' + 2C' d'o (1 )M = B' + C' On a une autre solution en considrant l'homothtie de centre A et de rapport .

81

SOMMAIRE
Solution E.D 3.3
uuur uuuu r Si G est l'isobarycentre du triangle ABC on a : MP = 3 MG , ce qui prouve que P est l'image de M par l'homothtie de centre G et de rapport 2. Le lieu de P est donc la droite D', image de D par cette homoth tie, c'est--dire la parallle D mene par le point P0 image de M0 .

Solution C.I 3.4 1

uuuu r uuuu r M' = H(A k) (M) AM' = k AM M' = kM + (1 k)A , u r r r r (M) uuuuu M' = T u MM' = u M' = M + u
r (M) et M" = T r (M'), on a : a) Si M' = T u r r v r r M' = M + u et M" = M' + v , soit M" = M + ( v + u ) r r ce qui prouve que M" = T v + u (M) r r r r r r r r Ainsi T v o T u = T v + u , et comme v + u = u + v , on voit que deux translations commutent.

b) Si M' = H(A ,k) (M) et M" = H(B, l) (M'), on a : M' = kM + (1 k)A et M" = lM' + (1 l)B, d'o: M" = kl M + 1(1 k)A + (1 l)B Si kl 1, alors 1(1 k)A + (1 l)B = (1 kl)C, et de l'galit M" = kl M + (1 kl)C, on dduit que H(B, l) o H(A, k) = H(C, kl) 1(1 k)A + (1 l)B est gal (1 k)A + k(l l)B si et seu lement si A = B ou (1 k)(l l) = 0; par consquent, deux homothties commutent si et seulement si elles ont mme centre ou si l'une d'elles est l'identit.

uuu r Si kl = 1, alors 1(1 k)A + (1 l)B =uuu (1 l ) AB et de r l'galit M" = M + (1 l) AB , on dduit uuu r H(B, l) o H(A,k) = T(l l) AB

82

SOMMAIRE
r (M) et M" = H c) Si M' = T u (A, k) (M'), alors: r M' = M + u et M" = kM' + (1 k)A, d'o r M" = kM + (1 k) [A + k u ], ce qui prouve que 1 k r r H(A,k) o T u = H(B,k) ou B = A + k u 1 k r o H( A, k) = H ( C, k) o De mme on obtient Tu r k u C=A+ 1 k Comme B et C sont distincts, on voit que homothtie et translation ne commutent pas.

H T est, d'aprs ce qui prcde, stable pour la composition, et aussi pour le passage l'inverse: r r r r r r 1 r oT u = T u o Tu = T 0 = id =>(T u ) = T u Tu H (A,k) o H 1 = H 1 o H (A,k) = H (A,1) = id E (H (A,k) ) 1 = H 1 3
(A, ) k (A, ) k (A, ) k

H T est donc un sous-groupe du groupe affine, mais il n'est pas commutatif. Il est remarquer que la mthode barycentrique conduit dans cette tude des rsultats trs complets, au prix de calculs trs simples.

Solution E.D 3.5

uuuu r uuu r donc MB = BC .

Par hypothse, G = :A + B+ C Il existe dans R, tel que : M = G + AB d'o: M = ( )A + ( + )B + C M tant sur BC, ncessairement = 0. D' o M = ( + ) B+ C

uuur uuu r De faon semblable : NC = BC

83

SOMMAIRE
Solution P. 3.6 Soit 1 , ..., n les droites dcrites par A1 , ... An et = i .
1 n

On fixe un point A sur i (pour chaque i), et on dfinit Go par :

o i

Go =

Aio

On a alors l'quivalence : n --+ n --:-0-:+ u r n uuuuu r n uuuuu (1) G = i A i G o G = i A io A i

1 1

La flche de (1) prouve que G appartient la droite 0 paral lle mene par Go aux i. Si G est un point quelconque de o , on choisit un indice i tel que uuuuu u r uuuuu r o i 0, on prend Aj = A o j si j i et Ai tel que G o G = i A i A i . La flche <= de (1) prouve que aG =

A
i 1

Ainsi l'ensemble des points G est la droite o. Solution C.I 3.7 Par dfinition des points G, G1, G2 et G' : ( + + )G = A + B+ C (1 + + )Gl = l A + (3B+ C ; (2 + + )G2 = a2A + B+ C ( + 2 + 2 )G'= (1 + + )Gl + (2 + + )G2 = A + 2B+ 2C D'o : uuuu r uuu r uuur uuu r ( + 2 + 2) GG' = GA + 2 GB + 2 GC G et G' sont confondus si et seulement si les conditions quiva lentes suivantes sont vrifies: uuur r GA = 0 uuu r uuu r r GB + GC = 0 Deux cas : 1) 0 et = = 0 : G, Gl, G2, G' sont confondus en A. 2) = 0 : dans ce cas G est sur BC et les points G1 et G2 sont sur la droite AG et conjugs harmoniques par rapport A et G.

84

SOMMAIRE
Solution C.I. 3.8 Question 1
uuuuu r uuuu r Le rsultat est immdiat: MM' = AA'

Question 2 Si p 1, pM M' = (p 1)M", d'o le rsultat. L'applica tion f est donc l'affinit d'axe BC, de direction AA', de rapport p. Question 3 On passe du triangle ABC au triangle A'B'C' par la compose de trois applications affines dont chacune change un seul sommet du triangle. Considrons les points : M1 = A' + B + C M2 = A' + B' + C M' = M3 = A' + B' + C' M1 est l'image de M dans une affinit f1 d'axe BC, de direction AA'. M2 est l'image de Ml dans une affinit f2 d'axe A'C, de direction BB'. M3 est l'image de M2 dans une affinit f3 d'axe A'B', de direction CC'. Donc M'est l'image de M dans la compose f3 o f2 o f1 . Il est intressant d'tudier le cas parti culier o AA' est parallle BC. Dans ce cas, la trans formation f1 n'est plus une affinit (voir ci-contre la construction de MI ).

85

SOMMAIRE
Solution C.I 3.9 L'galit
uuuu r n uuuu r OSn = a i OBi
i=1

se traduit en langage barycentrique

par : Sn = (1 a a2 ... an)O + aB1 + + anBn Les points Bi tant tous sur la droite AB, l'expression de Sn in vite introduire le ba rycentre Gn des points aB1 , ..., anBn : Gn est aussi sur AB, et on a: n n Sn = (1 a 1 a )O + a 1 a G n 1 a 1 a Pour que Sn soit intrieur au triangle OAB, il suffit donc que Gn n soit sur le segment [AB], et que les coefficients 1 a 1 a et 1 a n a 1 a soient positifs. 1 a Pour que Gn soit sur le segment [AB], il suffit que B1 , ..., Bn1 le soient, et que a soit positif; comme Bn = (1 an)A + anB, il suffit que 0 < a < 1. n Cette condition implique aussi a 1 a > 0, mais comme on veut 1 a n n aussi 1 a 1 a > 0 la minoration 1 a 1 a > 1 a 1 a 1 a 1 a (valable pour 0 < a < 1) amne prendre a dans l'intervalle ]0 , [.

Solution C.I 3.10 Traduction des donnes: (1 )A' = B C (l )B' = C A (1 )C' = A B

86

SOMMAIRE
1) On peut utiliser une mthode purement barycentrique et crire que A' ,B' ,C' sont aligns si et seulement si il existe des rels et tels que : (1 )A' = (l ) B' + (1 )C'. On peut aussi dterminer les coordonnes de A', B', C' dans le uuu r uuu r repre cartsien (A, AB , AC ), et exprimer la condition d'aligne ment sous forme de nullit d'un dterminant. De toute faon, on obtient sans peine la C.N.S. = 1. uuur uuuu r (l )A = B C B A' = (C A') A'B = A'C A'B = A'C De mme s'interprte comme B'C =- et comme C'A B'A C'B D'o le thorme de Mnlas.

2)

Solution C.I 3.11 Ce problme constitue une gnralisation intressante de la thorie du centre permanent de similitude. Question 1 Les relations : r r r A' = A + u ; B' = B + v ; C' = C + w entranent : r r r A' + B' + C' = A + B+ C + ( u + v + w ) Le triplet (, , ) convient si et seulement si : r r r r u + v + w = 0 et + + 0. r r r Si les vecteurs u , v , w sont colinaires, l'un d'eux n'tant pas nul, on trouve une infinit de solutions. r r r Si les vecteurs u et v sont indpendants, on peut exprimer w dans r r la base ( u , v ) r r r w = a u +b v r r r r Donc a u +b v w = 0 Si a + b 1, on peut donc choisir = a, = b, = 1 r r r Si a + b = 1, alors w = a u + (1 a) v Quels que soient , , on a : r r r r r u + v + w = ( + a) u + [ + (l a)] v
87

SOMMAIRE
Cette somme est nulle si et seulement si : +a=0 + (1 a) = 0 Mais ces relations entranent + + = 0. Dans le cas o a + b = 1, le triplet (, , ) cherch n'existe donc pas. Question 2 Le triplet (, , ) n'existe pas dans le cas o deux des 3 vecteurs r r r r r r u , v , w sont indpendants, par exemple u et v , le 3me vecteur w r r r tant de la forme : w = a u + (1 - a) v Si l'on pose: '=a

'=1a

'=1

on en dduit r r r r ' u +' v +' w = 0 r '+'+'= 0 et A' + ' B' + ' C' = ' A + ' B + ' C uuur uuu r uuu r = 'OA + 'OB + 'OC quel que soit le point O. uuu r r r uuur r uuu r Cas particulier : 0 = BC , v = CA CA, w = 1 BA . 2

r r r Dans ce cas, w = 1 u + 1 v 2 2
On peut prendre ' = ' = 1 et ' = 1 2 Figure pour = ur uuuu r uuuu r uuuu r uuuu r uuuu r uuuur Soit V = 'OA' + 'OB' + 'OC' = 1 (OA' + OB') OC' 2 I, J, K sont les milieux des bipoints (B,C), (C,A), (A,B) ur uuuu r uuur V = C'K' = CK o K' est le milieu de (A' ,B'). Nous laissons au lecteur le soin de dcouvrir les nombreuses pro prits de la figure.

88

SOMMAIRE

Question 3 uu r r r r Si le vecteur V1 = 1 u + 1 v + 1 w n'est pas nul, on dduit de la relation uu r Il = 1 A + 1 B + 1 C + V1 que le point Il dcrit la droite de vecteur directeur VI, passant par le point G = A + 1 B + 1 C, uu r 1 r 1 Si V1 = 0 , Il est fixe puisque Il = G1 . Question 4 En introduisant G2 = 2 A + 2 B + 2 C, on peut crire: uu r Il = G1 + V1 uur I2 = G2 + V2 uu r uur Si V1 et V2 sont indpendants, il existe deux nombres kl , k2 non uu r uur r tous nuls tels que: kl V1 + k2 V2 = 0 . On en dduit : k1 Il + k2 I2 = kl G1 + k2 G2 1er cas: kl + k2 0. Alors : kl Il + k2I2 = (kl + k2) L o L est le barycentre de (G1 ,k1 ), (G2 ,k2 ). La droite I1I2 passe par L. 2me cas: kl + k2 = 0. Alors : uuu r uuuuu u r kl Il + k2I2 = kl I 2 I1 = kl G 2 G1 uuu r uuuuu u r Donc I 2 I1 = G 2 G1

uuu r uuuuu u r Le vecteur I 2 I1 est gal au vecteur fixe G 2 G1

89

SOMMAIRE
Cas particulier: r r uuur r uuu r r uuu u = BC, v = CA, w = AB

6 3 2 2 = 1 , 2 = 1 , 2 = 1 2 3 uu r ur 6 r Dans ce cas, V1 + V 2 = 0 ; L est le milieu de (GI ,G2) (Voir figure ).

1 = 1 , 1 = 1 , 1 = 1 U = BC, v = CA, w = AB

Solution C.I 3.12 Les triangles ABC et A'B'C' sont dits homologiques. Ce problme se rsout de manire trs lgante de la faon suivante : Soit I le point de concours des droites (AA'), (BB'), (CC'). Il existe des nom bres rels , ', , ', , ' non nuls tels que: I = A + ' A' = B + ' B' = ' C + ' C'
90

SOMMAIRE
avec + ' = + ' = + '= 1. Il en rsulte B C = ' C' 'B'. Si ' alors ' ' et les droites BC et B'C' se coupent en A1 . On peut crire : B C= 'C' 'B' = ( )A1 Les points AI ,BI ,CI vrifient: B C = ( )A1 C A = ( )B1 A B= ( )C1 En ajoutant membre membre ces trois relations, il vient: ( )A1 + ( )B1 + ( )C1 = 0 d'o il rsulte que A1 , B1 , C1 sont aligns. Remarques Ce problme peut tre rsolu trs facilement dans l'espace affine de dimension 3 lorsque les triangles ABC et A'B'C' ne sont pas coplanaires: les points A1, B1, C1 sont alors situs sur l'intersection des plans ABC et A'B'C'. Solution E.E 3.15 1

A' ACD B' BCD C' ABC D' ABD

A A'C'D' B B'C'D' C A'B'C D A'B'D'

91

SOMMAIRE
En changeant B et C d'une part, B' et D d'autre part, on obtient un autre cas de figure qui convient. Il est facile de vrifier que ce sont les deux seules configurations convenables. Il est remarquer qu'on a parl ici d'un cube uniquement parce qu'il s'agit d'une figure familire : le problme pos est purement affine, et la proprit reste vraie avec un paralllpipde quelconque. 2 Il suffit de vrifier que chacun des points A, B, C, D s'exprime en fonction de trois seulement des points A' , B' , C' , D'. On trouve: 3A = B' + C' + D' 3B = 3A' C' + D' 3C = 3A' + B' D' 3D 3A' B' + C' 3 La condition est videmment suffisante. Elle n'est pas ncessaire, car si A s'exprime au moyen de trois seulement des points A', B', C', D', ce ne sont pas forcment B', C', D'.

Solution T.T 3.16 Exprimons d'abord Mn en fonction de M0, A, B, C.

M1 = 1 M 0 + 1 A 2 2 M 2 = 12 M 0 + 12 A + 1 B 2 2 2 1 1 M 3 = 3 M 0 + 3 A + 12 B + 1 C 2 2 2 2 1 1 1 1 M 4 = 4 M 0 + ( + 4 )A + 3 B + 12 C 2 2 2 2 2 1 1 1 1 1 M 5 = 5 M 0 + ( 2 + 5 )A + ( 1 + 4 )B + 13 C 2 2 2 2 2 2 1 1 1 1 1 M 6 = 6 M 0 + ( 3 + 6 )A + ( 2 + 5 )B + ( 1 + 13 )C 2 2 2 2 2 2 2

92

SOMMAIRE
Nous voyons apparatre des suites gomtriques de raison 13 . 2 De manire gnrale, pour p N:

M 3p = 1 M 0 + 1 (1 1 )(A + 2B + 4C) 7 23p 23p 1 M + 4 (1 1 )A + 1 (1 1 )(B + 2C) M 3p+1 = 3p+1 0 7 7 2 23p+3 23p 1 M + 1 (1 1 )(2A + 4B) + 1 (1 1 )C M 3p+2 = 3p+2 0 7 7 2 23p+3 23p
Quand p , les points M3p , M3p+1 et M3p+2 ont respective ment pour positions limites les points A', B' et C' dfinis par les galits suivantes:
A' = 1 (A + 2B + 4C) 7 B' = 1 (4A + B + 2C) 7 C' = 1 (2A + 4B + C) 7

Remarques 1) En utilisant les points A', B', C', les points M3p , M3p+1 , et M3p+2 peuvent tre dfinis trs simplement par les galits vecto rielles :

uuuuuuu r uuuuuu r A' M 3p = 1 A' M 0 23p uuuuuuuu u r uuuuuu r 1 A' B' M 3p+1 = 3p+1 M0 2 uuuuuuuu u r uuuuuu r 1 A' C' M 3p+2 = 3p+2 M0 2

93

SOMMAIRE
2) B' est le milieu de (A,A') C'est le milieu de (B,B') A' est le milieu de (C,C').

Grce ces constatations, on peut alors rsoudre gomtriquement le problme. 3) On pourra attirer l'attention des lves sur les considrations d'invariance par la transformation affine T telle que T(A) = B, T(B) = C et T(C) = A. On peut en dduire sans calcul que : T(A') = B', T(B') = C' et T(C') = A' et que par suite les triangles ABC et A'B'C' ont mme isobarycentre. A' est le centre de la compose des trois homothties de rapport 1 et de centres respectifs A, B, C. 2 Remarque analogue pour B' et C'. 4)

Solution P 3.17 1) Conformment la rgle n 3 nonce au chapitre II, on cherche une combinaison linaire de I et I' qui soit gale une combinaison linaire de J et J' . On obtient I + (1 ) I' = J + (1 ) J'
94

SOMMAIRE
ce qui prouve que les droites I I' et J J' se coupent, et donne le point d'intersection (on montre sans peine que ce point est unique) : M = I + (1 )I' = J + (1 ))J' = A + (l ) B + (l )A' + (l )(l )B' PH = {M , ( , ) R2} n'est pas gal E. Pour le voir, chercher par exemple les points de PH situs sur la droite AB'. 2) Lorsque (resp. ) est fix et que (resp. ) dcrit R, le point M dcrit la droite D = II' (resp. = J J') On a donc au moins deux familles de droites dans PH : D = (D) R et = () R D'aprs la question 1, deux droites des deux familles sont scantes mais non confondues. Deux droites distinctes d'une mme famille ne peuvent tre copla naires : si elles l'taient, leur plan contiendrait les points A, B, A', B'. En particulier, deux droites d'une mme famille ne se coupent pas, ce qui implique que tout point de PH est l'intersection d'un unique couple de droites des deux familles, autrement dit que l'application (, ) M est injective. uuuu r uuuu r uuur La droite D est dirige par le vecteur I I' = AA' + (1 )BB' ; par suite les droites de la uuuu r famille uuur D sont parallles au plan vector riel P engendr par AA' et BB' . De mme les droites de sont uuu r uuuu r r parallles au plan engendr par AB et A'B' . r Les droites de D sont donc des droites parallles P et s'appuyant r sur AB et A'B'. Inversement, si d est une droite parallle P et s'appuyant sur AB et A'B', uuuu r c'est une uuur droite de D : d est dirige par un vecteur de la forme AA' + BB' , et coupe AB en I, A'B' en I'. on a I = A + (1 )B, d'o Pour un rel convenable, uuuu r uuur I' = I + t(. AA' + BB' ) = ( t)A + (1 t )B + tA' + t B' I' tant sur A'B', les coefficients de A et B sont nuls, et par suite I' = A' + (1 )B', ce qui prouve que d = D .
95

SOMMAIRE
De mme est l'ensemble des droites parallles TI et s'appuyant sur AA' et BB' .

r P , dirige par le vecteur Si uuuu d rest une droite (vectorielle) de uuur AA' + BB' existe-t-il une droite de la famille D de direction r d ? Pour cela, il faut et il suffit qu'il existe des rels et t tels que uuuu r uuuu r uuur I I' = t( AA' + BB' ), ce qui quivaut au systme : = t 1 = t 1 Celui-ci a pour unique solution t = condition que + + ne soit pas nul. r P , sauf celle dirige par Ainsi toute droite (vectorielle) de uuuu r uuur AA' BB' , est direction d'une unique droite de la famille D. r De mme toute droite (vectorielle) de , sauf celle dirige par uuu r uuuu r AB A'B' , est direction d'une unique droite de la famille . Supposons que PH contienne une droite d qui n'appartienne ni D ni . Soit O, P, Q trois points distincts de d : par O passe une droite D , par P une droite , par Q une droite 0 ; et 0 coupent D, donc elles sont dans le plan (d, D). Cela n'est pas possible, puisque deux droites d'une mme famille ne sont pas coplanaires. Ainsi PH ne contient pas d'autres droites que celles des familles D et .
3) Il est utile de choisir un repre cartsien convenable, de faon dterminer une quation cartsienne de PH. Ce qui permettra d'tudier les sections demandes. Comme il est facile, partir de l'quation cartsienne d'une sur face, d'avoir les quations des sections par des plans parallles aux plans de coordonnes, il sera habile de choisir un repre tel que les plans de coordonnes soient parallles aux trois directions donnes. Autrement dit, on va prendre comme vecteurs de base: r r uuur r uuuu r uuur r uuuu i = AB', j = A'B, k = AA' BB'
96

SOMMAIRE
On a le choix pour l'origine du repre: on la prend en B' de faon liminer le coefficient le plus compliqu dans l'expression de MI1en fonction de A, B, A', B'. Les coordonnes des quatre points dans ce repre sont :
1 A 0 0 1 2 B 1 2 1 2 1 2 A' 1 2 1 2 0 B' 0 0

uuuu r uuu r uuur r r r r ( i = AB' donne A = B' i ; k + j = AB BB' donne r r r uuur r 2B = A + B' + k + j ; enfin j = A'B donne A' = B j ). D'o les coordonnes de M :

x = 1 ( + ) 2 1 y = 2 ( ) z = 1 ( + ) 2
L'limination trs facile de et fournit l'quation cartsienne de r r r PH dans le repre (B , i , j , k ) : y2 x2 x = z soit encore y2 (x + 1 )2 z = 1 2 4 Les sections par des plans de direction (AB', A'B) (c'est--dire des plans z = a) sont des hyperboles. Les sections par des plans de direction (AB', AA' - BB') (c'est--dire des plans y = a) ou (A'B, AA' - BB') (c'est--dire des plans x = a) sont des paraboles.

97

SOMMAIRE
Cela justifie le nom de parabolode hyperbolique donn la sur face PH. Remarque Ce problme peut donner lieu une manipulation intressante. On pourra s'inspirer de la photographie ci-dessous, extraite de l'intressant ouvrage de E. CASTELNUOVO: Documenti di un'exposizione di Matematica (Boringhieri 1972, Torino).

Commentaire P 3.18 Le rsultat nonc est videmment faux ds que la dimension de E est infrieure n 1 : se reporter la notion de repre affine au chapitre II. Plus simplement, on peut donner un contre-exemple avec n = 3 :
98

SOMMAIRE
Soit B le milieu de AC, M le milieu de AB. M = 1 A + 1 B = A 1 B + 1 C etc... 2 2 2 2

O est donc l'erreur dans la "dmonstration" ? Il peut tre utile, si l'on ne s'en aperoit pas tout de suite, de la refaire dans le cas numrique ci-dessus. Elle ne provient pas fonda mentalement du fait qu'on ne sait pas si A0 et B sont distincts, mais du fait qu'on a dfini B partir des i.La "dmonstration" aurait pu se poursuivre partir d'un autre choix d'un point B. Ds que ce point est choisi la suite de la construction s'effectue bien d'une manire unique.

99

SOMMAIRE
CHAPITRE IV

Solution E.E 4.1 1 On fait intervenir le point 0 en crivant que MAi = MO+ OAi, d'o: n uuuu r2 uuuu r uuuu r uuur 2 F(M) = i (MO + 2MO OA i + OA i ) soit finalement :
1 n uuuu r r F(M) = F(O) + 2MO V + ( i )MO 2 1

r En prenant O en G, on obtient V =
n

OA
i 1

uuuu r
i

r = 0 , d'o la

formule de Leibniz. 3 a) Si

= 0 , la relation tablie la question 1 donne :

n uuuu r uuuu r r r (1) F(M) = F(O) + 2MO V , o V = i OA i ne dpend pas de 1 r r r M. L'application u 2u V tant une application linaire de E dans R, F est une application affine de E dans R. r Le vecteur V ne dpend pas de O. b) On peut appliquer la formule de Leibniz aux systmes (iAi)i I et (iAi)i I ce qui donne:

(2) F(M) = ( i )(MG '2 MG"2 ) + i G'A 2 + i G"A 2 i i

iI iI iI

Si G' = G", on voit que F est constante ; par suite uuuu r r 2MO V = 0 quels que soient M et O, ce qui implique que r r V = 0. r On peut voir directement que V est nul, et en dduire que F est constante : uuuuu r uuuuu r n uuuuu r uuuuu r r r V = i G'A i = i G'A i + i G'A i = ( i )G'G" = 0
1 iI iI iI

Si G' G", en faisant M = G dans l'galit (2) on obtient : F(G) = i G'A 2 + i G"A 2 i i
iI iI

D'o :
101

SOMMAIRE
F(M) = ( i )(MG '2 MG"2 ) + F(G) iI uuuur uuuuu r uuuur uuuuu r uuuuu r uuuu r Comme MG'2 MG"2 = (MG' MG")(MG'+MG") = 2G"G' MG , il vient uuuu r uuuu u r F(M) = 2MG ( i G"G') + F(G) iI uuuu r r Par ailleurs (1) donne F(M) = 2MG V + F(G) . uuuu r uuuuuu r uuuu r r Par suite 2MG ( i G "G ') = 2MG V pour tout M, d'o
iI

r V =

uuuuu r i G"G' , rsultat qui avait dj t obtenu un peu plus

n 1

haut.

Solution E.D. 4.2 Soit O le milieu de (A, B). Les formules

2 MA2 + MB2 = 2 MO2 + AB 2 uuu r uuuu r 2 2 MA MB = 2AB OM connues sous le nom de "thormes de la mdiane" apparaissent ici comme des cas particuliers de la formule de l'exercice 4.1.

Solution E.D. 4.3 Soit ABCD le paralllogramme considr, et O son centre. Pour tout point M : MA2 + MB2 + MC2 + MD2 = 4MO2 + OA2 + OB2 + OC2 + OD2 Prenons M en A : AB2 + AC2 + AD2 = 6 OA2 + 2 OB2 soit : AB2 + AD2 = 2(OA2 + OB2)

102

SOMMAIRE
Solution E.D 4.4 Si

A
i 1

r = 0 , alors

= 0 et par suite:

MAi2 =

1 n 1

uuuu r r OAi2 + 2MO V

r O tant un point fix, et V =

i OAi = 0 . Donc

uuuu r

MAi2

ne

dpend pas de M. N.B.: On peut remarquer aussi que la drive de la fonction n n uuuuu r M i MAi2 est 2 i MA i donc est nulle.
1 1

Solution E.D 4.5 Il suffit d'appliquer la formule de Leibniz. Dans la question 1, on obtient suivant la valeur de la constante, l'ensemble vide, le point O, un cercle de centre O. Dans la question 2, on obtient, soit l'ensemble vide, soit le plan tout entier, soit une droite perpendiculaire OO'. (Se rappeler ce qu'est l'ensemble des points M tels que MO2 MO' 2 = ).

Solution C.I 4.6 Si O est l'origine de l'axe ,.,on a : uuur uuu r uuu r r BC . OA + CA . OB + AB . OC = 0 d'o: BC . A + CA . B + AB . C = 0 . E.D 4.4 indique alors que BC MA2 + CA MB2 + AB MC2 ne dpend pas de M ; on calcule la valeur de la constante en prenant Men A par exemple. 1 2 On applique la formule de Stewart aux points aligns B, C, D, en prenant Men A :

AD . BC + AB . CD + AC . DB + BC . CD . DB = 0
103

SOMMAIRE
uuu r uuur uuu r uuu r uuu r Le vecteur b AB + c AC est parallle AD (car b AB et c AC ont uuur uuu r uuu r mme norme) ; donc AD = b AB + c AC , d'o D = (1 (b + c))A + b B + c C. Comme D est sur BC, ncessairement 1 (b + c) == 0. On en dduit: CD = b BC = ab ; DB = c BC = ac b+c b+c b+c b+c On obtient alors : bc(b + c + a)(b + c a) AD 2 = (b + c) 2

Solution C.I 4.7 L'quation MB2 MC2 = AB2 AC2 n'est autre que l'quation de la hauteur issue de A. L'quation de la hauteur issue de B est de mme : MC2 MA2 = BC2 BA2 . Soi D le point commun ces deux hauteurs. Le point D vrifie aussi l'quation obtenue en ajoutant membre membre les deux quations prcdentes, c'est--dire : MB2 MA2 = BC2 AC2 qui n'est autre que l'quation de la hauteur issue de C. On retrouve ainsi la proprit bien connue des hauteurs : elles sont concourantes en D.

Solution C.I 4.8 C'est une gnralisation au ttradre de l'exercice prcdent. Le plan passant par A et perpendiculaire CD a pour quation : MC2 MD2 = AC2 AD2 D'aprs les hypothses, le point B appartient ce plan. Les artes AB et CD sont donc orthogonales. Dmonstration analogue pour les autres couples d'artes opposes. Considrons les trois plans d'quations MC2 MD2== AC2 AD2 MD2 MA2== CD2 CA2 MA2 MB2== DA2 DB2
104

SOMMAIRE
Ces trois plans ont des directions distinctes: ils ont un point commun H et un seul qui appartient toutes les droites passant par un sommet et perpendiculaires la face oppose. Solution abrge P et C.I 4.9 La formule de Leibniz s'crit: a MA2 + b MB2 + c MC2 = (a + b + c) MF + a IA2 + b IB2 + c IC2 Posons S == a IA2 + b IB2 + c IC2 Prenons M respectivement en A, B, C et multiplions les deux membres des relations obtenues respectivement par a, b, c. Nous obtenons : abc (b + c) = a (a+ b + c)AI2 + a S abc (c + a) = b (a + b + c)BI2 + b S abc (a + b) = c (a + b + c)CI2 + c S En ajoutant membre membre, il vient: 2 abc (a + b + c) = 2 (a + b + c) S D'o S = abc. Pour le centre J du cercle ex-inscrit dans l'angle A, on trouverait de mme : a JA2 b JB2 c JC2 = abc. Commentaire Voil un exemple typique de ces calculs que l'on aimerait remettre l'honneur. Depuis vingt ans, le calcul algbrique est malheureusement assez mpris. S'il y a lieu de repousser certains calculs lourds, il est au contraire recommand de s'exercer faire des calculs lgants exploitant des considrations de symtrie ou d'invariance par permutation circulaire. Solution C.I 4.10 Soit N l'intersection des droites AM et BC. Si M est le barycentre de (A, ), (B, ), (C, ), alors N est le bary centre de (B, ), (C, ). Les triangles NMB et NMC ont mme hauteur issue de M : le quotient de leurs aires est donc : NB = NC Il en est de mme des triangles NAB et NAC. Donc : aire NAB aire NMB aire NAB aire NMB aire MAB = = = = aire NAC aire NMC aire NAC aire NMC aire MAC
105

SOMMAIRE

Solution P 4.11 1) d'o x2 = 1 (b2 + c2 a2) , y2 = 1 (c2 + a2 b2) , z2 = 1 (a2 + b2 c2). 2 2 2 D'o a SA2 + b SB2 + c SC2 = a (b2 + c2 a2) + b (c2 + a2 b2) + c (a2 + b2 c2). 2 2 2 Le thorme de Pythagore fournit les relations: x2 + y2 = c2 , y2 + z2 = a2 , z2 + x2 = b2

En se reportant C.I 4.9, on voit que a SA2 + b SB2 + c SC2 = (a + b + c) SI2 + abc. D'o l'galit : (1) 4p SI2 = a(b2 + c2 a2) + b(c2 + a2 b2) + c(a2 + b2 c2) 2abc Si l'on met c en facteur dans les deux derniers termes du second membre, on obtient: c ( (a b) 2 c 2 ), qui se transforme en
106

2)

SOMMAIRE
c(a b + c)(a b c), soit encore c(2p 2b)( 2p + 2a) et finalement: 4c (p a)(p b). Ce rsultat est encourageant, car les deux relations donnes dans l'nonc: a2 = p(p a)(p b)(p c) et a = pr fournissent : (2) pr2 = (p a)(p b) (p c), ce qui invite exprimer SI2 en fonction de p a, P b, p c. Aussi, s'inspirant de ce qui prcde, transforme-t-on les deux premiers termes du second membre de l'galit (1) en ajoutant et en retranchant 2abc, ce qui conduit, par un calcul simple, l'galit: p SI2 = a p(p a) b (p a) (p c) c (p a) (p b) d'o : PSI2 = (p a) [ap b(p c) - c(p b)] = (p a) [2(p b)(p c) p(2p a b c)) = 2(p a) (p b) ( p c) Moyennant l'galit (2), on a alors: SI = r 2 . Solution P 4.12

On a reprsent ci-dessus une arche de la cyclode approche dans le cas d'un pentagone. 1 L'aire Sn peut se dcomposer en : a) La somme des aires des triangles tels que A'1 A'4 A'5 s ; 2 cette somme est gale l'aire du polygone, soit n R sin 2 . 2 n b) La somme des aires des secteurs circulaires tels que A1 A'1 A5. Tous ces secteurs circulaires ont mme angle 2 , d'o la somme de n n leurs aires : A1A i2 n i=2

107

SOMMAIRE
Cette somme se calcule aisment au moyen de la formule de Leibniz, en faisant intervenir le centre du polygone :
2 Sn = 2 R 2 + n R sin 2 2 n 2 lim Sn = 3 R i=2

A A
1

2 i

= 2n R2

Ainsi on obtient : et par suite :

Remarque La limite de Sn est prcisment l'aire d'une arche de cyclode. Cette mthode a t invente par Roberval au XVIIme sicle [3]. Les problmes relatifs la cyclode ont servi cette poque de pierre de touche au calcul diffrentiel et intgral en voie d'laboration. Descartes, Fermat, Roberval, Leibniz, Huyghens et surtout Pascal sont partis la conqute de la cyclode, nomme l' "Hlne de la gomtrie". Le Trait de Roulette de Pascal est consacr cette courbe remarquable. (Et non pas l'laboration du calcul de Probabilit ! ). 2 Ln est gale la somme des longueurs des arcs de cercles tels n que A1A'l , donc Ln = 2 A1A k n k=2 Comme A1Ak = 2R sin (k 1) , on a : Ln = 4 R sin k n n k=1 n La somme des sinus s'obtient comme coefficient de i dans la somme de la progression gomtrique de raison ei /n
n 1

k=1

n 1

i k n

sin 4 R n D'o : L n = et par suite lim Ln = 8R ce qui n n 1 cos n est la longueur d'une arche de cyclode.

i n = 1 e = 1+ e i 1 e n 1 cos n

Solution P 4.13 1) O= Dans le repre affine de E form par les Ai , le point O s'crit

A
i 0

, les i tant tous positifs ou nuls puisque O appartient .

108

SOMMAIRE
La formule de Leibniz donne, pour tout point M de E : (1)

MA
i 0

2 i

= MO2 + R2

o R est le rayon de 1'hypersphre circonscrite . a) Si la boule B (M, r), de centre M et de rayon r, contient , et si l'on suppose r < R, on a pour tout i, MAi < R, et par suite

MA
i 0

2 i

< R2 , ce qui est en contradiction avec (1).

Ainsi ncessairement r est au moins gal R, et par consquent on a R0 = R. b) En prenant M en Aj dans (1), on obtient :

A A
i j i

2 i

= 2 R0 2, et en faisant la somme de ces galits pour

j = 0, 1, ..., n : .

A A
i j i,j

2 i

= 2(n + 1) R0 2.

Si l = sup A i A j , on a : (2)
i,j

A A
i j j

2 i

n l 2 et par suite :

A A
i j i j

2 i

n l2
R0 l

n 2(n + 1) Pour que (3) soit une galit, il faut et il suffit que (2) soit une galit, c'est--dire que les Ai soient quidistants. Ainsi l'ingalit (3) est une galit si et seulement si le simplexe est rgulier.
D'o enfin (3) 2) Si n < dim E, les points Ai engendrent un sous-espace affine F de E, de dimension n. Dsignons par r0 (resp. R0) le rayon du couvercle de dans F (resp. E). Si b(M,R) est une boule de F contenant , la boule B(M,R) de E contient galement ; par suite on a R0 r0 . Si B(M,R) est une boule de E contenant , sa trace sur F est une boule b(m,r) de F, contenant , et r R ; par suite on a ro Ro . Ainsi on voit que R0 = r0 , et par consquent, sous l'hypo thse que le centre de l'hypersphre circonscrite dans F est intrieur , les rsultats de la premire question restent valables.
109

SOMMAIRE
CHAPITRE V Solution E.D 5.1.1 On mesure les intensits ml, ..., mn des n forces sur un axe parallle leur direction commune; le point d'application de la rsultante est le barycentre des points d'application des forces, affects des masses ml, ..., mn qui ne sont pas forcment toutes positives. Ce point d'application ne varie pas lors des changements indiqus. Solution E.D 5.1.2 Si m'et G' (resp. m" et G") sont la masse et le centre de gravit de la plaque initiale (resp. de la plaque dcoupe), le centre de gravit G cherch est dfini par: (m' m")G = m'G' m"G". Solution E.E 5.2.1 1 Si G =

A
i i=1

et G' =
n

B , on a :
i i i=1 n

GG' =

uuur

A B
i i i=1

uuuuu r
i

d'o :

d(G, G')

i d(Ai , Bi ) < i =
i=1 i=1

Par suit e : d(G,G') < . 2 a) Soit E = { (i, j) | ij = Di D'j } (ij )(i,j) E est un dcoupage de C ; soit ij la masse de ij et Aij un point arbitraire de ij. Soit enfin le barycentre de (ijAij)(i.j) E . Si dsigne la masse de C, nous avons :

=
avec

(i,j)E

ij Aij =

i = 1 j|(i,j)E

ij A ij = i Bi
i=1

i Bi =

j|(i,j)E

ij Aij

Si G dsigne le barycentre du systme (iAi)i = 1,,n on a d'aprs la question 1 : d(, G) < sup d(Ai , Bi). On obtient facilement : d(Ai,Bi)< 2 diam Di ( en effet, Di est inclus dans une boule de rayon diam Di ; par convexit Bi appartient cette boule), d'o d(,G) < 2 |D|.
111

SOMMAIRE
On obtient de mme d(, G') < 2 |D'|, si G' dsigne le barycentre de ('iA'i)i=1...p . Par suite d(G,G') < 2|D| + 2 |D'|. b) Soit Gk le barycentre de ( ( ik A ik )i=1,...,n k . Grce a) on voit que la suite (Gk) est une suite de Cauchy; elle a donc une limite G. c) Soit (D' k ,A' k) et (D" k, A" k) deux suites satisfaisant aux conditions de b), G' et G" les limites des suites (G' k) et (G" k). Soit (Dk, Ak) la suite dfinie par (D2k, A2k) = (D' k, A' k ) et (D2k+1, A2k+1) = (D" k, A" k). Elle satisfait aux conditions du b) donc la suite des barycentres (Gk) a une limite G. (G'k) et (G" k) tant des suites extraites de (Gk), on a G = G' = G". Remarque Les gens trs savants, qui dfinissent les limites au moyen des bases de filtre, diront que l'application (D, A) G(D, A) a une limite suivant la base de filtre dont les lments sont, pour tout > 0, l'ensemble des (D, A) tels que |D|< . Solution E.E. 5.2.2 Soit D = (Dl ,..., Dn) un dcoupage de C. L'ensemble des ij = Di S(Dj), pour les couples (i, j) tel que Di S(Dj) soit non vide, est un dcoupage de C qui rpond aux conditions. Soit G le centre de gravit de C, soit > 0 ; il existe > 0 tel que si |D| < , alors d(G, G(D.A)) < . On choisit D tel que |D|< , on lui associe un dcoupage sym trique et plus fin ; on a || |D| < , donc si A est un pointage de , alors d(G,G(, A)) < : On peut choisir le pointage A symtrique, puisque est sym trique. Dans ces conditions G(, A) appartient d. Ainsi la distance de G d est infrieure tout > 0 donn l'avance, donc G est sur d. Solution E.D 5.3.1 L'application du thorme 2 aux symtries obliques par rapport aux mdianes prouve que le centre de gravit est le point d'intersection de ces mdianes.
112

SOMMAIRE
Solution E.D 5.3.2 En utilisant le thorme 2 pour chaque barre, puis le thorme 1, on voit que le centre de gravit est le centre du cercle inscrit dans le triangle form par les milieux des cts du solide. On remarquera que les symtries par rapport aux mdianes des triangles ne sont pas des "symtries mcaniques". Solution E.D 5.3.3 Situation analogue E.D 5.3.1, les mdianes du triangle tant remplaces par les plans dfinis par une arte et le milieu de l'arte oppose. Le centre de gravit est situ sur le segment joignant un sommet au centre de gravit de la face oppose, au quart de la longueur en partant de la base. Solution E.D 5.3.4 Par raison de symtrie (cf. thorme 2), le centre de gravit G est sur le segment joignant le sommet S au centre O du disque de base. Le cne est la limite de la suite des pyramides Pn, de sommet S et dont la base est le polygone rgulier n cts inscrit dans la base du cne. En dcoupant Pn en n ttradres, on trouve (thorme 1 et E.D 5.3.3) que son centre de gravit Gn est situ sur [SO], au quart de la longueur partir de O. Il en est donc de mme pour G, d'aprs le thorme 3.

113

SOMMAIRE
Solution E.D 5.3.5 uuu r uuu r Si AB = nCD , si GI et G2 sont les centres de gravit des triangles ACD et ABD, alors (n + 1)G = G1 + nG2. 1) on trouve alors 3(n + 1)G = (n + 2)L + (2n + 1)M uuuur uuuuu r 2) G1 est sur EF, G2 sur HK, et G1G = nGG 2 ; il suffit donc de uu r uur montrer que IF = nHI , c'est--dire(n + 1)1= F + nH . Solution P 5.3.6 En remarquant que le centre de gravit final est le barycentre du centre de gravit initial et du centre de gravit de la partie ajoute ou enleve, on constate que le centre de gravit de l'ensemble ne peut que s'lever au-dessus de sa position initiale. On peut poser ce problme sous la forme (plus difficile) suivante : une bote de bire cylindrique pse huit fois plus pleine que vide. A quelle hauteur faut-il la remplir pour que le centre de gravit de l'ensemble bote-bire soit le plus bas possible? On demande une solution lmentaire. Solution abrge E.D 5.3.7 1) Soit OAB la plaque de centre de gravit G1 . On appelle M1 le milieu de l'arc AB, M2 celui de l'arc M1B, etc... On dsigne par G2 le centre de gravit de la plaque OM1B, par G3 le centre de gravit de la plaque OM2 B, etc... On a successivement OG 2 OG 2 = , OG 3 = cos cos 4 8 etc et si Gk est le centre de gravit de la plaque OMk1B, d'angle au centre~, on obtient: OG k 1 OG k = = cos k cos cos Lcos k 4 8 2 2
114

SOMMAIRE
Lorsque n tend vers l'infini, OGn tend vers 2 R, le triangle 3 OMn1B pouvant tre assimil la plaque de mme nom. 2)

multiplier par sin . 4 8 2 2n Ainsi = 4R sin 3 2 3) Le calcul fait en 1) peut se rpter pour un arc d'angle au centre . Il faut simplement, en 2), remplacer OGn 2 R par 3 OGn R, l'arc MnlB tant sensiblement confondu avec le segment [MnlB]. On obtient alors : = 2R sin 2
n

Or lim cos cos L cos n =

2sin 2

Solution C.I 5.3.8 On dcoupe une plaque mince la base du cne, de centre de gravit g. Il reste un cne C' dont le centre de gravit G' est homothtique du centre de gravit G du cne donn, dans une homothtie de sommet S (thorme 2). Par ailleurs G est barycentre de g et G' affects de masses convenables (thorme 1). Par suite S, G et g sont aligns. Ainsi G se trouve sur le segment joignant le sommet au centre de gravit de la base. En compltant le cne de faon obtenir un cne base circu laire, et en utilisant E.D 5.3.4 on voit que G est situ au quart de ce segment partir de la base.

115

SOMMAIRE
Solution abrge P 5.3.9 Soit g le centre de gra vit de l'aiguille seule, A le petit corps mobile, G le centre de gravit de l'ensemble aiguille-petit corps A. G se trouve bien entendu sur le segment [Ag]. Lorsque A dcrit son cercle, G dcrit un cercle homothtique de centre C. On sait par ailleurs qu' chaque instant la pesanteur doit disposer l'aiguille de manire mettre son centre de gravit le plus bas possible. Supposons donc que l'axe de l'aiguille passe par C ; que le mouve ment en A soit uniforme et de priode 12 heures, et se fasse dans le sens inverse des aiguilles d'une montre. Alors le mouvement de G est de mme priode; mesure que G tourne autour de C, l'aiguille doit tourner en sens contraire. Elle parcourt ainsi unifor mment tout le tour du cadran en 12 heures. Solution abrge P 5.3.12 Soit G0, G1, ..., Gn les centres de gravit respectifs des barreaux partir du bas. Ces points se projettent en A0, A1, ..., An sur le plan horizontal. Les dcalages successifs sont : A0A1 = hl A1A2 = h2 AnlAn = hn Le surplomb s est :
s=

h
i=1

En crivant que le barreau suprieur est en quilibre sur le barreau sous-jacent, puis que les deux barreaux suprieurs sont en quilibre, etc... que le systme form des p 1 barreaux suprieurs est en quilibre sur le barreau sous-jacent, etc... on arrive au systme suivant de conditions ncessaires et suffisantes d'quilibre:
116

SOMMAIRE
hn < l h n 1 + h n 2 LL hn p + LL hn <l 2 + 2 h n 1 + 1 h n < l 3 3 p p 1 h n p+1 + h n p+2 + K + 2 h n 1 + 1 h n < l p+1 p+1 p+1 p+1

h1 + n 1 h 2 + n 2 h 3 + K + 2 h n 1 + 1 h n < l n n n n Un systme de conditions suffisantes d'quilibre est alors le suivant : hn < l

h n 1 < l 2 h n 2 < l 3 h n p < l p+1 h1 < l n Pour avoir un quilibre stable, il suffit donc de prendre 0 p n1 h n p = k l p+1 o k est un nombre compris entre 0 et 1. Le surplomb s est dans ce cas gal : kl (1 + 1 + 1 + 1 + K + 1 ) 2 3 4 n On sait que lorsque n tend vers l'infini, la somme entre parenthses tend aussi vers l'infini. On voit donc que l'on peut choisir n de manire que le surplomb s devienne aussi grand que l'on veut !

117

SOMMAIRE
CHAPITRE VI
Commentaire E.D 6.1 La moyenne x des nombres xi est l'isobarycentre de ces nombres. La formule y = x m s'obtient par "changement d'origine" : on prend comme nouvelle origine le nombre m. Commentaire Application 6.2 1) On voit "au pifomtre" que la moyenne de A est de l'ordre de 12; on remplace les notes xi par yi = xi 12, et on fait la moyenne des yi: on trouve 0,1. La moyenne de A est donc 0,1 + 12 = 12,1. De mme on trouve la moyenne de B : 12. Traditionnellement, on en dduira que les deux lves "se valent en math." ; cependant pour le classement de l'anne, A sera devant B. Le calcul des carts-type donne pour A: 5,75, pour B : 2,92. Les deux lves apparaissent comme trs irrguliers, surtout A. 2) La moyenne des six devoirs cits, calcule comme ci-dessus donne : pour A : 3,5 pour B : 15 Pour calculer la moyenne des autres devoirs, on utilise l'associa tivit du barycentre. Ainsi pour A : 20 12,1 = 6 3,5 + 14 x, d'o x = 15,8. De mme pour B, cette moyenne est 10,71. Etant donne la rpartition des devoirs en devoirs d'algbre et en devoirs de gomtrie, on aura tendance conclure que A est nul en gomtrie, trs bon en algbre, et que B est trs bon en gomtrie, moyen en algbre. Si l'on tient compte au contraire de la sparation des devoirs en problmes et en exercices didactiques, on se rend compte que A est un lve qui apprend son cours mais manque totalement d'imagination (mathmatique), tandis que B est un peu paresseux et ne sait pas toujours son cours, mais fait preuve de beaucoup plus d'invention. Pour l'lve A, les carts-type sont 0,96 et 1,7 ; pour l'lve B, on trouve 1,5 et 2,45. On voit que, contrairement ce qu'on pouvait penser la question 1, l'lve A est trs rgulier dans chacune des deux catgories de devoirs: problmes et exercices didactiques. L'irrgularit constate lors d'une premire analyse grossire (mais courante) n'est donc qu'apparente.
119

SOMMAIRE
3) Cet exercice permet de comprendre d'abord que faire des moyennes revient perdre de l'information (ainsi, si je sais que la temprature moyenne annuelle d'un pays est 10, cela ne permet pas de savoir si la temprature fluctue entre 8 et 12 ou entre 2 et 22 ; je serai dj un peu plus inform si je connais la moyenne des 6 mois les plus chauds et celle des 6 mois les plus froids). Du fait mme de cette perte d'information, on comprend que les moyennes ne permettent nullement de comparer et de classer des lves. Les exercices, suivant leur nature, font appel des aptitudes trs diffrentes de l'lve : runir leurs rsultats dans une mme moyenne revient l'attitude du paysan qui lve vingt poules et trois vaches et qui dit : j'lve vingt trois btes. Le systme de notation et de jugement des lves est entirement revoir. Il s'agit en premier lieu de dfinir les paramtres mesurer .(aptitude comprendre et rpter un raisonnement, aptitude adapter un raisonnement connu une situation nouvelle, aptitude imaginer un raisonnement, aptitude conduire un calcul, etc...). Il faut ensuite adapter le test au but recherch, et le noter au moyen d'une chelle simple (au maximum cinq chelons; une chelle de 0 20, avec des demis et des quarts de points, fournit une prcision tout fait illusoire). Grce aux divers paramtres on obtient alors un "profil" de l'lve. Un tel profil, au lieu d'une moyenne unique, devrait permettre de saisir qu'il faut renoncer classer des lves: la relation d'ordre "A est meilleur que B" n'est pas totale dans une classe! Meilleur, dans quel domaine ? L'obstacle vaincre n'est pas la ncessit d'un classement; il est plutt d'ordre psychologique : le besoin instinctif de porter un jugement, de placer dans une catgorie bien dfinie. Solution C.I 6.3 Soit g le barycentre des nombres 1, 2, 4 affects des coeffi g = 2 + 6+ 4 =3 cients 2, 3, 1 : 4 La formule de Leibniz permet d'crire : 2(xl)2 + 3(x2)2 (x+4)2 = 4(x3)2 + 2(31)2 + 3(32)2 (3+4)2 = 4(x 3)2 + 8 + 3 49 = 4(x 3)2 38
120

SOMMAIRE
Solution C.I 6.4 Cet exercice permet de donner une motivation gomtrique du thorme de Csaro et fournit par consquent un moyen mnmotechnique pour le retenir: c'est l un exemple de "visuali sation" d'une proprit purement algbrique. Dmonstration Sn est l'isobarycentre des nombres u1, u2, ..., un . Soit un nombre positif donn. Il existe un entier N tel que n > N entrane |un | < /2. Soit g1 l'isobarycentre de u1, u2, ..., un . Supposons n > N, et soit g2 l'isobarycentre des nombres uN+1 , uN+2 , ..., un. Sn est donc le barycentre de (g1 , N), (g2 , n N).

|sn g1| |sn| + |gn| + + 2 |g1| 2 Dsignons par a le dernier membre : |g2 sn| < N a nN Quand n +, N 0. On peut donc choisir n assez grand nN pour que |g2 sn| < /2 Il s'ensuit : |sn | |sn g2| + |g2 | /2 + /2 Donc |sn | < C.Q.F.D.
121

|g2 | < 2 D'autre part, par dfinition du barycentre : N(g1 sn) + (n N) (g2 sn) = 0 On en dduit g2 sn = N (sn g1) nN Majorons |sn g1| :

Tous les nombres uN+1 , uN+2 , ..., un tant dans l'intervalle ] /2 , + /2[, il en est de mme de leur isobarycentre g2 On a donc :

SOMMAIRE
Solution ED 6.5 L'vnement considr est reprsent par les point M satisfaisant au systme : <+ <+ <+ L'ensemble cherch est donc l'intrieur du triangle IJK dont les sommets sont les milieux de (B,C), (C,A), (A,B). Solution C.I 6.6 Question 1 : Les conditions imposes au chocolat se traduisent par le systme:

3 + + 10 2 5 + + 10 10

qui quivaut

3 7 + 3 0 + 4 0 + 0 0

L'ensemble des points M correspondants est reprsent par le domaine hachur de la figure. Il est limit par : la droite BC la droite AlC d'quation barycentrique 3 - 7 + 3 = 0 la droite A2B2 d'quation barycentrique a + 4 = 0 la droite A3B3 d'quation barycentrique + = 0

122

SOMMAIRE

Question 2 : L'ensemble des points M tels que le prix du kilogramme de choco lat soit gal une constante k donne est l'intersection du domaine prcdent et de la droite d'quation barycentrique 2+3+ =k Cette droite, que nous dsignons par Dk, reste parallle la droite D0 lorsque k dcrit R. La droite Dk passe par C pour k = 1, par A pour k = 2, par B pour k = 3. Le prix minimal est atteint lorsque M se trouve en M0, intersection des droites (Al C1) et (A3 B3). En ce point : = 2 , = 3 , = 5 10 10 10 4 + 9 + 5 = 1,8 Le prix minimal (en francs) est 10 Question 3 : Les chocolats exempts de sucre sont reprsents par les points du segment [B2 B3] .
123

SOMMAIRE
Le prix minimal du chocolat pour diabtiques est atteint au point B3. En ce point = 0 , = = 5 , 10 Le prix correspondant (en francs) est : 3 3 5 + 5 = 2 10 Remarquons que l'on obtient prcisment le prix d'un kilogramme de sucre: ce rsultat s'explique par le fait que la droite AB3 est la droite D2 correspondant k = 2. Solution C.I 6.7 Cet exercice devient trs facile rsoudre ds que l'on interprte gomtriquement l'nonc. Soit, sur un axe, Mn le point d'abscisse un, et Pn le point d'abscisse vn.

Le point M1 Le point P1 Le point Mn+1 Le point Pn+1

est le barycentre de (M0 , 1), (P0 , ) est le barycentre de (M0 , 1), (P0 , ) est le barycentre de (Mn , 1), (Pn , ) est le barycentre de (Mn , 1), (Pn , )

On en dduit par rcurrence que un < vn, que la suite (un) est croissante et la suite (vn) dcroissante, puisque les segments [MnPn] sont embots. Posons dn = Mn Pn = vn un et calculons dn+ 1 en fonction de dn, et . En partant des relations (1 + ) Mn+1 = Mn + Pn (1 + ) Pn+1 = Mn + Pn uuuuuuuuu r uuuuuu r M n+1Pn+1 = M n Pn on en dduit aisment : (1 + )(1 + ) Dsignons par k le rel : (1 + )(1 + ) k est un nombre strictement compris entre 0 et 1, et l'on a : dn+1 = k dn D'o par rcurrence: dn = knd0 et par suite dn 0 lorsque n + . Il en rsulte que les suites (un) et (vn) sont adjacentes et ont une limite commune.
124

SOMMAIRE
Solution C.I 6.8 Les dpartements sont numrots de 1 95 ; le caractre X (resp. Y) prend les valeurs xi (resp. yi), identiques dans tous les dpartements. k est l'effectif de la valeur (xj,yj) de (X,Y) dans le dpartement k n ij

n ik est l'effectif de la valeur xi de X dans le dpartement de k nk est l'effectif total du dpartement k n est l'effectif total du pays
Moyennes nationales La moyenne nationale x de X est le barycentre des xi avec les
coefficients

n
k=1

95

k i

nx =

( n
i k

k i

)x i

La moyenne x k de X dans le dpartement k est le barycentre des xi avec les coefficients n ik :

n k x k = n ik x i
i

L'associativit du barycentre donne : n x =

n
k=1

95

k i

xk

Variances nationales La variance nationale 2 de X est le barycentre des (xi x )2 avec les coefficients n ik :
2 n X = n ik (x i x) 2 = n ik (x i x) 2 i k k i k

La formule de Leibniz donne : k 2 ) n ik (x i x)2 = ( n ik )(x k x)2 + n ik (x k x i )2 = n k (x k x)2 + n k ( X

i i i

o ( ) est la variance de X dans le dpartement k. D'o: 2 k 2 n X = n k (x k x) 2 + n k ( X )

k 2 X
k k

Covariance nationale k k n k cov k (X, Y) = n ij (x i x k )(yi y k ) = n ij xi y j n k x k yk

i,j i,j

125

SOMMAIRE
n cov (X,Y) = = = =

n
i,j k i,j k

k ij

(x i x)(yi y)
i j

n x y
k ij

n x y

n
k

cov k (X,Y) + n k (x k y k x y) cov (X,Y) + n k (x k x)(y k y)

k k k

Remarque Il serait plus commode de demander chaque dpartement de fournir, au lieu des variances et de la covariance, les quantits : k xi y j s k = n ik x i2 et Ck = n ij
i

i,j

car:

2 n X = s k n x 2 et n cov(X,Y) = k

C
k

nx y

Commentaire C.I 6.9 Les deux premires parties ne sont que des exercices destins dvelopper l'aptitude manipuler des indices de sommation (Utilisation de la formule du binme de Newton). Dans la premire partie, on pourra se souvenir des calculs faits propos de la loi binomiale, en probabilit. Mais l'intrt de l'exercice, en liaison avec le barycentre, est de faire comprendre comment Bnf a t imagin. Pour calculer Bnf(x), on commence par considrer les valeurs

valeur de Bnf(x) ne reflte vraiment que les valeurs des f( ) o n n n'est pas trop loign de x. L'ingniosit du choix des pn, apparat sur la reprsentation graphique de P4,3 : P4,3(x) est ngligeable, sauf au voisinage immdiat de .
126

f( ) = 0, 1, ..., n. n Et on prend le barycentre de ces valeurs affectes de masses positives pn, (x) convenables. Comme on veut que Bnf soit un polynme, on choisit des masses pn,(x) qui varient polynomialement. Mais on voudrait que la

SOMMAIRE

Trac de la courbe reprsentative de f(x) = P4,3(x) = 4x3 (1 x) Valeurs remarquables : f( 1 ) = 3 0,047 f( 0) = 0 ; f '(0) = 0 ; 4 64 f '( 1 ) = 1 ; f( 1 ) = 1 ; f '( 1 ) = 1 ; f "( 1 ) = 0 4 2 2 4 2 2 3 3 3 3 f( ) = ( ) 0, 42 ; f '( ) = 0 ; f(1) = 0 ; f '(1) = 4 4 4 4

127

SOMMAIRE
BIBLIOGRAPHIE
[1] ARCHIMEDE, Oeuvres compltes. Traduction franaise de Paul Ver Eecke. Descle de Brouwer, Paris. [2] August - Ferdinand MOBIUS, Der barycentrische Calcul, Gesammelte Werke Bd 1, Hirzel, Leipzig 1885. [3] Lon AUGER, Gilles Personne de Roberval (1602-1675), Blanchard, Paris 1962. [4] Jean FRENKEL, Gomtrie pour l'lve-professeur, Hermann, Paris 1973. retour : p. 18 ; p. 21 ; p. 32. [5] Marcel BERGER, ( paratre), 1975. retour : p. 18 ; p. 21. [6] Emma CASTELNUOVO, Documenti di un'esposizione di matematica, Boringhieri, Torino 1972. [7] Emma CASTELNUOVO, Diffrentes reprsentations utilisant la notion de barycentre. (Actes du Premier Congrs international de l'enseignement mathmatique, Lyon 24-30 aot 1969), D. Reidel Publishing Company, Dordrecht, Holland. [8] I.R.E.M. de STRASBOURG, Le livre du problme: Fasci cule 4 - La convexit, CEDIC, Paris 1974. retour : p. 37 ; p. 61. [9] Herbert FEDERER, Geometrie Measure Theory, SpringerVerlag, Berlin 1969. [10] A.A. KIRILLOV, Limites (en russe), Edition Naka, Moscou 1968. [11] LORENTZ, Press 1953. Bernstein's polynomial, Toronto University

_____________________
EDITIONS

CEDIC

N d'dition : 2-75-04 Dpt lgal 2me trim. 1975 Imprimerie VAUDREY LYON