Title: Condensation of Determinants
Author: Lewis Carroll
Release date: September 8, 2011 [eBook #37354]
Most recently updated: September 4, 2026
Language: English
Other information and formats: www.gutenberg.org/ebooks/37354
PROCEEDINGS OF THE ROYAL SOCIETY OF LONDON.
From January 11, 1866, to May 23, 1867, inclusive.
VOL. XV.
LONDON:
PRINTED BY TAYLOR AND FRANCIS,
RED LION COURT, FLEET STREET.
MDCCCLXVII.
[Pg 1]
By the
Rev. C. L. Dodgson, M.A.,
Student of Christ Church, Oxford.
Communicated by the Rev. Bartholomew Price, M.A., F.R.S. Received May 15, 1866.
If it be proposed to solve a set of simultaneous linear
equations, not being all homogeneous, involving
unknowns, or to
test their compatibility when all are homogeneous, by the method of
determinants, in these, as well as in other cases of common occurrence,
it is necessary to compute the arithmetical values of one or more
determinants—such, for example, as
Now the only method, so far as I am aware, that has been hitherto
employed for such a purpose, is that of multiplying each term of the
first row or column by the determinant of its complemental minor, and
affecting the products with the signs and
alternately, the
determinants required in the process being, in their turn, broken up in
the same manner until determinants are finally arrived at sufficiently
small for mental computation.
This process, in the above instance, would run thus:—
But such a process, when the block consists of ,
, or
more terms, is so tedious that the old method of elimination is much
to be preferred for solving simultaneous equations; so that the new
method, excepting for equations containing
or
unknowns, is
practically useless.
The new method of computation, which I now proceed to explain, and for which “Condensation” appears to be an appropriate name, will be found, I believe, to be far shorter and simpler than any hitherto employed.
In the following remarks I shall use the word “Block” to denote any number of terms arranged in rows and columns, and “interior of a block” to denote the block which remains when the first and last rows and columns are erased.
The process of “Condensation” is exhibited in the following rules, in
which the given block is supposed to consist of rows and
columns:—
(1) Arrange the given block, if necessary, so that no ciphers occur in its interior. This may be done either by transposing rows or columns, or by adding to certain rows the several terms of other rows multiplied by certain multipliers.
[Pg 2]
(2) Compute the determinant of every minor consisting of four adjacent
terms. These values will constitute a second block, consisting of
rows and
columns.
(3) Condense this second block in the same manner, dividing each term, when found, by the corresponding term in the interior of the first block.
(4) Repeat this process as often as may be necessary (observing that in
condensing any block of the series, the th for example, the terms
so found must be divided by the corresponding terms in the interior
of the
th block), until the block is condensed to a single
term, which will be the required value.
As an instance of the foregoing rules, let us take the block
By rule (2) this is condensed into ; this, again, by
rule (3), is condensed into
; and this, by rule (4), into
, which is the
required value.
The simplest method of working this rule appears to be to arrange the
series of blocks one under another, as here exhibited; it will then be
found very easy to pick out the divisors required in rules (3) and (4).
This process cannot be continued when ciphers occur in the interior of any one of the blocks, since infinite values would be introduced by employing them as divisors. When they occur in the given block itself, it may be rearranged as has been already mentioned; but this cannot be done when they occur in any one of the derived blocks; in such a case the given block must be rearranged as circumstances require, and the operation commenced anew.
The best way of doing this is as follows:—
Suppose a cipher to occur in the th row and
th column of
one of the derived blocks (reckoning[Pg 3] both row and column from the
nearest corner of the block); find the term in the
th
row and
th column of the given block (reckoning from the
corresponding corner), and transpose rows or columns cyclically until
it is left in an outside row or column. When the necessary alterations
have been made in the derived blocks, it will be found that the cipher
now occurs in an outside row or column, and therefore need no longer be
used as a divisor.
The advantage of cyclical transposition is, that most of the terms in the new blocks will have been computed already, and need only be copied; in no case will it be necessary to compute more than one new row or column for each block of the series.
In the following instance it will be seen that in the first series
of blocks a cipher occurs in the interior of the third. We therefore
abandon the process at that point and begin again, rearranging the
given block by transferring the top row to the bottom; and the cipher,
when it occurs, is now found in an exterior row. It will be observed
that in each block of the new series, there is only one new
row to be computed; the other rows are simply copied from the work
already done.
The fact that, whenever ciphers occur in the interior of a derived block, it is necessary to recommence the operation, may be thought a great obstacle to the use of this method; but I believe it will be found in practice that, even though this should occur several times in the course of one operation, the whole amount of labour will still be much less than that involved in the old process of computation.
I now proceed to give a proof of the validity of this process, deduced from a well-known theorem in determinants; and in doing so, I shall use the word “adjugate” in the following sense:—if there be a square block, and if a new block be formed, such that each of its terms is the determinant of the complemental minor of the corresponding term of the first block, the second block is said to be adjugate to the first.
[Pg 4]
The theorem referred to is the following:—
“If the determinant of a block , the determinant of any minor
of the
th degree of the adjugate block is the product of
and the coefficient which, in
, multiplies the determinant of
the corresponding minor.”
Let us first take a block of terms,
and let
represent the determinant of the complemental
minor of
, and so on.
If we “condense” this, by the method already given, we get the block
and, by the theorem above cited, the determinant of this,
viz.
Hence
which proves the rule.
Secondly, let us take a block of terms:
If we “condense” this, we get a block of
terms; let us denote it by
If we “condense” this block again, we get a block of terms, each
of which, by the preceding paragraph, is the determinant of
terms
of the original block; that is to say, we get the block
;
but, by the theorem already quoted,
; therefore
; that is,
may be obtained by “condensing” the block
.
This proves the rule for a block of terms; and similar proofs
might be given for larger blocks.
[Pg 5]
I shall conclude by showing how this process may be applied to the solution of simultaneous linear equations.
If we take a block consisting of rows and
columns,
and “condense” it, we reduce it at last to
terms, the first of
which is the determinant of the first
columns, the other of the
last
columns.
Hence, if we take the simultaneous equations,
and if we condense the whole block of coefficients and constants, viz.
we reduce it at last to
terms: let us denote them by
,
, so that
Now we know that , which may be written
in the form
.
Hence the terms obtained by the process of condensation may be
converted into an equation for
, by multiplying the first of
them by
, affected with
or
, according as
is even or odd. The latter part of the rule may be simply expressed
thus:—“place the signs
and
alternately over the several
columns, beginning with the last, and the sign which occurs over the
column containing
is the sign with which
is to be
affected.”
When the value of has been thus found, it may be substituted
in the first
equations, and the same operation repeated on
the new block, which will now consist of
rows and
columns. But in calculating the second series of blocks, it will be
found that most of the work has been already done; in fact, of the
determinants required in the new block, one has been already
computed correctly, and the other so nearly so that it only requires
the last column in each of the derived blocks to be corrected.
In the example given opposite, after writing and
alternately over the columns, beginning with the last, we first
condense the whole block, and thus obtain the
terms
and
. Observing that the
-column has the sign
placed over
it, we multiply the
by
, and so form the equation
, which gives
.
Hence the -terms in the first four equations become respectively
,
,
, and
; adding these values to the constant
terms in the same equations, we obtain a block of which we need only
write down the last two columns, viz.
[Pg 6]
We then condense these into the column,
and, supplying from
the second block of the first series the column
, we obtain
as the last two columns of the second
block of the new series; and proceeding thus we ultimately obtain the
two terms
,
. Observing that the
-column has the sign
placed over it, we multiply the first
by
, and so
form the equation
, which gives
. The values of
,
, and
are similarly found.
It will be seen that when once the given block has been successfully condensed, and the value of the first unknown obtained, there is no further danger of the operation being interrupted by the occurrence of ciphers.
|
|
|
|
|
|
The Society then adjourned over the Whitsuntide Recess to Thursday, May 31.
Minor typographical corrections and presentational changes have been made without comment.
New original cover art included with this eBook is granted to the public domain.