Bourbaki

Proposition 14

Tag 03RJ, permanent. Cite it as [Bourbaki, Tag 03RJ].

Theory of Sets, chapter III, § 5. Properties of integers

Let nn be an integer >0> 0. Then the number ana_n (resp. bnb_n) of ordered pairs (i,j)(i, j) of integers such that 1⩽i⩽j⩽n1 \leqslant i \leqslant j \leqslant n (resp. 1⩽i<j⩽n1 \leqslant i < j \leqslant n) is 12n(n+1)\frac{1}{2}n(n+1) ((resp. 12n(n−1)\frac{1}{2}n(n-1))).

For bnb_n is the number of subsets of 2 elements in [1,n][1, n]; hence

bn=n!2!(n−2)!=12n(n−1).b_n = \frac{n!}{2!(n-2)!} = \frac{1}{2} n(n-1).

The value of ana_n is deduced from this by noting that the set of ordered pairs (i,j)(i, j) such that 1⩽i⩽j⩽n1 \leqslant i \leqslant j \leqslant n is the union of the set of ordered pairs (i,j)(i, j) such that 1⩽i⩽j<n1 \leqslant i \leqslant j < n and the set of pairs (i,i)(i, i) where 1⩽i⩽n1 \leqslant i \leqslant n. Thus an=n+bn=12n(n+1)a_n = n + b_n = \frac{1}{2} n(n+1).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2004, Springer. Not translated.