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:
- row \(0\): \(1\);
- row \(1\): \(1,\ 1\);
- row \(2\): \(1,\ 2,\ 1\);
- row \(3\): \(1,\ 3,\ 3,\ 1\);
- row \(4\): \(1,\ 4,\ 6,\ 4,\ 1\).
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:
- included;
- excluded.
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.
- Start with \(1\).
- Place \(1\)'s at the ends of each new row.
- Add adjacent entries from the previous row to create each interior entry.
- 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:
- from the left;
- from below.
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:
- symmetry;
- powers of two;
- figurate numbers;
- Fibonacci numbers;
- binomial expansions;
- subset counts;
- lattice paths.
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:
- one string has zero \(1\)'s;
- five strings have one \(1\);
- ten strings have two \(1\)'s;
- ten strings have three \(1\)'s;
- five strings have four \(1\)'s;
- one string has five \(1\)'s.
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
- Begin with row \(0\): \(1\).
- Place \(1\) at both ends of the next row.
- Add adjacent entries from the previous row.
- Place each sum between its parent entries.
- Repeat until the required row is reached.
- Check that the row is symmetric.
- Check that row \(n\) has \(n+1\) entries.
- Check that the row sum equals \(2^n\).
A Reliable Procedure for Reading an Entry
- Identify the row number \(n\).
- Count positions from \(r=0\).
- Write the entry as \(\binom{n}{r}\).
- Use symmetry if the mirrored position is easier.
- 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.