The Central Idea

Pascal's triangle begins with a single \(1\):

\[ 1 \]

Each new row begins and ends with \(1\).

Every interior entry is found by adding the two entries above it.

The first several rows are

\[ \begin{array}{ccccccccc} &&&&1\\ &&&1&&1\\ &&1&&2&&1\\ &1&&3&&3&&1\\ 1&&4&&6&&4&&1 \end{array} \]

These are not arbitrary numbers. They are binomial coefficients.

Rows and Binomial Coefficients

If the top row is called row \(0\), then row \(n\) contains

\[ \boxed{ \binom{n}{0}, \binom{n}{1}, \binom{n}{2}, \ldots, \binom{n}{n} }. \]

For example, row \(4\) is

\[ \binom{4}{0}, \binom{4}{1}, \binom{4}{2}, \binom{4}{3}, \binom{4}{4}. \]

Evaluating gives

\[ \boxed{1,\ 4,\ 6,\ 4,\ 1}. \]

Row Numbering

We will number the top row as row \(0\).

Therefore:

This numbering matches the top index in \(\binom{n}{r}\).

Constructing the Triangle

Start with

\[ 1. \]

Place \(1\)'s at the ends of every new row.

To find an interior entry, add the two numbers above it.

For example, from

\[ 1,\ 3,\ 3,\ 1, \]

the next row has interior entries

\[ 1+3=4, \] \[ 3+3=6, \] \[ 3+1=4. \]

So the next row is

\[ \boxed{1,\ 4,\ 6,\ 4,\ 1}. \]

Why the Interior-Addition Rule Works

The recursive rule comes from Pascal's identity:

\[ \boxed{ \binom{n}{r} = \binom{n-1}{r-1} + \binom{n-1}{r} }. \]

The two entries directly above \(\binom{n}{r}\) are precisely

\[ \binom{n-1}{r-1} \]

and

\[ \binom{n-1}{r}. \]

Their sum creates the new entry.

A Counting Explanation of Pascal's Identity

Suppose we want to choose \(r\) objects from \(n\) objects and focus on one particular object \(A\).

Every selection falls into exactly one of two cases.

If \(A\) is excluded, choose all \(r\) objects from the remaining \(n-1\):

\[ \binom{n-1}{r}. \]

If \(A\) is included, choose the remaining \(r-1\) objects from the other \(n-1\):

\[ \binom{n-1}{r-1}. \]

Add the disjoint cases:

\[ \boxed{ \binom{n}{r} = \binom{n-1}{r} + \binom{n-1}{r-1} }. \]

The First Eight Rows

\[ \begin{array}{ccccccccccccccc} &&&&&&&1\\ &&&&&&1&&1\\ &&&&&1&&2&&1\\ &&&&1&&3&&3&&1\\ &&&1&&4&&6&&4&&1\\ &&1&&5&&10&&10&&5&&1\\ &1&&6&&15&&20&&15&&6&&1\\ 1&&7&&21&&35&&35&&21&&7&&1 \end{array} \]

Each row can be generated either recursively or directly from binomial coefficients.

Row \(5\)

Row \(5\) contains

\[ \binom{5}{0}, \binom{5}{1}, \binom{5}{2}, \binom{5}{3}, \binom{5}{4}, \binom{5}{5}. \]

Therefore,

\[ \boxed{1,\ 5,\ 10,\ 10,\ 5,\ 1}. \]

Symmetry

Every row of Pascal's triangle is symmetric.

This follows from the identity

\[ \boxed{ \binom{n}{r} = \binom{n}{n-r} }. \]

For example, row \(6\) is

\[ 1,\ 6,\ 15,\ 20,\ 15,\ 6,\ 1. \]

Reading left to right or right to left gives the same sequence.

Why the Rows Are Symmetric

Choosing \(r\) objects from \(n\) determines exactly which \(n-r\) objects were not chosen.

Therefore, selecting the included objects and selecting the excluded objects are equivalent descriptions of the same division.

