olymmath

OIMU 2006 Problem 6

    Let x0(t)=1x_0(t)=1 , xk+1(t)=(1+tk+1)xk(t)x_{k+1}(t)=(1+t^{k+1})x_k(t) for all k≥0k\geq 0 ; yn,0(t)=1y_{n,0}(t)=1 , yn,k(t)=tn−k+1−1tk−1yn,k−1(t)y_{n,k}(t)=\frac{t^{n-k+1}-1}{t^k-1}y_{n,k-1}(t) for all n≥0n\geq 0 , 1≤k≤n1\leq k \leq n .

    Prove that ∑j=0n−1(−1)jxn−j−1(t)yn,j(t)=1−(−1)n2\sum_{j=0}^{n-1}(-1)^j x_{n-j-1}(t)y_{n,j}(t)=\frac{1-(-1)^n}{2} for all n≥1n\geq 1 .

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator oimu/2006/p6 · Tag HSM4C618M6 · Edit this page on GitHub · Keys: j next, k previous