---
title: "Vandermonde's Identity | Combinatorics"
description: "Vandermonde's Identity rewrites a sum of binomial coefficients as one combination count, a core Combinatorics tool for counting from two groups."
canonical: "https://fiveable.me/combinatorics/key-terms/vandermondes-identity"
type: "key-term"
subject: "Combinatorics"
unit: "Unit 3"
---

# Vandermonde's Identity | Combinatorics

## Definition

Vandermonde's Identity is the binomial-coefficient sum \(\sum_{k=0}^{r} \binom{m}{k}\binom{n}{r-k}=\binom{m+n}{r}\). In Combinatorics, it counts ways to choose \(r\) items from two groups.

## What It Is

Vandermonde's Identity is a binomial-coefficient formula in Combinatorics that turns a sum of separate choice counts into one cleaner count. The standard form is \(\sum_{k=0}^{r} \binom{m}{k}\binom{n}{r-k}=\binom{m+n}{r}\), where you split a selection of \(r\) items between two groups of sizes \(m\) and \(n\).

The idea is simple: if you have two groups, and you want to choose \(r\) total items, then you can decide how many come from the first group. If you take \(k\) from the first group, then you must take \(r-k\) from the second. For each fixed \(k\), the number of choices is \(\binom{m}{k}\binom{n}{r-k}\).

Vandermonde's Identity adds those cases together for every possible split from \(0\) up to \(r\). That gives the total number of ways to choose \(r\) items from all \(m+n\) items at once. So the left side counts by breaking the problem into cases, while the right side counts the same thing directly.

A quick example makes the pattern easier to see. Suppose you have 3 red objects and 4 blue objects, and you want to choose 2 total. You could choose 0 red and 2 blue, 1 red and 1 blue, or 2 red and 0 blue. Vandermonde's Identity says those three case counts add up to \(\binom{7}{2}\), the direct count from all 7 objects together.

You will also see this identity as a Pascal's Triangle idea stretched across two rows. It fits with the same binomial-coefficient logic behind \((x+y)^n\), but here the counting is about combining choices from two separate sets rather than expanding one power only.

## Why It Matters

Vandermonde's Identity is one of the cleanest examples of how Combinatorics turns a messy sum into a single counting statement. When a problem looks like a sum of binomial coefficients, this identity often lets you replace several case-by-case counts with one total count.

That matters because a lot of combinatorics problems are built around the same structure: choose from group A, choose from group B, then add the cases. If you can recognize the split, you can simplify the work fast instead of grinding through every term. It also gives you a proof strategy, since many counting arguments are easier to explain by dividing the selection into cases.

The identity also shows up as a bridge between algebra and counting. Binomial coefficients are not just numbers in Pascal's Triangle, they also describe terms in expansions and patterns in generating functions. Vandermonde's Identity is a good reminder that different-looking formulas can be counting the same thing.

If your class is working with distributions of indistinguishable objects into distinguishable boxes, partitions, or selection problems with overlapping groups, this identity often appears in the background. It is one of those results that makes later counting shortcuts feel less arbitrary and more logical.

## Connections

### Binomial Coefficient

Vandermonde's Identity is built entirely from binomial coefficients, so you need to read each term as a count of combinations. The identity works because each \(\binom{m}{k}\) and \(\binom{n}{r-k}\) represents one side of a two-group selection. If you are shaky on combination notation, the identity will feel much harder than it really is.

### Pascal's Triangle

Pascal's Triangle shows the same family of combination counts that appear inside Vandermonde's Identity. The identity can feel like a bigger version of the triangle's add-up pattern, because it combines coefficients from different rows instead of just neighboring entries. That makes it a useful way to see how binomial coefficients connect across multiple sets.

### Combinatorial Proof

A combinatorial proof is the natural way to justify Vandermonde's Identity. Instead of manipulating symbols first, you count the same set of outcomes in two different ways: once by splitting the choice between groups, and once by choosing from the combined pool. This is a standard proof move in Combinatorics.

### [Combinatorial Arguments](/combinatorics/key-terms/combinatorial-arguments)