That gives

\[ \binom{n}{r} = \binom{n}{n-r}. \]

The Outer Diagonals

The outermost entries are all \(1\):

\[ \binom{n}{0}=1 \]

and

\[ \binom{n}{n}=1. \]

There is exactly one way to choose no objects and exactly one way to choose all objects.

The Next Diagonal

Moving inward one diagonal gives

\[ 1,\ 2,\ 3,\ 4,\ 5,\ 6,\ldots \]

because

\[ \binom{n}{1}=n. \]

Thus the natural numbers appear directly in Pascal's triangle.

The Triangular-Number Diagonal

The next diagonal contains

\[ 1,\ 3,\ 6,\ 10,\ 15,\ 21,\ldots \]

These are the triangular numbers.

They are given by

\[ \binom{n}{2} = \frac{n(n-1)}{2}. \]

For example,

\[ \binom{6}{2}=15. \]

The Tetrahedral-Number Diagonal

The next diagonal contains

\[ 1,\ 4,\ 10,\ 20,\ 35,\ldots \]

These values are

\[ \binom{n}{3}. \]

They are sometimes called tetrahedral numbers because of their geometric interpretation in three-dimensional figurate-number patterns.

Row Sums

The sum of row \(n\) is

\[ \boxed{2^n}. \]

In symbols,

\[ \boxed{ \sum_{r=0}^{n}\binom{n}{r}=2^n }. \]

Example: Sum of Row \(4\)

Row \(4\) is

\[ 1,\ 4,\ 6,\ 4,\ 1. \]

Its sum is

\[ 1+4+6+4+1=16. \]

Since

\[ 2^4=16, \]

the row-sum identity holds.

Why Row Sums Are Powers of Two

An \(n\)-element set has

\[ \binom{n}{r} \]

subsets of size \(r\).

Adding across all possible subset sizes counts every subset:

\[ \sum_{r=0}^{n}\binom{n}{r}. \]

But every element independently has two choices:

Therefore, there are \(2^n\) subsets.

Alternating Row Sums

For every \(n\ge1\),

\[ \boxed{ \sum_{r=0}^{n}(-1)^r\binom{n}{r}=0 }. \]

This means

\[ \binom{n}{0} - \binom{n}{1} + \binom{n}{2} -\cdots+ (-1)^n\binom{n}{n} = 0. \]

Example: Alternating Sum of Row \(5\)

Row \(5\) is

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1. \]

Alternating signs gives

\[ 1-5+10-10+5-1. \]

Therefore,

\[ \boxed{0}. \]

Even and Odd Subset Counts

The alternating-sum identity implies that for \(n\ge1\), an \(n\)-element set has equally many even-sized and odd-sized subsets.

Since there are \(2^n\) subsets total, each category contains

\[ \boxed{2^{n-1}} \]

subsets.

The Hockey-Stick Pattern

Certain diagonal sums form another binomial coefficient.

The identity is

\[ \boxed{ \binom{r}{r} + \binom{r+1}{r} + \binom{r+2}{r} +\cdots+ \binom{n}{r} = \binom{n+1}{r+1} }. \]

The shape traced through Pascal's triangle resembles a hockey stick.

Example: Hockey-Stick Sum

\[ \binom{2}{2} + \binom{3}{2} + \binom{4}{2} + \binom{5}{2} = \binom{6}{3}. \]

The values are

\[ 1+3+6+10=20. \]

And

\[ \binom{6}{3}=20. \]

Why the Hockey-Stick Identity Works

Suppose we choose \(r+1\) objects from

\[ \{1,2,\ldots,n+1\}. \]

Classify the selections by their largest selected element.

If the largest element is \(k+1\), choose the remaining \(r\) elements from the first \(k\) elements:

\[ \binom{k}{r}. \]

Adding over all possible largest elements produces the hockey-stick sum.

Shallow Diagonals and Fibonacci Numbers

Another striking pattern appears by summing entries along shallow diagonals.

