Vous êtes sur la page 1sur 330

EDITIONS MIR

B. B. CMBPBOB

KYPC BLICmEB ltIATEMATHKII

TOM ill

qaC"l'l> UepB8f1

n3JlA,TEnJ>CTBO «dAl'RAIt MOCRBA

v. SMIRNOV

COURS

de MATHEMATIQUES

SUPERIEURES

tome III

premiere partie

EDITIONS ?tun. MOSCOU. 1970

Q)U 510(02Z)=40

Traduif du TUSIIB

-COpyright by los Edillons Mit U.8.S.S. 1910

Table des matieres

Avant-propos ••.

CBAPITRE PREHIBR. D~TEnMINANTS ET n2S0LtlTJON DES SYSTtMES D'!QUATIONS LINtAtnES

1-1. Determinants et leurs propri6\8s • • • • . • . . • . .' • • • 1-1-1. Notlon de d6tcnulnont (9). (-1-2. Permutations (i3). 1-1-3. Proprl'tes fondamenlalcs des d6termlDaDts (t9). 1·1-4. Caleul des d6torminanta (24). (-1-5. Exemples (25). I-t-e. Th6(1~mo sur la multiplication des dotermilUlDls (32). 1-t-7. Tabloaux reotangulaites (35).

1-2. R6so1ution des Sfstemes d'equatioD5 • . •• •..•.• ••

I-2-t. Th~orOme de Cramer (89). 1-2-2. Cas g6neral dos sy~mcs d'eguations (41). 1-2-3. Systemes homogenes (45). 1-2-4. Form4's JlnNircs (47) r-2-5. Espoco vectoriel It n dimensions (49). 1-2-6. Produit scalaire (55). 1-2-7. IDt~r6ta"oD geom&rique des systemes homodnes (5'1). 1·2-8. Cas d un ~me non homog~ne (60). 1-2-9. DetermiDaut de Grmn. In ali~ d'Iiadamard (6.~). 1-2-tO. Syai8mos d'OQuations difC6rentie os JiD6ail'08 a coeruclents conillants (66). 1-2-ft. Determinants fonetionnols (70). 1-2-1Z. Fonctions implloltes (7").

C.BAPl'lRE II. TRANSFORMATIONS LJN4AmES ET 90nMas QOADllATIQUES

IJ-t. Tro.nal'ormatioWi lineaires • • • • • . . • • • • . • • • • . . lI-t-1. Transformation des coord()nn~es dans un oapace a t.rois dlmeWilollS (78). II-t-2. Transformations liD61liNs pnera14m d'un espace riel 1 trois dimensions (82). lI-t.S. Vecteurs affines covarlants at contravariants (89). n-1-4. Notion de tenseur (92). 11-1-5. Exomples de tenseurs orthogonaux a(flnes (94). 11-1-6. eas d'uo espace eom)Jlezo a n dimensions (97). 11-1-7. Elements de c:.alcnl mauloie1 (10t). II-l-8. Valours lIropres dos matrices et r6duction des matri~es A la forme C8Don[quo (106). 11-1-9. TraWlrnnnatioDs unitaires et. t.ransformatlons orthogonalcs (112). 11-1-10. JdgaUt6 de Cauchy-BoUDlakovskr (117). II-i-H. Propriet8s du pfodult ecalairf at de la Dorme ( i8). rt-i-12. Orthogo. naUsat.(oD des vacteurs (120).

11-2. Formes quadraUques • • . • • • • • . • . . • • •

11-2-1. TraDSformation des formes quadra'iqul's an somme de carris (t22). 11-2-2. C88 des raclnes mUltiples do l'6quatiOD carset6rlstlque (t2(;). IJ-2-B. Examples (1S1). 1I-2-4. ClaSsification des formos quadratiques (138). n-2-5. Formulo do lacobl (138). 11-206. R~ductloD simultanee de deux formE'S guadraUques a una somma do carris (139). 11-2-7. Petites oscillations (141). 11-2-8. Propriiit6s extrimaiea des valcurs propmd'una forme quadraUque (143). 11-2-9. Matrices et. formes hermlt.ionnos (t45). 11-2-10. Matrices bormlt.fonnos commutatives (151). 1I-2-U. Reduct.ion des matrices tmita(res A la formo diagonal8 Ji53). I1·2-12. M alricos de proJection (158). II-2-la. Functions 8 matrices (162). 11-2-14. Espaco a une iofinite de dimensions (165). I1-M5. Coovergenco dos

7

9

39

78

122

6

TABLE DES ltlATI1UtES

vectoul'8 (t 70). 11-2-16. SysU,mos ol1honormlis (175). JI-2-i7. Transformations lI.n6alres A ensemblo jnrini do variables (178). 1[-2-18. Espace fonctionncl Lz {182~. H-2-i9. Lien entre Ies espaces '. et La (183). 11-2-20. Operateurs linea ires dans Lz (185).

CBAPlTnB In. t~EN'I'S DE J.A TKtoRl£ DES onouPl£S RT REPRMENTA'l'.ONS L1NAtAlRES D£S GROUPRS

III-i. Elemonts de la th60rle des groupes • • • • • • • • • • • • •• tOO

111-1-1. Groupes des transformations1in6airos (190). IJI-f-2. Grou-

pCl8 des polyedres r6gulicl'8 (198). JlI-i-3. TraJistormations de Lorentz ({U6). 1I1-1--1. Pennllt.atiODs (2OS). I n-i-s. Groupo,", abs-

t.raits (208). 111-1-6. Sous-groupo (2ft). 111-1-7. Classes

ot. SOIlS-g_l'OU(lD dlstlDgU~ (2t'). 111-1-8. Exemples (217). 111-1-9. Groupea isomorphes et homomorpbes (219). 111-1-10. Exemples(221). III-l-U. Projection st6nSographlqut.' (222). IIT-2-12. Gnlllp4! unlt.aIre at. groupodos d6piacOJn(Ults (224). HI-i-tS. Groupe Unealre general ot groupo de Lorentz (230).

111-2. Repnsen1.at.ions linoaires des groupes • • • • • • • . . . •• 234

111-2-1. Repri!88Il\8tion des groupes au moyen de traIUlfonnatiollS lin6aires (234). Ul-2-2. Th60mmes fonda.Dlon~QUX (239). 111-2-3. Groupe, abeHens at ropr6sontaUon du prulnl~r ordre (243). 111-2-4. Represent.ations IIneaires d'un grouJ>& unltaire A doux vnrJabl~..s

(245). 111-2-5. Representations linoaires du groupe des rot.ations

(252). 1Il-2-6. Tbeoreme du groupo simplo des rotation.'S (255). UI-2-7. Equation do I .... place at rep~SIlntaUons lin6airu..~ du

~upe des rotations (256). 111-2-8. Produi1; direct. do maLrlcea 2). 111-2-9. Composition de deux reprisent.atioD.8 IIneuires groupes (265). HI-2-Hl. Prodllit direct. de: groupes ..-t. repusentat.ionslin6alres (267).111-2-11. D6compositlon du produit DJXDJ' des represontatloDs lln6alros du groupo dos rot.at.ion& (272). lII-2-12. OrthngonaUtti (2iB). 111-2-13. Cnract.eres (280l. IlJ-2-14. Repro- 6OntaUons rigulleres dos groupes (285). 111-2-15. Exomples do rellresentat.ions de grnupcs (lnls (28;). 111-2-18. ROlJrOsent.at.lllns Jhi6alres des groupos Q deux variable.'l (288). JlI-2-17. L6 groupo de Lorentz cst. un groupe simple (203).

lIl-3. Groupes continua ••••••••. . • • • • • • • • • •• 294