Vandermonde's Identity is a classic combinatorial argument because it organizes a count by cases. You look at one parameter, like how many items come from the first group, and then sum over all possible values. That structure shows up again and again in counting problems, especially when the answer is hidden inside a sum.

## On the AP Exam

A problem set question might give you a sum like \(\sum \binom{m}{k}\binom{n}{r-k}\) and ask you to simplify it or interpret it. Your move is to spot the two-group selection pattern and rewrite the whole sum as one binomial coefficient, \(\binom{m+n}{r}\).

You may also need to justify the identity with a counting argument. In that case, describe the same selection in two ways: choose \(r\) items directly from \(m+n\), or choose \(k\) from the first group and \(r-k\) from the second, then add over all possible \(k\). If the class uses written explanations, this kind of case split is usually the cleanest proof.

## Vandermonde's Identity vs Pascal's Triangle

Pascal's Triangle and Vandermonde's Identity both involve binomial coefficients, but they are not the same thing. Pascal's Triangle gives a recursive pattern for adjacent coefficients, while Vandermonde's Identity sums products of coefficients from two groups to get one larger combination count. If you see a sum over \(k\), think Vandermonde, not just the triangle.

## Key Takeaways

- Vandermonde's Identity says \(\sum_{k=0}^{r} \binom{m}{k}\binom{n}{r-k}=\binom{m+n}{r}\), which counts the same selection in two different ways.
- The left side breaks a choice into cases based on how many items come from each group, and the right side counts the total selection directly.
- This identity is most useful when a problem has a sum of products of binomial coefficients that looks like a split-selection count.
- A combinatorial proof usually works better than memorizing the formula, because the case split explains why the identity is true.
- If you see a question involving two groups, one total number to choose, and a sum over possible splits, Vandermonde's Identity is probably the shortcut.

## FAQs

### What is Vandermonde's Identity in Combinatorics?

It is the binomial identity \(\sum_{k=0}^{r} \binom{m}{k}\binom{n}{r-k}=\binom{m+n}{r}\). In Combinatorics, it counts the number of ways to choose \(r\) items from two groups by adding up every possible split between the groups. The left side counts by cases, and the right side counts the whole set at once.

### How do you prove Vandermonde's Identity?

The most common proof is a combinatorial proof. Count the ways to choose \(r\) items from \(m+n\) items in two ways: directly, and by choosing \(k\) from the first group and \(r-k\) from the second. Since both methods count the same set of choices, the formula follows.

### What is the easiest way to recognize Vandermonde's Identity?

Look for a sum of products of binomial coefficients where the lower indices add to a fixed total. If one term looks like \(\binom{m}{k}\binom{n}{r-k}\), that is a strong sign you can compress the whole sum into \(\binom{m+n}{r}\). The key pattern is a split between two groups and one total selection size.

### Is Vandermonde's Identity the same as Pascal's Triangle?

No. Pascal's Triangle gives the recursive rule \(\binom{n}{k}=\binom{n-1}{k-1}+\binom{n-1}{k}\). Vandermonde's Identity is a larger counting identity that combines two separate groups into one total count. They both use binomial coefficients, but they describe different patterns.

## Related Study Guides

- [3.1 Properties of binomial coefficients](/combinatorics/unit-3/properties-binomial-coefficients/study-guide/rOC0vcEP51MslYo6)

## About This Document

Canonical Fiveable pages are available as Markdown at the same path plus `.md`.

