Файл:Square 3-colorings.svgThere are 21 colorings of the four corners of a square using three colors (up to symmetry), a doubly triangular number, formed by combining two of the six colorings of two opposite corners
In mathematics, the doubly triangular numbers are the numbers that appear within the sequence of triangular numbers, in positions that are also triangular numbers. That is, if <math>T_n=n(n+1)/2</math> denotes the <math>n</math>th triangular number, then the doubly triangular numbers are the numbers of the form <math>T_{T_n}</math>.
The <math>n</math>th doubly triangular number is given by the quartic formulaШаблон:R
<math display=block>T_{T_n} = \frac{n(n+1)(n^2+n+2)}{8}.</math>
The sums of row sums of Floyd's triangle give the doubly triangular numbers.
Another way of expressing this fact is that the sum of all of the numbers in the first <math>n</math> rows of Floyd's triangle is the <math>n</math>th doubly triangular number.Шаблон:R
In combinatorial enumeration
Doubly triangular numbers arise naturally as numbers of Шаблон:Not a typo of objects, including pairs where both objects are the same:
Another example of this phenomenon from combinatorics is that the doubly-triangular numbers count the number of two-edge undirected multigraphs on <math>n</math> labeled vertices. In this setting, an edge is an unordered pair of vertices, and a two-edge graph is an unordered pair of edges. The number of possible edges is a triangular number, and the number of pairs of edges (allowing both edges to connect the same two vertices) is a doubly triangular number.Шаблон:R
In the same way, the doubly triangular numbers also count the number of distinct ways of coloring the four corners or the four edges of a square with <math>n</math> colors, allowing some colors to be unused and counting two colorings as being the same when they differ from each other only by rotation or reflection of the square. The number of choices of colors for any two opposite features of the square is a triangular number, and a coloring of the whole square combines two of these colorings of pairs of opposite features.Шаблон:R
When pairs with both objects the same are excluded, a different sequence arises, the tritriangular numbers <math>3,15,45,105,\dots</math> which are given by the formula <math display=inline>\binom{\binom{n}{2}}{2}</math>.Шаблон:R
