Двойной подсчёт

Двойной подсчёт (или подсчёт двумя способами) — тип доказательства равенства двух выражений, представляя их как два способа подсчёта элементов одного множества.

Примеры

• Лемма о рукопожатиях: каждый неориентированный граф содержит чётное число вершин нечётной степени.

• Тождество Вандермонда — тождество для сумм биномиальных коэффициентов, которое может быть доказано двойным подсчетомШаблон:Sfn.

• Квадратное пирамидальное число. Равенство между суммой первых $n$ квадратов и кубическим многочленом может быть показано путем двойного подсчета троек чисел $x$, $y$, и $z$, где $z$ больше любого из двух других чисел.

Литература

• Шаблон:Citation