2. It is easy, by induction, to arrive at the general results:--

A determinant of the order n is the sum of the 1.2.3...n products which can be formed with n elements out of n² elements arranged in the form of a square, no two of the n elements being in the same line or in the same column, and each such product having the coefficient ± unity. The products in question may be obtained by permuting in every possible manner the columns (or the lines) of the determinant, and then taking for the factors the n elements in the dexter diagonal. And we thence derive the rule for the signs, viz. considering the primitive arrangement of the columns as positive, then an arrangement obtained therefrom by a single interchange (inversion, or derangement) of two columns is regarded as negative; and so in general an arrangement is positive or negative according as it is derived from the primitive arrangement by an even or an odd number of interchanges. [This implies the theorem that a given arrangement can be derived from the primitive arrangement only by an odd number, or else only by an even number of interchanges,--a theorem the verification of which may be easily obtained from the theorem (in fact a particular case of the general one), an arrangement can be derived from itself only by an even number of interchanges.] And this being so, each product has the sign belonging to the corresponding arrangement of the columns; in particular, a determinant contains with the sign + the product of the elements in its dexter diagonal. It is to be observed that the rule gives as many positive as negative arrangements, the number of each being = ½ 1.2...n. The rule of signs may be expressed in a different form. Giving to the columns in the primitive arrangement the numbers 1, 2, 3 ... n, to obtain the sign belonging to any other arrangement we take, as often as a lower number succeeds a higher one, the sign -, and, compounding together all these minus signs, obtain the proper sign, + or - as the case may be. Thus, for three columns, it appears by either rule that 123, 231, 312 are positive; 213, 321, 132 are negative; and the developed expression of the foregoing determinant of the third order is = ab'c" - ab"c' + a'b"c - a'bc" + a"bc' - a"b'c.