You're reading: Posts Tagged: Pascal’s triangle

Numbers and number patterns in Pascal’s triangle

This is the fourth in a series of guest posts by David Benjamin, exploring the secrets of Pascal’s Triangle.

Triangles and fractals

If we highlight the multiples of any of the Natural numbers $\geq 2$ in Pascal’s triangle then they create a pattern of inverted triangles.

Diagrams showing Pascal's triangle, with numbers in hexagonal cells, with cells coloured as per their factors; in each of six diagrams, the multiples of 2, 3, 6, 7, 10 and 11 are shaded, and each gives a different pattern - all containing smaller triangles shaded the same colour

The images above are evocative of the Sierpinski sieve (also known as the Sierpinski gasket or Sierpinski’s triangle), a fractal described in 1915 by the Polish mathematician Waclaw Sierpiński (1882-1969).

Image of the Sierpinski sieve/triangle, in blue on a white background
The Sierpiński Sieve
A bronze coin showing a profile of Waclaw Sierpinski, a bald-headed man with glasses. Text around the coin edge reads 'Waclaw Sierpinski Prezes T.N.W; 1931-1951'
Medal of Waclaw Sierpiński in the Yale University art gallery

Fractals are beautiful geometric shapes. Small, even down to (theoretically) infinitesimal areas of a fractal are identical to the entire shape. The Koch snowflake, generated geometrically by successive iterations on an equilateral triangle, is an example of a fractal. Julia sets and Mandelbrot sets are examples of fractals generated using recursion on complex functions. Many examples of fractals appear in nature, and the Polish-born French-American polymath Benoit Mandelbrot (1924-2010) suggested that fully developed turbulent flows are fractals.

It is a lovely surprise to discover that a simple fractal can be found inside Pascal’s triangle. It is achieved by considering all the numbers in the triangle modulo 2 – equivalent to colouring in only the multiples of 2, as in the first diagram at the top of the post. In this version, every odd number becomes $1$ and every even number becomes $0$, and by considering sufficiently many lines of the triangle, the Sierpinski pattern emerges.

A red Sierpinski triangle with the gaps filled in black
The areas containing the odd numbers have been shaded red and the areas containing the even numbers, black.
Pascal's triangle with numbers modulo 2; cells containing 1s are red and 0s are black, and the pattern matches that of the Sierpinski triangle
Pascal’s triangle modulo 2. The entries when concatenated can be read as binary numbers which are palindromic.

Number patterns in the triangle

If we consider the first 32 rows of the mod$(2)$ version of the triangle as binary numbers: $1, 11, 101, 1111, 10001,…$ and convert them into decimal numbers, we obtain the sequence:

\[1, 3, 5, 15, 17, 51, 85, 255, 257, 771, 1285, 3855, 4369, 13107, 21845, 65535, 65537, \]

\[196611, 327685, 983055, 1114129, 3342387, 5570645, 16711935, 16843009, \]

\[50529027, 84215045, 252645135, 286331153, 858993459, 1431655765, 4294967295\]

Interestingly, all members of this sequence are factors of the final term, $4294967295 = 2^{32} – 1$. Since this is one less than a power of two, it’s a Mersenne number. Why the first $31$ terms are all factors of the 32nd term is difficult to summarise here but there is a thread on StackExchange discussing what happens to the pattern after the $32nd$ term.

$4294967295$ has prime factorisation $3 \times 5 \times 17 \times 257 \times 65537$. These five prime factors are Fermat numbers – numbers of the form $2^{2^{n}}+1$ – in this case with $n = 0, 1, 2, 3$ and $4$. As of the time of writing these are the only known Fermat numbers which are also prime.

These patterns in the rows of the triangle are intriguing, and my own efforts to understand them have uncovered a few other interesting discoveries – notably, that while the 32nd term is not divisible by the 33rd, the 34th term is exactly 3 times the 33rd. The pairs of terms after that seem to alternate, as they do from the start of the sequence, between a non-integer ratio and a ratio of exactly 3, which I conjecture is a pattern that will continue.

Two welcome appearances

$e$ and $\pi$ are two of the most used transcendental numbers. The Swiss mathematician Leonhard Euler (1707-1783) connected them with the most beautiful equation, called Euler’s identity:


There are many approximations connecting $e$, $\pi$ and other irrational numbers to be found here.

