Let $L$ be a finite lattice with least and greatest elements $0, 1$, respectively, and let $X\subseteq L$. Let $n_k$ be the number of $k$-element subsets of $X$ with join $1$ and meet $0$. I want to show that $$\sum_k (-1)^kn_k=-\mu(0, 1)+\sum_{x\leq y, [x, y]\cap X=\varnothing}\mu(0, x)\mu(y, 1).$$ This result seem to be similar to […]

The following is an exercise (Exercise #3 (a), Chapter 3, page 28) from Richard Stanley’s Algebraic Combinatorics. Let $P(x)$ be a nonzero polynomial with real coefficients. Show that the following two conditions are equivalent: There exists a nonzero polynomial $Q(x)$ with real coefficients such that all coefficients of $P(x) Q(x)$ are nonnegative. There does not […]

First, denote by $p_E(n)$ be the number of partitions of $n$ with an even number of parts, and let $p_O(n)$ be those with an odd number of parts. Moreover, let $p_{DO}(x)$ be the number of partitions of $n$ whose parts are distinct and odd. Finally, let $c(n)$ be the number of partitions of $n$ which […]

Let $n$ be a fixed natural number. I have reason to believe that $$\sum_{i=k}^n (-1)^{i-k} \binom{i}{k} \binom{n+1}{i+1}=1$$ for all $0\leq k \leq n.$ However I can not prove this. Any method to prove this will be appreciated but a combinatorial solution is greatly preferred. Thanks for your help.

Intereting Posts

Number theory question with automorphic numbers
Sum of stars and bars
Estimating partial sums $\sum_{n = 1}^m \frac{1}{\sqrt{n}}$
Find a closed form for this infinite sum: $ 1+\frac 1 2 +\frac{1 \times2}{2 \times 5}+\frac{1 \times2\times 3}{2 \times5\times 8}+ \dots$
Graph of the function $x^y = y^x$, and $e$ (Euler's number).
$G$ a finite group such that $x^2 = e$ for each $x$ implies $G \cong \mathbb{Z}_2 \times … \times \mathbb{Z}_2$ ($n$ factors)
On the proof $\tan 70°-\tan 20° -2 \tan 40°=4\tan 10°$
If $\sin(a)\sin(b)\sin(c)+\cos(a)\cos(b)=1$ then find the value of $\sin(c)$
Counting surjective functions
how to calculate double sum of GCD(i,j)?
The set of irrational numbers is not a $F_{\sigma}$ set.
Differential equations – Relation between the number of solutions and the order
Infinite number of composite pairs $(6n + 1), (6n -1)$
Group where every element is order 2
What is the key to success for a mathematician?