Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Bertrand's Ballot Theorem

Combinatorics and Graph Theory

Bertrand's ballot theorem, sometimes called the ballot problem, is a result in combinatorics that answers a question about vote counting. It asks, in an election where candidate A receives p votes and candidate B receives q votes with A ahead of B overall, what is the probability that A remains strictly ahead of B throughout the entire count if the votes are tallied in a random order. The answer is the fraction formed by p minus q divided by p plus q. The result was first published by W. A. Whitworth in 1878, but is named for Joseph Louis Francois Bertrand, who rediscovered it in 1887; a more direct proof was later given by Desire Andre using a technique now popularly known as the reflection method, even though Andre own argument did not actually involve any reflections.

Facts
Statement
If candidate A receives p votes and candidate B receives q votes in an election where A finishes ahead of B, so that p is greater than q, then the probability that A remains strictly ahead of B throughout the count, when the ballots are counted in random order, equals p minus q divided by p plus q. 1
Proof Year
1878 1
First published by W. A. Whitworth in 1878. The theorem is named for Joseph Bertrand, who rediscovered it independently in 1887.
Classification
Statement Form
Inequality 1
Statement Form
Identity or Equation 1
Connections

Has Statement Form

Equation, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Identity, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

Inequality, Concepts

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Source Bertrand's Ballot Theorem (Wikipedia)
Sources
1. Bertrand's Ballot Theorem (Wikipedia)
Wikimedia Foundation
  • Lead section, closing sentence
    The result was first published by W. A. Whitworth in 1878, but is named after Joseph Louis François Bertrand who rediscovered it in 1887.
  • In Branch: Combinatorics, Lead sentence
    In combinatorics, Bertrand's ballot problem is the question: "In an election where candidate A receives p votes and candidate B re
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.