In 2012 Harlan J. Brothers proved that

\[\displaystyle\lim_{n\to \infty} \frac{\ \displaystyle\frac{s_{n+1}}{s_n}\ }{\displaystyle\frac{s_n}{s_{n-1}}}=e\]

where $s_n$  is the product of the numbers on row $n$ of Pascal’s triangle. The proof can be found on Cut the Knot, part of the wonderful website of Dr Ron Knott.

In 2007 Jonas Castillo Toloza discovered a connection between $\pi$ and the reciprocals of the triangular numbers (which can be found on one of the diagonals of Pascal’s triangle) by proving

\[\pi= 2 + \frac{1}{1} + \frac{1}{3} – \frac{1}{6} – \frac{1}{10} + \frac{1}{15} + \frac{1}{21} – \frac{1}{28} – \frac{1}{36} + \frac{1}{45} + \frac{1}{55} – \ldots\]

Three proofs are given on Cut the Knot.

Harmony in the triangle

The infinite sum of the reciprocals of the Natural numbers is called the harmonic series, $H_n$, where

$H_n = \frac{1}{1} + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} \ldots$

The series is divergent, but it crawls its way towards infinity, and takes $15092688622113788323693563264538101449859497$ terms just to pass a total of $100$.

The harmonic series can be used to create a version of Pascal’s triangle – the series itself is placed along the two leading diagonals, and the entries are then related by each being the difference of the fraction to its left, and the one diagonally above it and to its left. For example, $\frac{1}{30} = \frac{1}{5}-\frac{1}{6}$.

A triangle like Pascal's but with fractions in place of numbers; the rows read 1/1; 1/2 1/2; 1/3 1/6 1/3; 1/4 1/12 1/12 1/4; 1/5 1/20 1/30 1/20 1/5; 1/6 1/30 1/60 1/60 1/30 1/6

Dividing the first term in the $n^{th}$ row by every other term in that row creates the $n^{th}$ row of Pascal’s triangle. The table below shows the calculations for the $5^{th}$ row:

$\frac{1}{5}$ $\frac{1}{20}$ $\frac{1}{30}$ $\frac{1}{20}$ $\frac{1}{5}$
$\frac{1}{5}\div \frac{1}{5} =1$ $\frac{1}{5}\div \frac{1}{20} =4$ $\frac{1}{5}\div \frac{1}{30} =6$ $\frac{1}{5}\div \frac{1}{20} =4$ $\frac{1}{5}\div \frac{1}{5} =1$

In our next post, we’ll talk about probability and statistics in Pascal’s triangle, and consider some of Pascal’s other contributions.

Sequences in the triangle and the fourth dimension

This is the second in a series of guest posts by David Benjamin, exploring the secrets of Pascal’s Triangle.

Sequences in the diagonals

There are many sequences of numbers to be found in Pascal’s triangle. The Natural numbers occur in the second diagonal, running in either direction, and the next two diagonals after that contain other important sequences:

Sequences in the diagonals

There are many sequences of numbers to be found in Pascal’s triangle. The Natural numbers occur in the second diagonal, running in either direction, and the next two diagonals after that contain other important sequences:

Second place in a single-elimination tournament

Trophy for Joint 2nd Place, awarded to "???"

I made a silly joke, and it made me think.

You may be aware that our own Christian Lawson-Perfect is running the Big Internet Math-Off here at the Aperiodical, a single-elimination tournament with sixteen competitors. I was knocked out in round one by the brilliant Alison Kiddle. I joked that if Alison went on to win, then I’d be joint second.

I’ve been mulling this over and I felt there was something there in thinking about the placement of the non-winners in such a tournament, so I had a play.

The 12 Days of Christmas and Pascal’s Triangle

Reader Marc Chamberlain sent this video in a bit too late to get in our advent calendar, but it’s about the 12 days of Christmas so we’re still cool, right?

Open Season – Singmaster’s Conjecture

Science and maths are all about finding things out. Mathematics in particular is about making statements, and then determining their truth (or falsity). Finding a proof, or disproof, of a mathematical theory can be as simple as finding a counterexample, or it can take hundreds of authors tens of thousands of pages.

In this short series of articles, I’m going to write about some mathematical questions we don’t know the answer to – which haven’t yet been proven or disproven. Hopefully you will find it interesting, and maybe someone will even be inspired to delve deeper and find the answers themselves.