brain
tamnd's digital brain — notes, problems, research
41650 notes
Proceed by induction on $n$.
Let R_n(x,y)=\sum_{k} \binom{n}{k}\,x\,(x-kz+1)^{\overline{k-1}}(y+kz)^{\overline{n-k}}.
The stated identity is incorrect, so no proof of it can be completed as written.
Let Eq.
Let A=m-r+s,\qquad B=n+r-s,\qquad M=m+n.
Let Example 3 define S=\sum_{k} \binom{r}{k}\binom{s}{m+k}, where the sum is over all integers $k$ for which the binomial coefficients are defined, i.
The previous solution fails because it assumes, without proof, that the polynomials $A_k(r,t)$ coincide with the Taylor coefficients of $x^r$ in the variable $z=x^{t+1}-x^t$.
Let z = x^t(x-1), \qquad x = 1 + z x^{-t}.
The error in the previous solution is not in the Lagrange inversion part, but in the attempt to derive Eq.
Let L_n(r,s,t)=\sum_{k\ge 0} \binom{r+tk}{k}\binom{s-tk}{n-k},\qquad R_n(r,s,t)=\sum_{k\ge 0} \binom{r+s-k}{n-k}t^k.
Let $P(r,s,t,n)$ denote the statement of Eq.
Equation (26) is the binomial convolution identity \binom{r+s}{n}=\sum_{k=0}^{n}\binom{r}{k}\binom{s}{n-k}, which follows by comparing coefficients of $x^n$ in two expansions of $(1+x)^{r+s}$.
Let Eq.
Start from Eq.
Both sides of Eq.
Let S_n = \sum_{k=0}^{n} (-1)^k \binom{r}{k}.
Codeforces 105348D: String Traversal Paradigm 2
Equation (21) (Chu–Vandermonde) states \sum_{k}\binom{r}{k}\binom{s}{n-k}=\binom{r+s}{n}, \qquad \text{integer } n.
Equation (15) gives the binomial expansion (1+x)^r = \sum_{k} \binom{r}{k} x^k, valid for all real $r$ and integer $k \ge 0$, and similarly
From Eq.
Induction on $r$ is used.
For integers $k \ge 0$, definition (3) gives \binom{-n}{k-1} = \prod_{j=1}^{k-1} \frac{-n+1-j}{j} = \prod_{j=1}^{k-1} \frac{-(n-1+j)}{j}.
Let $p$ be prime and write the base-$p$ expansions a = \sum_{i \ge 0} a_i p^i,\qquad b = \sum_{i \ge 0} b_i p^i,\qquad 0 \le a_i,b_i \le p-1.
Fix a real number $r$ and an integer $n \ge 0$.
Let $n$ be a positive integer and consider the $n$th row of Pascal’s triangle, consisting of the numbers $\binom{n}{k}$ for $0 \le k \le n$.
Let $n \ge 0$ be an integer.
Equation (6) states that \binom{n}{k} = \binom{n}{n-k}.
Let $p$ be prime.
Let $n$ be a fixed positive integer and consider the sequence $\binom{n}{k}$ for integers $k$, $0 \le k \le n$.
The number of bridge hands is \binom{52}{13} = \frac{52!
For negative $r$, the entries are determined by Eq.
From Pascal’s triangle, the row corresponding to $r=4$ is \binom{4}{0},\ \binom{4}{1},\ \binom{4}{2},\ \binom{4}{3},\ \binom{4}{4} = 1,\ 4,\ 6,\ 4,\ 1.
A bridge hand consists of choosing 13 cards from a deck of 52 distinct cards, where order is irrelevant.
Factorial powers, defined by $x^{\overline{n}} = x(x+1)\cdots(x+n-1), \qquad x^{\underline{n}} = x(x-1)\cdots(x-n+1),$ do not satisfy a simple law analogous to ordinary exponentiation, $x^{m+n} = x^m...
The number of combinations of $n$ objects taken $n-1$ at a time is $\binom{n}{n-1}$.
For integer exponents, the identity $a^0 = 1$ is defined for all $a \ne 0$, while $0^k = 0$ for all integers $k > 0$.
For integers $m$ and $n$, we have (a) Let $m = qn + r$ with $0 \le r < n$.
The natural hypothesis is \frac{(n+x)!
Let P_N=\prod_{n=1}^{N}\frac{(n+\alpha_1)\cdots(n+\alpha_k)} {(n+\beta_1)\cdots(n+\beta_k)}.
By Eq.
Let c_k=1-\frac1{1!
By exercise 17, with $k=1$,By equation (13), \left(\tfrac12\right)!
By definition of the Gamma function, we have $\Gamma(x) = (x-1)!$ for positive real $x$, and $(\tfrac12)! = \Gamma(\tfrac12+1) = \Gamma(\tfrac32)$.
Let $A=(a_{ij})$ be the given matrix, where $a_{ij}=i,j$.
For each $a\in{1,2,\ldots,p-1}$ there is a unique inverse $a^{-1}$ modulo $p$, since $p$ is prime.
Using the refined approximation with $n=8$, 8!
By Eq.
Let $n$ be a nonnegative integer.
Using Method 1, insert $5$ into every possible position of the permutation $3124$: $53124,\qquad 35124,\qquad 31524,\qquad 31254,\qquad 31245.$ Using Method 2, let $k=1,2,3,4,5$.
Let $m,n>0$ and let $f$ be defined on $\{0,1,\dots,m-1\}$.
A 52-card deck consists of 52 distinct objects.
Let $m,n$ be positive integers and let $\alpha>0$ be real.
The positive case is correct, but the negative case fails because the telescoping argument silently assumes that $\left\lfloor \frac{n}{b^k} \right\rfloor \to 0$ as $k \to \infty$, which is false for...
Let $m=\lfloor \sqrt{n}\rfloor$.
The previous solution failed at a more basic level: it solved a different equation and then attempted an unjustified structural argument.
Let S = n a_n - \sum_{k=1}^{n-1} k(a_{k+1}-a_k).
Let $T_k = \frac{k(k+1)}{2}$ for $k \ge 1$.
Let $x,y \in \mathbb{R}$ with $y>0$.
Let $d=\gcd(m,n)$ and write m=d m_1,\qquad n=d n_1,\qquad \gcd(m_1,n_1)=1.
Let $n \in \mathbb{Z}$, $n \ge 1$.
A function $f$ is _replicative_ if for every real $x$ and every positive integer $n$, \sum_{k=0}^{n-1} f\!
We determine all real bases $b>1$ for which \lfloor \log_b x \rfloor = \lfloor \log_b \lfloor x \rfloor \rfloor \quad \text{for all } x \ge 1.
Write $x = \lfloor x \rfloor + r$ with $0 \le r < 1$.
Let $n,m \in \mathbb{Z}$.
Let $r \perp s$.
All sums are finite since the set of positive divisors of $n$ is finite.
Let $\varphi(n)$ denote the number of integers $a$ with $1 \le a \le n$ such that $a \perp n$.
Let $f$ be a function on positive integers.
Let $p$ be an odd prime and let $a$ be an integer.
We restart from the definition.
Let $p$ be prime.
Let $m$ be a positive integer and let $a \perp m$.
Take $r=s=2$, so $rs=4$, and $a=2$, $b=0$.
Let $m=4$, $a=2$, $b=2$, $x=0$, $y=2$.
Let congruence for real numbers be defined by x \equiv y \pmod m \quad \Longleftrightarrow \quad x-y \in m\mathbb{Z}, \quad m \neq 0, where $m\mathbb{Z}=\{mk : k\in\mathbb{Z}\}$.
Let $r \perp s$ and assume $a \equiv b \pmod r$ and $a \equiv b \pmod s$.
Since $a \perp m$, the law of inverses yields an integer $a'$ such that aa' \equiv 1 \pmod m.
Let $n>1$.
Since $n \perp m$, the greatest common divisor of $n$ and $m$ is $1$.
Let $m$ be a fixed integer.
If $y \ne 0$ and $z \ne 0$, then by definition (1), x \bmod y = x - y\left\lfloor \frac{x}{y} \right\rfloor.
Let $k = (x - z)/y$, where $k \in \mathbb{Z}$.
By definition (5), $x \equiv y \pmod z$ means $x \bmod z = y \bmod z$.
From $x \bmod 5 = 3$, there exists an integer $k$ such that $x = 3 + 5k.$ Impose the condition $x \bmod 3 = 2$ by reducing the expression modulo $3$: $3 + 5k \equiv 2 \pmod 3.$ Since $3 \equiv 0 \pmod...
For any integer $x$, every common divisor of $x$ and $1$ must divide $1$, hence the only positive common divisor is $1$.
By convention, $\gcd(0,n)=|n|$.
For $y<0$, the definition is $x \bmod y = x - y\lfloor x/y \rfloor$, and the quotient is determined by the floor of the real number $x/y$.
Using the definition $x \bmod y = x - y\lfloor x/y \rfloor$ for $y \ne 0$: For $1.1 \bmod 1$, compute $\lfloor 1.1/1 \rfloor = \lfloor 1.1 \rfloor = 1$.
Using $x \bmod y = x - y\lfloor x/y \rfloor$ for $y \ne 0$ and $x \bmod 0 = x$: For $100 \bmod 3$, one has $\lfloor 100/3 \rfloor = 33$, hence $100 \bmod 3 = 100 - 3 \cdot 33 = 1$.
Write $x = \lfloor x \rfloor + a$, $y = \lfloor y \rfloor + b$, where $a = \{x\}$, $b = \{y\}$, so $0 \le a,b < 1$.
Let $x>0$ and set $n=\lfloor x\rfloor$.
Let $x$ be a positive real number.
Let $n$ be an integer.
Let $n = \lfloor x \rfloor$.
Let $n = \lfloor -x \rfloor$.
We restart from the correct expansion and repair only the faulty combinatorial step by eliminating the incorrect bijection claim and replacing it with a valid classification of _injective_ maps.
$\lfloor 1.1 \rfloor = 1$ since $1 \le 1.1 < 2$.
Let H=(h_{ij})_{1\le i,j\le n}, \qquad h_{ij}=\frac1{i+j-1}.
Let $V$ be the Vandermonde matrix with entries $V_{ij} = x_i^{j-1}$ for $1 \le i, j \le n$, and let $B = V^{-1}$ with entries $b_{ij}$.
Let A=(a_{ij}), \qquad a_{ij}=\frac1{x_i+y_j}, \qquad 1\le i,j\le n, be Cauchy's matrix, and let