The sums begin

\[ 1,\ 1,\ 2,\ 3,\ 5,\ 8,\ 13,\ldots \]

which are Fibonacci numbers.

One version of the identity is

\[ \boxed{ F_{n+1} = \sum_{k=0}^{\lfloor n/2\rfloor} \binom{n-k}{k} }. \]

Example: A Fibonacci Diagonal Sum

For \(n=5\),

\[ F_6 = \binom{5}{0} + \binom{4}{1} + \binom{3}{2}. \]

Therefore,

\[ 1+4+3=8. \]

Indeed,

\[ F_6=8. \]

Powers of Eleven Pattern

The first few rows of Pascal's triangle resemble the digits of powers of \(11\):

\[ 11^0=1, \] \[ 11^1=11, \] \[ 11^2=121, \] \[ 11^3=1331, \] \[ 11^4=14641. \]

This works directly only while every entry is a single digit.

Why Carrying Becomes Necessary

Row \(5\) is

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1. \]

These cannot simply be concatenated as decimal digits because \(10\) is not a single digit.

However, if decimal carrying is handled correctly, the relationship with powers of \(11\) continues.

This is an interesting numeral pattern, not the defining structure of Pascal's triangle.

Pascal's Triangle and Binomial Expansions

Row \(n\) gives the coefficients in the expansion of

\[ (a+b)^n. \]

For example, row \(4\) is

\[ 1,\ 4,\ 6,\ 4,\ 1. \]

Therefore,

\[ (a+b)^4 = a^4+4a^3b+6a^2b^2+4ab^3+b^4. \]

The Exponent Pattern in a Binomial Expansion

In the expansion of

\[ (a+b)^n, \]

the exponent of \(a\) decreases from \(n\) to \(0\), while the exponent of \(b\) increases from \(0\) to \(n\).

The general term is

\[ \boxed{ \binom{n}{r}a^{n-r}b^r }. \]

Pascal's triangle supplies the coefficient \(\binom{n}{r}\).

Example: Expand \((x+y)^5\)

Row \(5\) is

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1. \]

Therefore,

\[ \boxed{ (x+y)^5 = x^5 +5x^4y +10x^3y^2 +10x^2y^3 +5xy^4 +y^5 }. \]

Why Binomial Coefficients Appear in the Expansion

Write

\[ (a+b)^n = (a+b)(a+b)\cdots(a+b). \]

To produce a term containing exactly \(r\) copies of \(b\), choose which \(r\) of the \(n\) factors contribute \(b\).

There are

\[ \binom{n}{r} \]

ways to make that choice.

Therefore, the coefficient of \(a^{n-r}b^r\) is \(\binom{n}{r}\).

Pascal's Triangle as a Recursive Algorithm

Pascal's triangle provides a simple algorithm for computing binomial coefficients without evaluating factorials.

  1. Start with \(1\).
  2. Place \(1\)'s at the ends of each new row.
  3. Add adjacent entries from the previous row to create each interior entry.
  4. Repeat until the desired row is reached.

Example: Build Row \(6\) from Row \(5\)

Start with row \(5\):

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1. \]

Add adjacent pairs:

\[ 1+5=6, \] \[ 5+10=15, \] \[ 10+10=20, \] \[ 10+5=15, \] \[ 5+1=6. \]

Add \(1\)'s at the ends:

\[ \boxed{1,\ 6,\ 15,\ 20,\ 15,\ 6,\ 1}. \]

Computing a Single Entry Recursively

To find

\[ \binom{9}{4}, \]

Pascal's identity gives

\[ \binom{9}{4} = \binom{8}{3} + \binom{8}{4}. \]

Since

\[ \binom{8}{3}=56 \]

and

\[ \binom{8}{4}=70, \]

we obtain

\[ \boxed{\binom{9}{4}=126}. \]

Pascal's Triangle and Lattice Paths

Binomial coefficients also count shortest lattice paths.

