Are these two binomial sums known? Proven generalization to the Hockey Stick patterns in Pascal's Triangle

combinatorics summation binomial-coefficients

To repeat my comment: (2) is equivalent to identity (8) on the wikipedia page Binomial coefficient.

Related

$f$ Holder continuous with Holder exponent $p>1\implies f \text{ is constant}$
Existence of solutions to diophantine quadratic form
Countable product of first countable Spaces is first countable
Motivation for the relations defining $H^1(G,A)$ for non-commutative cohomology
Evaluate $\lim\limits_{x \to 0}\frac{e^{(1+x)^{\frac{1}{x}}}-(1+x)^{\frac{e}{x}}}{x^2}$ [duplicate]
homeomorphism of cantor set extends to the plane?
The root system of $sl(3,\mathbb C)$
How to prove that for all $m,n\in\mathbb N$, $\ 56786730 \mid mn(m^{60}-n^{60})$? [duplicate]
How to solve 5x5 grid with 16 diagonals?
Given any nine numbers, prove there exists a subset of five numbers such that its sum is divisible by $5$.
Characterize finite dimensional algebras without nilpotent elements
A sufficient condition for a domain to be Dedekind?