Leibnizův vzorec pro --tou derivaci součinu dvou funkcí je zobecněním pravidla pro diferenciaci součinu (a poměru) dvou funkcí pro případ -násobné derivace.
Nechť tedy funkce a jsou časově diferencovatelné funkce
kde jsou binomické koeficienty .Když se získá známé pravidlo pro derivát produktu:
V případě máme například:
V případě máme například:
V případě máme například:
Důkaz vzorce se provádí indukcí pomocí pravidla součinu . Ve víceindexovém zápisu lze vzorec zapsat v obecnější podobě:
Tento vzorec lze použít k získání výrazu pro skládání diferenciálních operátorů. Nechť jsou P a Q diferenciální operátory (s koeficienty, které jsou diferencovatelné dostatečně mnohokrát) a . Pokud je R také diferenciální operátor, pak platí rovnost:
Přímý výpočet dává:
Tento vzorec je také známý jako Leibnizův vzorec .