To move \(r\) steps right and \(u\) steps up, choose which

\[ r \]

of the

\[ r+u \]

total step positions are rightward.

Therefore, the number of shortest paths is

\[ \boxed{\binom{r+u}{r}}. \]

Why Lattice Paths Follow Pascal's Recursion

Any path reaching a given lattice point must arrive from one of two neighboring points:

Therefore, the number of paths to the point is the sum of the path counts to those two predecessor points.

This is exactly the same addition rule used in Pascal's triangle.

Pascal's Triangle as a Dynamic Program

The recursive construction is an example of a broader computational idea: build larger solutions from previously computed smaller solutions.

Instead of recalculating

\[ \binom{n}{r} \]

from factorials each time, we reuse nearby values.

This is an elementary example of dynamic programming.

Local Rule, Global Structure

Pascal's triangle is generated by a very simple local rule:

\[ \boxed{\text{new entry}=\text{upper left}+\text{upper right}}. \]

Yet this local rule produces global patterns involving:

This is a recurring theme in discrete mathematics: simple recursive rules can generate rich large-scale structure.

Parity Patterns

If we mark every odd entry and leave every even entry unmarked, Pascal's triangle develops a repeating triangular pattern.

At larger scales, this pattern is closely related to the SierpiƄski triangle.

This occurs because binomial coefficients have strong modular patterns, especially modulo \(2\).

A full treatment belongs to later discrete and number-theoretic topics, but the pattern is worth recognizing here.

Entries Modulo Two

Reducing each entry modulo \(2\) changes every even number to \(0\) and every odd number to \(1\).

For example, row \(4\)

\[ 1,\ 4,\ 6,\ 4,\ 1 \]

becomes

\[ 1,\ 0,\ 0,\ 0,\ 1. \]

Row \(5\)

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1 \]

becomes

\[ 1,\ 1,\ 0,\ 0,\ 1,\ 1. \]

Pascal's Triangle Is Infinite

The triangle has no final row.

For every nonnegative integer \(n\), there is a row containing

\[ n+1 \]

entries:

\[ \binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n}. \]

The displayed rows are only the beginning of an infinite recursive array.

Each Row Has \(n+1\) Entries

Row \(n\) runs from

\[ r=0 \]

through

\[ r=n. \]

Therefore, row \(n\) contains

\[ \boxed{n+1} \]

entries.

The Middle of a Row

Binomial coefficients increase toward the center of each row and then decrease symmetrically.

If \(n\) is even, the unique largest central entry is

\[ \binom{n}{n/2}. \]

If \(n\) is odd, the two central entries are equal:

\[ \binom{n}{(n-1)/2} = \binom{n}{(n+1)/2}. \]

Example: Middle of Row \(8\)

Row \(8\) is

\[ 1,\ 8,\ 28,\ 56,\ 70,\ 56,\ 28,\ 8,\ 1. \]

The largest entry is the center:

\[ \boxed{\binom{8}{4}=70}. \]

Example: Middle of Row \(7\)

Row \(7\) is

\[ 1,\ 7,\ 21,\ 35,\ 35,\ 21,\ 7,\ 1. \]

The two middle entries are

\[ \boxed{35,\ 35}. \]

Pascal's Triangle and Probability

Binomial coefficients count the possible locations of successes among repeated trials.

For example, in \(n\) trials, exactly \(r\) successes can occur in

\[ \binom{n}{r} \]

positional patterns.

This is why Pascal's triangle appears naturally in binomial probability calculations.

Example: Four Trials

With four success-failure trials, the possible counts by number of successes are

\[ \binom{4}{0}, \binom{4}{1}, \binom{4}{2}, \binom{4}{3}, \binom{4}{4}. \]

Thus the counts are

\[ \boxed{1,\ 4,\ 6,\ 4,\ 1}. \]

These are exactly row \(4\) of Pascal's triangle.

Pascal's Triangle and Repeated-Object Arrangements

The coefficient

