Nous allons vérifier ce théorème en supposant n = 3 et
nous allons montrer que le déterminant
alaLx-+-b
'iPi-H^tyi
«i«»4-*iPi4-c1
yi «i a$ 4- b{
P3 4-ciy,
«*<*! 4- ^tPi 4- c,yi atat 4- ^(3, 4- cty% ataz 4- £,p, 4- c,y3
««ai H- ^sPi 4- c,y, a,a, -h 63|3f 4- c3y, a, a8 4- 68P* 4- c,y,
est bien le produit des deux déterminants
at bx cx
«i Pi 7i
a% bt c,
et Q =
*t Pi y»
a» Ps y3
En effet, d'après le théorème du n° 58, on peut commencer par décomposer le déterminant R en trois déterminants, en prenant successivement, au lieu de la première colonne, chacune des trois colonnes partielles qui la constituent et en conservant les deux autres colonnes composées. On pourra opérer de même sur les trois déterminants obtenus, en décomposant également leur deuxième colonne en trois colonnes partielles, ce qui donnera en tout neuf déterminants. Enfin, en opérant encore de même sur la troisième colonne de ces neuf déterminants, on verra finalement que le déterminant R est la somme de vingt-sept déterminants à colonnes simples.
On voit par là d'une manière générale que si, dans un déterminant, chaque élément est la somme d'un certain nombre de termes tels que chaque colonne puisse se résoudre en colonnes partielles, la première en m colonnes, la deuxième en n colonnes, la troisième en p colonnes, etc., le déterminant proposé est égal à la somme de tous ceux qu'on obtient en prenant successivement, dans le déterminant proposé et dans les déterminants qui en dérivent, au lieu de chaque colonne composée, l'une des colonnes partielles qui la constituent, c'est-à-dire, dans le cas indiqué, à la somme de mnp... déterminants simples.
Revenons à notre vérification.
Le déterminant R étant la somme de vingt-sept déterminants, si l'on prend ensemble les premières, ou les deuxièmes, ou les troisièmes colonnes partielles des colonnes composées, on en a évidemment trois de la forme
ax a, ax a, ax a3 a3 a] a% ax a% a3
= aiaiai
a, at a, «1 «t «t «1 «i «3
En prenant successivement deux colonnes partielles de même rang dans deux des colonnes composées et en les associant avec une colonne partielle de rang différent prise dans la colonne composée restante, on a dix-huit déterminants de la forme
axotx axctt à,(33 at0Ci a%xt bt$z
a\ a\ l*i a, a, bt a, a% bt
Il ne reste plus que six déterminants qu'on obtiendra en prenant une colonne partielle de rang différent dans chaque colonne composée de R, et qui seront successivement
«i«i 2>iPî cxyz a, a, ft,|3, c2y3 «3«i *>*?% c3y3
«i«i Ciy* £ip3
«î«i ctyt 6,(33 ! ™— aiyj(33 a, bt ct (46),
bx$x axccx cxyz
btfii a,a2 c,y3 | — — pja.ya a, 6, c, (46),
^3 Pi «3 ai ^3
^Pi cxyt ata3
^Pi c2yj a,a3 = Piyia»! «j ^ c2 (46),
^3^1 <V/s aja,
ctyi axat 6tf3,
c2y1 a2a2 6sj3a — yi«j?3 a, 6S c, (*6),
c,y, fcjPs «!«,
cjyi 62pf ^2«3 = — yiP2«3 ' «î ^i v* (46),
C3yi *l?l «3 «3
c'est-à-dire qu'on a finalement
«1 ^i c, I R=r at bt ct\ az bt cz I xtaipjy, — «^^«-t-yiOiPi — Piotty» + Piyt«,— yiPi«i)
= «îPsya
Cj
™— «iyt(5,
— — Pi«iyi
Cz
Cz
— yi«i?3
= — yiPî<*3
Cz
ALGEBRE SUPÉRIEURE.
ou (60)
«1 t>y Ci
ax bt Ct 4s &s c%
«i Pi Yi «* Pi yj «s ps y5
