Theorem·T51
Basic properties of the triangular numbers
Triangular numbers strictly increase, and every value up to and including the current top fits strictly below the next one.
For every
and
with
:
and, for every
and
with
:
In words
For any two naturals in increasing order: their triangular numbers are also in increasing order. For any natural at most the current top: adding it to the current triangular number still falls strictly short of the next one.
Never needed: F05 · F10 · F13 · A02 · A03 · A04 · A05 · A07 · A09 (computed from the citation graph, not asserted).
Proof
- 1
- 2Monotonicity. By induction on : for the claim is vacuous (no ). Assume the claim for (every has , the induction hypothesis "IH"); show it for . Applying Gap with , (using ): , and since (L17, adding ), . Now let , i.e. (L15). If , this is exactly , just shown. If , the IH gives , and combined with by transitivity: .
- 3T05 concludes: the monotonicity claim holds for every , hence for every .
∎
Remarks
The gap property is what makes the pairing map
injective: each "diagonal"
contributes a block of
to the range of
, entirely below
, so distinct diagonals never collide, and within one diagonal,
is read straight off by subtracting
.