\[ \binom{n}{r} \]

also counts distinguishable arrangements of \(r\) identical objects of one type and \(n-r\) identical objects of another type.

The repeated-object formula gives

\[ \frac{n!}{r!(n-r)!} = \binom{n}{r}. \]

Thus every entry in Pascal's triangle has a repeated-arrangement interpretation.

Pascal's Triangle and Binary Strings

The entry

\[ \binom{n}{r} \]

counts binary strings of length \(n\) containing exactly \(r\) ones.

Therefore, row \(n\) classifies all \(2^n\) binary strings according to their number of ones.

Example: Binary Strings of Length Five

Row \(5\) is

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1. \]

Therefore:

The total is

\[ 32=2^5. \]

Common Error: Starting Row Numbers at One

Different sources sometimes number rows differently.

In this lesson, the top \(1\) is row \(0\).

This convention ensures row \(n\) contains

\[ \binom{n}{0},\ldots,\binom{n}{n}. \]

Always check the row-numbering convention before interpreting an exercise.

Common Error: Adding the Wrong Pair

Each interior entry is the sum of the two entries immediately above it:

\[ \boxed{\text{upper left}+\text{upper right}}. \]

Do not add entries from the same row or skip positions.

Common Error: Forgetting the Edge Ones

Every row begins and ends with

\[ 1. \]

These boundary entries correspond to

\[ \binom{n}{0} \]

and

\[ \binom{n}{n}. \]

Common Error: Treating the Triangle as a Memorized Number Pattern

Pascal's triangle should not be treated as a list of unrelated rows to memorize.

Its structure comes from

\[ \binom{n}{r} \]

and Pascal's identity.

Understanding those principles allows any row to be reconstructed.

Common Error: Using the Powers-of-Eleven Pattern as the Definition

The resemblance to powers of \(11\) is a secondary numeral pattern.

It becomes inconvenient once row entries exceed one digit.

Pascal's triangle is fundamentally defined by binomial coefficients and the recursive addition rule.

Common Error: Mixing Row and Entry Indices

In

\[ \binom{n}{r}, \]

\(n\) identifies the row.

The value \(r\) identifies the position within the row, beginning with \(r=0\).

Thus the fourth entry of row \(6\), counting from \(r=0\), is

\[ \binom{6}{3}=20. \]

A Reliable Procedure for Building Pascal's Triangle

  1. Begin with row \(0\): \(1\).
  2. Place \(1\) at both ends of the next row.
  3. Add adjacent entries from the previous row.
  4. Place each sum between its parent entries.
  5. Repeat until the required row is reached.
  6. Check that the row is symmetric.
  7. Check that row \(n\) has \(n+1\) entries.
  8. Check that the row sum equals \(2^n\).

A Reliable Procedure for Reading an Entry

  1. Identify the row number \(n\).
  2. Count positions from \(r=0\).
  3. Write the entry as \(\binom{n}{r}\).
  4. Use symmetry if the mirrored position is easier.
  5. Evaluate by factorials, recursion, or known rows as appropriate.

Example: Full Construction Workflow

Construct row \(7\) from row \(6\).

Row \(6\) is

\[ 1,\ 6,\ 15,\ 20,\ 15,\ 6,\ 1. \]

Add adjacent pairs:

\[ 1+6=7, \] \[ 6+15=21, \] \[ 15+20=35, \] \[ 20+15=35, \] \[ 15+6=21, \] \[ 6+1=7. \]

Add boundary \(1\)'s:

\[ \boxed{1,\ 7,\ 21,\ 35,\ 35,\ 21,\ 7,\ 1}. \]

Check the row sum:

\[ 1+7+21+35+35+21+7+1=128=2^7. \]

Practice 1: Build the Next Row

Starting from

\[ 1,\ 5,\ 10,\ 10,\ 5,\ 1, \]

construct the next row.

Practice 2: Identify an Entry

What is the value of

\[ \binom{8}{3}? \]