1I1.8-l. Groupos contions. Constantes do st.ruct.uro (29oi). (11-3-2. Transformatiuns infinjt6simlllos (299). JlI-3-3. Groupo des rot.aUons (802). liU-3-4. Transformations inf1nlt6slmales ot. representations du groupe dell rotation! (304). 111-3-5. Repre.. fiCnia\iuns dl. groupo d" Lorentz (308). 111-3-6. Formulas auxl-

lIaires (aU). IIJ-3-7. CODstruotion d'un groupo a partir des constuntes de structure (St4). 111-3-8. In''grnt.ioD sur un !tfflll-

JlO (315). lJl-3-9. Proprlet~ d·onbogonalit.ii. Exomplos (321).

Index ••....•••••••••..•••••••••••• 327

AVANT-PROPOS

La division du troisiome tome du Cours de mathemnLiqucs superieures de I'aeaddmlcien Vladimir Smimov on deux parties a ete dict~ par rapport de complements a rune des dernieres editions de co cours en einq tomos.

La premiere partie du troisieme tome contient los e16ments de l'alg~bre lineaire, do la tbeorie des Iormes quadratiques et de la tMorie des groupes. Dans cetto partie, los comp16ments lea plus essentlels se rapportent A 18 tMorie des groupes et, notamment, a la theorie des representations lineaires des groupes. De plus, on y don no un oxpos6 rigoureux de certains ronsoignements sur l'espace des suites I, ot sur son lien avec l'ospaee Lt., ce qui est. condltionne par l'expose de In tMorie des integrales de Lebosgue at des propriet.6s de I'espace des fonetlons L2 que ron trouve dans 10 deuxiome tome,

Cot ou\'rago que 1'0n propose a I'attontion des leetours rran~ais se distingue par sa simplici\e. par son accessibilite a un large caret a de personnes qui etudient les math8matiques superieures. J1 donne des elements de la tMorie des groupes, ohapttre important des matMmatiquos superieures, qui n de nombreuses applications en 1,hysiquc modernc.

Chapitre premier

DETERMINANTS ET RESOLUTION DES SYSTEMES D'EQUATIONS LINEAmES

1-1. Determinants et leurs proprJ~t~B

l-i-1. Notion de d6termlnant. Dans ee paragrophc, nous nous proposons de traiter un problemo simple d'algebre: celui de III resolution des systamos d '6quations du premier degre. La consideration de ce probleme nous conduira a la notion importanle de determinant.

Soit au prealable quelques cas particuliers tres simples. Considerons d'abord un systeme de deux equations A deux inconnues:

4ts3:. + tJu%s 0= bit

Adoptons pour les coefficients a,l des Inconnues une notation a deux indices, Ie premier indiquant Je numero de l'cquation qui contient ce coefficient et le second l'indice do l'inconnue.

Comme on le sait, la solution de ce systeme est de la forme:

Soit D. pr6sent un systeme de trois equations a trois inconnues: lZt,:!:s + lZt2%s + a.aZ, = b.,

tla,:!:, + asa~ + tlaaZ:J 0= bl,

lIa,:ts + a~ + aaa%3 .... ha•

Notons que l'on conserve pour los coefficients la conven tion preoMente sur les indices. Mettons les deux premlm-es equations sous Ia forme:

au%. + au:!:z = b1- a,'%31 au:. + tla1%z - hi - tz::J.Z3·

10

CR. I. "DeTERMINANTS ~T ResOLUTION DES SYST2MES

En los resolvant par rapport !lUX Inconnuss x, et xz, nous obtenons d'apras Ies formules preciidontes:

x _ (bl-tz,a%3)czZ1-afa(b!-~3) •

1 - CZu~-tzl2.azt •

au (bz-tz33%v-(b1-tzI3%a> 42!

Z:z= •

tzu"2a-4'~zt

En substitnant ces expeesslons dans 1a derniiro equatiun du systomo. DOllS avons une equation qui JlOUS permet de determiner l'inconnuo Xa:

_ DIt422b3+ClIZb~31 +bltlZICl32-ClUb~32-ClI2az,b3-btll2243S (1)

~- .

4U~1l33+tz'24za431 +ala4%taaz-tzltlZ234az-ClIatz2lal8-Clts"zz431

Ana1ysons In composition de eetto expresslon. Bemarquons d'abord que son numerateur s'obtient it putir du denominat~ur en substituent, purement et simplement, nux coefficients Qu de ]'inconnue Ies b, des seconds membres du systeme. Il ne rcsto done plus qu'a trouver Ia loi do fonnation dn denominllteur qui ne contient aucun des seconds membres du systeme et est uniquemont constituc des coefficients des Inconnues, Pla90n~ cos cooUicients dans un tableau carre, tout. en conservant l'ordre qu'ils possedent dans le systeme :

au iltz aus

aal a22, aaa •

aM aaz ~3

La tabloau cl-dessus est constituB de trois lignes ct de trois coIonnes. Les coefficients a", sont appelds eMments d11 tableau. La premier Indlce indique le numero de la ligne A loquelJe appartlent cet ~lemont. Ie second indice Ie numero do In colonne. Eceivons a presont Ie d6nominoteur de I'expression (1):

4uCZz2Q:J3 + a,zaa,,~1 + aSSCzI"u - ilt,aZ3iJa - 4t:l4:UC3S - t&taCutJal' (3) nest la somme algebrique de six tormes dont chacun est le prodult do trois elements du tableau (2). Chaqll.o produit contient lin ~lemcnt de chaque Ilgne ot de chaque colonne. En ('ffet. us produit.s sont de 10 forme:

a,,,42q43r. (4)

o~ p, q, r sont les nombres ent.iers 1.2, 3 disposes dans un ordre deStermlne, Ainsi, tant I'ensemble des premiers indices que celui des seconds sont formes de l'ensemble des nombrcs ontlers 1, 2. 3. Pour obtonir tous les termcs de I'exprossion (3), il fnut dans Ie produit (4) prendre Ies seconds indices p, q. r dans tous los ordros differents

(2)

I-t. D£TElUDNANTS ET LEURS PROPRIJ1DS

possibles. De tel1es permutations possibles sont evidcmment au nombre de six:

1,2,3; 2,3,1; 3,1,2; 1,3,2; 2,1,3; 3,2,1, (5) ~t now; obtenona alns! Ies six tormeR de I'expeesslon (3). Remarquons maintenant que dans l'expression (3) certains des pooduit.~ (4) RODt precedes du signe plus. d'autres du signe moins. J1 nous faut done trouver 1a 101 suivant laquelle on leur affecte ce signe. Comme nons )e voyons, los produits (4) precedes du signe plus ont pour seconds indices les pormutations suivantes:

1, 2. 3; 2, 3, 1; 3, 1, 2. (5.)

et ceux pre~des du signe moins ont pour seconds indices Ies permutations:

1, 3, 2; 2, 1, 3; 3, 2, 1.

(SU

D6tcflIlinons 11 present les lois de formation des permutations (51) et des permutations (52)' Appelons inversion dans une permutation Ie fait qu'un nombre de valeur plus elevee en precede un autre et ealculons Ie nombre d'inversions dans los permutations (5,). 11 n'y a pas d'inversions dans 1a premiero permutation. Nous voyons qu'il y a dans la secondo permutation deux inversions provenant de ce que Ie nombre 1. sa trouve precede du nombre 2 et du nombre 3. De la memo fa~n, la troisieme permutation (51) presente deux inversions. On pout done dire quo toutes les permutations (51) presentent un nombro pair d'Inveesions. En 6tudinnt de mame les pormutations (51~' nous VOYODS qu'elles presentent cbacune un nombre impair d inversions. NOUB pouvons maintenant enonto:er la reg1e des signes dans l'expression (3): les proc1.uits (4). pour lesquols le nombre d'invorsions dans les permutations des seeonds indices est un nombre pair. sont pricedes du signo plus dans I'expression (3). Les produits (4), pour lesquels les permutations des seconds indices ont un nembre impair d'inversions, sont precedes du signa rnoins dans I'expression (3). L'expression (3) cst appe16e dltermtnant du troisieme ordre associc au tableau des nombres (2). II est aise de generaliser ee qui vient d'Atro expose au cas des determinants d '0 rd re quelconque.

Soiont donnes n'l. nornhres disposes sous 18 forme d'un tableau carre a n lignes et n colonnes:

au au · .. alit
ass an · .. ~ (6)
. . . . . . .
an1 lJn2 · .. ann 12 CD. I. DBTERMINANTS ET USOLlJTION DBS SYSTBl4BS

Les cUements a'A de ce tableau sont des nombres complexes donnes, do plus les indices let k indiquent respeetivement les numeros de Ia ligna at de la colonne 11 l'intersection desquelles Be trouve Ie nombre a,II' Formons tous 1es produits possihles a l'aido des ~18monts du tableau (6) de telle sorte que ees produits c.ontionnent un elemunt de ehaque ligne et de chaque eolonne. Cos produits sont do la forme:

a 1Pt azP:t ••• Gnp", (7)

ou P., Pa, • . ., P~ sont los nombrcs 1, 2, • . ., n disposis dans un certain ordre. Pour obtenir tous les produits possibles de la forme (7), il nous faut effectucl' toutes les permutations possibles des seconds indices. Comme nous I 'indique I 'algebrc elementaire, Ie nombre de ces permutations distinctes ~ egal a la factorielle n:

1·2·8 ..• n=n I

Chaeune de ces permutations presente un certain nombre d'Inverslons par rapport a la permutation Ioadamentale :

i, 2, 3, •.• , n.

Los produils de 18 forme (7), dont les seconds indices ongendrent des permutations lelles quo Ie nombre d'invorsions soit pair, sont precedes do. signo plus, tandla que les produit9 de 1a forme (7), dont. los seconds indices engendrent des permutations tellos que Ie Dambra d'jnversions soit impair, sont preced~s du signa moius. La somme algebrique de tous les produits ninsi obtonus est appelee determinant d'ordre n associe au tableau (6). Cette somme contient evidcmment nl termos. 11 est aise d'expl"imer cette definition sons Ia forme d'une formule. Introduisons pour eela la notation suivante. Soit Ph P:, ••• , Pta Wl8 des pormutations des nombres 1, 2, ' .. , n. Designons 10 nombre d'Inversions que p.resento cette permutation par Ie symhole:

[Pb Pa, ••• , PilI.

Alers, Ia definition do. d'terminnnt assoeie au tableau (6) donn&e ci-dessus peut Atre transcrite sous la forme de la formule suivantc:

au au .. , atlt
~t CIzz ... 4:!1l
-
. . . . . . .
an, allz ... a,.n -_ ~ ( 1)£J11'P:to .•• ,p"la a a :

-'J - Jilt 2P2'" -np~'

(Pt' 1'2'·' '0 lin'

Pour noter Ie determinant, nous ecrivons Ie tahleau (6) entre deux traits verticaux.

(8)

r-t, DaTERMINANTS ET LEURS PROPRI£BS

is

La sommation porte ici sur toutes los permutations possibles des seconds indices (Ph Pil .... p,,). En parlant du to bloau comme tel, et non du determinant qui lui est 8ssocie, nous l'eerivons entre deux doubles traits verticaux.

Remarquons que dans l'expression (3) nous avons dispose las fneteurs de ehaque produit dans un ordre tel que les premiers indices donnent la permutation fondamentale t, 2, 3, de sorte que tous nos raisonnements so rapportent aux permutations des seconds indices. Inversement, on peut disposer los faetours do chaque produit de telle sorte que les soeonds indices se solvent dans l'ordro naturel ou ordre des grandeurs eroissantes i I'expression (3) l'!'eerit alors sous la forme:

4u4uala + 4l1talz4za + iZ:&14nllJ, -4ts"c4z3 - ~1411433 -CZlJIIZzzl'JIJ' (9) Iel, les promiers indices donnent toutos les pormutntions possibles des p, g, r, de plus, il est facile de verifier que pour chaque terme de l'oxpression (9) la r~18 des signes s'6nonce exactement de la memo fa~n que preeedemment, mals porte sur les premiers indices. Cola noos conduit a c.()nsiderer~ outre la somme (8), uno som.me analogue de 18 forme:

~ (-1)[p" "2" ••• p"l n._ II- II-

"'-I -Ps 1-22 ••• _ ft·

"' •• P2" .. , Pill "

11 ost 6vident que cetto somme est eomposse des memes termes que Ja sommo (8). Dans la suite, nous verrons que 1es slgnes des termes analogues dans ces deux sommes sont Ies memes, c'est-a-dlre que 18 somme (10) coincide avec ]8 somme (8).

Considerons emin Ie cas n = 2. Le tablenu est alors de In forme:

(to)

II:: ::11

et la formula (8) donne l'expression suivante pour le determinant du second ordre associe A ce tableau:

I au aizi

= aUQ:zs-411421' all tlz%

Il decoule de ce qui pTlicedc que pour aborder I'etude des proprietes des determinants, n nous faut etudier d'abord en detail les proprietes des permutations.

(if)

1-1-2. Permutations. Soient n eh1ments quelconques donnes dans un ordre determine. Nous dirons, par definition, que e'ost une permut4tton engendree par cos 616ments. Demontrons d 'aOOrd que les permutations distinetes sont au nombre de nl. Pour n = = 2 cola est (ivident. oar deux 6Mmcnts peuvent engendrer deux

14 CH I. DETERMINANTS ET RBSOLUTION DES SYSTEm:S

permutations distlnctes. Pour n = 3 cela dlkoule directement du ealcul des permutatlons (5), 0'0 les nombres 1, 2, 3 tiennent le rOle d'4Uements. 11 est faoile de voir quo (5) donoe toutes las permutations possibles de ces trois clemonts. Demontrons par reeur.rcnce notre proposition pour un antier quolconque n. SUPPo8ant que notre propcalttou soit vrate pour un n quoleonque, demontrons qu'elle I'est aussl pour (n + t) elements. Posons que n eloments donnent n J permutations at considerons (n + 1.) '16ments que nous notons

Cit Cat •••• CPl+t•

Considorons d'abord les permutations dont le premier element ost C,. Pour obtenir toutes ees permutations. il faut mettro C, en premi~re place. puis it la suite acrire touros les pormutations possibles des n autres elements restants, Par hypotbese, Ie nombro de ces pormutntions ost egal a n I. Ainsi,les permutations des elOments CA, dont le premior element est Cit sont au nombre de n I. De la meme fa~on, les permutations des elements Ch, dont Ia premier element est C", sont Russi au nombre de n J. D'une fa~on generale, las permutations distinctes des IHements C" sont au nombre de:

n 1·(n+ 1)= 1·2· •••. n.(n+1) = (n+1) I, ce qu'll fnUnit demontrer.

Nous ponvons supposer que les elements sont les nombres entio.rs suecessifs, a partir de l'unite, ce que nous couvenons de conserver par la suite. Appelons transposition l'operatlon qut consl8te a changer lea place.s ck deu» eUm4nts aans UM permutation. On voit hllmediatement quo I'on peut obtonir do touto permutation toute autre permutation au moyen do plusieura transpositions, Consid~rons, par exemple, 1es deux permutations des quatre elements

1, 3, 4, 2, 2, 4, 1, 3.

On pouL passer du 10 premiere de cas permulations a la seconde LlU moyen de Lrl1nsposiLioms do la fLl~on sUlvanto:

1,3, 4, 2~2, 3,4,1-.2,4,3, 1-.2.4,1, 3.

lei, nous avons besoin de trois transpositions pour passer de la premiere permutation 11 In seconde. Si nous avions applique d'autees transpositions, nous aurions pu aussi, par uno autre voie, passer de la premiere permutation a 18 secondo, ee qui signifie que 1e nombre de transpositions ndcessaires pour passer d'nne permutation a une autre n'est pns un nombre strictement d6termine. nest essentiel de demontrer quo cos differents nombres, pour deux perDlutntions donnees, sont soit tous pairs. soit tous impairs. Autrement dit, ees nombres ont tooJours m~me parite. Pour 10 voir, introduisons

I-S. DtTER)SlNANTS ET LEUIlS PllOPRD1reS

13

Ia notion d'inversion quo nons nons d~jo. utilis4e dons [1-1-1). Soient donn6es des permutations des n elements 1, 2, • _ ., n. AppeIODS permutation fondamentole In permutation:

t, 2, _ •• , n,

(12)

dans 1aquelle las nombras se suivcnt dans l'ordra naturel, Nous appelons inversion dans une permutation Ie fait que deux el'ments do cette permutation ne se suivent pas dans Ie meme ordre que dans 1a permutation Condamentale (12), c'est-ll-dire que Ie plus grand nombre precedo Ie plus petit. Nous appelons permutation patre toute ponnutation dans laquello Ie nombre d'inversions est pair et permutation impatre celle pour Iaquelle ee nombre est impair. Bnoncons 10 tbeoreme SUiV8Dt fondamental pour la suite:

Une transposition change d'un nombre tmpair Ie nombre d'tnverston8.

Considerons una permutation quelconque

a, b, ••• , k. . .. , p, •.. , 8

(13)

et supposons que nous appltqulons a eette permutatioJJ une transposition des eMments k et p, c'ast-ii-dire que nons intervertissions les places de cos deux lU.sments. Apres une telle transposition, 1a disposition des elt~ments k ot p par rapport a coux qui se trouvent a gauche de k ou a droite de p reste In meme. Seulo la disposition de k et p, par rapport nux eMments qui se tmuvent entre eux, change, ainsi que la disposition des elements k et p l'un par rapport a I'autre, Calenlons Ie nombre total d'inversions. Supposons que dans la permutation (18) m 'lements se trouvent entre Ies elements k et p et soient parmi eux, par rapport a k; <X elements dans l'ordrc naturel et ~ inversions et, par rapport a p, ~, 6lements dans l'ordre nature) et ~t inversions. II est evident que nous avons:

o.+p=a,+~,=m. (14)

La resultat de catte transposition est tel quo l'ordre natural se t.ransforme en tnverslon et inversement, c'est-a.-dire, d'une fa~on plus preeiso. si l'e16ment k et un element pris entre k et p sont avant In transposition k, p dans l'ordre naturel, alors, o.pres 10 transposition k, p, ils donnent une inversion et inversoment; il en est de mem('! pour l'{;lemcnt p. Ainsi, Ie nombre total d'inversions des elements Ie at P, par rapport a ceux qui S6 trouvel1t entre eux, ~st f3 + i3, avant Is transposition k, p, at a + ~I apres, c'est-/t-dir(J quo In variation du nombre d'invorsions est:

'\' = (IX + 1%,)- (P+Pa).

'ronant. compte de (t4), on peut acrire co nomhre sous In (ormo: y=(a+a,)-(m-tz+m-a,)=2(a+a\-m}

i6 CIL I. DJTBRHINANTS ET ReSOLUTION DBS SYSTlmES

d'ou il. dkoule immedintemant que Ie nombro l' est pair. II n& reste plus qu'a considerer In disposition NCiproque .. des elements k et p, Si avant la transposition ils sont dans I'ordro 'naturel, ils presentent apres uno inversion at Inversement, c'est.A-dire que Ia variation du nombre d'Inverslens est egale A l'unite et pat suite Ie nombra total d'inversions provenant d'une transposition est impair.

Donnons plusleurs corellaires decoulant do tbfSoreme qui vient d'iltre demontri.

Cor 0 11 air e I. 8i ron ecrit les unes A la suite des autres las n I ponnutations et quo 1'on realiso la transposition do deux elements determint§s, par exemple des 8Iemants i et 3, toutes los permutations paieee deviennent alors des permutations impaires at inversement; d'une fa~n genera le on retrouve l'ensemble des n t permutations. II en decoule immediatement que les nombres des permutations patres et lmpatru sont egauz.

Cor 0 11 a j r ell. Toute permutation s'obLient do Ia permutation fondamentaIe au moyen de transpositions. II deeoule immediatoment du theoreme demontre que les permutations palres Bont composees de permutatlons gui s'obtiennent de 1a permutatlon fondamentale au moyen d'un nombre pair de. transpositions et les permutations impaires de permutations gui s'obtt(lnnent de la fondamentale au moyen u: un nombre tmpair de transpositions.

Cor 0 1 1 air e III. Le cboix de la permutation fundamentale ~st arbi tra ire. Nous aurions pu prendre pour permutation fondamentale (12) une permutation quelconque; en outre. pour defin(r les inversions. il faut evidemment cemparer cette derniore it la permutation fondamcntalc, c'est-A-dire partir de l'ordre pro pre nux elements de Ia permutation fondamentale. 11 est faello de voir que si nous preDODS a la place de In permutation (12) une permutation pallO que!conque pour fondamentale, a10ra las permutations paires restent, comme auparavant, des permutations palms et cellos Impalres des permutations impaires. Inversement, 5i nous prenona une permutation impairo quelconque pour Iondameatale, les permutations impaires par rapport a la fondnmentaJe deviennent alors des permutatioDS palres et cello palres des permutations impaires.

Par example, si pour los six permutations des eMOlents 1, 2, 3 nous ptenons pour fondamenlale In permutation 2. 1. S. les permutations paires sont alors ;

2, i, 3 j 1. 3, 2 j a, 2, 1-

La dcuxiime de ces permutations presonte deux inversions: le i precede Ie 2 et Ie 3 prt1cede Ie 2. landis que dans Ia fondamentale It'

I-I. DETERMINANTS £T 1.HURS l·nOPRltTP.s

17

2 est place devan~ 10 1 ot Ie 2 avant le 3. Las permutations lmpalres sont :

1, 2, 3; 2, 3, 1 i 3, i, 2.

La prcmiero de ces peemutatlons prcsente uno inverslcn par rap- 1101'" a la permutation. fondamantale 2, 1, 3: Ie 1 precede 10 2.

'fenant compte de tout ce qui vient d'eLra dlt, nous pouvons cnoncer la regie des signes dans I'oxpression (8) de la faCiOn suivantc:

MUS tamms pre ceder un produtt quelconque du signe plus, si la permutatton des seconds indices tklnne "'lie permutation putre, et du :;i.gne motns, sf la permutation des suonds indices donne une permutation impaire. en outre, la permutatton t. 2, ... , nest consideree eomme fondamentale .

Etudions a preslmt une proprh~te fondarnentaJc du determinant.

Intervortissons la premiere et 10 deuxiemo eolonne dans 10 tableau qui engendre Ie determinant. Les nombres que nous designions auparavant par a'll seront not~s par les memes leures ot les mames indices. Le tableau (6) est remploce par 10 tableau;

ata all a'3 ... a,n
a= 4Z1 4!!3 ... aan (i5)
. . . . .
a,,: 4n, ami ... 411n A I'aide de Ia formula (8) 110\18 pouvons forml'r le detormlnant aHsocie au tableau (15). Dans ce tableau, les colonnes FOnt. numdrolees dans l'ordro sui vant.: 2, 1, 3, ... , n, et nous devons considerer c('Ue permutation commo fondamentale, Ell" s'obl.iout do III permutation (12). pr~cedemmcnt fondamentale, a I'aide d'une transJlosition. elle est done impaire. Ainsi, Ies permutations qui 811paruvant 6taicnt impaires deviennent, avec 10 nOUV4.!8U eholx de In permutation fondamcntale, des permutations paires et Inversement, Done. le doterminant assoeie au tableau (15) est la somme algebrlque de tormes ayant mGme expression absolue que ceux qui Imtront dans 18 formula (8) rnais qui. en vertu du changement de pnrite des permutanons des seconds indices qui vient d'6tro mcnHouno. ant des signes co ntraires , c'est-a-dtre quo, lorsqu'on tntervertu. cieru; colonnes, le ditermtnant change tk slgne. NollS avons d6montre cette pl'Opcietu dans 10 cas ou l'interversion portait sur la premil\re ot In deuxi~me colonne. Uno demonstration analogue peut fstre falte dans Ie cas oil nous tntervertlssone deux eolonnesqueleonques. Par exem ple,

t 0 3 1 3 0

276=-267.

5 3 0 5 0 3

2-89

18 cu. I. DtTBRMINANT8 BT aeSOLU'l'ION DES SYSTBrolIllS

Le second d6terminant s'ohtient a partir du premier en permutant In deuxleme et la troisieme colonne.

Considerons uno antre propriet6 des d6tcrminants. Prenons un terme quclconque do In somme (8) :

( 1)("1' "z, ••• , ",,1 a a2 n_

- '''s "3'" .... p".

En changeant 1'0001'9 des Iacteurs, nous pouvons ramener les seconds indices a avolr I'ordre naturol, mais la~ premiers Indices Iormeront alors une certaine permutation qs. qa, •.• , q" ~t I'expression preeOdente s'ecrit sons la forme:

( -1)(p., "" .•• ,1',,1 a,. ,afl22 ••• 4Qn". (1~

Le. passage de (t6.) a (16s) so realise a I'a.ide de plusleurs transpositions de faetoutS. Una telle transposition fait Intervenir en meme temps des transpositions dans les permutations des premiers indices et des seconds. Si Ie nombre de transpositions nOOessaires au passage de (16s) A (16s) est pair, il en decoule que la permutation Pit Ps, •• '0 P« est paire, puisqu 'elle se transforme en permutation fondamentale 1, 2, •• " n a I'alde d'un nomhre pair de transpositions et, par co~quent, il est evident qu'eUe peut etra ,ussi obtenue de Ia fondamentale par un nombra pair de tran.sposi. tions. En outre, Ia permutation qt, qt, ••• , qn est paire, etant donne qu'eUe s'obUent nussi de la fondamentale a l'aide du meme nombre pair de transpositions. De la merne maniero, sl Ph p,=-, •• " p" est une permutation Impaire, qs. qr.. • •• , qn est Russi une pormutation impllire. 11 en decoule que (_1.)1Jl .. P ..... , p,.l =- (-1 )[, .. 9 ••••• , fnl. et nous peuvons done eerhe:

( -1)("1' ~ •...• 1',,] a a n~._ 1p, 21'2'" .... p,,-

- ( _1)[IZI' '2" ••• fin] a: -a 2 a

- -t' 'l:t ••• 9,,'"

Ainsi, sl nous eomparons las tcrmes eorrespondants dans les sommes (8) ot (10), nous voyons quo ces sommes coincident. Dans In somme (to), los lignes jouent Ie meme role quo las colonnes dans la somme (8), ot i1 decoulo immediatement de nos raisonnements que st Z'on remplace dans un tableau les ltgnes par les eolonnes, et done Its ealonne« par Us itgnes, tout en conservant leur ordre, la oaleur du tUterminant ne change pas.

Par exemple, nous avons regalite des deux detorminants du troisiomo ordre suivants:

2 3 5

1 0 i == 2 i 6

..

2 7 2 3 0 1 516

1-1. DeTERMINANTS BT LEURS PROPRMT.ts

19

1-1-3. Proprietes (ondamentales des determinants. I. Enonc;ons d'aoord la propri6te que nous venons de d6montrer: la valeur a'un dllermtnant ne change p_as quand on intervertlt lea litlles et les colonnes de mime indice. Dans la suite, tout ce qui sera d6montro pour Ies eolonnes sora valable aussl pour Ies hgnes et inverscment.

II. Nous aVODS VU dans [I-t-2J que lorsqu'on achange ont.re ones deux colonnes, le determinant nc change que do slgne, e'est-a-dire que lOT8qU'On eMange entre elles deuz Ilgne" (resp. deu» colonna), le ditermiruznt change de Bigne.

III. Si un deter.minant a deux Iignes identiques, en les kbnngcant entre elles d'une part nous n'avons rie.n change et d'autre port, eon vertu de ce qui vient d'Atre d6montre, nous avons cbaDg6 Ie signo du determinant, c'est-a-dire en d6signant. par 11 ce determinant, 11 = -lJ. ou lJ. = O. AiDsi, un dltermtnant qui a deu» llgnes (resp. deu» colonna) ftknttgues est nul.

IV. On appelle fonction lln6aire homogene des variables Zit z" .•. , Z~ tout polyname du premier dogre par rapport II ces variables, sans terme constant, c'est-a-diee une expresston de la forme: I

~ (Zj' ZI, ••• ,:en) == alXt + ~~ + ... + a,.Xn,

o~ las coefficients a, ne d~peDdent pas des z,. Cette lonction v6rifie les deux propri6ttSs evidentes suivnntes:

cp (kXh kz", ... , 1u:71) = kcp (~h X:&, ••• , ~n)' cP (XI + Y .. %3 + Y2, ••• , XII + Yn) =

= cp (Xl' X:, ••• , Xn) + cP (Us, Y2, ... t Yn)'

La derniere propriete est vraie pour un nombre fJni quelconque de termes. Consid6rons a nouveau Ia formule (8), nous voyons qae cbaque termo de la somme envisagee contient commo {acteur nn et seulement un element de ehaqua Ilgne, 11 en decoule qu t un dIterminant en une fonction ltniatre homogme des Ilements d'une Ugne (au reap. d'une colonne) quelconque;

Done, sf taus les llements d'une Ugne (resp. d'une colonne) conttennent un jacteur commun, on peut le sorttr au siene du diterminant.

La valeur du determinant assoei6 all tableau (6) est souvent notee, comma nous l'avons deja indique, sous 10 lormo:

tIts a12' •• asn

ass ~:& ... ~

00 encore:

la'AI (i, k=f, 2, ••. , n).

20 CR. r. DeTl!IRMINANTS ET ResOLUTION DES SYSTSMES

La propriete, que nous VOROns de demontrer, paut s'ecrire dans un cas particulier sons Ia formo:

kau katz kal' all 4t: al~

a21 4:! 4U = k ~ ~ au .

aal an 4:13 a31 4a2 a33

La seeonde des proprietea enoncees des fonctions lineaire.s homogell~s s'appltqne aux determinnnts de Ia fa~n suivanto: st les elements d'une ligne (resp. d'une colonne) Bont les semmes d'un msme nombre de termes, alor'S le determbumt est Igal a. lao somme de determLnants dans lesquels les llements de la ligne (resp. de la colonne) enuisagee sonl remplaces respectivemen: par lee termes de la somme, Par exemple,

a b c+c' abel abc'

d e 1+1' = a e f + de/' •

g h t + i' g h t g It i'

Notons encore una consequence de Ia lin6arite at do l'hornogeneit6. St torulesillments d'une Ugne (reap. a'une colo nne) sont nuls, ie dltermtnant est nul.

v. Si l'on supprime dans Je tableau (6) Ia i-ieme lignoet la ki~mCl celonne, it l'intersection desquelles se trouve l'element a'lr, il reste un tableau 11 (n - 1) Iignes ct colonnes. Lo determinant d'ordro (n - 1) ainsl nsso-cie ost appele mi)&ellT du determinant Iondamenta) d'ordre n eoreespondunt n 1"16ment a'lI. D6signons-le par 6,11 at formons Ie prodnit :

A,,, = (_i)i+h ~,'\ (l7)

que no US appellorons compU,n.entalre algebrique ou co/actcur de> l'clcimenl a,,,. Montrons a presont que ces complemantaires algebriques sont les coefficients de In fonetion Jineairo homog~no utilisee ]u·uc6demnlont, c'cst.-a-diL-e que pour touto t-illmo ligna, un a :

6=Alla"+A''la,z+ •.• +A,na,,, ('=d,,2 •...• n) (18)

aL pour toute k-icmo eulonne In Iormule :

A = A1llalh + AMQ2k + ... + Anlta".\ (k"", i, 2. . .. , n), (j 0)

0\1 I! est le determinant. Autrement dit, nous devons damonlrcaque, sl dans la sommo (8) nons mettons en Iaeteur tous Ies termes contenant un element determin6 a,,,. son coelficiont est precisement 19 comp16mcntaire ulgtSbriqne A,,, donne par la formulo (17). Designons co coeffieient par Bu, ct remaequons tout d'nbord Q\1'j} est 18 sommo de prodults de (n - 1) elomenls. on outre, ces produils ne contiennent deja I,htS los elements do Ia i-ieme ligne at la "-lemo colo nne.

I·S. D£TEIUUNANTS BT LEURS PBOPRI2'1'SS

21

Considorons d'abord le ells t = k == 1 at ~crivons Ies termes de 18 sommo (8) qui contiennent. en Iacteur 1'610mooL au:

n. "" (-1 )(1, "1··· .. Pnl a n.:

-.1 £..J 2~ ••• -TIP •

(PZ" •.• lin) n

lei. la sommo.tion est. etondue 8. toutes les permutations possibles Ps, P3' •. " Pn engondrces par les nombrss 2, 3, 0 • " no Dans la permutation complete t. Pt- 0 • " P» 10 premiur cHement, l'unite, se trouve dans l'ordre natural par rapport it t.ous ceux qui la suivent, et pour cette raison nous avons pour le nombra d'inversions:

[1, Pa' "0, Pnl-1P2, .•. , Pnl,

do plus. dans los deux cas, on prond pour permutation fondnmentale celle dont Ies nornbres se suivont dans I'ordre naturel, Ainsi, nous avons I'expression suivante pour 10 coefficient cle all:

Bu r:= ~ ( -1 )[p~ ..... "n1 a21'2 •• , an" 0

(Pz. "3'" , , "n) n

Cett.e somma ressemble 8. 10. definition du determinant mlneur de alit puisque pllr rapport au determinant initial )0. premiere Ugne et la premiere co1onne sont absentes. 011 voit que Bit = ~II = = (_1)1+1Au = Au, c'est-ll-diro pour t = Ie = 1 notre propositien est demontree. Passons au cas ou t et k sont arbitraires, NOU8 allons 6cl\anger la t-ieme ligna avec 1a premiere, II faut falre alors (i - 1) permutations sueeessives do 1a ligne envisag~e. De la meme fa~n eehangeons In k-iemo eolonne avec In premiere. Apres ces permutations, l'e16ment a,,, occupe 10. place de l'eiemont au au coin superieur gauche. La ligne de numero i et In colo nne de numero Ie occupent rospectivomant 1a ligne at la colonne de mnnero { lit I'ordre des autres Iignes et colonnesrcste inchange. Le resultaL obtenu ct-dessue montre qu'apres avoir realise los permutatlous indiquees. le coefficient de alit est egal 11 ~lIl' Mais i1 nous a Iallu Ialru (t -1) + + (k - 1) permutations de lignes et do colonnes, et chaque permntation parellle fait preceder 10 determinant du Iaeteue (-t), c'ef;t-a-dire d'une maniere generale du fReteur (_1)('-1)+<11-1) = = (-1)'+", done I'expresslon finale du coefficient B", est:

ce qu'il faHait d6montrero Ainsi, nous avons d6montri las formules (18) et (1.9). Si dans 10 determinant ~ nous rompla~lls suecesslvement les eiaments de 1a i-ieme ligne par des nombres Ch C,:, • , ., en tout en conservant les autros Iignes, alors dams la formule (18) lea Iacteurs

22 en, I. D£TBRMINANTS ET ResOLUTION DES SYST2f1U:S

A I. sont conserves, et Ia valeur du nouveau determinant est

Il' = Aile, + A,:c~ + ... + A'ne". (20)

En parLiculier, 81 Ies nombres ell C2, ••• , en soot egaux rospecLivemont nux elements aJI, alt. • •• , aIR de 18 ligno do numel'O j distinct de i, le determinant Il' a alors deux lignes idontiques, Ia i-Ierne at la J-iome, ct il est nul: Il' = 0, c'est-a dire:

A,,4Js+A'24J:r.+ ••• +A'naJ"=0 (hpJ). (21.)

De meme, cotte propri6t8 est vraic pour les colonnes :

Askasl + A~au + ... + AManl = 0 (k::p l). (210

Los formulas (19) et (21t.~) nOU8 conduisent a la propriete suivante du determinant importante pour la suite.

La somme des elements d'une Ugne (rtsp. d'une colonne) alleetta respecttoement d'un /acteur egal a leur eomplementalre algebrlque donne la valeur du determinant. L4 somme des IUments d'une lign« (resp. d'une colonne) al/teUs rcspectlve1TU!nt d'un facteur egal all. comple1TU!ntaire algebrique des elements d'une autre ligne (resp. d'une colonne) e8t nulle,

VI. Ajoutons nux elements de la premi~re ligne d'un determinant Il les clemonts de la douxieme ligne multiplies par un nombre p, Les elemont." de la premiere ligne sont at. + pa,. (8 = i, 2, .•. , n) et, en vertu de Ja propriettS IV, 10 nouveau detel"minant est la somme de deux detorminants: du determinant initial ot d 'un second determinant dont les el~monts de 18 premibre ligne SORt pah (8 = 1, 2, ... , n) at. dont les autres Iignes coincident avec celles do Il. Mettant dans In premlsre ligne p en f~cteur, les premiere ot deuxieme lignes sont identiques, done ce d~terminant est nul, c'est-a-dire la valeur d'un determinant ne change pas 8;' l'on aJoute auz eUments a'une Ugne (resp. a'une coZonne) les elements correspondants d'une autre ligne (resp. d'une colonne) apres lea avolr multiplies par un mime nombre,

Indiquons plusieurs notations qui nous seront uules dans la suite. Suit donne un tableau C81'n! (6) de nombres et soit 1 un nombre entier positif non su perieur a n. lntroduisons la notation suivanta pour un determinant d'ordre 1 constitue des lignos de numeros Ph PI' .•. , Plot des colonnes de numeros 9h q", ... , q, du tableau (6):

apl'l, api'll • •• apI'l,
A (PI P2 Pl)= flpz'll flp2':a • •• tJp:afl, (22)
ql 92 9, · . .. . .
apI" api" ••• lZp,QI I-S. DETBIWJNAl\"TS ET LEU:RS PROPRIST2S

23

En outre, par determinant du premier ordre, correspondant a un nombre quelconque a, on comprend d'ordinaire ce nombre, c'est-

a-dircA (~) = apq' Los suites de nombrcs enticrs positifs Ph P"~ ••• , PI eL q" q" •• " ql peuvent etre ordonnees suivant un tout outre ordre que celui naturel des nombres P. et q,. Si dans ces deux suites. Ies nombres sont ordonn6.s sulvant l'ordro naturel, alors 10 determinant (22) est appeld mineur d'ordro 1 du detorminant (8). Ce d~terminant (22) 5'0 bUent de (8) on supprimant (n - l) lignes llt (n - 1) colonnes. Soient rlt rz, ... , r,,_l ot Sit S:, ••. , 8 .. -l Ies numeros dans l'ordro naturol des lignes et des colonnos supprimeos. La mlneur

A (rs '2 '" rn-I) S. Sa •• , Sn_l

est appe16 mineur complementatre du mineur (22), et I'expresslon

<_1)Pi+PS+ .•. +PZ+91+Q2+ ..• +9IA(rs '2'" '_') (22.)

$. Sz SI'I-l

est appolee compzementaJr~ aZgebrlque du mineur (22). Pour un 61ement iso19 at" eette definition du coDi.plemcntaire algebriquo coincide avec la definition (f 7) donnee precedemment.

Nous designons le complementaire olg~bdque (22,) par

(PI P2 .. , PI)

A' q, q: •.. q, •

11 9o'St ontierement defini par la donn6e du d6Lermlnant (22), c'ost-a· dire par la donnee des suites de numeroe des Bgnes Pit Pt. ,. '. PI et des colonnes q" qs •.. 't q I'

Fixons )08 DUD1eros des lignes. La valeur du determmant. A eat. evidcmD10Dt UD poJyn6mo homogeno de degre I des el6ments de cas ligncs ot. commo on peut le demontrer. elle stoxprime par la formulo (tbeoremo de Laplaco):

A- ~ .A (PI P2 ... PI)A'('S Pz· .. PI), (23)

£J III '12'" q, q, '11.'" q,

9,<9:"< ••• '-:9,

oil )a somma'ioll ost etondue a t.outes lea sui\es cr.olssan'os dlt Dombros 'lit !la, ••• • • '. _Ilt emait.s de la sul1e 1, 2\ •• 't n. Le Dombre des tannes dans la 80mDl& (23) est 6ga1 a celul des comDinaisona de n cSlcSments l a I:

C' _ n (n-.1) .•• ( .. -1+1)

,,- II '

pulsque l'ordro des nombrcsq. De Joue aucun role, II. n'cStant pris que dans l'ordro lla&ut'81 pour rormer Ja 80mme (23). Pour l:;: tt DOWI aVODS A c:) = aplq • et la rormule (25) coincide avec Ie formula (18) pour, = Pt. 11 est facile do doJ-

24 CR. 1. DeTEnMINANTS BT ReSOLUTION DES SYSTDlES

nor uno formuJo ADAlogue a ~2S) qui correspondrait all developPfi!mont de 41 suivlln~ les 6laments do COrt.aIDOS colonnes. DaDS 10 suite, nou!! n'aurons pas heMin de 1a lormule (23) at, pour cette raison, nous no Ia demontroDs pas. .

1-.-4. Calcul des dt;terminants. Lc calcul des determinants du deuxieme nrdre est tres simple. Dtapres 18 formule (11), il faut ecrirc Ie tableau:

II0ff (lJZJI

a~:

puis rormer )0 produit des elements, qui se trouvont sur In diagonale 80ulignee d'un trait plein, precede de son signa proprc, ct eelui des elements, qui se trouvent sur Ia diagonale 80ulignee d'un trait pointute, affecte du signa contraire a son signe propre. La somme nlge.. briquo de ees deux produits donne la valenr du determinant.

Passons au doterminant du troisieme ordrs. Sous forme developpee il est donne par Ia formule (3). Jl est facile de verifier qu'on peut Ie O8lc1l10r do la fa<ion suivante: ecrivons Ie tableau associ6 au detenninant et eompIetons-le inferieurement avec la premiere ot Ia deuxisme ligna. Nous avons un tableau contenant six diagonales, chacune de trois 61Oments.

Formons les produits des 6Iemonts, qui se trouvent sur les diagonalas s(ndlgmies d'un trait plein, pree~d6s de leur signe propre, et. ceux des elements des diagonalcs souJignees en pojnLille, affectss du signa conteatre a leur signe propre. La somme algebrique do cos six produtts donno precJsemant la valour du determinant (regie de SarrU$).

au C.oUe dglo ne se ~narAliso pas aux determinants d'ordre superieur A trois et pour eeux-ci on dOlt o(l6rcr difflSremment pour simplifier Jea ealeuls. 11 eat

I-I. DliTERMINANTS ET LEURS PRO[>RJJinS

2S

ut.ilo, par exemple, d'avofr rocours a In propriot6 VI des determinan's indiqu68' dans (1-1--8). Pronons un exemple. CnoslderuDs 10 dl§termlnant du qUIlt.riomoordre:

8 5 i 0

2 i 4 5 A-

t 742

-3 5 i 1.

Mult.iplioDs In troisiemo ligno par (-2) at additionnons-la It In douxieme; pui& mult.lp'Uons la troisil!me ligne par S, additionnons-la 11 la quatriemo ot rotranchC:Ills-la de la premiere. Alnsl, en vert.u de 10 proprll§t8 mentionnoo. neus avons un dtStonnlnant. 6gal au d6termlnant Inlt.iaJ, qui a, on outre, trois zeros dans Ja prom lero cnlC)Dne:

o -16 -11 -6

o -13 -4 1 A-

t 7 4 2

o

26

13

7

En 10 cJevoloppanL par rapport 8UX cHements de la premiere eclenne, nons avons d'apres la (ormulu (19):

-16 -11 -6 A- -13 -4 1

26 i3 7

MulLipliolls 10 lloisiemo colonno p._nr 4 et addltlonnons-la II In clt'lIxicmo, puis mulUplions-la par 13 at adcht.lonnons-ln a In premiilre. Nous obtenons ninsi :

-04 A= 0 it7

-35 o 41

-6

I-M

t=-

7 U7

-351

=94.41-35·U7- -Mi.

41

1-1-5. Exomples. 1. Suit 1 ealeuler lc volume d'un para1l619pipede clont lea trois aretes issues d'un meme sommet sont les vectours At Bat. C. Comme on Je sait (tome II, IV-i-6), Ie volume cbercM est donne par Is produit scalaire du vecteur A et du prodult vectoriel (B X X C):

V=A(BX C).

(24)

Ce volume est precede du signe plus, si las vecteurs A, B, C ont m~me orientation que las IlXes de eoordonnees, ct prek.ede du signe moins, si les oriontations envisagees en sont distinctes. Les eomposantea du produit vecLoriol sont

BIIC,-B,cll' BJC",-B",C", BxCu-B,p::, et, par suite, Ie produit scalaire (24) est:

A", (B,P,,-BzCII) + All (B:.C:c-B",C,,)+AJ(BxC,,-B,P~)·

2G CH. I. D£TBlUfiNANTS ET RasOLtJTION DES S\"S'l'lmES

II cst facile de voir que cette dcroiere somme est Ie determinant du troisiome ordrc:

Az n; c, V = A" B" CII•

Az s, Cz

Si co deoorminant s'annule, eela signifio quo 10 volumo est nul, autremont dit, que los trois vecteurs A, B at C sont coplanaires, e'estA-dire so trouvent dans un mAme plan. Si nous pormutons deux Itgoes (resp. deux colonnos) dans 10 d.5tormioant, la premiero et Ia denxiemo, par example. par l8. me me l'ordre des vectours A, B. C est remplllcO par I'ordre des vecteurs B, A, C. et si les voetours de la premiere suite avaient la meme orientation que les axes de coordonnees. Ia permutation engendre aloes uno autre oriontation et inversement. Done, Ia valeur du determinant change de signe.

D'une facon analogue, si nous considerons dans Ie plan XY doux vecteurs de composantes (A.:e, A,l) at. (B%, B,I). I'alre du para1l61ogramme coDstruit sur ees deux vecteurs est, par definition. agale au determinant du deuxieme ordra:

IA.:e Bzl

1'= Au BIJ •

(25)

Considerons maintooant un triangle dont. les eoordonnees des sommeta sont:

M.(zb y,), M 2 (z:, y,,). M:I (Z3' Ys).

Soient les vcctcurs A=M,Mz et B=M,Ma do compcsantes ;

M,Ma(:rs-Zt.lh.-yJ, MsMa(za-x" lIa-lI.),

ut Paire du triangle est exprimee sous Ia forme ~

t l:ta-z, z3-z'l

p=- •

2 Y,,-lIl lIa-1I1

11 est facile do domontrer que Ie determinnnt du deuxieme ordre 6cdt cl-dassus peut etre rempla~ par nn determLnant du troisieme ordre ot l'on peut ticrire la formule de l'aire du triangle sous la forme suivante:

x, zt Z3 i

P=y 111 11" 118.

t 1 1

Sf ee det~rminant s'annulo, cela indiquo que les points Mit MI' M3 so trouvent sur UDO mamo droito. AuLromcnt dit, 1 'oquat.ion d'une

1-1. DETElUIIN.ANTS ET LimBS PBOPBJ.eTEs

27

droite qui passe par deux points donnes (Zb Ys) et (X2' YI) pout s'~erira sous 10 forme:

Z ZI Z2

Y Yi Y2 =0. 1 1 t

2. 11 est aise do former a I'alde des determinants Ies 6qualions de cortllins Iieux goomatriques. POl' exemple, soit a trouvor )'6quation d'un eerels qui passe par trois points donnes : (XI. V,). (.:r2' y.,) ('t (x:S1 Va). 11 est evident quo cette equation s'6erit a I'aide d'un determinant du quatrieme ordre sous la fotlne suivante:

.zl+y= ~+Yi .x:+ Y; X;+y:
x XI ~ X3
,,-,,0. (26)
Y YI Ya Y3
1 1 1 1 En effet. on developpnnt par rapport nux 61Cments de In premiero eolonne, on peut s'assueor que l'equation ecrito cst uno equation du deuxlemo dagre dans laquoUe las coefficients do:r et yl sont identiques ct Ie terme on .xy est absent. e 'est-a-dire l'equation (26) est bien cello d'un cercla. Enfin, sl nous faisons X = x" ot y == y" (k = 1, 2, 3) dans cette equation, la premiere co 10 nne du determinant cst identiquo alors a l'une des autres colonnes et l'6quation du cerele cst satisCaite, c'est-a-dire que le cerele passa reollement par Jes trois points donnes, Remarquons que si les trois points donnes se trouvent sur uno drolle, dans Pequation (26) 10 coefficient de (r + 11) est nul.

De meme, dans un espaee rapPol't.e nux trois axes OX, OY, OZ, l'cquation dtun plan passant par trois points donnes (z" y" %1), (z., NI' z~ at (X3' V3' %,) peut s'oorire sous la forme d'un detorminant du quatrieme ordro:

Y Yi Va Ya

=0.

(27)

Si les trois points donnas sa trouvent. sur uno droito, 1'6quation (27) se transforme en l'identite 0 =0.

3. Considerons Ie determinant Dn d'ordro n, dont. chaquo Iigne est composee de tout.cs los puissances ontieres d 'un aombre, do In

28 en, I. D~TERMINANTS ET RQSOLUTION DES SYSTI!!MElS

(n - f)-i~me puissance jusqu'a la puissance zero incluse:

II-I 71-2 x • 1
XI .7:1 · ..
,,-\ tt-! 1
0,.-= .7:;) J::t ... X:t
. . . . · . . . . .
,,-1 It-~ 1
Xli XII · .. xil (28)

Pour n = 1 cf, 2 nous avuns:

DI=f; D:&"",x\-Xt.

Pour devoloppor le determinant. 03 nous remplacons dans la promier& ligna de co determinant le nombro Xl par JI1 lettre e. Nous obtonons un d6tormiOllnt de la forma:

Xl X f D3 (.:c)....t! x: i x: X3 t

En le d6vcloppant par rapport nux elements tic In premiere ligne, nous \'oyons que D3 (x) est un polynamo du deuxiemo dagre en %. Si nous faisons x = x, ou % = X3 dans 10 determinant, la premiere ligne est identiquo n In douxieme ou a. la troisiemo ligne at le determinant est nul. c·ost.-a.-diro quo le trinome Da (.2:) n pour raclnes %2 et X3 et pout. done utre ropresente sous Is forme:

D3 (x) - As (X-%2) (0$-%,).

au A3 ost le coefficient de xS, c'est-a-dlre 10 comp1emcntaire algtibdquo ecrrespondant a .'element X2 du d6t.erminant D3 (z) qui se trouve dans l'angl0 superieur gaucbo. Il en t6sulte:

A3=1: !I,

c'est-a-dfre que .4:. ClSt Ie determinant D2 forme it partir des nombres Xz ot. Z3' SoiL:

D!J (:r.) = (X2-%3) (X-X3) (Z-X3)'

Faisallt Z = Zit 1I0U8 obtonons pour D3 une expression suus In forme d'un produit. do t.rois fncoours:

(.rl-~) (.2:1-.1:3)

D3=

(%2-.2:,).

D'une fal(OR analoguo, connaissant I'expression de Ds. on peut obtonir I'expression da 0.. Ello a 18 forme d'un produit do six

ret, InlTE1\MINA.~TS BT LBURS PROPRleT£s

29

fact.eurs ~

(XI - %2) (.r.I - ':':3) (XI - X,)

D, = (X2-X3) (X2-%')'

(3:3-X,)

E L, pour n quolconque, nous LrOUVOnR I'expression 811 h'an to du determinanL Dru appe16 determinant do Vandormonde:

(':':I-X2) (XI-X:I) ••• (XI-.xn)

Dn=- (Zt-X3) ••• (3::&-x,,),

(29)

L'expreasien ecri to cl-dessus possedc un lion intercssan L avec 1a definiticm Ioudamentale des determina.nts. 'rout determinant. d'ordro n pent. s'derlre sous Ia forme:

XI" X'II-I .,. Xu %zn X2 11-1 •• , ;Totl

(30)

Bemplacons-y forrnellomeot chaque element. x," J)lI)' :rt-t• Aprea ccue anbstitutlon, 10 d6terminant (30) cotnctdo, comma il est facile do Ie voir, avec Ie determinant de Vandcrmondo (28). Il en d6caule imnu!diatoment la regie suivante de formation de In somme qui donne In valeur du det~rminant (SO): ouvrons 108 parentheselJ dans I'expres-

sion (29) et ramplaeons chaque terme de la forme x~- t par X"" de plus, si un tel tel'me ne eontient pas los puissances d'un nombro quolconque .x,,, il Iaut dans 10 produiL eorrespondant aiouter 10 {aeLour xl qui. apres 18 substitution ment.ionn6e, devient Xhl' Bemarquons que cette demierorcgle paul. ~tre adoptoe pour dlifinilion des determinants.

4. Constderens une expression dont neus aurons besoln par 18 suite:

all + X 412 al3 41"

all aa2 + x. ~ a2l'

~ (:I:) = a31 all3 43, + X , , • a;,,,

a",

(3t)

30 CR. I. D£TBRMINAl'Ii'"TS BT RSSOLlJTJON DES SYST!MES

ot developpons-la suivant. les puissances do x: A cet effet eerivonsIll. d'abord 80US In forme suivanLo:

4U + x alZ + 0 a'3 + 0 . .. atn + 0

4ZI+ 0 422+.1: 423+0 az,,+O

~ (x) -.: 4:JI + 0 43a + 0 433 +.z 4:111 + 0 ' (32)

4nl+O an:+O 4'l~+0." 4n,,+X

Chacuno des colonnes de ce determinant est la somme de deux term('$; et, en appliquant plusieurs fois la propriete IV des determi· nants, nous le representons sous 18 formo d'une somme de 211 det.erminants dont les colonnes ne sont plus des sommes. Si dans toutes les colonnes de l'expression (32) nous supprimons las seconds termes, nous obtenons alors nn terme lndependant de Ia lettrc x, c'est·a· dire Ie terme constant du dheloppement de !J. (x) :

au ala· •• as"

(33)

ant anz ••• ann

Inversement, si noos supprimons dans toutes les colonnes les preMiers tcrmes, nons obtenons alors Ie terme de plus haut degre du polynomo !J. (x) qui est egal it:

xOO ... O Ox O. 0·, 0

o 0 x,., 0 =xl1,

OOO, .. x

Considerons it present Ies autres termes du polyn8mc, Supposons quo nous eonservions los seconds tormes dans los colonnes de nnmeros Ph Pt, . 0 " P. ot les premiers termos dans Jes autres colonnes. Chaque eolonne de numero PIt (k := 1, 2, ' 0 ., 8) n'a done que des z6ros pour clements sauf pour un, egal a. e, qui se trouve sur In diagonalc principale, c'est-a-dire it l'intersection do la ligne et. do la colo nne do mdme numero. En developpant Ie determinant ainsi obtenu successivoment suivant les elements des colonnes de num6ros Ph PI, •• " P., nous obtenons 10 facteur ~. ot nous devons supprimer les !ignes de numeros Ph Pa, 0 , 0, P •• ainsi que las colonnes tle memes numdros, Aplis une tello suppression, las complOmentairea algebciques correspondant a ces elements sont egaux nux mi. neurs, puisque les _ numeros de la ligne et de la colonno qu' on supprime

I-I. DSTElUIINAN'l'S ET LEURS PROPRIaTJ!lS

St

coincident, Ainsi, pout' tout choix des numaros d~s colonnes P. (k - = 1, 2 •• ' " 8) Ie d~terminnnt contient x' avec un coofficient egal au determinant d'ordre (n - s) obtenu a partir du determinant fondamental (33) on supprimnnt le.s Hgnes et les eolonnes a I'Intersection desquelle.s se trouvcnt les 6lcments de la diagonale principnlc apJP1' ~Ps' , •• , ap,P,' Notons par A",,,,., .P, ce determi-

11,11 •••• 11,

nant d'ordrc {n - s}. On convicnt de l'appc)cr mtneur prtnctpDl d'ordre (n - s) du. determinant A. En choisissant los Pt. P2 ••• " p, de diffareote mllni~re. nous obteoons Ie coefficient deliDitif de z" dans l'expre.ssion de A (z) sons la forme d'une somme de tous les mlnours principaux possibles d'ordro (n - "). c'est-a-dlre :

A (z) =;t;"+S.X"-l+S2Z-' T .,' +8"-.%+8,,,

ou 8" est Ia sommo de tons les mineurs prinoipaux d'ordre k du determinant A et, en particulier. 8" est egal a A. Ecrivons l'expression expllcite d'un coefficient quelcoDque:

(1,2 •• , •• ft)

81& == ~ A"I"2" '''n-l =

PS<P2<" ·<J)n-A Ptpt ... J)n-I&

4'l1'l, 4'lS92'" 4q1911 J

= ~ 4'l2'lt 4'12'2'" 4qtlll

9s<92<" ·<'lle ••.••••••.

tzq"'1 41l,,'lZ'" Q"Jt9"

lei, la sommation s'etend a toutes las eomblnalsona possibles de k notnbres q .. qt, .. " 9JL. pris dans I'ordre naturel ot extraits de I'ansemble des nombres t. 2, •..• n. Si dans I'expresston (34) nous sommions sepnrement suivant chaque Indtce q}t de 1. 11. n. alora dans la pennutation qft q, ••.. , q" Ies nombres entiers seraient non saulement disposes dans l'ordro naturel, mais Ie seraient aussi dans tous Jes autres ordres possibles. D'une fa90n plus preciso, chaque suite croissante donnerait en tout k I permutations lors de 18 sommatton sulvant taus les q / do 1. a n, RomarquoDS maintenant que 1a valeur du determinant qui intervient dans la formula (34) ne change pas lorsqu'on permute deux nombros quolconqucs q, et 9/. En offet.. Iorsqua nous permutons, par exemple !II ct Q2' nous permutons pnr III meme Ia premiel'9 et la deuxieme ligna ainsi que la premiere ot ]8 douxieme colonne dans Je determinant envisage, eo qui n'Influe pas sur la valeur du determinant. Ainsi. il decoule de ce qui precMo que 5i dans l'oxpression (34) nous sommons suivant chaque q} variant do 1 a nt chaque tenne de la somme (34) est. repete k I fois et DOUS

(34)

82 CH. r. DBmnMINA..'''TS ET R~80LUTION DES SYSTe&!ES

pouvons done ecl'ire I'expresslon du coefficient S" sous 18 forme:

S~ = s: i i ... i A c 9:··· q,,) .

In 91 92, ••• q"

"1-1 92""1 9,,-1

(35)

1.1-6. Theoremo sur 18 multiplication des determinants. Nous alIons a prescnt eLablir In fonnule qui donne le produit de deux determinants de moma ordre.

Soient deux determinants d'ordre n:

4 == I all, r: (36s)

ct

Formons un nouveau determinant dont los elements sont dennes par Ies formultlS:

(i, k = 1, 2, ... , n).

(37)

el demontrons que co determinant cst egal au prodult de.~ determinants (361) et (36:>. Common~ns par le cas n = 2. Tenant compte des formules (37) ot, en vertu de la propriete IV de 11-1-31, en decomposnut ce determinant en determinants plus Simples, nous obtcnons:

I CII (.'121 = I auhu + a''l.bz, 4ub.'l. + 412bul =

(21 Cu a"lbu + ¥ZI 4Ub12 + a,Zb22

I 4ssbu a"blZ I I 4"bJI alabul = flt,bu 4:ubl'l. + a21bll a"'l.2ba2 +

+ I 4s~:u allbl2l + I al2021 atabu ,.

nub:u a:ubl2 aub:u auiJu

gn mattant en facteur les termes communs nux 6JemenLs d'une mame culouue, nous obtenons, dans les premier ot quatriime d~torminant.s du troisieme membra, des d6tenninants qui ont des cclonnes Identlqnes, done nuls. En 4Sehangeant entre elles Ies colonnes dans I'Wl des d~t.orminants restants, nous en d6duisons:

(-1. 1)~T£RMtNANTS ET LEuns PROPRlP.tts

= I all al:& I ('Jubn _ &12b2') = I au a121.1 ~u bblZ' ,

a21 au a21 ~ "z, 22

eo qu'Il falluit damollLtor.

Dans le cas ganeral d'ordre n, apres application do III proprieta IV de {I-t':3J nous avons :

a"'lb'll 4 1 •• b.l,. ••• a bnb'Rn a2atb8J I 42.1zb .. 2 ••• a2JInb'nn

(38)

ou Jos indices do sommation SI' S2, •••• Sn prennon ties valeurs ellLi~re.'J I. 2 •... , n. Lea d~Lerrninants de ceue sonunc peuvent atrc mis sous )0 forma:

a"1 at .. ··· at.n

b. b. 42.11 4:u. ••• a:.!'n

b.11 fl2 • •• ,"n

(30)

Si parmi Ies indices Sit 82' •••• Sn il y an a d'idenUqucs, Ie determlnant (39) a alors des colonnes Identtqnes ot ost done nul. Ainsi, nous pnuvons nous limiter 8 Ia consideration des determinants pour Iesquals Ies indices SIl sont tnus distincts et, done, la suite des indices s" $2, ••• , sn n'est autre qu'une parmi les permutations des nombres 1. 2 •...• n. :Multiplions deu:dois l' expression (39) par (-t )(11, -I, •••• '"J, ce qui evidemment lIO 18 change pas. at. cette expression pent i'H.re oorit.e sous la forme d'un produit de deux facrours:

4,1'1 4n,.... am"

X (-1)('1. '1 •. • •• 'n] r.. b b

"'1' •• 3 • •• 'nft•

4111 at ... •• a,." (_ f)(~I' "t, ..... 11) a2.wl 42ft ••• 42an X

Dam; le premier facteu r , a I'aide de plusieurs transpositions. la permutation Sit s._ ... , Sn se ramano A la forme 1, 2, •.. , n. Pour chaque teanspositien lit qullnUtC (_1)('1 ... , ••. , 'n) et Ie determinant colIsid~rU fie ella ngcnt que de signa at Ie premier facl.eur reate iuchllDbre.

3-811

30i CII. I. D£TERMINANTS ET n:2soLUTION DES SYST!MBS

Ainsi, I 'e \ pression (39) s'eedt sous la forme: au aI2 ••• am

a:1t iZ22··' iZ2J1 • (_ .. )['1. 'I., ..• 'n] J. b b

• • • • • • • • I 11'11 '22 • •• 'lin,

et, pur consequont, revenant a Ia somme (38). nous obtenons :

I clI.I'i= ~ ~

(- t)l'l ••••.•.• '11) b b b

'11 ,.2 • •• ."n,

('l. ' •••••• 'n)

ou la somrnation est etendue A toutes les permutations S10 SI' •• " Sn des nombres 1. 2 •... , n, La somme aCrite est un determinant 6,. e'est-a-dlre I C,,,, l~ = AAa. ee qu'il fallait demontror. La formule (37) des C'l sa ramane A ce qui suit: les eMments de Ia l-ieme ligna du determinant Il sont multiplies par les elements corrsspondants de In k-iemo colonne du socond determinant. puis on somma cas produtts ~ous savona que ron peut echanger entro eUes Ilgnes at colonnes dans un determinant sans changer sa valeur. Done, la regie precedent" do multiplication d'une ligne par une colonne pout ettO rcmplaeeo par trois autres regles: lea regles d'une ligna par une Ilgne, d 'une colonno par une colonno et d'une colonne par une ligne.

Enon~ns alors Ie theorema suivant: soient dela determi'Ulnts d'ordre n:

I a,,, I et I b,1e I, Formons un nouveau d4termtnant

I c,.l,

dont les eUments son' donnis par Z'une des for mules luivantlS:

n

C"l = ~ a,JJ,/c, _1

n

C,,, = ~ a,,bh •• __ ,

(4~)

n

elll = ~ a.,b.", .-1

n

~'1t'" ~ a.,b.. (i. k= 1,2 .... , n) • • -1

(40,)

La valeur du diterminant I cl1.1 est og"le alor» alJ produit des delerminants la,,, I It I bllt I·

I-I. DSTERMINANTS E't LBUllS PlloPRU~

85

Ex e m p leo Soit Ie determinant fondamental: 6= I a,,, I.

considerons en outre Ie d~lerminant constitue des compIementaires algebriques de ses el~ments:

I A,,, I.

D'apres Ie theoreme enonce plus haut, cxprimons Ie produit.

I a'k H A,,, I sous forme de determinant en multipliant les Ilgnes par las lignes. Nous avons pour co determinant Iea elements suivants:

"

C'k = ~ G,.Ah • .... 1

En vertu de la proPJ'itStC V des determinants. nous avons: c,,, = 0 pour ,+ Ie ; ell = 6,

c'est-a-dire :

6 0 0 •.. 0 o 6 0 •.. 0 I alld ·1 A'h I =a 0 0 6 ... 0

o 0 0 ... A

ou

la,"I~IA'kI1=6". c'est-a-dire 6IA,"11==&".

Supposons 6 non nul et en simplifiant par 6 nous avons:

IA,AI1=6,,-f. (41)

Si les elements a,,, = aUI sont tels que Ie determinant A est nul, on peut alors trouver des quantites aUI. au..<lSi voisines que 1 'on veut de at7l, pour lesqueUes Ie determinant 6 est non nul. Pour ces vaJeurs de a,,, la formula (41) est valable at, pat suite, a la limite pour a,,, ~ -+ aUI cette formula reste vraia aUS8i pour a,,, = air, c'ost-a-dire que cette formule est vraie aussi dans Ie cas ou 6 = O. Si l'on exprjme 6 et A", on fonction des 91ements a,", la formule (41) est alora une identite par rapport nux a,lI'

1-1-7. Tableaux rect8Dgulalres. Nous rencontrerons dans la suite des tableaux d'el~ments tels que les nombres de Hgnes et de eolonnes pujssent etre differents. Considerons done le tableau I@ plus general:

au a'i ••• alii
IIzt au ... aan (42)
. . . . . . .
ami 4m2 ••• 4mn
3- 86 CR. I. D8TER.'\1INANTS BT RIlSOLtJTION DES SYSl'EMB8

11 eonUent m lignos et n eolonnes, en outre les nembres m ot n pouvent ette distincts 011 egau:x. En supprimant dans ce tableau plusleurs Iignes et colonnes nous POUVODS former un determinllnt tel que I~ nombro de lignes ot celui de eolonnes restnntes soient Identlques. Ccs determinants sont appe1es determinants extraits du tabloau (42). Il est hident que I'ordre 10 plus eleve qu'ils puissant avolr c~t ega) au plus peUt des nombres m at n at que l'ordre Ie plus petit de ces determinants est l'unite. les elements n'atant alors autres que ceux du tableau (42). Supposons que tous les determinants d'un ordre I oxtralts du tableau solent nuls. 11 est alers aise de voir que tous les determinants d'ordre (l + 1) extraits du tableau sont egalement nuls. En effet. tout determinant d'ordre (I + t) peut etre representtS sous la forme d'une somma de produits d'61emants d'une lignc par los compIementaires algebriquos de ees elements. Mais ces dernlers coincident, au slgne pres, avec certains determinants d'ordre l extraits du tableau ot sont done tous nuls. Puisque tous les determinants d'ordre (I + 1) sont nuls, en reprenant le raisonnement cl-dssSlIS. tous les determinants d'ordre (l + 2) sont egalcment nuls, etc, Ainsi, si tous les determinants d'un ordte determine, extraUs du tableau (42), sont nuls, alars tous les determinants d'ordre superieur extl'oits de ce tableau sont aussi nuIs.

Introduisons la notion importante de rang d'un tableau OU, comme on dit encore, d'une matrice (42). On appelle rang d'ltne mairiee (42) l'ordre le plus eleve du determinant non nul extrait de ee tableuu, c'est-a-diee que si Ie rang de la matrice est k, alors parmi les detorminants d'ordre k edraits do ce tableau, il en oxiste au moins un non nul, mais tous les determinants d'ordre (k + 1) extrnits du tableau sont nuls.

Outre Ie tableau (42) soit Ie tableau :

btl b12••• bun.

bZI bu ... bzm

(43)

a n lignes at m colonnes. Formons Ies m= nombres:

n

CIII = ~ 4,.b.Jr, (it k = j, 2 •••• , In).

_I

(44)

On eonvicnt d'appeler Ie tableau can'; composa des nombres e,l produit des tableaux rectangulaires (42) oL (43).

Demontrons un theoremc qni gen~ra1ise le theoremc de 1a multiplication des determinants.

1-1. DgTERldINANTS ET LEORS PROPRIJ!TBS

37

The u ram e. S i m ~ n, alaTs

(1 2 0 0 • m) (rs ra 0 0 0 rm)

ICl1dT= ~ A B , (45)

" T~. 0 • rm 1. 2 0 0 0 m.

Tl .... l'1~ 0 •• ~. T,Il

ou. la .wmmatton es/' etendue a toutes les ualeur« de '" prue« dollS La suite des nombres 1, 2, . . .• n vertfiant t'lnigaliU tndlquee 0 S i m> n, alors le ditermfnant 1 Cih I;" est nul.

La signification des symbo)es

A (t 2 • 0 • m) et B ('1 T2' o. rift)

rl r2'" Tm 1 2 ... m.

a ate definie dans (1-1-3]. La secondc de ces notations dasignc. un d~to.rmjnant compose d'cSlemcnts da tableau (43) appnrtenant aux lignes d'indices Tto T2, •• 0, T", at aux eolonnes i, 2, ... , m.. Pour m = n, la somme de la formule (45) ne contient qu'un torme, celui qui correspond a T1 = 1, Tt = 2. 0 ••• T", = m, at Ja formule (45) exprlme Je theoreme do. la multiplication des determinants.

Consid6rons 10 cas m. < n. La d"monslmtion de la formule (45) est analogue l celle du tbeol-emc.dc la multiplication des determinants. De meme que dans eotte demonstration. nous avons:

m (1 2 ... m)

I elle!t - ~ A b .. ,b •• z •.. b'mr'It

s, Sz ••• Sm

('l •• 0', 'm)

de plus chacun des nombres $11 peut prendre Ies valeurs 1, 2, ••.• PI. et on pent exclure Ies termes parmi lesquels des nombres 'II soot 'gaux, puisque C(!S termes soot nuls. Conslderons une suite determiliOe des nombres rl < r. < ... < T", extraite de Ia suite des nombres 1, 2, 0 •• , nat mef,Lons en evidonce les termes de la somme (45) dont l'ensemble des nombres St. 8., .. " 'm coincide avec celui des nombres r., r2, •• " rm' NollS obtenons ainsi une partie de Ia sommo (46):

(46)

~ (1 2 ••• m)

£J A t t t bttlb,,2 .•• b,,,,,,,,

1 2··· m

(I" ' •••••• 'm)

oil Ia sommation est etendue it toutes les permutations posslbles (tl• t~, .. " tm) des nombres r •• T., • 0 0' rJll' Multiplinnt deux fois par (_1)['1. 'I ..... fm) cbaque terme do. In somme (47), nous demontrons. do In llleme fa~on que dans [1-1-6], quo cette somme est agale n:

A (1 2 ... m ) B ('1 r2'" Tm) .

f, r2 •• ' fm 1 2 ••. m

Pour obtenir In somma complete de Ia formula (~6) il sulfit de scmml.r ce produit Bour tous les rl < rt < 0 •• <rn" ce qui donne precisement la formula (45). Supposons enfln que m ::> no Nous POUVOIIS

(47)

38 CH. I. D£TERMINANTS ET ReSOLUTION DES SYSTI.:MES

ajouter au tableau (42) (m - n) colo noes constitu'es de zeros ct au ta bleau (43) (m - n) lignes 'galement consmuees de zeros. Si aprils cette addition nous calculcns les ClI, non pas d'apres los formules (44), mais d 'a pres les formules:

1ft

CIII = ~ 4,,b,1a (i, k = 1, 2, .•. , m), (48)

-,

nous obtenons alors les valeurs pr8ctSdentes do CUl' puisque les termes qu'on ajoute dans Ie second membre de (48) sont nuIs. D'autre part, aplis l'addition indiquee, 1es tableaux (42) et (43) deviennent des tableaux earrlSs auxquels correspondent des determinants nuls, et le determinant I CIA IT est nul en vertu du theoreme da 18 multipUcation des determinants. Le theoreme est done demontre.

Rem a r que. Solent deux tableaux rectangulaires ayant chacun m Hgnes et n. colonnes. Multipliant ligne par ligne:

n

e,l = ~ 4,,bll (i, k = 1, 2, ... , m),

_1

nons obtenons un detemlinant I e'la IT dont la valeur est nulle pour m> n et pour m <,; n s'exprima par la formula:

Ie 'A IT = ~ A (1 2 ... m ) B (1 2 ... m) .

T. Ta ••• Tm r. r2'" rm

n<ra< ... <rm

Cor 011 air e. Soient. deux tableaux carr!9 d'ordre "composes des elements a'l et. bu" at les nombles e'lsont donnes par les for mules

(44). Exprimons un mlneur quelconque C (PI Pa PI) du deter.

q, qe q,

minant Ve'A In a I'aida des minours des determinants la,,, I~ et I b'll I~. Ii est lacile de voir que Ie tableau earre qui engendre 1e mlneur

(PIP!,,, PI)

C est le produit des tableaux reetangulaires:

9, qa ••• q,

lap, t ap,2'" ap,,, I 'I bl'l, bj'la'" bl'l'1

'ap2,1 ~3 ••• ~ft at b2qs b2qz •• • blql

ap,l ap,Z·.·.: ~,: I .; »; ~ : b~; I .

Appliquan t. Ie theoreme que nous venona de demontrer, noos obtenons l'expressioo oherehee:

(PI P2 ••• PI) ~ (Ps Pz·· • PI) ('I r:z ... rl)

C q, q2'" q, = A T, '1 ... T, B qs qa ••• q, t

',<r2<···<r,

(49)

J-!. l\2S0LUTION DBS SYSTBHES D'BQUATIONS

a9

(IIi '11 prend SM valeurs dans la suite 1, 2, •. '. n. Soient RAt RD. Rc les 11lllgs des tableaux II 411.lIj. 1\ bill !If et II Clllllr. Si par exemple RA < n, et sl dans la formule ~49) DOUS prenons tout l> RA, alors

(Pt PI •.• P ') r"" I dId 'f' . i d R

lOUR les .4 sont, en vertu e a e lDlt on e ...",

r$'2 ... r, •

(PIPS'" PI)

nuls, done to us Ies C sont'tnuls aussi. n en decoule

ql q2 ••• q, ..

que Rc < t. c'est-a-dlre Rc ~ RA,' Si Ie rang du tableau II 4~" IIr e!;t n. il est dora evident que Re ~ RA, car Rc ~ n. D'une fa~on analogue, Re ~ R a- Dans la suite nous montrerons que si Ie determlnant I b," If =f:= O. aloes Re :::: RA,t et si 1 alii I~::fo 0, alors Rc = -= RD'

1-2. Resolution des systemes dt~uatJons

1·2·1. Theoreme de Cramer. La notion de determinant etant 6tabUo et les propriet6s Iondamentales donnees, appliquoDS cette not.ion 11 In resolution des syst~mes d'6qulltions du premier degre. On etudiera d'abord le cas fondamental ou Ia nombre d'equations coincide avec le nombre d'inconnues. On peut ecrire un systeme de n equations a n inconnues sous la forme:

aU%1 + 41J%2 + + ~1I%n = bit }

~%I + a~2 + + 4tn%n = b3• (1)

.. . . . . .. . . . . . . . . . .

4ras%, + 4n2Xz + ... + 4nnZII = bn•

ou Ia noLation des coefficients se fait comme en [I-l-i), dans Ie cas de trois equations it trois inconnues. Supposons. par hypothese, que Ie d(jterminant du sysLemo. e'est-a-dtee le determinant eorrespondant au tableau des coefficients au: du systemo, De soit pas nul:

(2)

On multiplie les deux membres des equations du systome (1) par Ies complementalres algebrique.s des e14monts do la colonne d'indice k de eo determinant, autroment dlt, on multiplio les deux mcmbres de III premiere equation du systeme par Au" ceux de la seconde par A,,,. etc, En additionnant le.s equations ainsi obtenues. on arrive it. une equation dont Ia second membre est la sommo:

Atlb, + A2Ab2 + . - . + AnAbn,

et Ie coefficient de I'Iuconnue %1 dans Ie premier membra est Ia somme :

(I = t, 2, ••.• n).

40 ClI. I. D2TJ:lRMINANTS ET R£90LUTrON DES SYSTlblES

Cette somme est nulle pour l ~ k et egale au determinant II pour l = k, c'cst-a-dire:

I!. XII = A,.\b, + AMbo" + ... + An/jb,..

Si l'on proesde de In m~me fa90n pour ehaque Indlce k, on obtlent a partir des iquations (1) un nouveau systemc d'cquations:

(k = 1, 2, ... , n). (3)

R6ciproquemont, il ese facile de demontrcr que l'on obtient lo systOme (1) a partir du systeme (3). En effet, si l'on mnltiplle Ies deux membres de l'equaLion (3) par all, at si l'on somme pal' rapport a toms les k de 1 A n. on obtlent, en utilisant 18 propriete V des determinants, l'equatioll:

(4)

co qui dcnucra, Iorsqu'on aura simplifie par 10 delenninunl II nou nul, la l-iemo equation du systeme (1), l etant nrbiLraire. AiIlSJ, las sysLemes (t) et (3) sont equivalents, et I'on pont rCsoudre Is ~ystome (3) au lieu du syste0l9 (1). La systeme (3) se rosout directoment at ne donne qu'une scull! solutdon qU'OJl calculc sulvaut 10::; formules :

(k = 1, 2, "', Il).

(5)

O'apres [I-t-Sl, 16 num6rateur de I'expresslon ci-dessus est III d~ termlnant obtenu a partir du determinant Il lorsqu'on remplaee les eJCmcnts de 10 colonne d'indice k, c'est-a-dlre las coefficients alii de Xrc, par les termes constants hi' On a done Ie t1u!or~,"e ~ulvant:

T h e 0 r lim u dee tam e r. St le ditermi1&allt Il tiu, systeme (1) cst non nul, ce systemt: a une solution diterlninee. donnie par les jormules (5). D'apres ees [ormulee, ehacune des lnconm~es est le quotient de deux determinants; k denomtnaleur est le determtnarzt au systeme, et le nwnerateur le dCtermlnant obtenu. lz partir de celui-ct en remplfUjant le, coel/ictents de i'tnconnue lz dilenn.tner pal' les seconds membres.

L01~ql1'On u uffaire 8. un grand nombre d'Cqulltiolls, le th60reme du Cramer u'est pas d'opplication commode, et il exista des methodes approchees pour rosou(lre des systeme.c; a grand nombre d 'aqua. Lionlt et d'Incounues que 1I0U8 n 'exposerous pas.

1-2. Rr.SOLUTrON DES SYSTPBS D·.8QUATIO~S

1-2-2. Cas general des sys~mcs d'equatfoDs. Soil. le cas gcut!ral de m equatiolls n n lnconnues ;

X. = au:!:. + alz:t'2 + •.• ..L lZj"X" + al,I'TtXI&+s + ... + a",xn = bit X 2 = az,%. + au%:! + ••• + 4a,tXA + a2, Ji+IZII+I + ..• ;-

+a2nZn= bz•

Xh = a"lX' + al&2X2 + ... + a1thx" + aA, .1&+1%11+1 + ... +

+ aknXn = b,Ot (6)

XII+' -- all+l, IX, + "!r+t,:tXz + ... + QII+l, AXA +

+all+I,Ic+'Z,,+s+ ••• +a"+l,I'X"= bh+t,

X m = (l"I1X. + tlmaXt + ... -I- am"XIr + tlm,Ir+IXI&+I 4- •••. ~ + antnXn == bm•

Dans las calculs qui vont suivre, on d6signe, pour slmpllfler, par

X. tout le premier membre de i'equation d'Indiee s. Les coefficients a'lI de co systeme forment uu tableau rectangulaire de rang k, Ell Inversaut les lignes et les colonnes, c'esL-a-dire on substituent la 011- m6rotation des 'quo Lions u celle des Inconnues at inverse ment , 011 peut arriver a ce qu'un determinant d'ordre k, appartonant au Lableuu et non nul, se trouve dans Ie coin superieur gaucho. On I'appellera dctermtnant prtnctpal du systeme. II aura in forme:

au al2 •.• aile

J. = Clzi 423 • • • l12Ir

(7)

a"l a"'2'" a",.

Formons les (m - k) d'torrninants d'ordro (k + t) appel6s determinanls caractertstiques du. sysleme; on obtient C4fS determinants 0. partir du determinant principal en lui ajoutant une 1igne composde des coefficionts des equation.~, dont l'indice est sup6ricur a k, et une colonnc compos6e des termes constants. Ces determinants caraet.eJoistiquos sont d6finis pal' les Iormules :

au a'2 ••• a'IIe bl
aZt au •• 0 aUr ba
~+$= .. . . (8)
alii au • o. aM b..,
ale •• ,1 a/t+.,! • 0 • a1l+ •• 4 bAH
(k+8=k+ 1, k+2, •.. , Ill). Si k = m. c.'est-a-Ilire si 10 Tang ~.sL egal au nom bra d 'equations. on n 'aura IUlS de d6terminants cnrncterisLiques. Considerons, paral-

-42 CH. I. DBTEBMJNANTS ET RaSOLUTJON DES SYST2~tES

lelement aux d6terminants caract6tistiques, d'autres determinants que )'on obtient a partir des premiers en remplaeant dans Ia derlliere colonne les termes constants par Ie premier membre des equations:

au al2. ••• 4th X I

a2.1 a22 ••. au Xa

all+., I aA+ •• 3 ••• a",+., 11 X k+.

Cos determinants contiennent %J' en plus des coefficients do noes a,,,. 11 est facile de demontrer que les determinants (9) sont identiquemant nuls. En eftat, los eMments de la demiere colonne de eee determinants sout, d 'apres :

X, = afl~l + a'2.%2 + ... + a,"z",

COlRposes de n termes. ot, par cODs~eDt. chaque determinant (9) peuL 6tre represen&e. d'apris 18 propri6te IV de [1-1-31, par une somme de termes de la forme:

lItl al2.

421 au

(9)

alit alta

a",.., s a"+.,2. ••• aA+., h a~.,}

11 est facile de montter qu£ Ie determinant, facteur de Z/o est nul. En effet, si f ~ k, la derniere colonne de ce determinant coincide avec l'une des precedentes. Si t> k, ce determinant est d'ordre (k + I), U appartient au tableau (5) et, par consequent, 11 est nul, puisque par hypothese Ie rang de co tableau est k. En retranchant les determinants (9), identiquemeot nuls, des determinants caracteristiques et en utUisant Ia proprilSte IV des determinants, on peut mettre los detorminants caracteristiques sous la forme:

all aS2 ••• alit b, - X I

, •• atlt au
... ~ 421
. . . . .x} •
... au all} ~ ... a~

(10)

. . . . . . . . . . . . . . .

alii au ••• aM bl- Xl

a1+." ak+.,2 ••• a,...,: 1 bll+. - XIl+. (k+s=k+i. k+2, ... , m).

et sous cette forme ils ne depcndcnt quo formellemeot des %Jo Supposons maintenant que 10 systeme (6) ait 18 solution:

ZI=Z\O), ~=z~O), 0 '0' :Z;1l=~IO).

1-2. R2S0LtlTION DES SYSTbES D'SQUATIONS

48

En faisant. :&J == a!f) dans 1a demiefO colenue des determinants (10), on a des dras dans cette demiere colonne, c'est-a-dire que tous Ies determinants caracteristiques doivent etre nuls.

The 0 rem e I. Pour que le systame (6) alt au moLns une sotutton, ii/aut que tou« les determinants cartu:tertstfques (8) solent 1I.Uls,

Demontrons que cette condition est sufiisante et donnons un procede pour tlOuvor toutes las solutions du systeme. Supposons que tous les determinants caracteristiques soient nuls. Prenons-Ios sous la forme (to) et developpons-Ies suivant les elements de la demiere eolenaa. Il est facile de voir que Ie complementaire algebrique de I' el6- ment (b,,+. - XI&+.) est .al au determinant prineipel I!, non nul, et nous pouvons ecrire la condition pr4S00dente (que tous les determinants caracteristiques sont nuls) sous la forme:

4\1c+t) (bs - X s> + t4"~) (~- Xa) + ... + 41";") (bl& - X,,) +

+I! (bAt4l-X~) ==0 (k+s=k+ 1, k+2 •• , •• m), (it)

ou 411) sont des coefficients numeriques ne presentaJlt pour nous aueun interet.

Soit maintenant une quelconque solution des k premieres equations du systeme; substituons cette solution it ZJ dans Ies identites (11). Toutes les diHerences

b,-XII ba-X2' ••. , b,,-XI&

deviennont alors nulles, et I'on obtient apris cette substitution:

A· (bk+,- Xk+~) = 0

ou, d'apris A * 0 :

bk+.-X,. ... =O (k+sc:k+i. k+2, ••• , m.),

c'est-a-dire que si tous les determinants caraeteristiques sont nuls, toute solution des k premieres iquations du systeme vorifie toutes las equations suivantes, et, dans ce cas, it ne reste done qu'a resoudre les k premieres equations.

Portons toutes les inconnues d'indice superieur a k dans le second membre, les equations sont alors de la forme:

ass.z:, + ",2X2. + ... + a,":r:l = bl - as, k+s.z:h+, - •.• - "'liZ", }

421%,+ 4zz.r:+ ••. +azllZl=bz-4z,,, .. ,XA .. ,- ••• -~XII' (12)

• • • • • • • .. • • • • • • .. • • • • • • • • • • • • • • I

a"S%1 +ao\z%2+'" +auz" = bl& -4",11+1%4+'- ". -aAnZ,., Considerons cas equations comme un systemo pour detcroliner :&it %~ ••••• x". Le determinant I! de ce systeme etant nOD nul, nous pouvons done obtenir nne solution definia au moyen de la formula

4i CH. J. O.eTBRMINANTS ET R~SOLUTION DES 8YST2NES

de Cramer, II faut remarquor seulement que les termos constants du dernier systeme eonuennent a:'t+h ' ••• xn auxquels on pout donner des valeurs arbitraires, Tl risulte dlrectement des formules de Cramer quo lit solution du systema (12) est de In forme:

:r:J=a.I+~1~lX'\+l+ ••• +~~)Xn 0=1,2, ...• k), {i3}

ou ex, et ~~q) sont des coefficien1.!; numerlqucs et z" +h .•. , Xn sont arbitl'aires, 11 doooule de co qui precede que ces formules donuent In solution la plus generale du systeme (6) lorsqn'on suppose que tous les determinants caraeteristiqucs sont nuls.

The 0 rem e H. St toU.Y les determtnants caracterLstlqnes du sgsteme sont nuls, II au/Itt de rlsoudre le$ equations du systeme qul contiennens le determlnant prlnctpal par rapport aau: tnconnue« dont us coefficients composent ee determinant principal. Cette solution. peut Itrl' donnee par les [ormules de Cramer et on a I' expression du k tnconnue« (ou Ie est le rang du tableau de r.oefllctents) sow forme de Janetlans Unea.trc$ (t3) tks (n - k) autres ineonnues dont lea ualeurs sont arbitraLr88, On obtient ainsl toutes Jes solutions du systeme (6).

Si on compare les Lh60l-emes I et IT, il vlent :

T h 6 0 rem 0 III. La. condttton. nect!8Sa.ire et mlfisQllte, pour que le systeme (6) att des solutinns. e.~t que tow les determinants caractlri.,tique» de ce sgstAme latent nuls.

B e mar q 11.,: si k = n, c 'cst-a-diro si Ie rang est egal uu nombro d'Inconnues, le second membre des Iormules (i3) no contient pus de xJ ot toutes )05 inconnues do Xt it Xn peuvont el.'s detcrminees.

T h 0 CI rom e IV. Pour qu'un. systeme aU une solutton. di/inte, i.l taut et il $U/tit que tous les dettJrmlnants caracteristiqJses sotent. nuls et que le rang du tableau de ses coefficients snIt egal au nombre d",nconnlle8.

Les rnisonnoments precedonts sont evidemrnent valables dans Ie C·LlS ou Is nombra d'6quations est egal 8U nombre d'incommes. c'est-ad iro lorsque m e-e n.

Ex 0 m p 1 e, SC)lt \111 syswmu 110 quatre equat.iolls i.e trois lnccunues e :-3g-2s= -tt

23:+y-4s=8,

%+4g-2:=4,

5:+6,1-)0:=JO.

&.rlvoWi It. tubleau des eoelfieit'nts:

t -3 -2 2 1 -4 I 4 -2 5 G -til

[-2. RSSOLl."TIO~ DB8 SYST~MES D'!Ql:.AT10KI;

n est facile de UloDtrcr que Loua lea determinanlS du ~roisiblllO "roro qui fODt. p8l"ie de ceo tablCl8u sent nule ot qua Ie determinant du dauxioUlu ord", qui :90 trouvo dans Lo coin superieur ~uche D'est pas nul, On peut dODe le prendre comma d6t.onnlnant princjpal, et Ie rang du SysteUlO est. 6gal It deux. Forlnuns les dEterminants caracteristiqll£lS, au nombre de doux dans co cas:

1 -3 -I It -3 -1

~3= 2 I 3 =0; .A4== 2 1 3 -0.

1 4 4 5 6 10

lis sont tous deux nuls et, par I)Clnsequont, 10 systeme dOllu6 est comflatible.

C'ost pourquo! U lIuffit de risOudre les deux premieres equaUons par rapport a z ct U, en portant z dans Ie second ml!mbre:

z-3U=2z-1,

2£+,,=4'+3.

On obt.ioul. Je solution sous III formCl:

121-1 -~I

4: -La 1 8

z= I~ _:1 2:+.,.,

"

Ii 2z -i I

2 ,,+3

11 -31

2 1

7 '

oil :I est arbltraire.

1-2-3. SY9temes homogene8. On dit qu'un systeme est homogene si tous ses termes constants b, sont nuls. Si C8 systeme homoglme a des determinants caracteristiques, leur demi4lre colonne cst composee do zeros, et les determinants sont tous nuts. 11 est evident que tout systeme homogan .. possede la solution:

.zs=:.I1I= ••• =~:=oO,

qu'on nppelleru par lit suite solution trivialo. La question fondamontalc, pour un systt)mc homogane, est de savoir s'il possede des solutions non triviales et, s'U en a, quel sera l'ensemble de ces solutions. Soit dtabord Ie cas au Ie nombre d'tSquations est ega} au nombre d'inconuues. T .. e systeme est de Ia forme:

"ux. + "I,X2 + + 4.,.Xn "'" 0, }

Q1lIX. +~2 -\- +a2nxJJ =0,

• • . . . . .. •••.•. (14)

"niX. + 4n2~+ ••. + annX,. = O.

Si le determinant de ce syst~mo est dUf6ront do 7.ero, Ia sysleme possMe. d 'apres le tb6or~me do Cramer, unc solution d8finie, precisement, dans ce cas, 18 solution triviale. Sice determinant est nul. Ie rang k du tableau des coeUicient..~ est inf6riour au nombre d'Inconnues net, par consequent, les valeurs des (n - k) inconnues son L arbltraires, et l'on aura un nombro hlfini de solutions non 1II111~. On arrive ainsi au thea-rime fondamental suivant.

46 ca, t, niT£R)lJNANTS BT RBSOLUTION DBS SYSTlI;ltlES

'1' h 6 0 l' e mel. Pour que le systeme (14) aft une solution non nulle, tl taut et il sufltt q_us son determinant $Ott nul.

EtablissoDs un parallile entre les resultats obtenus pour le systeme non homogene (t) et pour Ie systeme homogsne (14). Si Ie determinant du systeme n 'est pas nul, Ie systeme non homogene (1) a une solution d6finie et Ie systeme homogene n'a quo la solution triviale. Si 10 d~terminant du systeme est nul. Ie systeme homogene (14) a des solutions non nulles, mais avec cetto condition Ie systeme (1) ne poss8de en general pas de solutions, puisque pour qu'il en ait une, il faut que les seconds membres soient teIs qu'ils annulent tous les determinants cQl'act6dstiques. Ce parallellsme jouera un tres grand role par la suito. On rencontrern on physique des systemes homogenes dans l'etude des oscillations propres et des systemes non homogenes dans l"tude des oscillations fOlCtH!S; Ie cas qu 'on vient d'indiquer, a savoir celui de determinant nul. caracterisera pour les systemes homogenes les oscillations propres et pour les systemes non homogenes

le phenomene de resonance. -

Passons maintenant a l"tude plus d6taillee des solutions du systeme (14) dana le cas ou son determinant principal est nul. Soit. k le rang du tableau des coefficients, 11 est evident que k < n, D'apris un th60rllme demontr6 au paragraphe precedent, on doit prendre les k equations, qui contiennent Ie determinant prinelpal, at lea resoudre par rapport aux k inconnues. Sans restroindre la generalite, on peut supposer que ces inconnues sont Zlt ••• , z". Las solutions sont obtenues sous Ia forme:

ZJ == ~Ifl+ lZ-'+1 + ... + ~)z" (J = i, 2, .•. , k), (is)

ou ~~td sont des coefficients numeriques delinis et Zl+h ••• , .'en peuvent prendre des valeurs arbitraires.

Notons uno propriet6 generale de 1a solution du systeme (14) qui resulte d bectement de la lin4arite et de 1 'homogencite de co syst~m9 et qui est Ie principe de superposition des solutions: si on a plusleurs solutions du sysleme:

z.=~l); x.=x!2,; Z.=Z~3); ••• ; z.==~l) (s=t,2 •... ,n), (16) en las multipliant par des constantes arbitraires 8t en additionnant, on obtient encore une solution du systeme:

z.=Csz!lt+ C'tZ!2) +C:.X!8)+ ... -+ C'~" (8= i, 2, ...• n).

En procedant comme on l'a fait pour las equations differentielles lin6aires (tome II, [11·1-31), on dit que les solutions (16) sont lineairement independantes s'U n 'oxiste pas de constantes Cit non toutes Dulles, tellcs que, pour tout s, on ait les egalites:

,

~ C,:z:(" =0.

'-1 •

1-2. ReSOLUTION DES SYST1WES D'2QOATIONS

47

Il est facile de cODstruire (n - k) solutions linliairement ind6pendantes d 'un syst~me, telles que, si on les mult.iplie par des constantes arbitraires at qu'on les additionne, on obtlenne toutes les solutions du syst~me. En efiet, en partont des formules (is) qui donnent la solution generale du syst~me, construisons des solutions de la f090n sulvante : dans Ie premier C8S, posons %JI+l =0 1. et tous les autres ZII+. sont nuls ; dans Ie deuxieme posons %1I+t = 1, et tous Ies autres Zk+. SODt nuls, etc., et enfin, dans la demiele (n - k)-ieme solution, posons z'" = 1, et tous les autres ZJt+. sont nuls. II est facile de voir que lea solutions obtenues sont lineairament inde_peodantes puisque chacuna d'elles cantient une des inconnues ~ale A l'anit'; qui. dans les autres solutions, est nulle. On designe les solutions obtenues. par:

z,=-~!"+ll; ;z,=X!"+2); ••• , %.""'"z!"') (s= 1,2, ...• n).

Soit maintenant une solution qaelconque du systeme (14). Blleest obteoue d'apres les formules (15) pour certaines vaIeurs particuHeres :

II est evident que cette solution est nne combinaisoQ lineair& des solutions que 1'00 a oorites:

%." jI.t+t%!". 1) +jI,.+~"+2) + ••• + 'l'nZ!tI) ($ = 1, 2, ... , n).

Revenons a l'etude des solutions du systeme bomogene (f4) elimontrons que, queUes que soient les solutions lineairement ind~pendantes que 1'0n a choiaies, leur nomhre total est 'gal a (n - k).

Soit a nouveau le cas ~neral de m equations homogenes a n Inconnues. Si m < n. Ie rang k. qui ne peut pas ~tre plus grand que m, est ~galement inferieur a II, et en - k) Inconnues sont arhitralres, c'est-a-dire que si Ie nombre d'iquattons homogenes est tnt/rieur au nombr« d'lnconnues, le systeme possM.e des solutwns non nullee.

En general, k < n, et pour k == n Ie systime n'a que 1a solution trivia Ie.

J·2-4. Formes linoolres. La resolution des systimes d'equdions du 'premier degra est etroitemont liee a celle des systemes de form£s lineaires. On en tend par forme lineaire des variables ZI, %2' ••• , z'" UDe fonction lineairo homogene de ces variables. Soicnt In formes lineaires:

(s=t,2, ••. ,m).

(i7}

On dit que ces formes sont ltnlatrement dipendantes, s'U existe des constantes "" al' .•• , a)n' nOD toutes Dulles, telles que 1'0n ait.

48 en. 1. D~TBIU\fDl.ANTS ET mtsoLUTION DBS SlI'ST£Mr::s

identlquement par rapport aux val'iable.~ %10 %2' •••• %n. In I'elnUon :

«IY' + ctzYa + ... + '='mYm = O.

S'il n'y a pas de telles constantes, las formes (17) sont dites liru!alremmt lndependantes. Dans cette Identttd, on do it annuler Ies coefficients de toutes les variables X"~ Ainsi I l'ident1te precedente est equivalente au systema suhant de n 6gallws:

a,a" + a*l + + a,"a"'1 -s- ... 0, }

cx,a'2 + azUz2 + + cx",amS = 0.

. . . . . . . . . . . . . . . . .

ala In + t:Xt424 + ... + am((.nm = O.

Les formes y, $Ont ltnealrement tndependantes at et seulemen; at ce systhne d'lquatlons homogenes pur rapport au.:r a •• aI' .. " ani n'a que la solution trioiale. Les r6suJtats obtenus entralnent une serie de eonsequtlnces concerna nt la depeuda nee Ii neaire des IOl·mes. Si m > n, Je systeme homogen8 Qcrit. a eertainement des solutions non trlvlalea, et les formes sont lineairomcnt dependantes. Pour que cos formes soient independantes, i1 faut ot i1 sumt quo 1e rang k du tableau des coofficients al!q soit ega) au nombre de formes m, St m == n, c'est-adirt> st le nombre de formes est agal au nombre de variables, il faut et II au/fil, pour gU'elles sotent lineatrement indlpendantes, que le d4terminant de tout le tableau carre apq (m = n) ne snit pas nul. On dil. dans co CBS qu'ou II. un ayaleme comp18t de formes liniairement independantes. Si m ~ nat si las formes (17) sont lineairomenL Inddpendautes (c'estA-diro si k -= m), 10 systeme d 'equations (17) peut. pour des va leurs queleonques de Y., otro resolu par rapport aux variables Zz dont lea coefficients forment un determinant d'ordre k, non nul. c'est-a-dire que IllS formes ltneatrement inMperu/.ante$ peuvent prendre un ensemble quelconque de valeura de Y.' Si k = m = n, toutes lea variables z, sont definies pour les y. donnes,

Supposons a present que k < m, Si ell nUlDerotant on fait correspondre Ies formes Y. et Ies variables %" on pout considerer qu'on a duns 10 coin superiellr gllUeho du tableau uP'I un detorminant d'ordre k, non nul. Les k premieres formes: lilt Y2' •••• y,,, sont aloes lin6- airement indopendantes, et chacune des autres formes Yh+t est C'.~prim60 lineaiNment en Ionctfon des k premieres Iormes. En ~ff~t, pour los /, premieres formes, 10 rang du tableau des eo~fficients, egal a k, coiuelde avec Ie nomhee de formes, et c'est pourquo! Ies Iormea sooL lincairement lndependantes. Si on prend (k + t) formes Yt, 119' ••• . • " UI" YA+t, Ie rllng du tableau do Ieurs coefficients, qui est encore egul a k, cst inferieUl' au nombro de formes. de sorte que 10.'1 formes sent linea i roment d6pendantes, c'est-a-dire qu'i1 existe des constantes ~a telles quo ~IYl + ... + P'cy" + PHIYHI = O. Dans cette

1-2. nESOLUTION DES S1"ST2MES D'tQll.ATJONS

relaticn, Ie coefficient ~HI ne doit pas @tre nul, car dans Ie cas COIItt'ah'''' Ies formes U .. y" •• " Y" seraient Ilneairement d';pMdantc.~, Ol on en deduirait. quo YI,+l s'exprime lineairl1rnent 011 fonction des k promlsres Ionnes:

~I liz Pit

YlI.tt=-~Yt-~Y'J-··' --II-Y'"

~h.J Ph+f ~"+f

Le uombre k est Ie rang du systame de formes (17). Co nombre, egal au rang du tableau des coofficients, cst, d'autre part, cgal au plus grand nombre de formes lineairemont Independantes du systome de formes (17).

SUPJ)OSOJlS gu'ou ait k formos lineairemcnt ind6pl1ndllfll·os y" Yt' .. " YII, avec k < n. On peut consideror quo Ie determinant d 'orrlre k, so trouvant dans Ie coin superieur gaucho du tableau a.pq. u'est pas nul. 11 est facil., de voir qu'on pout completer 10 systeme cle ces k formes jl1S<lU'u ce qu'on ait un systems eomplet de n formes lin6airement illdependanLes. En eIfet, il suffit pour cela de supposor. par example, que:

Ylr+l = ,xlr+. i ... ; Yn = ,xr,' Le c16lormiunllt des k formes obtenues .sera :

(I 0 Si I'on devoloppc ce detorminant, en cOD~mCn9-8nt par los aiemeJlLs de In dOl'niere ligna, puis sulvant 108 clements do I'avant-dernlere Iigne, etc., on verra qu'Il est 6gal au detorminallt d'ordre k qui sa trouve dans Ie coin superieur gauche, c'cst-a-dire qu'Il n't\!Jt pas 11\11. Par consequent, los formes Yt, Y2' .•• , Yn sont cffectivolllent lint~airemcnt indepcndantes. On peut compUter a.insi tout systhnc de lormes llniairement indipendantcs en 1m sysUme eomple: de formes u: neairelTU'nt iruMpend4n.tes,

1-2.5. Espacc vectoriel Q 11- dimensions. DOllllQII!:! aux .resultats ebtenus ci-dessus un enonco geomotriquo, dent on se servira par In ~ite. Pour cela, il faut introduiro la notion de veeteur dans un espace a n dimensions: un veeteur est un ensemble ordonne de n nom bres (complexes), Ainsi, tout vecteur x est caract/ris! par une suite de n

4-89

au a12' •• a.le as ~I ••• a,,, tl:tl (Jon,·· a.,;. il2 f'.l ". "2n

a". 442 <.I 0 o 0

ahA 4"h+f aAn
0 1 0
0 0 0
. . . . .
0 0 t 50 ca, r, DBTERMINANTS ET ReSOLUTION DES SYS'l'2){P.s

nombres eomplezes que Z'on appelle r.qmposante.s de ce uecieur : x (z" ZII' •• 0, zn). /./ensemble de taus ce.s vecteurs jorm« un espQ.Ce vectoriel Rn a. n dimensions.

On dit que deuz veeteur» S6nt egauz st et seulemeni st toute« leurs composantes soni egales. c·est-a-dire que si on a deuz vecteurs u (u" u, ••.• , ulI) ct v (VI' vz, ..• , v,,), l' egaltte vectorielle u =. vestequtualenie aw: n egalitb scaZalres Sltivantes : u. = lIt ; u, = "II ; ••• : UI1 == vn• Definissoosl'operation de multtplteation d·un vecteur pal' un nombre et l'addition des vecteurs. La multiplication d'un veetour par un nombre est 1a multiplication do toutos les composantes du veeteur par co nombre, c'est-a-dtro que si un veeteur x ales composantes (Zit ZI' 0 ••• :z;,,), Ie vecteur kx ales compesantes (kz .. kxz• 0 ••• kzn). L'additlon des voeteurs revieDt a addtuonner 1(.'.8 cumposantes, e',·st.-ll-dire que sl ron ales vceteurs x (z" Zi •••• , zn) et Y (Ylt y, •... , Un). la somme X + y a, par d6finition,les composantes (.%1 + U" Zll + YII' ••• , Zn + Un). On appelle vecteur nul un vecteur (0, 0, .. o. 0) dont toutes les eomposantcs SOIlI. nulles, On designera co vectour par le symbolo o. On a evidcmmant 0 = Ox. ou x est un vecteur quelconquc, ot x + 0 == X. Btudions muintsnant 1a seustraetion des veeteurs: 10 vecteur x - y ales eomposantas (r.s - Y .. Z2 - Us' •• " .x" - Yn)· On a evidemmont x - x -= 9 et x - y = = x + (-1) y, c'est-a.odiro que soustralre Ie vecteur y equivaut. it 1'IlddiLioDDer apres I'avotr multipliu par 10 nombre (-1). On aura par la suito SOUVl'nt l'oceasion d'ecrire des egaJites vcetorielles. Touto egalite do ce typo est equivalente lI. 11. egalit(os sealnir(ls. qui signifient que Ies composantes ccereepondantes des deux parties do l'ogtllitcS sont identiques. Par la suite, on n'utilisera pas 10 symholc 8 pour le vecteue nul, mals il ne laut pas oublier que si dans uno 6gn1i~ vcctoriollo, on a zero d'un c6~, il Iaut considerer co 7.oro commo Ie vcetellr nul. Les propriet6s habit.uelles de I'addition et de In multiplication resultent des propriotes donnees ci-dessus ~

x + s= y + X ; X + (y + z) = (x + y) + z ;

(k,+ ~ x=k,x.+k2x; k (x+y) = kx+ky i kl (Teax) = (ktk2) x,

On peut alnsi, dans uno somme de vecteurs contenant UII nombre quelconque do termes, les intervcrtir et Ies regroup or. 11 r'sulto de regalite x + y = z quo x = z - y et y = z - x at. reciproquement, il resulte de x - y = z que x = y + z.

I ntrodulsons it present les notions de depenrlauce at d·indepondu.neo lineairas do veeteues, On dim quo las vecteurs ;

x(l), x(2). '.', X(l) (18)

sont des veeteurs Uneairel'1lent iMpendants, s'Il e:dste de:; constantes Ct. "" C" non tout.es Dulles, teUes que:

C1XCl) +C2X(2) + ... +C,x(l) =0. (t9)

1-2. RtSOLUTION DES SYfoi'l'1>..MES D':£QUA'I'JONS

Si ces CODSt.aIlLt's n'existent pas, on dira que It's veeteurs (18) sent des uecteur» llneairement t.ndlpentiants. On designe les cemposantes des veeteurs x(J) par (3:11), .t';', ... , ,2:~». La condition (19) 41St 6videmment ~quivnloDto all systomu de n 6quntions a l Inconnuea C .. Cs' ••• , C,:

,1;~t)CI+x\2)C2+'" +X\l)C,=O, ) ,1;~t)CI+.z~2)C2+'" +.z~')C,=O, J

. . . . . . . . . . . . . . . . . . f

,1;~1)C I + .z~2IC3 + ... + X~)C, = O. J

En utllisant las resultats obtenus ci-dessus pour un systeme homogellc, il est facile de tirer uno ~rie de consequences at de donner it cos risultats un enonce geometriqlle. SUPPOSODS d'abord que t ;» n, c' cst-il-d ire que 10 nom bre do vecteurs soit plus grand que Ie nom bro do dimensions de Pespaee. Lo nombre d'cSquat.iODS est alors inCel'iour au nombre d'inconnues dans 10 syslomo homogene (20) ot ee sysLeme, comma on Ie salt, aura eortalnement PO\Jr It'S Ineonnues C, des solutions non triviales, c'est-a-dtre que les veeteurs sont ecrtainement lineairoment depondants. AutroDlent dlt, le plus grand nombre de veeteurs linlairement fndipmdants est egal Q.1l nambre de dimensil1ns de l'eqJace. Soit maintenant le cas ou l = n, Le sY5t~mo (20) contient alors Ie m~mo nombre d'equations ot d'incommes ct a des solu.tiono non trivialos sl et seulement si son determinant ~t nul, c'esL-a-diro que si I'on a dans 1W espace it n dimensions n veeteurs, et si 1'00 formo un d6terminant il partir des nt eompesantes de ces veotenrs, en pla- 98nt, par exemple, les composantes do chaquo v(!cteur dans une colonne d9~ermine(\ ot em conslddrant que }'indico de Ia Iigne correspond 0. I'Indlce de In compesante, alors pour que Ies veeteurs solent lineairement independanls, il faut ot Il suffit quo ee determjnant ne solt pas nul. La valeur de co d6Lerminant est analogue au volume d'un paral1elepipede dans un espace r601 a trois dimensions.

Nous pouvons conaiderer, dans un determinant quelconque I bill I d'ordre n, Ies elements de ehaque colonne (bUll bl", ... . . . , bnA) comme les composantes cl'un vccteur bell', et Ia va eur du determinant sera alors fonction des n vecteurs bl!), • , •• ben,. Si co determinant est nul, ees vecteurs sont Hneairemont dependants.

La valeur du determinant peut 6tro consideroe comma une fonction des vecteurs b(lll:

I bu. I = ~ (b(t), 1,<2), ••• , bcn».

Puisque Ia valeur du determinant varia lorsqu'on intervertit deux eolonnes, on pout affirmer que 1a Ionction !J. no ehangora que de signa si 1'0n inl~rvertit doux de Sl'S variables. On dit d'ho.bitude quo cette loncLion est antisymetrique. 11 fist facile de voir, par example, quo Ie

(20)

:-.2 CH. I U£TEJUIlNANTS ET RtSOLllTWN DI'~!i l\YSTlUln::s

d6lurmiJlunt de Vaudermonde Dn quo 1'011 a 6tudi'; en lI-i-5J list egalemont ulle Ionction antisymetrique de ses variables $,. , , '. Xn,

Reveuons a l'itudc dn systeme (20) at a 1a question de I'Independance linooiro des veeteurs xc." 0 0 0, xc" en supposant l ~ n, 011

d6signerll par k le rang du tableau form6 par les composantes ~~q)o Si k = l, 10 systeme, comme on l'a vu, n'a quo III solution trlvinle. c'est-A-dire quo Ies veeteurs soot Iineairement illd6pondantso Si k < I. le systeme aura eortainemont une solution non nullo, c'est-a-dire que pour que des veaeur« solent ltneatrement incIependants. tl laut et il .~ufllt qll.e leur nombre $Ott egal au rang du tableau de leurs composantes. On supposo malntenant que k < l, c'ost-a-dlre que les vecteurs sont Uncairomont dependants. On c.hoisira k vecteurs dont. las composantes eontiennent un d.,terminant non nul d'ordre I~ (on psut Ie fll.ire pnrfols do plusieurs fa~ons diff6rcntos). D'apres ce qlli II ote demontro ci-dossus, cos veeteurs sout lineaircment indepencJan~. 11 est facile cle voir que chacun des autres veetsurs pent s'exprimer Ilndalrement ~IJ Ioncuon des vecteurs que 1'0n Ii choials. En cffct, sclent xu •. 0 " XCII) des vecteurs Iineatrement Inddpendants. En joignant a cas veeteurs un vecteur queleonque XCJI+", on ohtiendra (k + 1) vecteurs qui seront lineaironlcnt dependants, pulsque 10 rang k du III bleau de leurs composantes est infOriour A leur nombre l = k .... 1. On aura lIiusi des constantes C, (i = 1, 2, ... , k, /. + s), non toutes nulles, telles quo:

Ctx(l) -I- C!x(2) + 0 • 0 ... C,,>.(A) + Ck+aX(II+1' = 00

On a alors ccrtainement C'H,:;6:0, ear , dans le ens contraire, It'S vecteurs xCI). X(2), 0 0 o. X(II) seralent lineairelll(,lIl d6pondants. De l'ogalit., ci-dessus, i1 r8sultc quo:

X(/HI} =- - _J:.!_ xO) _~ x(2:. _ ••• _ (y" ,,(II;.

C'I+' CII.. 11+8

C'OSt-il-dirc~ que X,·Ic"'" s'exprhne Ilndairement en Ionctlon du XiI!, Xi!', 0 • 0, XciII. Soieot x(l), x'~'" ... , XC") n vecteurs quelconques linea irement indeJ,endants. On peut donner, comme exemple \1(1 '\'cctOUI'S de ce type, les vecteurs i

(:f, O. O ..... 0); (0. 1. O ... 0.0,; 0"; (0, 0, U, .. 0' t). (21) Si I'un Jlrcnd 1111 vecteur x arbiLrnire, los (n+ 1) vecteurs x(1), ~(2). • •• , ,,<n) , x sont, cormue 011 I'n vu ci-dessus, ceetainemeut li n ~airoml!nt dependant,;:

CiX(1) + C2x(2) + . 0 0 + Cnx(lI) + ex - O.

Ia cOJlsLunto C etallt alors certainement non nulle ear, dans 10 cas contraire, los veeteurs Xlll. X<II) , ••• , XC'&I seraient Iineairement dependants. Il rOsultc de ee qui precede qu'un oecteur queleonque x s'ex-

1-2 R~SOLUTION DES SYST2Iot~S DB~l1ATI():SS ;j3

prime en function de n »ecteur« liniairement indlpendants:

x,..·.,. alx(tl + cx~(Z) + ... + CX~(n) (a. = - ~.) . (22)

11 est Iacllo do voir qu'tlll.'exi.slt qu'un« e:tpressto" de x en function da xU), XCZ). • ••• ,,(RJ. En effet, s'Il existait en plus do l'expresston (22) une autre;

x -- ~IX( II + ~,x(:f) + ... + ~1I,,'h),

dans laquellc 011 aiL des coefCicien~ P. difrercuts des <x, correspnndants, 011 ohtlemlrait, en retrallcho(lt las deux relntlons membra

" mombre:

(aJ -~.) x( I) + (<X2 - p~ x(2) + ... + (an - ~,,) Xlll) = 0,

c·o,st.-a-diro quo Ies veeteurs xu!, 'X'~', .•. , xflU seralent lincllirt~ment dependants. Si I'on prond pour las vccteurs X(II, x12', ••• , x .. 1• Ies veeteurs (21), lea nombres <x, de la formula (22) coiJlciderullt. evidemmcnt, avec los composantes x, du vecteur x (x" %2' •••• .1',,). On pent, dans Ie cas general, Jus appeler cgalomcnt camposantes du uecteur x, si xcu, XCI). • • ., x"', son L pris pour vecteurs de base. Ell donnant aux nomhres IX, toutes los valeurs complexes pussibles, on obtient tous los vecteurs do I'espace it n dimensions. Supposons que l'on nit k vecteurs linallircmOlll independnnl.~:

xC I), X(2), 0 •• I "CIl).

(23)

on a alors k-c.n, On l1it que )'ensemble des vecteurs obtenus d'apres 11\ formula:

y= C,x(1) + Czx(Z) + .. 0 + C"x(t·) , (23,)

ou las C, soul des constantes "l~bitl1\h-es, forme Ufllt'()ltS-espace Lit de dimension /C. On pout montrer, cumme el-dessus, quo lout. vecteur appartcnant a L" s'axprime de flt~on unique en fOllclion do ,.'1\ x(2), • 0 " x'/n. On dit encore que les vecteurs (23) torment un SOllSespace Lit.

R ems rq u e. Si lUI veeteur z apparttent u L", c'est-o-diJ'o s'il s'exprime par une Iormule du typc (23,), Ia veeteur cz, uii c est uno tonstanta queleonque, s'exprime aussi par uno formulo du type (231), c'est-A-dire qu'U appartient aussl a L". De memo, si %.<11 et Zllll npl)artiennent a LIII leur sommo z,cJ.) + ZfSl appartient aussl a L". I en ~sulto Immedtatement uno propriete plus gen6rale: si des uecteur» Zll', Z(2), • 0 0, z(1)) appartiennent a LA' toute combinatson linealre de cel ueaeur« 'V2Z(1) + 'V2ZUII + 0 •• + YptP1 appartimt au.ssi a L".

Selent m vecteurs appartenant a L" :

y(') = c~·)x(t) +C~)x(2) + .. 0 +c1')X<"> (s = 1,2, ... 1m). (2't)

54 en, I. D£TEnNI~ANTS E'l' ReSOLUTION DES SYSTWES

Puisque les veeteurs (23) sont. lineairement independants, une rela .. tion de la forme:

tt.y( 11 + ~y(2) + ... + <xm,),(m) = 0

equivaut a un syst~me de k equations hcmogenes :

C·(1) t- 1"(2) + C(m) 0 ( 12k)

<Xs q ttZ"'q ••• +<x,tI q = s= , , ... , .

Si ce systume a des solutions non nulles, les vecteurs (24) sent line, airemcnt dependants. En particuller, si m > k, on a certainement des solutions non Dulles, c'est-a-dlre que tout ensemble de vecteurs dont Ie nombre est superieur it k, d 'un sous-espace forme par 1es vecteurs (23), sera un ensemble de vecteurs lineairemunt dependants. 11 en resulte que Ie sous-espace forme par los vccteurs lin6airement independants (23) no pout otl'e engendr6 par aUCUD ensemble de vecteurs lineairement Inddpondants zW, •. " zCh, dont le nombre l ost inferieur D. k, En l!ffel, d'apres ce qui a ele demontre cl-dessua, il ne peut oxister dans un tel sous-espace plus de l vecteurs lineairemont indept!udllnts, at, d 'autre part, Ies vccteurs lincairemllDt Inddpendants (23), dont 10 nombre k est superieur a l, doivont appartanlr A co sous-espace. St l'on. prend k uecteurs lineairement incilpenclant8 quelconques lim, uC!), .•. , n'"' apparLonant a Lie, ils torment, au sens indique ci-dessus, ce meme sous-espace L,~,

En effol, d'uprcs Ia definition du sous-espaoe, teute combinaison lineaire:

C,u(t) + C2U(2) + ... +C1cU('I)

appartient it. L". D'autre part, soit un vecteur quelconque y de Lie' Los vecteurs u(1), •• " u(,,, , ')'. en nombre (k + i), appartionnent a l.1t et, d'aprcs co qui precede, dulvent oLrc lin~airemont dependants:

Paull) + P2U(2) + ... + P"U(ll) + 'VY = 0,

et U11\ ••• , u' .. , etanl lineah'ement independanls, Ie coefficient 'V no doit pas Gtre nul, e'est-a-dire quo tout vcctcur y de Lit cst expl'imc par ulO, •• " u(l&); ces vecteurs Iorment done Lt.. Si m -= k dans los formules (24) et sl Ie delerminant des coefficients c~q) n'est pas nul, les vecteurs yCU, •••• ydl' seront des vectours lineairement independants de Lit. 11 est nise, dans Ie cas genoral, de montrer que Io Hombre do veeteurs liuuaircment ind6pcndants, donnes par les formuIes (24), est egal au rang du tableau c~q).

On a vu ci-dessus quo, si le vectour z appartient 8 un 5OUS-C::Ipace

L. 10 vecteur c~ (la constante c elant queleonquo) appartient aussi it L, at sl Zlll ot Zlll appartienneot iI. L, (ZCU + z(S') apparticnt allssi a L. On pourrnil donner UDe nouvollo dOfinition du scus-espace et appeler sous-espac« un ensemble de vecteurs tel que si 1. oppal'UWlt

1-2. RnSOLU'l'ION DES SYS'l'~tES D'eQOA'l'IO~S

55

it L, C~ appartient aussl a L et si ZCl1 et zC" appartiennent a L, (ZCll + ZC2') appnrtlent aussi llL.ll en nisulte im",edjat~rnont que toute com binaison linclliro do vecteurs, appartonant a L, appal'tiont aussi a L. On vicnt do voir que les proprietcs 6nonee~s a l'aide do la nouvelle definition r~sultollt de In definition precedente du sous-espaco. Reciproquement, montrons que de In nouvelle definition d8coule In proeedenle, c'est-a-dtrs quo les deu» definitions sant equivalentes.

Soit un vecteur XCl) appurtenant A L. D'apr~ la definition du sous-ospace L, los vecteurs C.xcu, pour Ct quolconque, nppartionnont aUBSi a L. Si ces vecteurs opuisent Ie sous-espaee L, on a L. au sans poocodont. Dans 10 cas contraire, un vecteue Xli) linuairemollL ind~pendallL de xCll appartient a L, ot. los vectours C,xIU + Ct:xcs" c. ct C2 etant queleonques, Ilpparticnnont a L. Si ees vootcurs ~pujsent tout Ie sous-espace L, IJ coincide alors avec un sous-espaco L2 au sons pl·ecedcnt. Dans Ie cas contraire, un vooteur XI3>, tal quo xCI), Xlll, Xltl soient Hneairemoot Independents, appartiont a L. En continuant. ainsi, par adjonction d 'uu nombre fini de vee Leurs x") Iineairomont independllnts, on epui~e L puisqu'il exist.e au plus n vecteurs lineairement Indepondants. Le nombre total k de cos vocteurs x"' donna 1a dimension du sous-espaee L. Si 1'0n a k = n, L coincide avec I'cspaeo a n dimensions tout entier.

Jl faut Doter un fait lie it la formation du sous-espaco. Soiont des vecteurs XCII, XCI', •• " XCII) lineairement dopendants. 011 dit dans ce cas que 18 formulo (23.) definit Ie sous-espace L. On suppose que parmi cas vecteurs, les l premiers: xCll, XCII, ••• , xci', sont lineai remoot indepcndanls et que ehacun des vecteurs suivants x"+I), ••• • . . , x"" s'oxprime Ilnsairement en fonction des l premiers. L'ensemble des vecteurs d6finis par la formula (23.) eoineidera alors aveo 1'0nsemble des vecteurs definis par Ia formule:

y = Ctx(t) + C2,,(2) + ... + C,x('),

c'est-a-dtre que Ia sous-espace L cngendre par los vecteurs Iineairement deptmdants "cu, XC!", ••• , x(lt) a pour dimensions l (l < k).

Soit un espaee reel a trois dimensions dans Iequel on repera les vecteurs it partir d'un point determine 0 (origina). Dans ce ens n=3. Si k = f, Ie sous-eepaee L, cst une droito passant par 0, et Ls est un plan passant par O.

1-2-6. PlOduit aealalre, SoiL a un nom bra complexa, on designe par ~ 10 conjugu' comploxe ct par I a l le modulo de a, (to sorto que a.ii = I a. I~. Si a cst reel, (i = a et 1 a I' = as. Intrcdulsons a present une notion nouvelle qui joue un grand ro]e dans la suite.

De fin i t ion. On apptlk produit scala ire de deu.z w.cteurs

x (3:" 3::&, ••• , 3:,,) et Y (Ult Y2, ... , Un)

56 CJI. I DJ1TEUMJNANTS ET R:tSOLUTION DES SYST2MnS

La quantile egale a la somme:

11

~ X.I/,. -=1

On desigJlO 10 produit scala ire par Ie ~ymbole (x, y). On B:

'l

(x, y) = ~ x.i, i

.... J

n

(y, x) = ~ lI,i.,

-=J

d'ou:

(y, x) = (x, y).

On dit que deu» uecteurs sont orthogonau:x;, si leur produit sealasre est nul. Dans la mosuro ou Ie eonjugue eomplexo do z~ro est zero. I'ordre des vecteurs dans Ie produit scalatre no [oue aucun ralo dans Ia condition d ·orthogonalit~. 11 est facile de voir que le vectsur nul (0, 0, ... , 0) est orthogonal a tout vooteur x.

Les proJ)ricSLeS sulvantes resulLant de Ia d~finitioJl du produit sealaire :

(ax, y) = a (x, y) ; (x, ay) = a (x, y). ou IZ est un faetour numerlque. De plus:

(x+y. z) = (x, z) + (y, z); (x, y+~) = (x, y) + (x, :&),

ot In lot de distribuLivite O8t vraie qual que soiL 10 nombro (11! eomposantes. 11 en resu1te, entre autres, que:

(x+y, u+v)=(x, u)+(x, v)+(y. u)+(y. v).

Foemous 1e produit sealaire du vecteur x (z., :t:&, ••• , z,,) par lui- 1P~me :

Nous obtenons ainsi un nombre reel qui cst pOl:litiI pour tout vectour x non nul et. nul pour Ie vecteur nul (0, 0, .. " 0). La racine carree (valeur arlthm.etljue) du nombr« reel (x, x) est la norms Ol.l. la longueur du vecteur x. En desigmmt ctttLe norma par Ie symbolo II x II, on peut acrire:

n

IIxllt=(x, x)= ~ Ix.I:&;

-,

L'egalHe II x II"'" 0 ~quiyaut n ce que x soit nul. Soiont trois vecteurs perpendioulalres x, y et s, c'est-a-dire

(X,y)-Oi (x,z)==O; (y,z)==O.

1-2, m:lSOLUTION D}~S SYSTBl'tlES D'2QUATJONS

57

En appllquaut Ia loi de distriiJutivit.C d'un produit scalalre et, en consideraJlt las egnlil.es pr6c6doJlt.~, 011 obtieut:

(x+y+z, x+y+z)=(x, x)+(y, y)+(z, z)

ou

II x + y + z Ir' -II x II~ + II Y lis + II Z WI,

CeLLe Jormulo cxprime Ie tlzioreme de PIl,ha8ore, Ello cst vraie pour un nom bra queleonque de composantes, 11 est important que les veeLeurs coms.ideres soient orthogonaux deux a deux, On va montrer que si l(!$ vecteurs xcu, x'2), ' , " XCI, sont orlhogomulZ deu» ii deuz et non nuls, tls 80m lineairement tndipendants. En e-tfct, SUppOSOIlS que:

,

~ C,X(')=O 1=1

et montrona que tous It!S C, doivent ulro nuls, MultlplioJ)s ecalatrernent las deux memhres de cette egaU I.e pat X(h), ou k est un ties nombles 1, 2, ••• , l:

I

~ C. (x(·), ,,(II»;; O.

1=1

Puisque Ies VCC.tOU1"S xCtl sont orthogonaux deux il deux, (X"I, X(i") ""~ = 0 pour s =F= k, et Ia de11ti';re formula dl.'vienL: e'l (x,1&) , x(/I,) = = 0, c'est-a-dira quo C" II xCllln " = 0, d'ou il resulto quo C /I =- 0 puisquo II x(/l11I2 > O, ct coin que! que soil. k,

1·2-7. Interpretation gcomctrlque dc!B 8yswmcs homogenes. Soil.

Ie systemo homogene :

aux, +a.sx" + + a.nZn = 0, }

lI:!,.x. + lZ:I2Xa + + Q3I • .x" = 0,

a~.~, +' a:~~2'~ . ' +~m:X~ ~ O.

(25)

III Lroduisons 10::1 vecteurs : 0(1) (all' aa:, .. ,' a,,.) ;

••• t

(26)

La systerne (25) peut alors «!t.re mis SOllS la forme coudenseo survante i

(St a(l) = 0: , .. : (x, a(n» = J,

(27)

c'est-a-diro qu'il faut trouver un veeteur x perpendiculairo it tous les vecteurs a(ll. Si Ie determinant I a'h In' est. pas nul, Io det~rminant I a,It I, qui est son conjugu8 eomplexe, est oussi non nul. Dans ee cos,

ss c;H. I. DeTER!'IIIXANTS ET R!t.<;OLUTrON DRS SYSTa'\JP.S

lea vecteurs ncil sont lineairomont Inddpendaats, ot le systomo (27) D'a qu'une solution nullc, c'ost-n-diro qu'll n'axiste pus do vecteur (cxcepto Ie vecteur nul) qui so it simultanement perpendiculalre, dans un espace a n dimensions, Ii. n vecteurs lineairement independants.

Conslderons malntenant le cas ou. le determinant du s)'stcmo (25) -est nul at soit Ie Ie ranlt du systome. Si 1'on Iorme Ie tableau des elements conjugu6s complexes, les determinants seront conjugues complexes des determinanLs des all.; Ie rang du tableau conjugue eomplexe sera aussi k, II y a ains! k vecteurs lineairoment iodopcnlillnts parmi

les vecteurs ach ot los autros voctours sont des combinaisons Hnoaires de us vecteurs, Sans rostroindro la g6neralit6. on pout SUPPOsel' que ces vncteurs lineairoment Independants sont:

all) , ••• , a(lI) ,

(28)

oL 1 'on a pour Ies au tees des expressions de In fonne :

8("+1) = p~h')Il(l) + . , . + ~~It+')a(lc) (k + s = k + 1, k + 2 •... , n), ou Ies ~~") sont des coelficient.s numoriques, 11 on r6sulta que si x est perpcndieulatre aux vecteurs (28). n est peependlculatre a tous les vecteurs aU>. En effot:

et toute Ia somme est nullo puisque chacune des eomposantes s'annule par hypothec. II suffit done do r~soudre les k premiitrcs 6quations du systitrno. En considerant, comma toujours, que Ie d~tcrminant d'ordro k, non nul. S8 trouvo dans l'angle superi~ur gauche, on obLiont (n - 1~) solutions xcu, •• " xcn-'t) lineairement indepenflantes pour le vecteur x ehorch8. en utilisant Ie procede indique en ("1-2-51 ; cbaque solution est une combinaison lineaire de cos (n - Ie) voeteurs. On pent dire quo. dans ce cas, Ies vecteurs definis par Ia formulc:

y=C,a(l)+ .. , + C"a(k) ,

ou los C, sont des constantes arbitraircs, engendrent un ospace L" a k dlmensions, qui est nn seua-eepaee de I'espaee a n dimensions, De morne. los vecteurs X(lI, XCIII. • • " xc" ...... , engendrent un SOU.~-esl)UCe M,,-1t it (n - II:) dimensions. Le sous-espace ll{n-h est orthogonal au 30us-cspace L" en co sons quo tout vecteur do Mn-k est orLhogonal A tout veeteur de L" ct reciproquemcnt. La sous-espaee M n-II est compose de veeteurs qui verifient Ie ftyslem~ (27). c'esl·-adire qui sont Ofthogonaux it aCH. a(S) , •• " aC"I. II est a iSG de voir quo los n vectours U'H, , , "nell). XCU, ••• , XOI-.'lJ sont lineairt>mCl'\ incl6pendants.

1-2. lmSOLU'1'lON D~S SYSTIMES D'.BQl1ATIONS 5\,1

En cHet, on suppose qu'ils sont lies par la relation:

(c,a(l) + ... + CAa(Il» + (dtx(t) + ••• + dn-"x{n-Il» = O. (29)

Le premier terms represonto un veeteur a de Lit at. le second un veeteur x do MII-h, et 1'0n a n + :It = 0 ou a = -x. l\{ais Ies vecteurs 4 et x sont orthogonaux, c'est-a-dtrc que Ie vecteur a est orthogonal 11 lui-memo, done (a, a) = 0 ou II a II = 0, d 'ou il r6sulto que 10 veeteur D est un vecteur nul. On peut en dire autant du vecteur x. Ainsl :

c,a(S) + ••• +CA8(1I) == 0 et d,xU) + ... +dn-Ax(n-II) = O.

l\'fais las vccteurs a(lI, ••• , aCh) sont par hypothese lin6airement ind6pendanLs et, par consequenL, toutes les constantes c. doivent eLre nulles ; il en est de memo pour les d,. Ainsi, tous los coefficients (lola. relation (29) doiv9nt otro nuls, c'est-a-clire que Jes vcctours am •••• , n(h" xcu, ... , x(n-Il, sont lincllircmcnt intlependants.

'l'out vecleur x pout etre mis de faf{on unique sous In forme:

x = (",a(I)+ ••• + '\'IJa(It» + (6,x(1) + ... +lill_kXfn-Ir»,

1e premier termc donnant un vecteur appartanant ii Lit et Ie second 'ID vecteur appaetenant A Mn-". Les vecteurs qui torment i~fn_1& sont, comme on I'll d6ja signa16. toutes les solutions possibles du sysleme (27) et, quel quo solt le systomc complet de solntlens lineairsment independantes ehoisl, il y a (n - k) solutions, c'est-a-dire autant que la dimension do Jlfn-h• L'otude que 1'0n vlent do fnire d'un systeme homogeno donne un resultat tres important:

Sl i'on a un sous-espace L" a k dimensions (k < n). les vecteur» (Jrt.hogonara A ce soru-cspace [ormen: un soU8-espor.8 .bIn-II de dimension (n - k) ct tou: oecteur X de R" peut etre mi8 sous forme cZ'une somme x = y + z, oil y apportient a L" et z a Mn-le•

Montrons que cette representation est unique. Soit encore uno autre representation: x 00: U + v, ou u appartlent It Lk et v a ~Wn_lI.' II faut montrer que u = y et v = z. On a y+ z = u+v, d'oit y- u = v - z. La difference y - u appartienL a Lit ot la dif[erence v - z appartlt>nt It !tIn-" , d'on n r6sulto quo Ie vecteur 'Y - u est orthogonal a Iui-meme. c'est-a-dire que (y - u, 'Y-u) = 0 ou ~I y - u II = 0, d'on y - u = 0 et y = u. 11 r6sultc do y - u == v - z quo v = z. Le vectour y qui so trouve dans III rcpresl\Otation x = y + zest 111 projectton de x sur le sous-espace Lh,. DAns eeuo reprisclntntion los vecteurs)' ot z sont orthogonnux cL 10 Lbtioreme de pythagore donne : II x liZ = II '1 II' + II Z 112, d'ou II '111 ~ II x II ot on a 1 'egalit6 seulement dans le cas ou zest 10 vecteur nul. c'est-a-dlre lorsque x apparttent a Lh• de sorte quo y = x. De fa~on analogue, It z II ~ II x II, et on n'a l'egalite que dans 10 cas OU x est orthogonal a Lie. c'ost-a-dlre quo 1; = x, J .. es sous-oepaces L" ot M"_,, sont des

60 ca. I, D~T&RMlNANTS &T RESOLUTIOX OES SYSTI'.JdES

saus-espeoes ortllOgonau~ suppUmemalres. 5i k = n, Ln cotnctde 8\'CC R IU ~L .\fo S9 l'6duit au vecteur nul.

Soit 1111 ospnee reol a trois dimensions et !tl>it k = 2, de sorte quo n - k ..... 3 - 2 = 1. Le sous-espace L: est un plan P passant pal." 10 point 0 01. M, cst une drotte passant par 0 at perpcndiculairo a P. Tout vcetour peut otro represento de la~on unique eommo 18 somme de deux veeteurs dont l'un Be trouve dans Ie plan P et I'autre sur 1a droita K. Nous venons do donner une jntarpr6tation geometriqllc do la solution d 'un systeano homog~nc dans Ie cas ou 10 nomhre d 'equations cst egal au nombre d'inconnues. On pout faire Ie mime raisonnemont dans le C·IIS general on 10 nombre de veeteurs at.) n 'est pas obligatoiromcnt egal a n. La meme remarque est valablo pour Jp paragrnpho suivant.

1-2-8. Cas d'un sy8t~me non hOlllogime. Soil. le systeme non hornogene:

auz, + a,z;t:!..~ ••• + au,xn = bi• } Q2,Xl + a22.%:t T ••• + Q'Z,.Xn = 112.

................

anixi + anz%:t + ' . , ...!....a"'1Xn = II",.

(SO)

On petit l'illlerpl'eLer conuue le I)l'oblllmo de 10. determin(ltioud'ult veeteur x (:tit .•• , X,.) pour des vecteurs dounes (26) dans le sYJ;oLemo :

(x, aU» = b,; ..• ; (70:, a(1l') = bll• (31)

Si le deterrninant du syst.elmo u'est pas nul, le theOl-eme de Ceaml'r donne una solution definia. SUPPOSODS que le detenmnant du sYlJl.emo soit nul et que Ie rang du tableau de 50S coeCficients soit egal a k, 10 detorminant d'ordre k, non nul, se trouvant, comme toujours, dons 10 coin superleur gauche. Outre Ie systome (30), ecrh'ons un systeme d 'equations hnmogenes dont les coofficionts sont obtonus a partir des coefficients du systemo donne en remplacant les llgnes pur les eolonnes et tous Ies nombres par leurs conjugue.~ c-omplexes. Co nouveau systemo est de la Iorme :

~IY'T~IY2+". ~~'Y"- 0, }

al2Yl + anY~ + ... T an2I/n .:.." O.

. . . . . . . . . . . . . . . .

ainYS + ~nY!. + ... +an"Yn -= o.

(32)

La tableau de scs coofficients a, comme auparavant, Ie raug k, at le detorminant d'ordre k qui sa trouve dans l'angle superieul' gauche est, comma auparavant, different de zero. On dit que ce sys-

Y-2. agSOLl::nOX UES SYST2MES D'~Ql." ATIONS

61

teme hOInogOOle est Q.S8Ocil au systeme (30). Comma on J'a vu el-dessus, sa solution genoralc ~t nne combinalson Jineaire de (n - k) solutions (de veclours) que I'on peul ubtenir, par exemple, en r6solvant snivant )e tbeorime de Cramer les k premieres 'quations par rapport a y" .•• , y",. on supposant quo les nutres Yk+. sont nuls, sauf un qui est egal it l'unite. On arrive ainsi pour YIl+! = 1 au systamo:

~IYI+~IY2+'" +~IY4·· -~H.S' }

a·12Y1 + Q22Y2 + ... + ah2Ul = - alr+l. a,

.. . .. .. .. .. . .. . .. .. .. .. .. .. .. .. .. . ..

al"YI + ~hY2+ 0 o. +all1l1l11 = -all+l. ho

En loCsolvlWt ce systeme et ell pnssallL aux conjug\19S complexes, on obtient :

- A:n

Ym= -7 (m= 1.2. 00" k)

Y1i41-= 1; Y1t+a=Y".,= 0 0 0 =y,.=O,

(33)

ou

6,'=

a II Q~I 0 0 0 alit as! il2a 0 0 0 au

+0,

et on ohl.ient 11;" 8. partir de A' en remplaeant los 6MIlll!Jlts do In coIonne d'indice m par 4h+l. It • 0 ., 4h+1,,,. La condttion pour que Ie vectenr b de compossntes (bit •. 0, b,,) soiL perpendleulnlee au veeteur y, qu 'on vi<mt d 'obtonir en r6s0lvant le systemc (32). est:

It

(h. y)= - ~

",::1

ou :

,.

- ~ .1~bm+L\'bA+l=O.

',,=a 1

(34)

En rempla~ant les lignes par Ies colonnes dans 10 determinant A:n. puis en faisant passer 18 Jigne d'indice mala demisre place au moyon

62 CR. I. D£TBn)lINJ.NTS BT R:RSOLUTIOK DES SYSTbl'F.S

de (k - m) permutations des dornieres Iignes, nous obtenons e

am_I, 10m-I, 2 ••• eIm-t.l

-d~= lZm+s,t a'_I,2'" am+t.'" . (_i)"+l+"'.

••• Oil

aJr2

a,,+., , a"'+1.2' •• UJ,+ •• I.

C'1.'St ,'r6ciscmant Ie compJementaire aigebrique de I'element bm dans 10 dutenninanL earact.6rist.iquc:

au a,2 . •• al" hi

• •• aliI:.

C!L ee determinant earncteristique est nul d 'nprcs Ia condition (~4). De fa~on analogue. pour Yk+, = t. nous obtenons Ia condition ~"+I := = O. On arrive ainsi au resultnt suivant : st le determ.tnant du syst~me (30) ost nul, pour que C8 8ystime alt une solution, II [au: et tl suillt que le oecteur (bi, •• " bn) solt orthogonal a tous les uecteurs qui donnent la solution clu systeme homogene t1$Socii (32).

La selution genomic dn syatime (30) sera In somme d 'une solution partieuliere de co systeme et de la solution g6ncrale du eysterne homogene correspondent que 1'0n obtiont a partir de (30) en rempla~ant tous los bJ par zero. Cetlo solution gOllerllle du syslumo homogene contient (n - Ie) constantes arbitraires.

Indiquons encore nne autre interpretation geometrique du L1160- reme fondamental €Ie resolution des systemes. importante pour h suite. Soient n formes Ilneatres a n variables indepcndo.ntes:

YI = aux, + ... + ~nX".

Yn = an.x. + ... + all"x".

On suppose que les x. peuvent prendre des valsurs complexes arhitraire.'3 ot solent (y" .. " Yn) lea composantes d'un vecteur, Si le d~terminant I a", I n 'est pas nul, on obtlent des valeurs definies de Zit pour des valeurs quelconques do Yh et Ies Iormules prec~denl.es donnent lout I'cspace il n dimensions des y. Supposons que le tableau II a,it II soit de rang r < n, Sans restreindre In generalite. on pent consid6rer que Ie determinant d'ordre r, qui se trouve -dans Ie coin superieur gaucho. n'est pas nul. En vortu dn theoreme fonda mental

1-2. R9.S0LU'l'ION DES S"iSTfbtES I1'!lQUATIONS

de r~solution des systemes, I'ensemble des valeurs (YI. , , '. Un), obtenues au meyen des formulcs pr4cedentes, possedo la pfopriete sutvante r les valeurs Yt. • • " Yr pcuvent etra arbltraires, mals 81 on les fixe, les valours Yr+h •• " Yn seroot parfaitomont dafinies, it savoie olles s'obtiennunt on cSedvant que le determinant cnrncteristlque est nul. Dans le Jangage geometriqu(.\ cola slgnlfle que lea formules precedentes definissent un sous-espace l\ r dimensions. engondre par Ies voctours obtenus en posant egal Q l'unit6 l'un des y. (8 = 1. 2, ' , " r) et les autres nuls, Done, si 10 tabloau II au, It cst de rang r, Ies formules prec6denLes donnent un ensemble de valeurs (Yi> ' • " Yn). qui engendrent un sous-espace it r dimensions,

Nous avons eludie 10 ens oil 10 nombre de formos lin6aires est egul au nomhre de variables x •• On petit prendre Ie cas genol·al:

Y. = aux. + ... + 4tnXn,

YIft .,.... QIII.Zt + .. , +amIiXIl'

Dans ee cas. pour des x. arbltralres, cos Iorrnules definisscnt dans un espace it. m dimensions un sous-espace de dimension egale au rang du tableau II au, II, La demonstration est 111 marno que la proc6dcmtc,

1-2·9. D6terminant de Gram. 'n(~alil~ d'UadDmnrd, Solent. m veeteurs r

x(·)(%\·),.%~), ••• ,z~» ($=1,2, ... ,m).

Form()D.S Ie determinAnt d'ordro m 11 partir dos procluits scalairos Ix':", X,I<)} at introcluisons la notation pnrt.(culioro:

G (,.ell, xca .. , ... , xcm» _I (xCi,. X(/I) Ira ... (Sfll, Xii» (x(lJ, X(2»". (xtU, Xcm,) (XCI,. "Ill) (Xi:,. XC!') ••• (ltl~n, lClm.)

(xlm,. XIU) (1,m,. "UII) .. , (xcm), XC"")

~ d61ermlnllJlt s'appoJlI.\ d2ltrmfllant tU Gram d,.s utcteurs: xel), >.,11" ••• , xcm,.

Consid6rons s6par6mout. IO!! dUftirent.s caS: III .... n, m < n at m> 1'1.

Le t.erme g6n6ral du d6terminant est de 111 forme: n

(xch. X(II,)- ~ .%~f)~, _1

Pour 11& _ n, Ie determinant. (35) a'lL egal au prodult 11,,05 dlil.Orminanb:

.:z:(1) :(1) ,;<I) zIt) z(2) zen)

1 2 n • I I

z~'J.) .%~2) z~'J.) z~l) z~'J.) z~,,)

fl'i CH. 1. O~TERMINANTS }~T R~SOJ.U'tlON UBS S"YSTDF.S

Eo Cllnsiderant. que les valeurs d" dutcnoinant sunt invariables lor~u'on rompJaco les Ilgnos pal' las ooloDIltlS, on pe"' aUirml)r quo 10 second dlitormhaanl cst. 10 conjugue compluxe du premier et, par cons8quont, lu valeur dll determi· Dallt de Gram (35) cst agale, pour In == n, au carre dll medule du dlUerminanL

I.%~·' \'1, {onu6 par les composnutes .%~) des veeteurs xt. x:, ••. , Xn. Ainsi, le d6torminnnt (35) ust poalUf Sa los voeteurs Indlqucs sonL lin~8lrement inde. pendants ot. nul s'Us soot lineairement dependan'a (1-2-5]. Pour m =f: n, on n doux tnblouux l'OclQIIgulairos:

z\U .r~t) z~t)

(SIi" c:t

%(",1 ~~m) ,,(7111 z( I) p> z(JII)

l!i n fa n n

c:t le t.ahleau associe au determinant (a5) est Ie pn.duit des doux derniers tableaux fI-~·71. Lo det~rminant (35) est nul pour m> n, d'aprelf 10 t.h8orume demf,ntri en (1-1-71. Mais, dans co cas, les vect.eurs XCI). XCiI ••••• xcm) soot ItneairamC)nt dUfMln,JnD~ {J-2-SJ. Pour m < n. tl'llpres Ie tb6oremo de (1-t-7J:

a (X(lI, X'I., ••.• Xl 'II,) =-

= )', x ( t. 2, ...• m ) l' (Tt, ~2' ••• , rill) •

~ ft. rat ..•. r". t , 2, "'f ",

1' ·1'2····· .. "III

<tIl X (I, 2 Tn ) dosigno les miUOU1'S du tableau (3Ils-' et

1' •• 1'2 ••••• rm

'}' (~:. ;,2' .. : : ',: m ) lI)s mineurs du t.ahleRu (86'). Commc cl-dessus,

Y (1' •• r2' •••• 1'".) 'I . Z I a x (1, 2, •... In ) et Iii.

1 'J tiS. 0 COIl]UgU" comp exe e r"

, iii, •••• n& rj. r2' •..• m

florDiere fhrmule s'krit sous Ia forme:

n(x'l'. xes" ... , x·m,)== ~ I K ( i, 2, •.•• m ) 12 137,

~ - Tf, T2,t ••. t r"., .

rl'-'~ .... 'n.

Si ItlS v~d()UI's X(\I, XiI" ••• , x,ln, ~ont JinuuirumulIl. indepcnduDts. 10 tableau l36.) C)S~ d" rang m 11-2-5]. 1)1. i] y n au moins un terma positif purmi les termes non negnli(1l du second lDembre do l'eglllit.e (37). Si Its veeteues sont IiDoairemcmt depolldunts. 10 tableau (36,) est de rang infel'ieur Ii m, tous les determinants d'urdre "h euntenus dans ee t.abltlau. lIelll!. aule ot n re.sulto de (37) que, 118ne eo cas, G (xll'. XCa), ••• , x(In,) = O. J..·6tude d.", trois C4": m .... n. ",::>" et ". •. n conduit au th60romo general sulvant :

T h 6 0 r i} mo. L. dittlmaimlnt de GrallJ G ("fl), x(2" ••• , X("') ul (lMili/ ri It. I)t'r.l~u", XII" X(2), •••• X(,"I 'Ollt lmiairtllltmt indipe,ulant. tt nul fI'ik ,ont lin/airllnllmt diptndallt,.

DOlU1ons mainteDllnt uno formulo pour le dut.ermirumt de Gmm. Soit x un vecteur queleonquo do Rn et soit In tl6eompollil.;on x = y + z, oil yapPllrtiont AU sous-eenaee dorioi pllr los veeteurs xHl, X'%', ••• , ,,(7111 01. oii % est orthogonnl A c~ sous-espece. La formule que nous vouloos d6mont.rer ost de la fonne:

C (;x.(1), xu,, ... , x''''), x) "'" II % lit C (xu" X(2., ••• , Xem). (38,

1-2. !t2S0LUTION' DES SYSTli:OS D'SQUATIONB

65

En tenant compte des egaU\6s: (X(II. x) """ (X(I,. y); (x. X(I) == (y. XCI) qui reswt.ent de ee que Z ost orthogonal a tous les x(". eL de la formule (x. x) _ = (y, y) + (z, z) 11-2-61 noW! pouvons oorlre:

G (XIl), xct), ••• , xctn" x)=

IXil,. )tell) (x(l), xltl) •• , ("ClI, Xlm,) c.,cu,),)

(X(2" x(ll) (X(21. X<2', ••• (XC2', Xlon,) (X(2) , )',

(s(m,. XC1') (X'''l). XC") •• • (xcm), x(J1ll) (Xcm), y)

(y, S<ll) (y, XI!I) (y, X,m) (Y. y)+(z. z',

En mollanl Ies eloments de 1a dorui~re ligDe sous la Ierme :

(Y. ,,(1)+0. (y, "C2,)+0, ... , (y, xCftl'l+<>, (y, Yi+(z. z)

t't en n!pr6sentanl Ie d6tonnirumt. 50\18 forme d'una semme de doux dplcmninants, nous POUVODS 6erilO d'apres III propriut6 IV de (1-1-3J:

. . . . . . . . . . . . . . . . . . .. .....

G(XIU, xII' .... , xltllt, lC)=G(x(1), XlI), .... xcm,. y)+
(x'l'. Sill) (XC1), SCZI) ... (.1(11'. xcm) (.lCII, "
(x',,, X(11) ~XI2), X(2) ... (x12'. I:C"") (XC1U• )'j
.J.. . . . . . , . . . . . . . (39)
IX''''', Xll., (XI"',I, Xla,) , .. (X""', x(m'l (XC1ll" n
0 0 0 II Z 1111 Le vecteur y appartil!Dt. au SOIl5-espace dotermtn~ par los VOGtIlUrs x"'. 1(2), ••• • • • , zein,. c'est,.A-dire qu'U s'expriJno lIn6airement en fODction des xc·, et, d'apms Ie th60dme d~montN:

G (xC1l, X(I'. .. ,' xlm" )') =0,

En devoloppant Ie detorminant de la formulo (39) suivant las 'lements de Is demiere ligne. nous en d6dulsons la formule (38).

Il r6sulte de cette formu1e que:

G (SlU, x,!\ ., '. )lcm" xl ~ II J( fill G (XClI, X'21 .... , XCI"'). (40)

SI Ies vceteurs "CII sont. liueairoment d6pondants:

G (Xlll, x(lU, ... , xl",l, x) =G (xlll, xClU, ' .. , X""')I:::O.

S'ils liont liMairemont. indtSpendanl.$, l'inegalit& (40) 58 transformo OD ega.

Ute dans le ellS et. seulement dRDsle cas ou y = o. c'ost.-a-dlre lorsque x cst erthegonnl a wus les xlf'.

Sf nous appliQuons plusieurs fois 1'In6galit6 (40) au determinant de Gram Initial 0 (xcIi, x,:f" •••• ~<'UI), nous en deduisoilS la majorat.ion:

G (xm, X(2), .... XI•III) ~ II XC1) 111&11 xCI' III ... IIxCVl) Ill. (41,

11 faut, {)!.Iur cela, consid6rer que G (XCi') = IIxCllI(l.

On s l'egaJite dans (4t) dans Jo cas et. seUlement dllDS Ie cas ou les vectours soot ort.hogoDaux deux it deux. On suppose en outre qu'auetln des vecteura n'cs& nul. L'megaUt6 obtenue donne faclloment une JDaJoration pour n'importo quel determinant. Soit A un detormInant d'ordro n d'eltSments ",,,. CODslil6roDs les elements do la Jl~p d'indlce i de ce d6tormlnant (a,,, i1t:a, •••• Gin) commo 185 composant.es d un vec:teur x(h de R". Formons un nouveau d6\onn;Dant dont

los elements sont. ii,,, coDjugu6s complexes des II,,,. 11 est evldemment 6181 II 6:

f)-Be

66 cu. I. D£TEIWlN.ANTS ET ~ESOLU'J'ION DIlS SYST£N'ES

Sl I'on mult.ipllo 11 pB1' A d'apres la regie de ]a ligne par la ]igne, on oblicnL le determinant. de Gram G (XCI" xci" ••• , ,1((11,); la: valour de ee d4t~rlulJlant.

car; 6galo 8 AI' d'''prea Ie tbeoreme do la mlllt.iplieat.ion des determinants. c'est.·A-dlre a IA jI. Hn appllquant rin6galit~ (41). on obtiont 10 mojol'at.ion $uivante du module d'un diilemwuUlt, quo fon dolt ii HlldlUnacd:

(42)

Si 10 ciCt.orminant. ~ a des elelDCnt.1 niols, on pout ecrire:

n n n

~2 ..;.; ~ lJi~. ~ ai" ... ~ a~.

110=1 "-1 "'1: ... 1

(43)

Si 1"01l ala majc1raLion la'kl<'M (i, k-1, 2, .... n) pour Ies 61Omollts du dutorminallt. ~, on 11 eviclouulleDt.:

(44)

O·aprCR ce 1u1 vieDt. d'elre oxpo..~, on a. I'egnlilo dans (42) dans Ie eas at. seulem~nt dan .. 11 ens ou. las veeteers X(l, pont. ortholJonaux deux a deux.

On p,eut obtenir d'autros valeurs pour Ie del.crmiwmt d~ Orom OIL g6noraliSIlDL I htogalite (40).

SIII,posons quo ehaeune clos lottro.!l X. y, Z d6slgn~ une sulte de veetears d" On. L'iuegalit6 ost. do la (orUlo:

G (X, v, Z, G eX) ~G tx, Z) G (X, 1',.

(45}

On n'oxclut pas. clans cct.to inegalit6, ]e eas d'lUlC ~lIIito viclo du veeteurs, c'ost.-h-diro tl'uno suite qui DC conlient aueun vecteur. Si IV est UDe suite vida, it faut. po8t)r G (W) .... t.

A partir do cct.te inegaUte un peut obtenir la valeur suivante du detorUlinant. do Grain:

m _

O(x(1), xrlll, ••• , XC'''') , r[J G(x<l, •••• , x<lt-l" XC"+lI, .. ,x<m,}]"t-l,

~=I

ou n est II.' siRuO du pruduiL. L 'application r6potoo do cotte majorat.ion donn!) de Dou.vollos majorations dans lesqul'Ues Ie determinant. de Grom cont.lent. un nombw plus potU de veotours. Pour toutea cos majorat.lons 1'6galitii es.t vrato dalls Ie cas et seulement daDS le cas Oil les voctours sont orthogonaux deux a dOllX.

1·2·jO. Systeancs d'6quatioos dlff&entlelles linealrcs it coefficients constants, Appliqnons los resultats obtonus au pro blame de l'int6grnLion des systellles d'equations differontiollcs lhleaircs 11 coef-

)42., n£SOLUTIO~ DES SYSTPES D'eQUA'J'lONS

61

ficlonts constants. ]~crhont; ce type de sysl.eme sous la {orI1\8:

%! = a .. %1 + al1.:l:2 + + Q1n.r.,,,,

~ - aZlxJ + ~?X:& + + a2n~n,

. . . . . . . . . . . . . . . . .

x~ = ans:tl + 442%2 + ... + annX",

o~ Ies :£1 sont des fonctions cherehees de t, Ies xj leurs d6rivoes et Ies Q'ile des constantes donnees. Cherchons une soluUon sous In formo:

(46)

x, = b,eM ; 3:2 = b!e),t: ...; :tn = b"eJ.t. (47)

En suhstituant dans Ie systeme (46) ct en sirnplifiant par e1', nons avons, POlU d6tormincr les constantes bit ... , bnt le systeme dtcquations :

(au - ?) bl + 412ba + + o.,.bn = 0, }

aalb. + (au - A) b2 + -~ aanbn = 0,

. . . . . . . . . . . . . . . . . . .

an1bl +onzbz + ... + (01111-1) b" = O.

Puisque nous devons obtenir une solution non triviala pour Ies Inconnues bl• Ie determinant de ce systeme dolt eLro nul. c.'est-A-diro que I 'on ohtlent l'sqnatioll suivante; pour la eonstante ?:

(/18)

all-'- a'2 al"
a21 an- A. ... aan =0. (49~
. . . . . .
an. Qn2 o'nn-A Cett6 equotion s'appelle equation slculaire. On 18 rencontre dans l'etude des uscillations des systemes mecaniques sans Irottement dans 10 cas particulier o~ Ie tableau des coefficients a,A est symetrique, c'est-a-dire lorsque a,,, = all' ot que tous Ios coef[icients soot reels: on tHudicra cette question par Ia suite pour 1es pet.ioos oscillations. Pour le moment, etudions Ie systeme dans le cas general. L 'cquat.ion (49) est une equation algebdquo de degre n dont Ie terme de dogre Ie plus !Sieve est (->')". Si cette equation a n racines dlstluctes :

A=Ah ••• , A=Ant

on at en faisant A. = "'J dans les coefficients du systemo (48). n equations homog~ne.CJ a n inconnues bh • • •• bn de determinant nul ct I'on peut ohtenir unesolution Don triviale pour ees Incnnnnes, D'apres Ies formulas (41), OD a ainsi n solutions lineairemellt indepelldanLes du systeme (46) at leur cumbinaison lineaire donne l'intcgralc gene-

68 CH t. D'!TBRlIINANTS ET USOLUTION DES SYSTJ!:r,fES

rale du systime. Si l'equation seculaire (49) a des racines multiples, la solution du probleme sera plus compliquee: a toute racine de I'equation (49) d'ordre de multiplicite It: devront correspondre It: solutions lineairement independantes du systeme (46); l'une de cas solutions a la forme (47) at les autres contiennent on plus un facteur: un polyn6me de t. Mais dans eo cas, contrairement a eelui d 'une equation a coefficients constants, 11 pent arriver (tome II, [11-1-151) que pas seulement une mais plusieurs solutions (ou m6me toutes), correspondant it la racine multiple, soient de Ia forme (47).

t\ovenODS a J'equation skulaire ('9) qui joue un 1'610 imJ:ntaDt dans ee probleme. La nisolu'IC'lD de cotta equaLlon, meme approch6e. pi ~, pour des n grands, des dlfficu1t~ prat.iquos parce que l'iDCOnoUO ch&rch~ ~ n'ast pas dans uno colonne ou uno ligne quelconques, mais figure dlins los termes dlagonaux. ~ d6velopp.0ment. du premier meDibre de cotte equation necessito d'importanLs calculs quo l'on a c16j1 indiques 11-1-4J. DonnoDS un cxelnple de transformation do l'equaLion (40l, qui 18 me' SQU8 uno forme plus CCJmml)do, ). no figurant que dans uno colonne.

Ftlrnlons la combinaison lin~alre des cluantiLeS chorcheos:

6-aOtZt+~z+· .. +ao,,~, (50)

ou les 1Xo, sont des c:oeUieienLs numeriques pris do fa~n arbl&ralro. On-differentio 1'6quaLion (50) n fois pat' rapport a t e.n rempla98Dt. ehaque fols les d~rivees

zj du second mombra par leurs expressions extrattss du systOme (-i6). NOU8 obtc:nons alnsi (n + t) equations de 18 forme:

S=aOtz,+aj)2Z,+ ... +a.onz", I

i' =all~I+IX,*+ ..• + at,,:&n ,

~(~-;'':~~':l;' + ~~I:~L~:': ~~"~'''n~/': (51)

~''''::a a",z, + a":%2+ ... + allllzn'

SUppOSOIlll que Ie det&rmlnant constlLue par les coefricloolS a'k qui figurent dans les n proml~res equat.lons soil nOD nul. Los n premiilros equations donnent l'expl'8S9ion de 2'1 on fonction de 6, S', ..• , ~(n-1), et si 1'00 porto cos .,,·aleurs dans 18 deruil!re equation, on a une equation d'ordre non ,. On peut dlrectumont 6Uminer sJ des en + 1) ~ations (5t) en utilisant les determinants. En oUet. ~rivons cos equations do 1a fa~on sulvftnto:

~zo+ao,z, + ao:zr: + ... + "Xonzn =0, }

~'~O:~I~Z~~~t~2::.::~t~;r.~=:-~, .

,("'01:0+ a"lz, + an2.~ + ... + lXnnZn·" 0,

ou Zo - -1, of. on eonsiduro ees (II + 1) equations cornmo dos ~quatiC'lns homogen~ par t'apport aux Zo, z, •... , z".

Lc determinant do co syateme duil 6lrll nul, co qui donne Ie result-Ilt suivanL:

i ao, ao: . . . IX!)"

" au ~z . . • alIi

=0. (52)

~('" ~. an2 ... a,.,.

1·2. MSOL1)TION DBS SYST2l!ES D'8QUATIO!("S

69

Cherchons la solution do eeue equation sous 10. (orme: l:::r,~t.

La potlant dans Ia premilln- colonne du determinant (52) el. sort~nL 10 raeteur ;t de la prmnil!ro eolonne, nous avona, .pres slmpllficatloD, J'equation sWvnnte pour d~t8rminer 1-.:

I C%ol ~2 'Xon

'" ~, aj2 aiR (58)

-0.

U est (aclle de demontrer quo l'equa\ion (53) a, par hypotltiJse, los mAmes racine! que l'equation (49). En effet, soU). = 10 uno racine de 1'6quation ISS}.

On a alors pour (52) UDC solution do 10 forme: .

l ... ci·ot , (54)

oil C os\. une constantc arbit.rai£('. Los n premmres toquatlons du sysUme (51) donnent des solutions du:) de fa forme (47) pour). = ).0' c'est.·A-dire que 1 - AO est autllli uno racine do 1'6quIltion (49). ]\kiproquement. si A - Ao ost uno mcine de l'equation (49), on a pour Ie) une solution do la forme (47) ou 105 6J sont des

constantes non \oU\.88 nulles. En portant ees expressloD5 do :l:J dans la premiere 9'lUaUon du systeme (51), on obtient pour ~ una solution de la forme (50\); cette solution ost eertalnemcnt non triviale. En 8ffet, dans Ie cas contra ire on aurnlt ~ = ~' = ... = lm-u .... 0, d'oit n tesultc en vertu des n premieres 6qual.iou du systllme (51) que: :. == :a = ... = Zn sa o.

Ainsi, toute raerne ). .... ~ de l'equatlon (49) es' effectlvemenl une racine de l'equation (53). L'eq118tlon (53) a done, compte tenu des hypotbl!ses, 108 mAmas raclnes que 1'6quatlon (49).

Les ealeuls sont tres simples ai l'on prend In forrnulo (50) SOU8 I. rorme i = Z" Dans ee us, l'~atlon (53) I!SL ')0 la forma:

1 too

). au a12 • . • atll -0.

Soit a la place du syst~me (~6) un systeme d'equations du deu:deme ordre de Ia forme:

J:! ~ aux, + au,x:t + + "f',XIO, }

:r. == "SIX, + 1la2J:2 + + a2/t,xn,

. . . . . . . . . . . . . . . . .

x~=all,x,+aIl2~+'" +anr.xn.

O~ rencontro souvont ees systemes en mccanique. Si I'on cherche leur solution sous Ia forme:

xJ = b, cos (At + cp),

(55)

10 CR. I. DltTBRMINANTS ET n~SOLUT[Or\ DV,s S\,ST!:)IES

on obtienl pour). une equation de III Iorme :

all +).11 at2

Q:u a=+At •••

ani ant ann +",2

Lcs eonstautes b, sent dcHer.minces a partir d'un systeme analogue BU systemc (~8) et cp est arbitralre,

Enfin, (lOur les ~YSlcmtls de In forme;

=0.

(56)

x; = a 11.('1 + +al~lxl' + cu%'; + + (In3:;" }

x; == (fl ... X. + + Q.:nX" + C~I%~ + + C2n%;I'

. . . . . . . . . . . . . . . . . . . . . . . .

X;"",4"1%I,'" +ann:rn+r"IX~- ••. +clln:r~

(57)

qui contlenuent on outre las d6riv6es pl-emieres, on est conduit. en eheechau; des solulions de la forme (47). A uno 6qua.tion sooulairc do Ia forme :

au + (It). - A.:l 412 + Cl2A a,,,-!-(,").
asl -!-C2I'· au;- en'. - '}.3 ~+('2I1A =0. (;)8)
. . . . . - . .
Onl +c",'_ ",,2 + (liZ'. a~II' + ellJ'A. - A 2 Ell introdnisant it's inconnues auxtliaires :

(59)

on ramsne Ie system" (57) il 2n 6cluatioDS du premier ordre, dont n ~uatil)ns s'ohtlennent a partir de (57) en fnisnut ;

zj = .x~+j ct zj = x,,+J (j = 1, 2 ..... n),

llL les n autres sont Ies equations (59).

I-~t t, Determiuants fonclionnels. variables % •• x:> ••• , , XII :

'PI (zit %'2' •••• %,,); Cf'2 (XI • .1'2- •••• Zn) ;

Selent n Iouctions des n

... ; erl! (:ts. X'z •••• , z,,). (60) On appelle d.itennina'" jOllcttolUlel de cas Ionctious, par rapport aux vnriables x ... un dctol'minant d'ordrc n dunt les 616mcmls sont.:

atk . .:. ~. On utilise pour d6signer Ie d6ttlnnillllnt fonelionneJ 7iih

J-2. RESOLUTJON DF-S SYST2l\tES D·tQOATIONS

7.

la notation:

D (CPl ••••• cPn,)

, =

D (ZI' •••• ,7:n)

(61)

On a deja rancontr6 ce type ,Ie detenninant quand on " fait un chongemen1. de variables dans les integrales multiplet; (t.ome II. 1111-1-71 cL lIII-2-12l). Si ron fait un ehangement de variables dans Ie plan:

~=cp{u. v); Y='I:(u. v), (62)

Ie point (u. 11) ayant pour homologue Ie point (x. y). aloes la valeur absolun du detcmlinant Ionctionncl

Dell'. 111) D (u. u)

(63)

ttSt Ie coefficient de variation do 1 'a ire au point donad ('" v) de 10 transformation ponctuelle (62). Nous supposons de plus quo dans Io domaine ou ron applique 10 transformation ponctuelle (62). les derh'oes parttelles des fonctions (62) par rapport 11 u. et v son; continues et que Je determinant (63) n'est pas nul. De me me si I'on fnit une transformation ponetuelle dans un espace 8 trois dimensions:

X==CP(qh q'l.' q3): Y=1i'{q •• q::.. q:s)i z=6l(q •• Q3, Q3).

ou Ie point de coordonndes (ql' '1., '13) a pour homologue 10 point (:c. Y. ~) et ou le volume (VI) devient le volume (V). la formule de changement de variables dans uno integrale triplo a In forme (tome II. 1111-1-71) :

~ J j v f (x, y. z) dx dy d~ -= j J J (VI) f [cp, 1f, co1l D I clq. dqz dqs, ou:

D - D (If, Ill. 61) - D(9 •• 92' Va) ,

at I D I donne le coefficient de variation du volume au voisinage de (q., q:. q3) Iorsqu'ou passe do co point au point (.x, y, s).

Nous aurlons pu considerer de la memo facon uno Ionetlon d'une variable independante u = f (.x) comme una transformation ponctuelle StU' I'axe OX, ou le point d'abscisse x a pour homologue I(!I point d 'abscissa u. La valeur a bsolue de )0 derivec II' (x) I carnct6riso

72 CH. r, DtTBRMlNANTS ET RESOLUTION DES SYSTEMBS

alors, evidemment, les variations de dimension llnealre en ce voisinage. Ce qu'on vient de dire reste vrai dans le~ cas d'une transformation ponctuelle dans un espace a n dimonsions lorsqu'on fait un chanlement de variables dans une int~grale multiple d'ordre n (tome II, (IIl-4-fOI).

L'analogle, dans Ie cas d'UD espace a deux et trois dimensions, entre Ie rtetenninant fonctlonnel et la derivee a pour consequence une certaine analegie entre leurs proprietes formelles.

Soit un systemo de fonctions:

CPa (YSt •••• YIl). •••• CPIl (Ult •••• YII),

at soicnt Yr. •••• Un non pas des variables indel)endantes mals des fonctions dO:t1o ...• .:en. de telle sorte que les fonctions CPt soient des fonctions des variables :t,. Nous pouvons former trois determinants fonctionnols :

D (ep 1JIn) •

D(y Un) ,

D (eph •••• cpn) • D (~It .... z,.) •

D{Yh .... lin)

D (~lo •••• z,J •

Las filements de ces detcnninants fonctionnels sent respecttvemont:

iJep, • 8111& '

8ql, • {J~1& '

Mllis on a compte tenu de la regIe de difl6rentiation des fonctiona de fonctions:

aep, = iJcp, • /JUt +. . + {Jlpl • iJYn

Ox", iJlIs tJz", • iJYn iJr,,'

et si I'on fait le prodult des dtSterminants, on obtient une egalitU qui e.tprime Ia premiere proprie~ des determinants Ionettonnels ;

D (Cf't .... , 'II,,) D (ZI •••• , z,,)

D (cp" .... trll) D w, .... , 1111) D(f/h ••• , I/,.} • D(~, •.... Zn) •

(64)

Cette egalita est analogue a la regIe de differontiation des foncLions do fonctions d 'une vadablo independante.

On peut eonsid6rer un systeme de fonctions 'PI comma uno transformation des varia bles :tl on des nouvelles variables 'PI:

'Pt = <p, (XI' ••.• .:ell) (t = 1, 2, •.. , n), (65)

Btudlons d'abord le cas pal,ticulicr de In transformation idcntique:

. . . . .

1-2. ReSOLUTION DES SYST2NES D':!QUATlONS

Son determinant fonctionnel est:

tOO 0

o 1 0 0

o 0 t 0 = 1.

o 0 0 1

Supposons que les 6quations (65) soiont resolues par rapport a :J:lt de telle sorte que les x, scient exprimes en fonetion des <p.:

XI=Xt{ipj, .... cpn) (£=1,2, .... n). (06}

11 est naturel d'appeler la tmnsformation (66) inverse de In transformation (65). Si I'on porte las expressions (66) dans 10 second membra des egalites (65), on ohtient Ies identit~s 91 = <Ps; ••• ; Cfn = ern, autrement dit, on obtiont 18 transformation identiquo. Appliquons. dans ce cas partteuller, la formule (64); il faut 810rs constddrer que y, = x, 9t que x, == cp,. et l'on obtient dans Ie premier memhro de la formule (64) le determinant fonctionnel de la transformation Idontique:

D (lfh , 'P7,) D (IF, .... , «prJ D (3':10 ZII)

b (lfh , CF,.) = D (ZI ••••• 2:,.) n (CPI, CFn)

on

D (IP" ''', If,,) D (3':1' ••• , 3':,,) t

D (zit ••• , .%n) D (CPs, ... , 'lin) ,

c'est-a-dire que le produtt des dltermtnants jonctionnels d'une trans/ormalton et de la trans/ormation tnverse 8$t egaZ Ii l'unite. Cette propricit6 ost analogue 1 celIe de la d6riv80 d'une fonctlon Inverse duns II.' cas d'une variable independante.

(67)

Degageons a present Ie sens de la condition qui veut que Ie d6l.ennhluot fooctionDol

D (CJlh CPZ ••••• «1',,) G8

D (Zft ZII, ••• , zn) t )

des {oncUon!! If. (.2:t ••••• .zn> i Ch (Zit ••• , Zn); ••• : fIln (s •••..• z,.) 11nrrapport aux variables ~ soit .aentiquement nul. Supposons quI!' CI!'S ronotion~ solent lieu par 11\ rulntion fonctionnelle:

F(eps. ... , IPn)==O. (1\9)

CeLle. ~plit~ est. uno idontit~ par raJlport a~x vQriablua iod6pond.nles It). En different. ant [lur rappurt. 11 Loules las vanables Indepondante.s, on obllenL n identi&6s:

.s: 8IPI + ... +~ 84m =0, }

.,..,. ihcs ihpn o:t 1

• • • • • • • • • • • • • • • • (7(1)0

~ bq:s + ... +~ Dlf'n =0.

ihpl Dz", Dcpn O:&n

"74 CH. I. D8"~RMI~'\NTS ET lU!SOLUTIOII:' DRS SYSTB&tr::S

On pc!lIL c!ludior CC,\S Identiles comme des ~\tatioos lin6nirt'S par rapport nult " q1Jan\i~s ;

{JF OF

DIP. • ••. , 8<rn •

de plus, ces qUlln&.it6s no peuvent pas etre &imultanement ldentiquemonL nulles, enr dans Ie 08S conLra(re F oe contiendrait aueune des fooctions cp,. Amsl, Ie detorminnnt du systeme homogi:no 1'0) dolt. 6tre oul, ee qui impUque gue Je deLorminanf. foncUonnol (68) soit nu • II resulte do 18 relation ronctionnello (69) su~ 10 de'~rminao' £onC&iooool (68) est. idenUquement nul, 00 peut demootrcr I invor80, c'esI.-A-dire: U lait qUI I. dlt,1'l1IifJ4nt lonctionntll (68) ,oil td'>ltiqu.l1Itnt nul nt 14 condition nlcnsaf,.. It ,,,I/;'an" pour flU "'l /onctioM ql, (.11" ••• , z,,) '0 lent ltEeB-.

Sojeot, it titre d'uomple, trois functions de trois variables Indcp8ndantes:

cp(-~f+.zJ+zli 'l'2t:::.2:.+%:I+z3; 1P3-z,%a+Z'.%3+ZzZa. (7i)

n est facUe de vf,r1fi~r qu'elles sent Ji~!I par la rolnt.ion S\liVllnte:

cpJ -1P1 - 2cps .... O •

• ·urmons III determioant ronoLionnel du systemo do loncU()os (71) ;

I 2z1 2z2 2z3

D (CPI' 'Pa. cp~ _ 1 1 1

D(Zh %a, zs)

Z2+z3 .:tl+~3 ,zt...Lz2

Lo leeteur d~m()ntrera que ee determinant est. idenr.iquument nul.

1-2-12. FonctiClDS implidles. Nous aVODS d6mont.re (t.ome 1) It, th'orome .d·exJst~noe d'une function impUcito defmio par uno 6quat.ioo. 1\011$ allons a pre..o:ont etendre ee tb~oremo au cas d'un systems d'equalions. Soil :z =- Zo, II == "0 III soilltion do l'4§quat.ion:

F~~=O (W

ol supposons que F (.2:. 1/) ot ses doriv~ parUellt!8 du I)rcmil'r ordre soienr. continues pour z == Zo, 11- 110 E!t pour toutos valours de %, II suffis8mmont voisinos, et. que la derlv6e parlioUe pil (.1:, 11) De soit. pas nullo pour :I: -:a %0' 11 ... 110' L'6tluaUon (12) d6finit alors, pour ae,s.:t 8uUissmmenL voisins de ZOo une (onoUon uniclue 1/ (z), contioue, Grant une deriv6e et verifiant la condiUon 1/ (.1:0) => 110' On paut demnntrer de la m~me lot:on quo I' equal.ion :

F (.:t, g. s) ==0,

qw a pour solution :r == zoo N. == 110' I .... Ie a condition que In fonct.iCln F (.:t, V. :) soU continuo ain!;i quo ses derides parttelles du premier ordre au voillmage des

va leurs Indiquees ot que l-'~ (zo, £1o. 10) "" Q, deffniL une fonctl('Q unique s (z, 11), continue au vols[nage do .:t == Zo, 1/ :- 1/0, pos..~dant des doriv6es par rnpport 11 z et 11 II et verUiprlt la condiLion s (zOo 1/0) .... Zo. ConsideroDS malntenant un II)'stCmo de deux equations;

cP (2", II, =, =\1 : '\l (z. 1/, .:) = O. (73)

SUPpOlOfU qut' ce '1II/~m. nit la Bolulinn .:t == ZO, ,,= VOl I =; rc" qIU 1111 lonelion.r IP (.11, y, s),1p (~, If, :) et Itun Jinwl!8 partie'U6 ,Die"t contim.a au VO;!fi.,,"g.

* J.e raisonnement concemant Ie systi!me (70) est purement forrnel et n'est .pIlS une demonstration ,.igoureuse.

I-:!. R"eSOLljTION DES SYST81\mS p'aQUATIONS

75

du "ld,u,., fndilJUlu, ~t que k dll~rlllinllnt foncllonml:

clIP D tCP, 11') = 7ii T) (II, Z) 0",

8U

m 80it ptU nul pour en VOU.Ur8 du ullrioblu. L~ '1I.t~me (18) dl/tnllolora pour dn z .uflilomment voiri1J6 de zo. un lfI.ame uniq&UI de ID1U:UOnr V (%), ~ (z) continw., avont des dlriuiu du premier ora" ct viri/ion' 14 conditiDn; 1/ (ZO) '"'" 1/0,:: (ZO) - ::0.

Puisque l'expn.'ssion (74) n'est pas Dulle pour z .... .r1l, II = 110. s = So.

en a au muios une derivoo parUeUe ~! ou 8: non Dillie. SUPlloP,(,n~1 par I'XC1Jl-

ple, que ~ ne soil pall nulle pour Ies valeurs dee variables incliqllclIS. Lit seeondc equation (73) dolinit do fa.oon unique la foneUon I (z, lI) d'apooa 10 I.luSoremo )1n:d(lunt. En _porlan!. cet.te valeur de la fonction dllDS Ie IlremlOre liquaU"D du syst~m(.\. on obtiE'nt une oquat.ion ou % et. " sont. IE'S variablE's:

cP rs, u. :: (z, g)I=O. (75)

1'our demonlrer Ie theoreme, n reste A montror tlUU Ia derlvlio pnrLiel1c du premier membrc do l"quutlun (15) par rapport. Q " u'ost. pas uulle Jlour z = Zo, II = 110. Cene dlSdvee est;

( !!!£.) = oq. .J- (Jill • ~ •

OU {)g' Ds 81/ (76)

01" ( :: ) cst. la d~rjveG totale de ep (r, v. z) par rapport ia 1/. La Ienetlon :; (:I:, 1/) est la solutlcn de la secende ~qu3tjon (73). ell qui conduit a l'idonLUu:

", (.1:, y, : (z. 1/» e O.

En diHlironlinnt eette idcDlitO par rapport U !I. on ebttent :

~ ~ hI

"II +""8%' Tv e O. (77)

MultiplioDS les doux membres de (76) par ~ et addiUonnons-les a l'idenUt6 (71) apres avolr multiplie ses deux membros par - ~~ • l'Ious obtenons

ainsi:

~ (alJ') D(ep, .)

iJ:' iJy = D (1/,:) •

Pour :I: -= zo, II .... Uo, Ia fODcl.ion % (z, 1/) devient '0. alers ~ 01. (71.) De I!CIllt pas nuls pour los valours dl'!:\ variables que I'on a donneos, et C'lIS!. llClurquoi (Z) n'e5~ pas nul. Par consUquenl, l'equation (75) di!finiL IJIle Ionctton unique y (z). En portant «:ette '\'aleur dans :Ii (,1: g), neus nbt.enons I, lonetion de.1:. C&\tO demoD!h'atioo rCIILo vraie dans Ie (,.IlS de plusiours vBriahles independantes.

76 ca, I. OJ!TERHINANTS BT RUOLUTlON DES SYST~E9

Dans 10 cos g6Deral, le t.heoremo des foneUona implicites s'enonce ainsi: ,oit un '1I,time d, n 19ualiom:

FI (zit ••.• Zm' lilt •••• 11,,)=0; ••• , F" (Zt ••••• Zm, Ylt ••• ,11,,)-0. (78) ql" 4 14 $Olu"o,,:

(Ie-f •••.• m);

l-i, ...• II.

(79)

IDlen' P, MI joltctton. cOI'J"ra~, al/ant dll ,urtl1itl parHtlk. contlnu,. dlJ pre· mltr ordre au vol$'nalt du Ixd,ur, (79), Itt .olt ,nlln I, determinant /ontlionnd

8F, iJPt iJFJ

IIl1t Dlia ay"

DF2 aFz ;}Fz

D(" ••..• Fn) -()- -0- --

D - Yl 112 Otl"

(!lit ••. , U,,)

(SO)

8F,. 8Fn 8F"

iJYI {JUs • • • ilYn

non nul pour lu uaieuTl (79). Ln 'iuatiom (78) tU/inu,ent a.lon pour de, z" ""b,ammenl DOII{n. de zj;'1 un. lV,amc uniqlU tk /olll:tiom III (Zi ••••• zn) continue" IIlIant d" din,,'" du premier ordn et ,,'riflant la condltton II, (Z\OI ••••• z~)) -

(.,

"" III •

Supp~sons quo ct.' theoreme soit vral pour un systOmC! de (n - 1) equalilln!4

(11 est oHcct.ivcmont vrai puur n - t et 1£ = 2). D6montrons qu'U est vrai aussi pour un sysLime de It equations. En developpant. Je d&t.erminant (80) par rapport aux elements de 1a J,!remim eolonno, on peut. affinnor qu'au mnins un des compl6mentaJres alphnques eorrespondant. It C8$ ';luments n'esl palS nul pour les valeurs (79." puisquo, par bypoth~se, le determinant lui-mAme n'est. pas nul pour ees valeurs. En numerotant.1es fonct.lons F" on peut.suppo~r

que Ie eomp18mentairo alg9briquo do l'el6ment :'1 n'est pas nul. Ce eomplementlliro alg6briquo ost Ie determinant. fonctionn:11 des fonctioDs '2 ••••• F,., par rapport aux variables 11 ••••• , u,.. D'aprcs Ie theori:me appJiquable aux Byllleme.'I de (n - t) .;quat.ions. los ~ations

F'l.(Zh •.. , Zm. Yh' •• , y"l=O;

... ,

F7IIJCh ••• , ~m' III' ••• , Y'/I.)=O

(St)

definissuot do ra~on unique los fonct.ions:

Ys-=CJ'2 (~h ••• , Zm, 01): •••• V/I.=CPn (Zh ••• , Zm. fit). (R2J

En portant. us rORet.ions dans la premiere equatiun du syst.ome (78,. IlOUS ob~nons uno eqUllt.lcm qui d6f1nit. lit :

F t (Zt •••• , Zm. 1110 Ch ••••• CP/l.) =0. (83)

n nous reate A v&ifier gue III deriv41e t.utllto du premier membre de eeue equation par rapport lI. 111 n'ost pa..'S nulle pour les valours (79). Cette d6rj\'ee est. dOnD" par la fonnulo :

(84)

1-2. MSULUTION DES SYST2MBS D'I!QUATIONS

77

En portant les [oDctions (82) dans Ie premier mombro des equations (8t), D(JUS nbl~nons dus IdeDt.il~8 CJ110 l'on difllirontle par rapport. 1\ 111 :

n

iJF, + ~ ~. c7q>. -0

0llt LJ acp, BUt

.-2

(I ",,2, ••• , n).

(8iJ)

Designons par A It A 1\, ••• , An les c.omplcimonlaires algObrhlues eorres~ndnnt au li16ment..'1 do 10. prumiero colonne dll determjnant (80). Multlplion! (84) IW: A .. (85) Jlllr .liz et ro~ranchons les dem1eres Idontit6s de la premtke. Nous obtenons alnsi l'6galf~:

" ""

.4. ( ~FI ) ... ~ 8F, Az+ ~ [~ o}"z AI] 8cp, .

iJIII LJ 8Yt .a £.J dIP. {JYt

/-=1 ' ... 2 /=1

La premiere somme du second momhre donne Ie determitlanl (80) qU'OD deslgne. pour simplifier, par la lettro D. La somma&lon sur I dans 10 second membro donne III somma de prodults des 6)emonta d'uno colonne de D avoo un indice different de l'nniU pllr les oomRh~mentaires algtSbriques des elements correspondants do III premiere eoloene, c·osl-A.dlre que ee~to aommo esL nuUe. n 'aul remarqucr que Ia difCerentiat.ion par rapport. A 'P( Nvlent II diffen:ntier pllr rapport 8 !I •• On paur. donc ~rlre la fonniile paicodento SOU8 la lorme:

Ai (!!.!..) =D.

alii

Or. A. eL D sent non nuls pour les valeura (79), ot, par eonse,ucnt., II en est. de memo en eo qui conecrne Ia clerivoo du premier mombre do I "to.tiOD (83) par rapport. a u. et. cotte ~at.ion dODDe la (oBct.ion unique lis (.rio z~, ...• z"'): en portant. cette fODCtion dans Ia fonction (82), DOUS obt.enons Je rasuna .. linal.

Un CIlS parLiculier du tb60reme dM (oncLlons implicites cst Ie IhllJ~fM d'mwnion del ry.tima de /ont:tion •• Soien' tUlnn/_, za IqlUltions:

YA=I1c (zit •••• z,.) (k-t, 2, •.• , n). (SIt)

SUPPOSOTU qru In lont:'ioll' fl& .sOlent cont;nun aim; qru uun /UTllllu du pnmier ordrtl au vt)l8lnor. dn val.un zA = :f~" (k - f. 2. • •• , n) et 9U6 pour eft lIale",. Ie dllrrmtnant foncttonnel

D (fit ••• ,Ira>

D (Zt. "', :en) M,oit po nul. Lcs IqlUlliolll (86) tlIftn~nl4lon de/afon untque:fA (vI' •• " Vn) commt des fOtlctioll. dn 11 ••.••• VII au lIollino,. du lI41eu" 1IJ:"..... I" (~!:) •••• , zl:') , tin outrt, cu l0nt:liom ,om continues, om du d6riuit. GU prfm;tr orr;lrl' tt ZA (g\O" ••• , lI~o) = zJ:>.

n su{fit, pOUT demoBb'er co th130Mme, de consid~rcr les 6quations

IA (z1' •••• :.c,,)-III&=O ( .... al. 2, •••• n)

et. d'ut.lliser Ie th6or9me des fonctions bnplioltos. ~ jouant. icl 10 role de Ill' Si loa fA sont des foncti(lns Jlneaire~ homog~~ des variables rAt le sy&tclme (86) est de la forme:

glt "",a1lI:l:,+41&*+ ••• +aAnzn.

Lo determinant (87) so nhluit dans ee CIlS au cl6t.erminant. IIIAII dus coeUitien15I1ItZ et Ie tbOoremo de Cramer permet d'obt.enir Ia soluUon uniquG du S)'l!tomo.

(8i'

Chapitre II

TRANSFORMATIONS LINEAIRES ET FORMES QUADRATIQUES

11-1. Transformations Uneaires

Il-J-t, Trans[ormation des coordonnees dans un cspaee a trois dimensions. On appelle transformation lineaire de n variables une transformation de Ia forme:

J:~ = aux, + a,z%z + ... + aanx". } :z;~ = 4z,Z, + a22Xz + . . . +- a.lnZ,,,

. . . . . . . . . . . . . . . . .

a:~ = a/,,%, + a,,2Xz + ... + 4nn.;tn·

(1)

On pout interpreter cotta transConnaLion comma le passage d 'un vecteur (Zit ••• , zn.) dans Ull espacc 11 n dimensions a un autre veeteur (a:;, ••.• a:;.). On peut encore conalderer (Zit ..• , zn.) cornme las cocrdonnees d 'un point dans un espace It n dimensions et In transformation (1) commo Ie passage d 'un point a un 8utOO.

On pout interpretor (1) encore d'une autre Iaeon : (x" .• " zn) et (a:~ ••. '0 x;') sont Jes compesantes d 'un soul at memo veetour (coordonness d 'un saul et. m6m~ point) mals pour un chotx diff6rcnt des axes de eoordonndes. Les Iormules (1) donnent aloes lea formules do transformation des composantes (des eooedonndes) Iors du passagu el'un systlune do coordonndes A un autre. On a dejA rencontre plus d 'uno lois des forml1)es do la forme (1) pOUI' n = 2 eot n = 3.

La premiere partie de ee chapitre sera consaeree it Itetude d~taillee de tranaloematlons Ilnealres du typo (1). On 6tudie d 'abord le cas d'un espaee reel A trois dimensions, puis on passe au cas gonoral d 'un espace a 110 dimensions et de composantes complexes. Ccmmencons l'etu.de de I'espace a trois dimensions dans Ia cas tres simple ou a 1" transformation (1) correspond Ie passage d 'axes orthognnaux 11 d 'autres axes orthogonaux. En reperl1nL les veeteurs par rapport a l'origine des ooordonnees, nons POUVOJlS cOIl.'dderor, 6vldemmcnt, (Zit x:' za) soit. comme las composantes d'un vecteur, soil; comma les ccordunnees de son exLremite.

II-I. TnANSPORltATIONS Llloti'..AlRP..lJ

LR geomel.l'ie analytlque nous indiquo que lea formulcs de transforrnation des coerdonnees orthogonales rectilignes sont de Ia forme:

x; = 4j,XI + a'l~ + a"x;" } x; = aux, + tlz%X2 + ~a%3, .r.~ = aa,.r.f + aat.r2 + a~lh

ou les a'4 son t les cosinus des angles ronnes par Ies nouveaux axes avec los anciens j Ies al" sont definis pnr le tableau 9uivnnt:

(2,

Xl Xl I .'(3
Xl au a,2 at3
Xi I (J2' I ad AU
X, I a3' I D33 I Q33 Comme 011 Ie sait, le tableau dea coefficients (3) POS!lado, dans cecas, la propriete suivantc: Ia sommc des carres des elt!monts de ehaque ligne et de cbaquo colonne est egale a l'unite, et la somme des produits d~s elements correspondants de deux lignes ou de deux colonDes diHerentos est Dulle. La valeur du determinant I all, I cst evidemment ~gale 11-1-5] an volume d'un paralle]cpipede rootangl&dont les arotes sont agales a I'unite et dil'igoos suivant les nouveaux axes de eoordcnneoe, c'est-a-dlre que cotta valeur est agalo it l'unite-si l'orientation des axes est In meme, et a (-1) dans 10 cas contralre, La transformation dounant Ie passage inverse de C.r.; • .r.;, x~) a (x" %2' X3) est evidemment de 10 formo:

%, = au%~ + a2'%~ + a3Ix;: } Z2 = "IZX1 + CLuZa + iJ:J%.'ta. XI = a,~; + ~a.r.; + a"a.r.~.

Au Lremcnt d it, on obtient la transIorma tion inverse de (2) en echangoant simplement les !ignes et los colonnes du tableau des coefficients. Le determinant de cette transformation Inverse est 8v[doJnOlent egal au d6terminaDt de III transfonnatioD (2).

Montrons main tenant que Ia propri~te enoncee ci-dessus POIll' lescoefficients de la transformation (2) pent etre obtenue a partir d 'une oonditlon qui r6sulte directemont do 14 nature goomeLriqno de In question: determinoDs toutes Iss transformations reolles de la forme (2) telles que:

~+~+~=~+~+<. ~

Ce probleme est pose de fa~(m que l'on pulsse gc.ne.ralisor Ies transformaLions pricedentcs an ens d'un espace ayanL un nombre quel-

ao CR. n. TRANSFORMATIONS LIN~A1RES ET 'FORMES QUADRATIQUES -eonque de dimenSions. Montrons que les transformations qu 'on veut obtenir coincident avec cellos etudiees ct-dessus, c'est-a-dire que (4) -eondult aux relations donnees ci-dossus pour les coefficients a",. En portant les expressions (2) dans 10 premier membre de Ia relation (4), en supprimant les parenthbes, on ~galant a l'unite Ies coofficients des variables 6lovees au carre et en annulant les coefficients .dos termes rectangles, on obtient six relations de Ia forme:

·oU:

~, == 0 pour k r:p 1 ot a.1eA = 1.

(6)

-c'est-a-dire que Ia sommo des carres des coefficients do chaque celonne est egale it l'unite et que 1a somme des produits des coefficients correspondanta des differentes colennes est nulla. C'est la condttton d'orthogonallte BUtvant les colannes, Ainsi, las coefficients de chaque -colonne sont egaux aux cosinus dirccteurs d'une direction, et Ies directions correspondant a difforentes eolonnes sont orthogonales. 11 -en resulto quo la transformation (2) coincide dans ce cas avec celle .etudh!e ci-dessus, et la propri6t6 d'orthc)gonalite est vraie non senlament pour les colonnes mats auss! pour les lignes.

On peut interpreter les formulas (2) non plus comme la transfermarion des coordonnees dans un espace immobile, mais comme Ia 't.ransformation d'un espace lorsque les axes do coordonnees ne vadent pas. On suppose d 'abord que Ie determinant de la transformation ·ust 6gal a (+1), c'es~a-dirc que les doux systemes d 'axes de eccedonnees ant m~me orientation. On peut fa ire tourner I'espace comme un solide auteur de l'origine en memo temps que Ies axes (X;, X;, X;) de telle sorto que cas axes coincident avec les axes ·(X" X'!. X3) que nous supposons immobile!!! lors de ootte rotation at auxquels on rap porte las coordonnees do tout point avant et apres Ia roLation. Si un point Males coordonneos (z" z" Z3) avant la rotation, il OC.ClIpe, apris Ia rotation, la position M' et il a les nouvelles coordcauees (z;, :r.~. z;). Etant donne que Ie point M se d6place en marne temps que lea axes de coordonndes (X~. X;. X;), Ies coordonnuos (z~, z~. %~) du point ltf' par rapport aux axes (Xt• Xi' X3) avec Iesquals coincident les axes (X~. X~, X;) apres In rotation coincident avec las eoordonn~s du point M par rapport awe axes (X;, X;, X;) .avant 1a rotation. On volt, done, que les formulas (2) representent dans Ie cas ou 10 determinant ost egal a (+t) In transformation des eoordonaees d'un point quolconque apres 1a rotation de l'espace.

Supposons maintenant que Je determinant lath' so it egal 11 (-1).

Etudions a la place do Ia transformation (2) la tranformation:

xi- -aU%t-af~%2-a,3o'C3 (i=1. 2,3).

II.S. TRANSFORMATIONS LlX£AmBS

8t

8es coefficients ont egalomeot leg propri6tes (5), mais Je d6terminant dOR coe.fficients ost ici cgal a <+1). c'tlst-a-dire qu's cotta transformation corrospond uno rotation de I'espacs autour de }'originc. Pour obtenir 1~5 eoordonnees (:.1:;, x~, x;), 00 doit effectuel encore une transformation:

un LeI ehangerncnt do signc de toutes los coordonnses repr4JsenLe une symGtric par rapport a l'origino. Alnsl, lorsque Ie determinont est egal A (-1),la transformation (2) correspond a une roLation do I'espace auteur do l'origino suivic d 'una symctrio par rapport. i\ I'crigfne.

Nons avons Vll ci-dessua que les neuf cocffic.ients a,II dolvont verifier Ies six relations (5). II en resulte qu'Ils dependent de trois pammetres ind6ponclants. L 'un des cholx possibles de ces parametres dans 10 cas d'une rotation de I'espace autour de I'origlne eBt le suivant.

Soient deux systemcs d 'axes de c.oordonneos: run x;, X~, X~, fixe et auquel on rapperte toutes les coordonndes, et I'autro XI. Xs, X a, lie invllriablement a 1 'espace en rotation. Pour definir une rotation, 11 Iaut trouver trois parametres qui (16finissont Ia position du second 8Ystome d'axcs par rapport au premier. Soit ON (fig. 1) I'Interseetton du plan X;OX~ avec Ie plan XSOX2• On prend sur cotto droite une direction d~terminee, at soit a.l'anglo X;ON comptd II partir de OX;. Solent encore les angles ~ = X~OXS ot Y = NOX,. Cos trois angles caraeLerisent enti~rement la position du second systeme d'nxos par rapport au premier, c'est-a-drre qu'ils caracterisenL Ia rotation considerce. On In designs par [e, ~, y}. II resulte de ce qui precede quo 10 mouvemont effactu6 est 10 rtisultat de trois mOUVGments successifs : 1) d 'une rotatlon autour do I'axe X~ d'un anglo a; 2) d'une rotation auteur de rue X~ d'un angle ~ i 8) d'une rotation autour du nouvel axe X, d'un angle y. Cos trois angles sont los ungles d'Eulcr. Los limites de variation do ces angles sont: 0 ~ a < 2n; o ~ ~ < :t; 0 ~ i' < 2Jt.

Si P == 0, le mouvement {a, p, y} se ram~ne a uno simple roLation autour do l'axo X3 d'un anglo a + y, et dans ce sens, on a pour 6 quelconque :

.. " ,

,

Fig. 1.

{a, 0, 'Y}={a+6, 0, 'Y-6}.

(7)

82 CH. rt, TRANSPOR1'4ATIONS LtNSAlRBS ET lI'ORlIIES QUA1>RATIQUES

Ce qui vout dire que dans certains cas les parametres {a. P. y} ne correspondent pas univoquoment a une rotation. A des valeurs diffGrentes des param~tres correspondent Ies memes rotations. II est faeile d'obtenir les formules qui exprlment les coefficients ath par les fonctions trigonometriques des angles a, p, y (cl. lIII-i-111). On utlllsera par Ia suite d'autros parametres caract6risant la rotation de l'espace auteur de l'origine et on roviendra sur los angles d'Eulcr.

O-f-2. Transformations llnerures g~n6rales d'un espaee riel a trois dimensions. Etudions maintenant lea transformations Iinealres r6elles du type (2). 0. coefficients quolconques. Supposons toujours que le dcSterminant de In transformation ne soit pas nnl:

I a'it I ~ O. (7)

Dans ee cas. on dit generalemont que la transformation est une trans/ormation propre. Si elle ne verine pas los conditions (5), alle est liee a uno deformation do I'espace (tome II, [IV-2-7]). On notera quo 10 transformation (2) est caraeterisoo pur Ie tableau de ses coefficients it partir duquel on peut definir la loi de transformation d 'un vecteur quolconque ayant los composantes (:Cit :CSt :C3) en un nouveau vecteur do composantes (:c;. :c;, ~. On designe Ie tableau des cuefficlents par une lettro:

all ala al3

A = 421 aq au ,

a31 a32 a&1

ot, comma precedemment, on met co tableau ontro los doubles traits verticaux pour Ie distinguer du determinant qui lui est associ6. On l'appelle matrice, On des.igne Ie determinant du tableau (8) par 1& symbole D (A) qui repr6sente un nombra bien determine. On ccrit symboliquement la transformation (2) sous la forme:

(8)

x'=Ax,

(9)

ou x' est nn vecteur de composantos (:ci, :e;. :e;) et x un vocteur de eomposantes (:eft Z2' :t3)'

La transformation qui laisse chaquo vecteur invaria ble est In trans/ormation tdmtique. A cotta transformation correspond Ie tableau suivant:

100

o i 0 ,

o 0 t I

q Ii O!;t In matrte« unite ot qu'on d6signo par le symbole T.

(10)

11-1. TRANSFORMATIONS LINauRES

83

~n considerant D (A) =1= 0, on peut rdsoudre Ies equations (2) par rapport A. (%1. %:. %3) et l'on obtlent las formu1es:

Au • + 1121 '+ Au '1

Xt = D (A) Xl D (.4) %. J) (A) %;1' J

AtZ' Azz"'+..432 '

%'2 = D (..4) %1 + D lA) .'.ta D (..4) .'.ta •

.A 13 • +..4Z3 • + A33 •

%',= DiA) %1 "'[j'(A)%a D'(.ij'"%a.

(11)

ou Ies .4 Ih soot los comp1emenlaires algebriques des elements a,. dame Ie det.orminant D (A). On dit que ceLte transformation lineaire est 10 transformation inverse de (2) et si Ia motrice de cctto demiere est A, on ctesigne la matrice do III transformation (11) par A-1. Int.roduisons maintenanL une notion importante pour la suite: Ia notion de produit de deux transformations ou de produit do deux matrices. Soient deux transformations lincaires de (%it Z::. ,'1;,) en (%;. ,'1;;, :rJ:

x~ = aux, + al~%:& + 4,s.1:s. }

%1 = a2'%1 + a22Z2 + aza%,. ou x'-Ax, (12)

%; = 431X. + a32~ + au,'l;,

puis de (x~, x;. %;) en (z;. %;. ,'1;;):

x; = bll:l:; + bl~x~ -I- bl,%;, }

M b '.J..b '+1. __ ' ou ,,"=8,,'.

.xz = 21,'1;1' 2z%1 "23X ••

x; = b3tX~ + b32X; + b33:1:;

On pout remplacer ce passago successif do (,'I;" X2' Xli) It (.r.;, z;, r;) puis de (x~. %;. :t'~) n (x~. :r;. :r.;) par le PaES8gt' direct de (Zft ZI, %a) il (x;, :r;. x;) qui sera Bossi nne transformation lineaire:

Xk == Clll:t1 + Ch~:I + C,,3ZlI (k = t, 2, 3). (f4)

On appollo eeue dernicro transformation linaaire produit des transformations (12) et (13), et i1 est indispensable de noter l'ordro dans lequel Ies transformations ont ale effectuccs. On obtiont lea formulcs (14) on subsLituant les expressions (12) clans Ie second membro de In. formula (13). On obtiont directemonL 1 'expression des eM· morals C,1t du tableau du produit deB transformations a pnrtir des el6- ments des tableaux dQS transformations que l'on multiplie :

3

tlll = ~ b,.a,,, _I

(13)

(t. k= 1. 2. 3).

(15)

On 6crit hahltuellement In transfonnntion (14) do In fll~n suivaoto:

x" = BAx. (16)



84 ca n. TRANSPORMATIONS LINa.AIRES ET FORMES C~U.AD"AT[QUW~

La matrice C, dont los 61~ments sont CII, obtenus d'aprds Ills Iormules (15), est 10 produit des matrices A at B; on 6ctit cala sous In fonne suivante:

(17)

ot it fauL liro de droite it gauche I'ordre dans lequel ont ete e[(ecLuees les ttlJnsformations. En tenant compte du t.luioremo de Ia multtplicarton des determinants et des fnrmules (15). on pout ecrj~ 1'6gaJit6 evidenll' pour len determinants associes aux trenslormations t

D (C) = D (H) D (A). (18)

c'est-a-dire que le determinant d'uR produit de tronsiormauon» est egal au produtt des diterminants de C(J$ tramformatlom. II est Iactle de 4l6montror les relations suivantes qui ont un sans gCom6trique simple:

AA-l=A-l.4 ..... I, (19)

Do plus. il fauL remarquer qu'Il resulto du proc6d6 memo par lequol a 4Ste farmoc la transformation inverse que Ia transformation in verse do A _1 est 18 transformation A. En eHet. on u btlen t a nouveau Ies Iormules (2). en resolvollt Ie systcmo (11) JJtlr rapport a :tit. 0" pout ucrire eela do 111 fll~on sulvantc :

(A-It' = A. (20)

La notion de prodult de transformattons pent Hrc 6londue an cas d'un nombre quelconque de facteurs. La ristdLat des transformations successlves de matrices A, B et C 50"8 une nouvelle Irausformation de matrlce D:

D=CBA.

(21)

Sl Il'S rna trices A, B et C on L des 6hlDll'nls alii' bt4. at. C'h, la mau iee D, qui csl lour pruduit, aura des elemcn Ls donnes par Ies formules t

3

d'A = ~ c,.pql.apll.. ,',q=1

(22)

En erret, pour les ~lemlUlt8 do la matrico E = BA, on 1\ les fO"1I11108 :

8

e'A = ~ b,pa,,4. p-I

et onCio. pour In matrico CEt on aura, d'aprC~ (15). les fonnules t 3

d,,, = ~ C''lP-qA' 11-1

II-I. TNANSPORllfATIONS LIN2AInES

c'est-a-dlre precisemont les formules (22). Par la suite, on Msignu souvent les elemenls de In matrice A par 10 RYmbole:

{A}lk'

En ganera~, Ie produit de matrices n'est pas comlDutatif, c'est-adire que BA * AB, mais il est facile do voir qu'il est associnliC; 011 POll" regrouper lea Iacteura:

C (BA) = (CB)A.

(23)

On doit multiplier n gauche Ia mat rico A du premier mornbrc par B, puis multiplier Ie Nsultat obtenu pat" In matrico C. Dans 10 second membre, on dolt d 'abocd multiplier la matrlee B par C, puis multiplter la matrice.A par 1a matrlce que l'on a obtenue par Ie prnduit precedent. ) 1 est Iacllo de voir quo dans Ies deux cas, lea 6lem(\nls do matrice obtsnus dans 10 pro(hlit final s'expriment au moyen des Iormules (22). Cela a deja et6 dernontre pour 1e premier membre. Quant au second membra, on a, on effectu811t suceesslvement ]08 multiplh~,ations incii'luccs:

a

{CB}1I1 = ~ {C),q {B}qlo

11=1

cL

co qui coincido, evidommcnl, avec (22), compte tenu des notatlons ehoisles.

Il funL noter encore un typu important do transformations lin'eaires:

z; = k.xJ ; z; =.~ k'lh. ; ~ .,.... kJX~ (24)

qui se rameno a una dilatation Ie long des ares de eocrdonnees, les cooffictents numdrlquos kt• ki' k3 carach~risanL la valeur do eeue dilatation (ou contmetlon). La maLrico de In transformation qU'QII a indlqude est, eYidornmollt, de Ia forme:

I k. 0 0

1°0 k: 0 o k,

c'cst-a-dire quo tous los elements situ8s all dehors de la diagonale principlIJe sont nuls, Cettc matriee caL uno matric« dlagonale et on In designo par 10 symbolo:

[kh kZt k3J.

86 CH. U. TRA..,,{Sl'ORMATJONS LL".e.AlRES BT Fon~BS QU.\DRATIQUES

Eo po.rticulier. 51 les nombres sont Identlquas, c'est-a-dlre 51 k, = = k., = k3 = k, Itt transformation so \'amona it 10. multipllcation de toutes Ies composantes du vecteur par un seul ct mGme nombre k; ot ce sera, hidomment, uno homothetie ayant pour centre 1 'orlglne des ecordonnees. 'l'out veeteur qui ne chango pas de sons (on considere que k ;» 0) ne varie que par sa longueur. eelle-ct ~tant multiplieo par k, On d6signo ceUe transformution do la fa90n sui.vante:

x'=kx,

c'est.-o-diro qu'on con.siderc le uombre k commc un ens pnrtlcu! ler de matrlce . 11\ matrice diagonala ayant des elements cgaUl: sur 10. diagonale priocipale au nombre k:

I k 0 0

o I~ 0 .

o 0 k

(25)

11 est Iacilo do voir qu'en ut.ilisant (15) Ie produit de ces matrices se rnmello a uno mulupllcatton ordinaire de nombres, c'eslrll-dire :

Ik, k, kHl, l, ll.:: lkl, kl, kl).

n cst en general aise de v6rifier que, pour Ies matrlcos dingonales, on a une lol de multipltcattcn simple:

[kit k1.' k31ll., lz, l31 = [lclll, kzlz., '&:.i31, (2li)

c'05t-a-dire qlle! deux dilatations suecosslves 10 long des axes de coordonnees sont cqui"nlent~s A una dilatation unique (loot lcs cocfficients soot 6gnux au produit des cOl'Uicionts eorrespondants des dilatations composantos. 11 resulte dirccterucnt do In formula (26) que le produit de deux matrleas diagonales ne cbange pas lorsqu'on intorvertit ses fncteurs. En repl-c.~n tant un nombre quelconquo SO\lS forme de matrice diagonnle (25) et en uttlisant 1a formula (t5). on volt facilement que 10 produit kA 58 ramenc a 10. multiplication de tous les 61'ments de In matrice A par le nombra k, Co produit ne depend pas de l'ordre des Iacteurs, e 'est-a-dtre que:

{kA)II,={Alc}f1t==k{A}a,.. (27)

On a consid6re In transforrnatlon linooire Iondamentnle (2) comme une deformation de I'espace, le vecteur de composantes (X1o z~, X3) devenant un nouveau vecteur de composantes (x;, ,1;;, z~), 00 POllt. bien entendu, comme cl-dessus, interpreter cette transformation COJllme uno translormatton ponctuellc OU Ie point de coordonnses (x., X2. x~ devient 10 point do ceerdennees (x;, z~, z;).

On peut utiliscr n'Importe quol systomo d'llXCS pour definir Ies composanles d'un vecteur, c'est-a-dire qu'on pout prendre n'importe

IJ-t. TRANSFORMATIONS LDfJ!lAIRES

87

quel ensemble de trois vecteurs non coplanaires i, j, k comma veeteurs do base. On It alors pour tout vectour x une representation unique de In forme (tome II, IIV-t-31):

x = %Ji + zzJ + %at. (28)

Lea nombres %11 Z:. .%3 sont appeles composantes du vecteur x dans Ie systOme d'axes ehoisi, difini par les veeteurs i, j at k. 11 faut 6tudier I'Influeuce du choix des vecteurs do base sur la forme de Ia trnnsformaLion lin6aire.

Si, dans un systeme de coordonn6cs f16fjni par les vecteurs do base t, j et k, uno transformation lineairo est de la formo (t2), quelle est 18 forme de cotte m6ma transformation lineaire par rapport It un autre systema do coordonn6cs d6fini par los vecteurs il• h, kJ? Suppesons quo las nouveaux vecteurs de base soient exprlmes en fonction des anciens par 105 formules:

it = tui + t12J +luk, } it - tali + t22.i + task,

kJ = t31i + tn) + t33k•

(29)

NOtOllS que Ie determinant forme des coefficients till. ne (loiL pas utl'e nul. Dans Ie cas contraire les vecteurs is, il et k, soraient Jin6- airoment d6pendants, done eoplanatres. Dans Ie nouveau systeme de coordonn6cs. Ie vectsur d6fini par 1a formule (28) aura cle nouvelles composantes :

Yilt +y2l1 + yak ••

Etablissons tout d'abol'd une formule exprimant les nouvelles composantes du vecteur en fonetion des anciennes. En utilisant 1es @xprossions (29) des nouveaux voeteurs de base, on a cvidomment:

3

~ y. (t.tl + t4J + t.3k) = %Il + Z2J + Z3k •

.... J

En comparant los coefficients de t, j ot k, on ohUent des lormulos exptimant las anciennes composantes en fonetion des nouvelles:

3:1 = ttllll + tztY2 + t;stY3, } Za = t12111 + t32Ha + t32113, %3 = tSaYl + tulia + t33lJa.

Le tableau de caUe transformation differs de ce1ui do Ia transformation (29) par Ie fait que las ligo05 sont remplaceas par las colonnes. Ell eUet, dans chaquo ligne du tableau (29) 10 premier indice nc varie pas, et dans Is tableau (30) o'est le second indice. En dcsignant le

(30)

88 en. II. TRA.~8FOnMATJONS LIN:tAtRES BT FORMER QUADRATIQUES

tableau de la transformation (29). par T. Ie tableau de! In transformstion (30) sera ropresent9 par T·' appel4S transposee de T. On peut a lors ecritc les Iormules (30) sous In Iorme abreg60 suivante:

(za. %2, :t3) = 1".' (Yit V2. Y3), (31)

I)U (:tit :t" :t3) designo les t.rois c.omposantes du vccteur par rapport aux anciens vecteurs de base ot (Ylt V'll Ya) celles par rapport aux nouveaux vocteurs (10 base. L 'expression des nouvelles composan tes on Ion tlon des anciennes cst de Ia fonne:

(Vh Yz, Ya) = TC •• -l (:tl' :t2, %3),

OU 1'( •• -1 ost In translormatlon 1incaire inverse tlo 11.'. D'ordinaire on I'appelle contragrediente de T. On designe pour simplifier Ie til bleau qui lui correspond pur la Iettre :

U "'" 1'Url-1. (32)

Done'. Inlsqu'on change Ies veeteurs de base d'aprcs la formulo (2.g), les 'c,()\nllosnntes de Lout vc.et.eur subissont une transformation HraC:uh1.'l do t.able'llU U nssocie c.'1. .1{;fini par Ia formule (32). Ainsi, Ies dou:'C "ontoll"" x (~t" .a-". %a) ot x.' (r; • .r~, r;) qui oppnrnislIOnl. dalls Ia tl"llllsfcu"mntioli (n) "uroflt IljJrUs truflsforlont!lIn dos voctOUl'S do bnso d 'aueres compcsantea dtSflnles on fonctfon des anciennes par Ies lormules ;

(Ya, Y2, Va) = U (Xit Z2, .f.3) i (y;, Y~, V;) = U (x~. x;, x;). (33)

Jl nous faut done dotorminer une relation Iineaire entre las composantes (Uf. Y:, Va) et (y~, Y;, U;>" On peut eCfeeLuer 1e pnssage du vectcur (Yil V:. Y3) au nouveau vecteue (y\. Y;, y;) de la fa~on suivnnto: OD passe d 'abord du vecteur (Yh YI' Y"JJ au vecteur (X1o .'C:t' :r~), ce qui, d'apres (33), se fait a I'aide du tableau U-1, cnsuite ifu vectour (Xit :ts, :ta) au vecteur (X'~, :t;, x;> a I'aide du tableau A de Ia translormatlon (n) et, onfln, du vecteur (x~ .r.; 3;') au vecteur (1/~. V;, Y;) a J'nidc du tableau de traDsformatio~ U: On aura finalemen t. nne transformation Iindaire do Is forme:

'1' =UAO-ly.

(34)

011 dit que cotto transformation est semblable Q In transformation (9) at quo sa matrlce UAU-l est semblable a la matrlce A.

Enon~ons Ie r~sultllt d.mnitif.

St lea formules (33) reprulmtent une transformation liniaire des composan~.s du. vecleur due au cha'l.gement des vecteurs de base, toute trans/urmation linlaire de la forme

x'=Ax

1.1-1, TnA..~SPO:RM.ATJONS L1Nl1JAJRES

89

devient. dans le noull~au systeme de coordonnee«: y'=UAU-1y.

II-I-S, Veetcurs affines cuvarinnts et contrnvnriunts. Supposons quo Je transtormation lin6uiro (9) eXllfimo simplcmcDt le pa!Sogo d'un SY8t~mo de cootdonnees cartesienncs il un autre, c'ost-a-dire quo lieS coofficionts soicmt It!~ eosinus dlrecteurs d6finis par ]0 tableau (3), Dans co cas, eomme on I'a vu (II-l-il, 10 tl1hl~au tranapus6 A (*1 coincido "voo ]e t.abll)all invorse A ~ et, par con so~uent, 10 tabloau contragl'Mient A (.)~ coincido avec 10 t.ableau initial .A, e est-A-dlre:

.,4(.' =A-1; A,·,-t = ... 1, (3.'H

Si ron considore un veeteur qui no varil' IIi ~D ]ongueur ui ~n direction. on Pl'ut affirmcr que 50s c.omposantos se lrans(onoont soh'ant Ies memos rorlOuIes (9) que los coordonnees. c'cst.-A-dire:

Z; = 411.7:1 + a1Z%2 +413%3. } z; ~"Zlrl + 4~Z -T 4z:a%a,

;Iii =431%1 -j- "SzZZ + 4S3%3'

Ahlsi, un vecteur est· carllot.{!rise par tn,ls nembree dans tout !!ysteme dOlln6 de coordonn6es curt~siC)nnD!I. Lor~u'on PIlI!SO d'un systQmtl carl~ic!D a un I1ntrl:. eea truis nembres (compo.t1llotes du vooteur) 8(1 transforment sulvant les UlillO~s tormulc~ (36) IIUO les coordonnees, Supposons mainwnant qu'on t.i"Dnl' compte non suulement. du PSf5.'!4gG d'un syliWme eartesic:n a un autre, ma Is aussi de \OU1M Ies transfonnations lin~aires possibles des coordonnees n un dek>rminnnL nOD nul, eo qui correspond, commo ou 1'a YU, A un choix arbltralnl do trois veeteurs nou coplanams enmme vecteurs de basco Et.udions. en m~me temps que 10 tableau A de la transformation (36), le tableau contragridiont l' = A,·,-l. lis seront dans 10 cas 1J6116rlll diHoronLs, of. L'on pout Binsi avoir deux d6finiliuns du vecteur lurs d uno transformut.ic,n lin61lire queJconquo des coor,lonnees. On peut d'nbClrd d6\unniner un veeteur eoJlWlO un ensemblo do troi" nombros qui so trans[ormoDt., lorsqu'on passe d'un S}'l!li:ml' do coordonnce5 it un autre, !'Clon l(.>l; memes r"rmules que I~s coordoooees "Uf.'Is-m6mes. c'ost-A-dire d'apres Il'! fOnDu]os:

lZi, rt, .7:i) _A (zl' %2, Z:ll. (37)

C'ost un wcltur 4ffint ctmtrtWanant. ot In trnnsCormation Hneaire generato (36) est parlols nppel~ transformation affino. On peut aussl d,Uinlr un veeteur do fa90n quo ses eomposentes, pour touto transformation Jincalro (36), sublssent 18 transformation cClntragredionlo:

(2:1, Zit z;) = V (2'" Z:!, zal. 8)

C'ost. un v«teur o/line cOllarianl.

Dans Ies doux cas, lorsqu'on connait los compusantos d'uu veeteur dUDS un systCOlo quefcoDIlUO de eoordonnees, on n par In meme ses composallt.os dans \O\1S les IUltroS systemull de eeerdonnees obtenus IIU moyen d'une transformation affine 'Iue}conquc. Donnons dl'S oxamples de voeteurs des deux 'nlos. 'l'Ollt d'abord. 10 rayon vecteur unissant deux points dows do l'ospac.c est, 6vidommeat, un vcetour contravllriant pulsque ses eomposantee (Ies dlflerom:.cs dOll C4l1rdoon':og de ses uxtrimi\6s) so trans[ormonL Sttivant lea nWln(lS (urmulu, Uneairo!! quo los eoordnnneos l\Ues-m~mcs. Supposons quo tes eoordlloneos du point (r,. Z:h .:fa) soient des fonctions d'un paramet.ro l ct deflnissons 10 veeteur vitcsso de composantos:

(30)

$0 CU. II. TRANSPORMATIONS LINIUIRB8 .BT PORMES QUADRATIQUES

En diH6renifant les lormules fondnmontalcs (36) par rapport a t, on v6rifie -que 10 veeteur viLesse est aussi un veck'ur contravariant.

DonnODS majnteDant un eXeDlple de vectour covariant. Soit f (~" ~2, zs) une fonct.ion du point daDs l'es'pace: delinissons dans un Qstemo de COOMODDOOS ·qllclcollqUO Ie vocteur appele gradient do cotte lonctioD Cia composantos:

81 81 81

8zt ' liz:. I tn:, •

On Dura, d'ap.re& ]a regIe de dlffcrent.iaUon des fonctions do (onction ot d'npros los formulas (36):

DI iJf iJl aJ

7.i; .... a •• 8~i ..J.."2. dz;' +a31 &z;. (3=1,2, s),

c'M'-1a-d1ro que los composantes du gradient dans 10 S}'Sti:mo d'axes (ZI' Z~l .1:3) 'S'oxpriment au mo~ des comJ)C)santes du gradient daDs Ie sY!1temo d axes l.rj, z;, zi) II l' aide d 'une LrllllSforlDlltion Jineairo do tableau A e·) et, par consequent, les composantos dons 10 systome d'axes (zi.~, z;) s'exprimont. au moy\!o t101J composantes du Rl'8dJont dans Jo s~me d'oxcs (.1:10 Zt, z,) it l'aide d'une lransf()rma~illn liDoaire de tableau .4,.,-1 =0 Y, e'ost-a-diru que Ie gradienL de 10. (ondion OlIt Wl vecteur covariant.

n est faeile d'cxprlmor Jos formulas (87) of. (3S) au moyen des derivees portlel.us des nouvelles coordonnees par rap-port. aUx anetennes ct inverscmeot. lntrodulsons dos notations quelCJue POll dlff8ron.t.es dos J)reoedcntos qui son~ courommont utilise85 dans Ja Lhoorie dos notours. On d6Signe Jes ccmposantes elus veeteues contravarlant.s au moyen d'un Indlee place en baut, at pour les composantes des veeteurs eovariants, on plnco l'indice en bas. Toutetois, on met l'indico en baut, pour diisigner les coordonnees.

On peut roprisonter Jes coeHicionts de la transrormation (36) !Ous forme -de derivOos parl-ielles:

,",z'c"

4,"=--,.- . (39)

Oz"')

Les clements de la malric:c cont.ragrediente V sont :

I' .A;h

·fk .... D(A) •

'U, la matrico (A-J)c.' a los mAmcs clemonts, c'cst-u-dire: (Ae.,)-l_ (A-I)'.),

on peut. clone passor d' abord A Ja matrtee inverse, puis echllDgcr lea Ugnes ot.l&s -eolonu85. Lors du passage a la matrlee inver.sa, Ie coeUicient Ctl ost DzC:". 8.:'('"

'Of. IlPMS transposition on obtient pour les etements de la matrice Y los expres-sloas :

y ~~ )

",-~. (40

Solont. ult, los cornpo5.'lot03 d 'on vo::leur contravariallt dsns d'a;(es .1:e"'. el u'c" dans Ie systQmo .:/el). On a por d9finitioll:

.1

~ 8.1:'1('

U'et,- _ .. el) (. 1 2 3)

- lh;(" ... .- , , •

1=1

10 systeme

(41)

11·1. TRANSPORMATIONS LINi!AlRE8

92

Do mume, par d6Ciuitioo 011 obtiont pour un veeteur covariant.: 3

~ 82:(·'

U-f== --U,o 8,z'Ct, ,-I

(42)

Not.oDS qu'un pout uttliser ces formulcs pour dellnlr los ecmposentes d'un veeteur non seul('mont lors d'uno transfonnatiun llneQire des coordClnn6l's, mars .aussi dans III cas tres uent\ral d'une transformation ou 185 coordonn6os s'exllrimlmt los unes en fonction d.:s autees au moyen de lonetions quclconques, non ho6ain'S I'n gMoral.

11 oxiste encore un moyen JlOur determiner III un veeteur l'St eovarlant, un vecteur contravariant 6lant ilion defini simplomuot. eomme un voctour dont les composant.1!8 se trantdnrment au moyon des mOmes formu1t.s que Ies coordonn6es. Soit un vectl.IUr contravariant ul') ot. un vootour covariant ",.

Formons La SlImmo dos produits:

(481

Elltl I'C!ste mvazlante, c'o5t-a-diro lUO c'est un sealalre, si U·CfI ot Us vlll'iuot. rospectivC)mont suivant 10" formulos 41 et (42).

En ulfet, I.\D 11 d'uprcs la reglo do ifl6rontiali.on des fonct.ions du Ienctlnn ;

333

~ U''''I'~= ~ [~ _{):_;l'_,I_' UCh,] [~ _(J_oZ:'_I'_",]"

~ .a .a 8itll.) .a dz""

.~, 1=1 1,=1 1=1

.... uCl)I', + U~:II"l + uI3,,'3.

Do 80m qu'ayanL determine, par 111 JDULbudo indiquco ci-dcssus, qu'uo voolour est cODtravariant., OD pout trouver la Illi de variation dos composantos "t'UD vecteur covarianL en imposant. quo l'uxpression (4S) soiL invariante. En u\iJjsan~ oxootcment. It's mAm(ll; 1:810u1& que ceu:r. du paragrapho pr6c6donl. un trouvo que si l'oxpression (43) 1'Oste invarlante, les composantt'S u. dQivtloL sublr une transformat.ion lint!aire cunt.rQgredionlo do celle des comJ)CIsanc..:1I UC'I, Le Ice-teuT poul. cJelD(.ntrer que pour louLa ltansformatloll des eoordoDDecs (non (.Ibligatoircmcnllineaire), 10 vectour viLesse est conb'avarillnt et que 10 gradlont d'une (unction cst un vecteur covariant.

On a doCini el-dessus. de fa~on pUl'ClDcnt. formollc. los vecteurs eontravariants et covllriants ill'alde des formwes qui permeUent de pas.wr d'un systeUlo de coordonn&s Ii. un autre, SoU uu voot.our x dont OD connaU 111 gl'andeur eL 1a dlre(,tion. Un systeme de vecteurs do base atant denni, on ohtien, los composantos du vootcur au moyon de la formu)o (28). Cos r.omposantes sont des compo.santes contrl1variantes e~ on pout moUre la formulo (28) sous la forme:

(44)

La compo$anl# cOllulanle du voctour :r. par ra.pport au vccteur de base I est 18. valeur de III projection orlhogonalo do x sur 1 mult.iplieo par la longu~ur de 1, et it en ost de m~mo puur lea doux nutres vecteurs do base. On 11 ainsi trois oomposllDtos covadantes (z" Z:a. %,) pour cbaque syst.Ome de vocteurs do base, ()n pout. montror qu'allea se t.ransformeDt commu 18$ eompo511ntos d'un vect.eur covariant lorsque rOD passo d'un s)'sti:me do vccLeurs do base u. un aut.re. Dans co cas, on demontre que l'oxprossion ,z<lIZJ + z(2)%1 + ZlllZ3 donne le carrO do la longueur du vcctour It et qu'o110 reate Clone iDvarianto par rapport a LouLe transformation des vecteurs de base.

92 CR. 11. TR.\XSFORMATIONS LlN£AInES £T FORMES Ql.IADRATJQlmS

I(.J.4. Notion de teneeur, Gen6raUsons mninl.cWult I" notion 110 vecteur, EtudloDS d'aborcllps tranMormat.iun!llin~niros des eoordunn~s, Solt un tablesu de ncuf nomhrcs dODuos dans un syslOldo de coordonnees t

b'A (I, /C ... d, 2, 3).

Pormene )'oxprcssion:

3

~ b,,,u,tl,,(lu, (oiZ,)

',11-1

ou net, or. v('" sont. Jes COm)IOSIiOlos do (lo«x veeteurs contravariant.s, En passant. i\ de nouvelles ooordunniiOlJ, en pellt. oxprimer dans l'axproSlihm (-is) Uli, at ",,'" en [oDelion des noavullus composantos u'c" or. v' (II' at en a uinsi l'oxpl'Ossion (45) !!UUR 111. Ierme :

3 s

~ ",,,u"'vC/I, - ~ b;"""I)V'(I1,, c'-Ui)

"'i'. _I t, '-.

DaDS 10 nouveau !lystcm~ de coordonn6es 011 a un tabJeau do noW nom bros avee pour 61emeots b;", ell tableau. dofini dans n'Impcrte quel sYII~ de CUOldQDU6c:S en iDlposant que l'expresslon (45) soU invarianlo, cst uu IIfTU"ur CQ{'a,.,allt du dtw:icme ordre; Do m~me, 5i I'on prend deux vecteurs ",varianls ,II.' eumposantes "I el u" l!1. ,.i l'on «'l'me l'oxpn'ssiun:

3

~ bd,l<tUlC/k' 1017)

i,II=1

en so dennan; un tableau .10 nouf nombrcs bll,'" dans un systlomo qu~lconqu& do eoordonn6es llt en ImpOl!nnt. quo 1\'xpl'OlI.,ion (1,7) soit invarianLe. on obt.lont. un tableau do n"uf nombres danl! n'jmportc <11101 aut.'"" sysl()mo do eoortlolln\los. On aJ6£init niu.'1i un UTUlfllr rontr(ll'anant d" dcuzilime ordre, Enlin. on pn.'lluul un veeteur contravariant. do C!l.tnpo!'antl1S 1.,1. et un vecteue covariant do coruposantes UA ot. en formant J'l.'xptoSEoion:

.1

~ bi"'",l.,..,,, ltV;)

t.~1

on I1rriv,", cle In m~rne ratOn 0. lil noljoD do UTlleu,. mizte d., dcuzieme ordr~,

MontroJls mailllclluni. JIl fQ~on dent 011 peut, 3\'CO les c:.ocffieionts de III transrormation lineairo des courclono6os (36). kriro los formul(!s qui expnment IU$ composanLos d'un teusour daolf lin nouveau syslemc do C~l(Inlonn6os on functiou de ses compo!lllnWB dans I'aneten systoJUO. ConsicI6roD.' d'uhonl Ie cas d'un tenseur covariant du douxi~.mo orllN. T.os eomposantos Ulll ut u(I.) des veeteurs C(lnt.I"llVllrtant..s dans J'anclen SYt'tOmc de eoordonn6cs s'cxrrirncnt avec let' composanws u 'Ctl ot u' ,t., daus III nouveau systOIDO do eocrdonntes au moyon d'lano transformatittn linuuire "" tablellu .4 -1. En dosignant Jos eJement.$ <ill ,'I) In),lellll par (A -J ),,,. on a:

3 a

u,h .... L (A-1tl" u"."': £,'.'= ~ {A-I} 11,11' (It,.

11-1 h-I

En subsUt.uant dnns l'exprossion (-'5) ot en dci(inill!!Dot. 10 COl!Uic:.iolll. ell! prllduit u' (hv' (h" on obtloJlt. l'exlll'ussion do Ja eomposante bill du tcnseur elQIIS

11-[. TRANSPOIUIATIONS LINB.uR~S Ie neuveau syst.c.me de coordonncos:

II

hi,,=- ~ bl''l{.tl-llpl. {A-l Iqh'

7'. """I

93

Dans 10 eas d'un t.(!n~"l' oonttavoriant. du dOllXi"ma urclro, on IIxllrimc exeetem~t do 10 m&nu IUl:on lo~ CIII!lpO~n\~ dcs voelAJI"'S covarloottl ut "l L' ell fonctlon des nnuvuUC$I c:ompt,1Iantus, D IIP~ 10 d4finiUon Il" voclour r.ov.ri"Bnl

, . '

lit ~ expr1mc en ranction do ~, an muyen dll t.al,lu8u A (·'-1 ot, 111\1' cono;Oquen\.,

u-t. s' cxprimo en ronctiun de ~ I1U moyen du t.ablo8u "C-, \rl\nspos6 (1" ~ahtl\u.u .It .. i\ 01\ est de memo pOUl' II,. c'u!lt.-u-dlro ~

3 a

11,= ~ tA}ht u~; llf = ~ {Alllf I;j.,

11=1 " .. 1

Ell porLnnt ees valeurs dnos "oxpression (47), on obHont los Iormules do transformation des compesantee d'un len.."Our cont.ravariunt du deuxieme ordre t

3

b'li, 11)= ~ bCP,'I) fA}rp {.A}1lq'

1', Q-1

(50)

On a exaetomcnt de la Jlleme rfl~on, pour lc:s ecmpesantes d'un lUlIllrllr mlxte du dewciomo ordre, Ia formulo ele transformat.ion suivante :

:l

b;(II) = ~ b~q) {A-lipl fAlffl1' (51,

J). q==1.

Si I'on (I."(prime los coefficionts do III I.ransCormation hn6all'O AU moyen des dcriveus p:ul.icl1cs:

cJZ'dl ,J.2:(1)

--C)t

liZ"') 8z'II"

0\ si )'on porte CU5 expressions dans los formules pr6cOdlmtes. on 0 1011 flll'mulos de tranHformntion des tenseura du e)ouXitmlO ordre dans 10 cas d'uno transforma\Jon do coordonoees qlloleonquo. On peut d6finir do (a~n tout a fait analoguo la llotion de tonseur d'nrdru superiour n doux, mais nous no nous y lU"litorons I'BS.

On s'ost l-rouve jUSfJll'ici toujours on presence d'un tabloau ropresentanL nne transCorBloiiOD )in6aJr(~ d'un cspaee iJ trois dimensions rapporto a des axes de coordonneo8, Soit B ee tableau, ot SUPPOSODS que I'on ait e([oc1.06 uno transformatfcn affine des coordonnees I!lIivant lOll rormulC!ti;

(11., Y2. Va):. A (1:h z~. %3),

ou if Olot un tableau qui a un dotorminant non nul. Comme on l'u tl':munLni plus hau". 10 I.ransformaUon do l'ospacc aura, dans los nouvellos coomonnees, 10 tableau:

ADA-1,

Cutto transformation du tableau H coincide, coDlDle on Ie oonstato fncilement, evee Ia t.ransformation indiqub plus haul. pour un tonteur mixte du deuxiemo ordre. En elfet., si I' on appUquo los regJes de multiplication des ta-

04 r.R. Jr. TRANSFOnMATIONS Ll~~AIRES ETFORMES QUADnATIQUBS

bleaux, on a los formulos suivantos: 3

{BA-1lq; .... ~ {Btqp{A-l},.,. ,-1

ct

3 8

{A (BA-t)lhl= ~ {A}I&qf.BA-l}g,- ~ {Blql' {A-Slpl (A~"q.

~t p,~t

En designant (8),~ par b~t), on obticnt des (orlDules de In formo (51) ExaminODS quelques tC!D~urs plU'ticuliol'B. Supposons qu'un tensour eovariunr. nit dans un systOmo do coordonneos 111 propnete suivante:

b'h.-bhl (I. k=l, 2,3). (52)

Jt osL facile de constater qu'il nura In m~mo propr16t6 duns n'importo que] autro sYlIt.Omo de c:oordonm'C!I. En effol, d'llpres (4g):

3

bi.,- ~ bpq {A-ljpll (A-It.ll

1','1=1

eu complo ten a dl' (52) :

3

b~,= ~ bqp {A-I},,,,, {A-l'ql,

p,q-t

OU, si. I'en chango los Indices do Aommaf.ion: 3

bitt = ~ bpq{A-Ilq" {A-l}]lio

p,q_l

d'ou l'on voit quP. b;'t coincide efreetivemont 8Vl'G bile. Co tonseur e~ un t~'u'u,. cOllllriant l1/mltrique. La definition d'un tntHU" tontrtW4ri.ant 8!}mltriq"" est

analegue, Si dans un syst~me de coordonnoos on a b,lt = -"tt, OU bet,'" = = -/Jf"'.', it em sora do meml' dans n'iml'C1rl.o quo I autro systeme de c:nordolln~~, C!t ]olllonscurs eorr~spondants sant dost,mtun arati-rymltriquu. Pour un lonsoul'

mixto, In rolation bi~) ... b~t) n'ost p]UI! vorifleo luI's d'uno translOl'UUltion dos CClOI't1onnoc8. Passens maintoDonf. a ]'6Lltdo de quelques cas particllliors do tenseurs,

lJ~.·5. Excmples do tenseurs fJrlbogonaus aUinos. Dans Ie! oxemplos fl.livunL'! nons nous limlteron» DIIX transformations lineaircs deja t:l.udi60s 111-1-11 Clui CCtrnll'pClndcnt au P"ss~o d'uo ayslcmo (',nrt6sicn A un 3"&1'(\. Cos trans(nrmllt.it'D' sent nppoieO-!I habltuollcmont t.rafls(ormatinns orthogonaJes dam; lin C!"p'tce i\ lwill dimension,;. J'OUI' elles, In transformation contragredioncl.' A (.)-1 coincido avec A, eomme on I'a dejA VU, 4.1t U n'y 0 plus de cJifferl'nc:o ontrn veeteur eovarlent eL vC!C'tour contravariant. On n'cml'l1 pour eo.'. t.ransformations ,Il' cfJ(.rd()nneC!~ qu' une $01110 notion de tenseur clu deuxleme omro. En d6.'Iif,lllanl Je tllblonu des coefririonts do la trnnsformnU(\J1 ortbogonale dos cllor- 1I(l01l6c1I. eomme ci-dessus, Jlltr lA },A' on ohtil'1I1 la formule de transformatinn:

8

\ b;".·- ~ bM {All" {Alhq' (:')3)

P. '1=1

n-i, TIlAt'SPOlWATIONS t INEAmES

95

qui resulte de8 formules du paragmphe pree'dent. On con.'Jidere los ,nemonls do chaque colonno du tableau II bUI II eomme los compos8D!.'.'s d'un veeteur, On a ainai trois veo\ellJ'S:

b(t) (bu, b2h b31) ; b(2) (b 12. b2!!. b3z); be31 (bI3. b23, b33).

On suppoSC'ra que Ie premier veetour ('.omspond i\ J'axe Zit Ie second a l'axe %1 et 10 1roillfemc a l' an %'s. On assncio a touto direction ell) Ie veetour hi"· au moyen de lit formule:

blft) =cos (II. %'.) bill + eos (n, zz) bel' + cos (n. %3) bI3,. (&4)

Pronons mnint.cnant des axes carlesicns que)conquO$ (Z1' z~, zj) a la place des allci(!(l5 (Zt, Z2, zJl, et d6tcrmin(lnll d' Aprils Ia formule (M) des VOl'teurs correspond ant aoX directions des nOUV84UX axes de coordonnecs:

b'ell, = 1:0,. (z~, zs) bell +C05 (:z~, %'2) ))1:II+C08 (zi, .:t3) b(3). (5:;)

Sf l'on etudio los projl!Ctions do cos vocteurs SUI' de nouveaux axes do eonrdonnc:es zi, zi, ri. on a un tabJoau do ne,,( nomhros II bi .. II analogue au, tableau II "tl{ II. n6monll'ons que les oMmen's du nouveau tabl~.,u s'exprimont en fonr.tillll des elemenLs du tableau bll, d'a~s los formulr..s de lransformnt·ion. lies composantos des 1.0n~urs du deuxlcme ordro. SOiL. en lItret., l'olEmemt bit. Par d.!tlnil.ion, c'est In composanta du veetellr b'll) SUr 10 nouvel axe z;. La, formula (55) donne:

b'ezl=eos(z:, IZ'I)brl'+cos(zi, :r:z}he21+eos(%'s' Z.1)b(3" (5(;)-

d'oit l'on voit que b'''' ost. une ronction 1i08aUo des veotours hit) of. 11 suUiL, pour ohtenJr bit, de remplaeor daDS 10 second mombra do Ia formulo (56) 1080 veetours hIlI par leurs projeel.ions sur J' axe zj, c· ost-aod ire de remplaccr ees v(!c·teurs par las expressions suivantes: b., cos (zi, z,)+ "', cos (:ri, Z2) + + b" COli (zj, Zl) (I 0:: 1, 2. 3). 11 faut remarquoJ" en outre quo, d'apres l~ lableau (2), CO!! (zi. zl&) - aliI .... {A tIlt.

En portant ees oxpre~ions dans Je second mombJ'l\ do 1a Jormule (50), on n ~ 8

b;t c: ~ bpq {Al,I' {AI2q.

fI, '1-1

ee qui (1st analogue a la formule (53). On peut, dooo, alfir.mor que si IroisveetlluJ"S. bIll, bel), h(3) sont IX'rpendicula(rell ot sf d'aPris )a formule (M) un vocteur ost dlHini quollo que sou, la direolion (ll), 10 tableau de neul nom bros, qui donnenl Ic'J projections des veeteurs h,(h) (k = 1. 2. 3) sur l'ue z'tl" dans un SYSl~me d~ coordonnoos cartesiennos guelconquo. dennit un lonsollr ortbngnnnl aUiue du douxicme ordre, c'est-i\-diro un lnDsour du dou.'tl~mo orore d6(ini 110111" toules )1''3 transformations ortho,onalt's possibles.

n fnut remurquer que lorsqu on diL que belt correspond au Irons do rue ZI' 1'01n ne A1goifia lias quo htll doit avoir III memo direotion que rue .r,. S~u1~ la formula (54) cst tlis import.anto: elle a!8ocie ii une direetion (n) un vccLllur ben, dent III cli1"(loUon ne eoinclde pas en g6n6ral avoc (n).

Donnons mointonanl donx cxcmpl~9 do tonsours orlhogonalL'C affines du deuxium& ororo. La llremler cst 1& tenseur dll." contraintes en €Iosticite. Etur1iellls un corps elast.iqllo delorme; on fait passer par un point fjx~ M do co currll liM mrfoce infiniment ~olil(! da ayant pour normalo (n). 00 mont.ru dans 10 thenri" de l'61astieiL' qu$ 1 action de III partie clu corp~ e:lastiqun, qui so trouvo du ('.61& do la normale dlmnie par SOD sen~, sur ceuo surfnoo est egalo ou Jlroduit r1'II" vCGteur br"" dependant do sens de la normalo (n), par In surraeo da. En 6tudlaol les conditions d'oquilibro d'un tetraedro inflnlmont pl'1.it l'XlNit

96 ca. n. TRAN!Sl'ORMATJONS LIN2AlRES ET PORM"~S QUADnATIQUES

du corps elast.lquo, on obUont l'~gallte (54) et In contrainle est bIen un lonsour du dUlIxiomc onIro. Co tunSQur sera oaruot6rise dans n'importe quel sysw.mo do r.norclOllnoi)S carte!liennes par un tableau de nuw nombres II b'A II, t't ce tensour, commo on 10 demontre en elnsticit6, est symetriquut c'ost-A-diro que bill ...... bill' AlItrolRunt dit, Ill. llroJectioR sur Itaxo %1 .10 in contraintu allissant sur uno surface peljloJldiculairo a rue z" est cigalo a la projection sur 1 axe Zit de la c.ontrainte agissant sur uno surface pel"Jll'JlcJieulairo it l'ut' :r,.

Passons maintenallt. nun outro exemple (Ie tenseur, Solt un champ vect.oriul C (M). 5i ron I>rend un sysiCRiu do c.oordonnOOs eartesiennes (%J' .7:" .z:,) et. qu'on prennn les derivees deli onmp()I'antes du olUlmp (CI' cz, l'3) pal' rapport aux courdonnees, on obtiont un tableau do ueuf grandours:

/Jel iJcl OC1
lJ.zI i)zz tJz3
i)C'l, Bc'l, OCa (5;)
/JzJ O~ iJz3
lJc3 OCa BC3
i}:&s azz {)Z3 011 d6finit. pour UDO diroction qUE>]oonqllu (n). 10 vecteur corl'88pondant iI eeue dlrect.ion C(linme chant. Ia (Ierlv!!u :: • de sorte que les elements du tableau (57) qui so truuvobL dons la k-iumo colonno, donnent Ies eompll$lnlo" du veeteur correljp(lndant a Ia direction de l'axe z/&. On a pour touw diroetlon (n) la formulo (Lome 11. II V-2-2)) :

i1l:, tic, ill', • ac i

-:;-=cus(n, z.);;-+cos(n.~) -::;-;-cos(n, Z3)~ (i=1. 2. 3) •

.,11 ..,.r I "%2 uZ:J

c·e$t,..Q-cliro quo Ie tableau 9ui vient d'olre d~rini o~L lin tenseur du deuxiome ordre, r.c te1l!(!ur nu srra en genllml ni sytUtri~ue ni antillymetriquo. :'\fal:! it est facile .Jo 10 moUre seus {orme do la somme d un lllnseur symetrlque at d'un teuseur unLisymctriqu~, 51 l'un entoDd par somme de deux tableaux la somme des vIe.. monts corre.sIMlndants dE> ees deux tableaux,

FatllClIlH i)'ahord quelques remarques g6nel'1lles. Les formulas (53) ~tant lin6airos, 11 en nSslIlto quo sl II b'h II ut II etA II sont deux tenaeurs. la S(llWllO " b"e + CflJ II cst 6galomonl. un tenseur, Do plus. cotto formule reste vrate ~I 1'1!n inlorvcrl.i& les lndlees, c'est-a-dire que :

3

hi.i - ~ bqp Vilip {/l}',q,

II,qaol

do 8orto que IIi des tablE>8ux definis pour tous las IlXIlS donDont nn tansour, Jes to.bloaux transpol!4Ss donnent I\ussi un tenseur. Soit un tenseur II b,,, II. 00 pout 10 mettre SOU8 forme de 1a sommo:

Lo promior terme osl ovidemmeot un toll8Our sym6trlque ot le second UP teo8Out anl,jsym.6trique.

11-1. 1'llANSl101U1ATlOXS LI~AlJ!ES

97

~II appllqnant ee pl'oe4dl\ au I.c!nsou, d6flni Jlur 10 tableau (511, sa )la1'Ue symIlLriqu~~ l'.at;

,let 1. ( iJel +~) ,l .. ( iJt, ..L (}(".'J )

d~, ' 2 tn2 (lxs 2 OZ3' iJTI

_!_ ( (ICt -I~ ck'l. ) ,)cz I (iJcz . 8(3) (58)

2 /IT-2 ,lz, dzz • 2 IJz;! 'T ,J"z

1.( iJC1+ 11('3) ..!.(.!!!:!...L~) It,.

2 tJz3 tJ.f., '2 UZ3 I)~ Ora

S'iI Y II una dt1formation du miUl.'U eontlnu ot 81 Me 08' Ju veeteur d611lncemenl. c'olSt-D.-dire 10 veeteur dont S(l deplace Ie pulnt. M du milieu. Ie 'ahleau (58) d6finit le Ittn''fIr de» de/orllls'ions, La partio antisymetriqoo ell! t~n!lOur est':

O. 21 ( ~CI _ IJt2 ) • {( ~CI _ IJ(,'J )

u~z o.J:, ~ u.r.~ Orl

! ( :~ - :~ ) . 0, ! ( ::~ - ::::) (G9)

_!_ ( '-'C3 _ ,ie t) 1. ( iJc3 _ ')C2 ) U

:! (lr.l dZ3 '2 ';.1'1 Dz'J •

On a d6ja divi~ un tenseur CD dllllX I)arties dans 10 CIlS )larticulit'r d'lIDG (hHur'WiLiun Iln~aire hClIDogi:no (tome 11, IIV~2-7J) et l'on a vu que, dans ee eas, UDe rot.atioD du milieu continu (suns deformation) uulonr d'un Q~C correllpolldait il 1a partie an~isymetrique •

.11-1-6. Cas d'un espace complcxe 8 n dimensions. Considol'OIlS mainteuant Io cas goneral (l'un e.'!I)3CO a n dimensions. OIL 4 deja. clit qu'un vectour dans cet espaee est une suite de n nombres reels Oil complexes [I-2-51:

x ex" %2' •••• xn).

Ces nombres sont Ies composantes du vecteur x, On suppose que I'espace suit rapport6 A des vscteurs de base detelmines:

am (:2, O •. , •. 0); ae:8) (0, f, , .. ,0); .,.; a(nl (0, O. _. _, f), de sorte qne:

(60)

On a deja defini (1-2-51 Ia condition pour quo deux vecteurs soleut egallx. c..lt les operations 6lCmcntairet; qu'on effectue sue oux.

On appelle transformation lineaire dans un espacc il n dimcusiulls le passage d 'un vecteur x ($, • .%2' ' • " xn) n un veeteue Y (y,- Yt,

•• _0 Yn) suivant las formulcs:

y,=-alJx,+a,2Xz+ ,. _ +a,,,.%,. (i= 1, 2, _ ..• Il). (61)

OU:

y=Ax,

(62)

7-!l1I

98 cu. II. TRANSl'ORM.ATIONS LIN:£AJHES ET FORMES QUADBATIQUES

ou A est Ie tableau ou 1a matriee II a,II II~ de la transformation. Si son doterminant D (A) n'est pas nul, on dit que la transformation (62) e~t uno transformation non sin h\re et quo la matrice A est une matrloe (un tableau) non sin iero. ans ee cas, on obtient cn resolvant l'equation (61) par rapport a ~l la transformation Inverse de (61) ou (62):

X=A-ly, ou Ie tableau A-l a pour elements:

{A-I} _ A,,, . ,It- D (II) ,

on designe Ie determinant du tableau A par D (A) et les complsmeutaires alg6briques des elements a,,, par A,",

Ensuit8, d'une fa~on identique a Ia prer.edente [H-1-21, on definit Ie produit de deux transformations eomme I'applteation successive de deux transfo.rntations:

(G3)

(64)

y=AXj

ce qui est equivalent a une transformation lineaire: z=BAx,

qne l'on appelle prodlltt des transformations A ct H et dOllt le tabloau est defini par:

n

{BA},1t=~ {H},.{Ah".

.=1

(65)

Ce produit depend ggneralemcnt do I'ordre des Iaeteurs, c'est-a-dlre que (saul exception) on a:

BA~AB.

Il est facile d'etendte 10. definition du produit au cas d'un nombre quelronque de Iacteurs, de plus, le produit est assor.iatif, c'est-~-djre qu'on peut regrouper les facteurs :

(CE) A =C (BA).

La Lrunsformation inverse v~rifio les relo.tions:

(66)

AA-l = A-1A =.T;

(67)

oil ron a.l6signe par le symbole I la matrice unite dont les alements situes sur Ia diagooale pelncipalo sont egau.~ il un , et dont tous les llUtrc.c! 61Omonts sent nuls. La traosformaUon ident.ique 1/1 = ~I (i = 1, 2 •... , n) correspond a cette matrlca.