- [llms.txt](https://fiveable.me/llms.txt): index of Fiveable's sections and URL patterns
- [llms-full.txt](https://fiveable.me/llms-full.txt): complete subject and unit listing
- [MCP server](https://fiveable.me/mcp): call Fiveable as tools instead of fetching pages (`https://fiveable.me/api/mcp`)
- [MCP server for AP teachers](https://fiveable.me/mcp/teachers): a teacher's classes, assignments and AP-rubric grading (`https://fiveable.me/api/mcp/teacher`)

## Structured Data

```json
{"@context":"https://schema.org","@graph":[{"@type":"LearningResource","@id":"https://fiveable.me/combinatorics/key-terms/vandermondes-identity#resource","name":"Vandermonde's Identity | Combinatorics","url":"https://fiveable.me/combinatorics/key-terms/vandermondes-identity","learningResourceType":"Concept explainer","educationalLevel":"AP® / High School","about":{"@id":"https://fiveable.me/combinatorics/key-terms/vandermondes-identity#term"},"audience":{"@type":"EducationalAudience","educationalRole":"student"},"dateModified":"2026-07-03T02:21:06.614Z","isPartOf":{"@type":"Collection","name":"Combinatorics Key Terms","url":"https://fiveable.me/combinatorics/key-terms"},"author":{"@type":"Organization","@id":"https://fiveable.me/editorial#content-team","name":"Fiveable Content Team","url":"https://fiveable.me/editorial","parentOrganization":{"@id":"https://fiveable.me/#organization"},"member":[{"@type":"Person","name":"Amanda DoAmaral","sameAs":["https://www.linkedin.com/in/adoamaral"]},{"@type":"Person","name":"Becky Bahr","sameAs":["https://www.linkedin.com/in/becky-bahr-b52743132"]}]},"publisher":{"@type":"Organization","name":"Fiveable","url":"https://fiveable.me"}},{"@type":"DefinedTerm","@id":"https://fiveable.me/combinatorics/key-terms/vandermondes-identity#term","name":"Vandermonde's Identity","description":"Vandermonde's Identity is the binomial-coefficient sum \\(\\sum_{k=0}^{r} \\binom{m}{k}\\binom{n}{r-k}=\\binom{m+n}{r}\\). In Combinatorics, it counts ways to choose \\(r\\) items from two groups.","url":"https://fiveable.me/combinatorics/key-terms/vandermondes-identity","inDefinedTermSet":{"@type":"DefinedTermSet","name":"Combinatorics Key Terms","url":"https://fiveable.me/combinatorics/key-terms"}},{"@type":"FAQPage","mainEntity":[{"@type":"Question","name":"What is Vandermonde's Identity in Combinatorics?","acceptedAnswer":{"@type":"Answer","text":"It is the binomial identity \\(\\sum_{k=0}^{r} \\binom{m}{k}\\binom{n}{r-k}=\\binom{m+n}{r}\\). In Combinatorics, it counts the number of ways to choose \\(r\\) items from two groups by adding up every possible split between the groups. The left side counts by cases, and the right side counts the whole set at once."}},{"@type":"Question","name":"How do you prove Vandermonde's Identity?","acceptedAnswer":{"@type":"Answer","text":"The most common proof is a combinatorial proof. Count the ways to choose \\(r\\) items from \\(m+n\\) items in two ways: directly, and by choosing \\(k\\) from the first group and \\(r-k\\) from the second. Since both methods count the same set of choices, the formula follows."}},{"@type":"Question","name":"What is the easiest way to recognize Vandermonde's Identity?","acceptedAnswer":{"@type":"Answer","text":"Look for a sum of products of binomial coefficients where the lower indices add to a fixed total. If one term looks like \\(\\binom{m}{k}\\binom{n}{r-k}\\), that is a strong sign you can compress the whole sum into \\(\\binom{m+n}{r}\\). The key pattern is a split between two groups and one total selection size."}},{"@type":"Question","name":"Is Vandermonde's Identity the same as Pascal's Triangle?","acceptedAnswer":{"@type":"Answer","text":"No. Pascal's Triangle gives the recursive rule \\(\\binom{n}{k}=\\binom{n-1}{k-1}+\\binom{n-1}{k}\\). Vandermonde's Identity is a larger counting identity that combines two separate groups into one total count. They both use binomial coefficients, but they describe different patterns."}}]},{"@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Combinatorics","item":"https://fiveable.me/combinatorics"},{"@type":"ListItem","position":2,"name":"Key Terms","item":"https://fiveable.me/combinatorics/key-terms"},{"@type":"ListItem","position":3,"name":"Unit 3","item":"https://fiveable.me/combinatorics/unit-3"},{"@type":"ListItem","position":4,"name":"Vandermonde's Identity"}]}]}
```