Practice 3: Row Sum

What is the sum of all entries in row \(9\)?

Practice 4: Symmetry

Use symmetry to evaluate

\[ \binom{12}{10}. \]

Practice 5: Pascal's Identity

Evaluate

\[ \binom{10}{4} \]

using

\[ \binom{9}{4}=126 \]

and

\[ \binom{9}{3}=84. \]

Practice 6: Hockey-Stick Pattern

Evaluate

\[ \binom{3}{3} + \binom{4}{3} + \binom{5}{3} + \binom{6}{3} + \binom{7}{3}. \]

Practice 7: Binary Strings

How many binary strings of length \(8\) contain exactly three \(1\)'s?

Practice 8: Binomial Expansion

Use Pascal's triangle to expand

\[ (x+y)^4. \]

Practice 9: Alternating Sum

Evaluate

\[ 1-6+15-20+15-6+1. \]

Practice 10: Identify the Error

A student says the row after

\[ 1,\ 4,\ 6,\ 4,\ 1 \]

is

\[ 1,\ 5,\ 11,\ 10,\ 5,\ 1. \]

Identify the incorrect entry and construct the correct row.

Practice Answers

Practice 1

Add adjacent entries and place \(1\)'s at the ends:

\[ \boxed{1,\ 6,\ 15,\ 20,\ 15,\ 6,\ 1}. \]

Practice 2

\[ \binom{8}{3} = \boxed{56}. \]

Practice 3

Row \(9\) sums to

\[ 2^9 = \boxed{512}. \]

Practice 4

\[ \binom{12}{10} = \binom{12}{2} = \frac{12\cdot11}{2} = \boxed{66}. \]

Practice 5

Pascal's identity gives

\[ \binom{10}{4} = \binom{9}{4} + \binom{9}{3}. \]

Therefore,

\[ 126+84=\boxed{210}. \]

Practice 6

By the hockey-stick identity,

\[ \binom{3}{3} + \binom{4}{3} + \binom{5}{3} + \binom{6}{3} + \binom{7}{3} = \binom{8}{4}. \]

Therefore,

\[ \boxed{70}. \]

Practice 7

Choose which three positions contain \(1\)'s:

\[ \binom{8}{3} = \boxed{56}. \]

Practice 8

Row \(4\) is

\[ 1,\ 4,\ 6,\ 4,\ 1. \]

Therefore,

\[ \boxed{ (x+y)^4 = x^4+4x^3y+6x^2y^2+4xy^3+y^4 }. \]

Practice 9

This is the alternating sum of row \(6\):

\[ \boxed{0}. \]

Practice 10

The middle-left interior entry should be

\[ 4+6=10, \]

not \(11\).

The correct next row is

\[ \boxed{1,\ 5,\ 10,\ 10,\ 5,\ 1}. \]

What to Remember

Row \(n\) of Pascal's triangle contains

\[ \boxed{ \binom{n}{0}, \binom{n}{1}, \ldots, \binom{n}{n} }. \]

Every row begins and ends with \(1\).

Every interior entry satisfies

\[ \boxed{ \binom{n}{r} = \binom{n-1}{r-1} + \binom{n-1}{r} }. \]

Every row is symmetric:

\[ \boxed{ \binom{n}{r} = \binom{n}{n-r} }. \]

The sum of row \(n\) is

\[ \boxed{2^n}. \]

Pascal's triangle also exposes diagonal figurate numbers, hockey-stick sums, Fibonacci patterns, binary-string counts, lattice paths, probability counts, and the coefficients of binomial expansions.

The triangle is best understood not as a memorized array but as a visual organization of binomial coefficients and their recursive relationships.

Where We Go Next

Pascal's triangle provides the coefficients of powers of a binomial, but the relationship extends beyond the triangle itself into general algebraic expansion formulas.

The next lesson, Binomial and Multinomial Theorems, develops those formulas systematically and shows how combination and multinomial coefficients encode the terms in polynomial expansions.