Ahoj,
Návod:
(Podle knihy Kapitoly z diskrétní matematiky, Jiří Matoušek & Jaroslav Nešetřil)
Skrytý text:Mějme dvě disjunktní (konečné) množiny,

, takové, že

. Obě strany rovnice počítají všechny dvojice množin

takové, že

. Na levé straně vybíráme nejdříve množinu

, pak

. Na pravé straně rovnice vybereme nejdříve

, pak

a nakonec

.
Levá strana vyjde přímočaře. K pravé straně se dostaneme přes mezivýsledek
Skrytý text:
.
Použij identitu
Skrytý text:
.
Nyní stačí
Skrytý text:sumovat přes

.