Le document présente la formule d'inversion de Pascal à travers trois démonstrations et deux applications. La première démonstration utilise des techniques sommatoires, la deuxième s'appuie sur des calculs matriciels, et la troisième est une démonstration par récurrence. Une des applications est le dénombrement des surjections entre ensembles, reliant le nombre d'applications à la formule d'inversion.