Found problems: 766
Let $\{a_n\}$ be a sequence of positive terms such that $a_{n+1}=a_n+ \frac{n^2}{a_n}$ . Let $b_n =a_n-n$ .
(1) Are there infinitely many $n$ such that $b_n \ge 0$ ?
(2) Prove that there is a positive number $M$ such that $\sum^{\infty}_{n=3} \frac{b_n}{n+1}<M$.
Let $({{x}_{n}}),({{y}_{n}})$ be two positive sequences defined by ${{x}_{1}}=1,{{y}_{1}}=\sqrt{3}$ and
\[ \begin{cases} {{x}_{n+1}}{{y}_{n+1}}-{{x}_{n}}=0 \\ x_{n+1}^{2}+{{y}_{n}}=2 \end{cases} \] for all $n=1,2,3,\ldots$.
Prove that they are converges and find their limits.
Let $a_1,a_2, a_3,...$ be a sequence of real numbers which satisfy the relation $a_{n+1} =\sqrt{a_n^2 + 1}$
Suppose that there exists a positive integer $n_0$ such that $a_{2n_0} = 3a_{n_0}$ . Find the value of $a_{46}$.
Prove that $(2m)!(2n)!$ is a multiple of $m!n!(m+n)!$ for any non-negative integers $m$ and $n$.
A sequence $(a_n)_{-\infty}^{-\infty}$ of zeros and ones is given. It is known that $a_n = 0$ if and only if $a_{n-6} + a_{n-5} +...+ a_{n-1}$ is a multiple of $3$, and not all terms of the sequence are zero. Determine the maximum possible number of zeros among $a_0,a_1,...,a_{97}$.
Evaluate the infinite sum \[\sum_{n \equal{} 0}^\infty \binom{2n}{n}\frac {1}{5^n}.\]
Let $T_k = k - 1$ for $k = 1, 2, 3,4$ and
\[T_{2k-1} = T_{2k-2} + 2^{k-2}, T_{2k} = T_{2k-5} + 2^k \qquad (k \geq 3).\]
Show that for all $k$,
\[1 + T_{2n-1} = \left[ \frac{12}{7}2^{n-1} \right] \quad \text{and} \quad 1 + T_{2n} = \left[ \frac{17}{7}2^{n-1} \right],\]
where $[x]$ denotes the greatest integer not exceeding $x.$
Is there an infinite sequence of positive real numbers $x_1,x_2,...,x_n$ satisfying for all $n\ge 1$ the relation $x_{n+2}= \sqrt{x_{n+1}}-\sqrt{x_n}$?
Find the greatest natural number $n$ such there exist natural numbers $x_{1}, x_{2}, \ldots, x_{n}$ and natural $a_{1}< a_{2}< \ldots < a_{n-1}$ satisfying the following equations for $i =1,2,\ldots,n-1$: \[x_{1}x_{2}\ldots x_{n}= 1980 \quad \text{and}\quad x_{i}+\frac{1980}{x_{i}}= a_{i}.\]
Let $p$ be a prime number. Let $\mathbb F_p$ denote the integers modulo $p$, and let $\mathbb F_p[x]$ be the set of polynomials with coefficients in $\mathbb F_p$. Define $\Psi : \mathbb F_p[x] \to \mathbb F_p[x]$ by \[ \Psi\left( \sum_{i=0}^n a_i x^i \right) = \sum_{i=0}^n a_i x^{p^i}. \] Prove that for nonzero polynomials $F,G \in \mathbb F_p[x]$, \[ \Psi(\gcd(F,G)) = \gcd(\Psi(F), \Psi(G)). \] Here, a polynomial $Q$ divides $P$ if there exists $R \in \mathbb F_p[x]$ such that $P(x) - Q(x) R(x)$ is the polynomial with all coefficients $0$ (with all addition and multiplication in the coefficients taken modulo $p$), and the gcd of two polynomials is the highest degree polynomial with leading coefficient $1$ which divides both of them. A non-zero polynomial is a polynomial with not all coefficients $0$. As an example of multiplication, $(x+1)(x+2)(x+3) = x^3+x^2+x+1$ in $\mathbb F_5[x]$.
[i]Proposed by Mark Sellke[/i]
Sequence {$x_n$} satisfies: $x_1=1$ , ${x_n=\sqrt{x_{n-1}^2+x_{n-1}}+x_{n-1}}$ ( ${n>=2}$ )
Find the general term of {$x_n$}
The sequence $a_0, a_1, a_2, ...$ is defined by $a_{n+1} = a^2_n + (a_n - 1)^2$ for $n \ge 0$. Find all rational numbers $a_0$ for which there exist four distinct indices $k, m, p, q$ such that $a_q - a_p = a_m - a_k$.
An eccentric mathematician has a ladder with $ n$ rungs that he always ascends and descends in the following way: When he ascends, each step he takes covers $ a$ rungs of the ladder, and when he descends, each step he takes covers $ b$ rungs of the ladder, where $ a$ and $ b$ are fixed positive integers. By a sequence of ascending and descending steps he can climb from ground level to the top rung of the ladder and come back down to ground level again. Find, with proof, the minimum value of $ n,$ expressed in terms of $ a$ and $ b.$
A sequence of positive real numbers $a_1, a_2, a_3, ... $ satisfies $a_n = a_{n-1} + a_{n-2}$ for all $n \ge 3$. A sequence $b_1, b_2, b_3, ...$ is defined by equations
$b_1 = a_1$ ,
$b_n = a_n + (b_1 + b_3 + ...+ b_{n-1})$ for even $n > 1$ ,
$b_n = a_n + (b_2 + b_4 + ... +b_{n-1})$ for odd $n > 1$.
Prove that if $n\ge 3$, then $\frac13 < \frac{b_n}{n \cdot a_n} < 1$
Find the greatest natural number $n$ such there exist natural numbers $x_{1}, x_{2}, \ldots, x_{n}$ and natural $a_{1}< a_{2}< \ldots < a_{n-1}$ satisfying the following equations for $i =1,2,\ldots,n-1$: \[x_{1}x_{2}\ldots x_{n}= 1980 \quad \text{and}\quad x_{i}+\frac{1980}{x_{i}}= a_{i}.\]
The figures $ F_1$, $ F_2$, $ F_3$, and $ F_4$ shown are the first in a sequence of figures. For $ n\ge3$, $ F_n$ is constructed from $ F_{n \minus{} 1}$ by surrounding it with a square and placing one more diamond on each side of the new square than $ F_{n \minus{} 1}$ had on each side of its outside square. For example, figure $ F_3$ has $ 13$ diamonds. How many diamonds are there in figure $ F_{20}$?
[asy]unitsize(3mm);
defaultpen(linewidth(.8pt)+fontsize(10pt));
path d=(1/2,0)--(0,sqrt(3)/2)--(-1/2,0)--(0,-sqrt(3)/2)--cycle;
marker m=marker(scale(5)*d,Fill);
path f1=(0,0);
path f2=(0,0)--(-1,1)--(1,1)--(1,-1)--(-1,-1);
path[] g2=(-1,1)--(-1,-1)--(0,0)^^(1,-1)--(0,0)--(1,1);
path f3=f2--(-2,-2)--(-2,0)--(-2,2)--(0,2)--(2,2)--(2,0)--(2,-2)--(0,-2);
path[] g3=g2^^(-2,-2)--(0,-2)^^(2,-2)--(1,-1)^^(1,1)--(2,2)^^(-1,1)--(-2,2);
path[] f4=f3^^(-3,-3)--(-3,-1)--(-3,1)--(-3,3)--(-1,3)--(1,3)--(3,3)--
(3,1)--(3,-1)--(3,-3)--(1,-3)--(-1,-3);
path[] g4=g3^^(-2,-2)--(-3,-3)--(-1,-3)^^(3,-3)--(2,-2)^^(2,2)--(3,3)^^
(-2,2)--(-3,3);
draw(f1,m);
draw(shift(5,0)*f2,m);
draw(shift(5,0)*g2);
draw(shift(12,0)*f3,m);
draw(shift(12,0)*g3);
draw(shift(21,0)*f4,m);
draw(shift(21,0)*g4);
label("$F_1$",(0,-4));
label("$F_2$",(5,-4));
label("$F_3$",(12,-4));
label("$F_4$",(21,-4));[/asy]$ \textbf{(A)}\ 401 \qquad \textbf{(B)}\ 485 \qquad \textbf{(C)}\ 585 \qquad \textbf{(D)}\ 626 \qquad \textbf{(E)}\ 761$
You have a $2m$ by $2n$ grid of squares coloured in the same way as a standard checkerboard. Find the total number of ways to place $mn$ counters on white squares so that each square contains at most one counter and no two counters are in diagonally adjacent white squares.
Find all one-to-one mappings $f:\mathbb{N}\to\mathbb{N}$ such that for all positive integers $n$ the following relation holds:
\[ f(f(n)) \leq \frac {n+f(n)} 2 . \]
In an increasing infinite sequence of positive integers, every term starting from the $2002$-th term divides the sum of all preceding terms. Prove that every term starting from some term is equal to the sum of all preceding terms.
Let $a,b,c$ be integer numbers such that $(a+b+c) \mid (a^{2}+b^{2}+c^{2})$. Show that there exist infinitely many positive integers $n$ such that $(a+b+c) \mid (a^{n}+b^{n}+c^{n})$.
[i]Laurentiu Panaitopol[/i]
The sequence $a_1, a_2, a_3, ...$ satisfies that $a_1 = 3$, $a_2 = -1$, $a_na_{n-2} +a_{n-1} = 2$ for all $n \ge 3$. Calculate $a_1 + a_2+ ... + a_{99}$.
(a) Prove that $(2^{n+1}-1)!$ is divisible by $ \prod_{i=0}^n (2^{n+1-i}-1)^{2^i }$, for every natural number n
(b) Define the sequence ($c_n$) by $c_1=1$ and $c_{n}=\frac{4n-6}{n}c_{n-1}$ for $n\ge 2$. Show that each $c_n$ is an integer.
A sequence $a_n$ is defined by
$$a_0=0,\qquad a_1=3;$$$$a_n=8a_{n-1}+9a_{n-2}+16\text{ for }n\ge2.$$Find the least positive integer $h$ such that $a_{n+h}-a_n$ is divisible by $1999$ for all $n\ge0$.
Let $(a_n)$ and $(b_n)$ be the sequences of real numbers such that
\[
(2 + i)^n = a_n + b_ni
\]
for all integers $n\geq 0$, where $i = \sqrt{-1}$. What is \[\sum_{n=0}^\infty\frac{a_nb_n}{7^n}\,?\]
$\textbf{(A) }\frac 38\qquad\textbf{(B) }\frac7{16}\qquad\textbf{(C) }\frac12\qquad\textbf{(D) }\frac9{16}\qquad\textbf{(E) }\frac47$
Find all functions $f:\mathbb{R}\to \mathbb{R}$ such that for all real numbers $a,b,$ and $c$:
(i) If $a+b+c\ge 0$ then $f(a^3)+f(b^3)+f(c^3)\ge 3f(abc).$
(ii) If $a+b+c\le 0$ then $f(a^3)+f(b^3)+f(c^3)\le 3f(abc).$
[i]Proposed by Ashwin Sah[/i]