Found problems: 307
Let $ \mathbb{R}^\plus{}$ be the set of all non-negative real numbers. Given two positive real numbers $ a$ and $ b,$ suppose that a mapping $ f: \mathbb{R}^\plus{} \mapsto \mathbb{R}^\plus{}$ satisfies the functional equation:
\[ f(f(x)) \plus{} af(x) \equal{} b(a \plus{} b)x.\]
Prove that there exists a unique solution of this equation.
Let $A$ and $E$ be opposite vertices of an octagon. A frog starts at vertex $A.$ From any vertex except $E$ it jumps to one of the two adjacent vertices. When it reaches $E$ it stops. Let $a_n$ be the number of distinct paths of exactly $n$ jumps ending at $E$. Prove that: \[ a_{2n-1}=0, \quad a_{2n}={(2+\sqrt2)^{n-1} - (2-\sqrt2)^{n-1} \over\sqrt2}. \]
Consider the succession of integers $\{f(n)\}_{n=1}^{\infty}$ defined as:
$\bullet$ $f(1) = 1$.
$\bullet$ $f(n) = f(n/2)$ if $n$ is even.
$\bullet$ If $n > 1$ odd and $f(n-1)$ odd, then $f(n) = f(n-1)-1$.
$\bullet$ If $n > 1$ odd and $f(n-1)$ even, then $f(n) = f(n-1)+1$.
a) Compute $f(2^{2020}-1)$.
b) Prove that $\{f(n)\}_{n=1}^{\infty}$ is not periodical, that is, there do not exist positive integers $t$ and $n_0$ such that $f(n+t) = f(n)$ for all $n \geq n_0$.
The sequence $(a_n)$ is defined with the recursion $a_{n + 1} = 5a^6_n + 3a^3_{n-1} + a^2_{n-2}$ for $n\ge 2$ and the set of initial values $\{a_0, a_1, a_2\} = \{2013, 2014, 2015\}$. (That is, the initial values are these three numbers in any order.)
Show that the sequence contains no sixth power of a natural number.
The infinite sequence $a_0, a_1, a_2, a_3,... $ is defined by $a_0 = 2$ and
$$a_n =\frac{2a_{n-1} + 1}{a_{n-1} + 2}$$ , $n = 1, 2, 3, ...$ Prove that $1 < a_n < 1 + \frac{1}{3^n}$ for all $n = 1, 2, 3, . .$
The sequences $(a_n)$ and (c_n) are given by $a_0 =\frac12$, $c_0=4$ , and for $n \ge 0$ , $a_{n+1}=\frac{2a_n}{1+a_n^2}$, $c_{n+1}=c_n^2-2c_n+2$
Prove that for all $n\ge 1$, $a_n=\frac{2c_0c_1...c_{n-1}}{c_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 $f : N\to N$ such that $$f(1) = 0\,\, , \,\,f(3n) = 2f(n) + 2\,\, , \,\,f(3n-1) = 2f(n) + 1\,\, , \,\,f(3n-2) = 2f(n).$$ Determine the smallest value of $n$ so that $f (n) = 2014.$
Consider a sequence of polynomials $P_0(x), P_1(x), P_2(x), \ldots, P_n(x), \ldots$, where $P_0(x) = 2, P_1(x) = x$ and for every $n \geq 1$ the following equality holds:
\[P_{n+1}(x) + P_{n-1}(x) = xP_n(x).\]
Prove that there exist three real numbers $a, b, c$ such that for all $n \geq 1,$
\[(x^2 - 4)[P_n^2(x) - 4] = [aP_{n+1}(x) + bP_n(x) + cP_{n-1}(x)]^2.\]
Let $(a_n)$ be the integer sequence which is defined by $a_1= 1$ and
$$ a_{n+1}=a_n^2 + n \cdot a_n \,\, , \,\, \forall n \ge 1.$$
Let $S$ be the set of all primes $p$ such that there exists an index $i$ such that $p|a_i$.
Prove that the set $S$ is an infinite set and it is not equal to the set of all primes.
For each positive integer $n$, denote by $O(n)$ its greatest odd divisor. Given any positive integers $x_1 = a$ and $x_2 = b$, construct an in nite sequence of positive integers as follows: $x_n = O(x_{n-1} + x_{n-2})$, where $n = 3,4,...$
(a) Prove that starting from some place, all terms of the sequence are equal to the same integer.
(b) Express this integer in terms of $a$ and $b$.
Let $P(x)$ denote the product of all (decimal) digits of a natural number $x$. For any positive integer $x_1$, define the sequence $(x_n)$ recursively by $x_{n+1} = x_n + P(x_n)$. Prove or disprove that the sequence $(x_n)$ is necessarily bounded.
The sequence $a_1, a_2, a_3,...$ is defined by $$a_1 = 1\,\,\,, \,\,\,a_{n+1} =\frac{1}{16}(1 + 4a_n +\sqrt{1 + 24a_n}) \,\,\,(n \in N^* ).$$ Determine and prove a formula with which for every natural number $n$ the term $a_n$ can be computed directly without having to determine preceding terms of the sequence.
A sequence $a_0,a_1,a_2,...,a_n,...$ is such that $a_0=1$ and, for each $n\ge 0$ , $a_{n+1}=m \cdot a_n$ , where $m$ is an integer between $2$ and $9$ inclusive. Also, every integer between $2$ and $9$ has even been used at least once to get $a_{n+1} $ from $a_n$ . Let $Sn$ the sum of the digits of $a_n$ , $n=0,1,2,...$ . Prove that $S_n \ge S_{n+1}$ for infinite values of $n$.
On the Cartesian coordinate system $Oxy$, consider a sequence of points $A_n(x_n, y_n)$ in which $(x_n)^{\infty}_{n=1}$,$(y_n)^{\infty}_{n=1}$ are two sequences of positive numbers satisfing the following conditions:
$$x_{n+1} =\sqrt{\frac{x_n^2+x_{n+2}^2}{2}}, y_{n+1} =\big( \frac{\sqrt{y_n}+\sqrt{y_{n+2}}}{2} \big)^2 \,\, \forall n \ge 1 $$ Suppose that $O, A_1, A_{2016}$ belong to a line $d$ and $A_1, A_{2016}$ are distinct.
Prove that all the points $A_2, A_3,. .. , A_{2015}$ lie on one side of $d$.
A sequence $(a_n)$ is defined by $a_0=-1,a_1=0$, and $a_{n+1}=a_n^2-(n+1)^2a_{n-1}-1$ for all positive integers $n$. Find $a_{100}$.
Let $P(x)$ denote the product of all (decimal) digits of a natural number $x$. For any positive integer $x_1$, define the sequence $(x_n)$ recursively by $x_{n+1} = x_n + P(x_n)$. Prove or disprove that the sequence $(x_n)$ is necessarily bounded.
Let $ c > 2,$ and let $ a(1), a(2), \ldots$ be a sequence of nonnegative real numbers such that
\[ a(m \plus{} n) \leq 2 \cdot a(m) \plus{} 2 \cdot a(n) \text{ for all } m,n \geq 1,
\]
and $ a\left(2^k \right) \leq \frac {1}{(k \plus{} 1)^c} \text{ for all } k \geq 0.$ Prove that the sequence $ a(n)$ is bounded.
[i]Author: Vjekoslav Kovač, Croatia[/i]
Find all sequences $(a_n)$ of positive integers satisfying the equality $a_n=a_{a_{n-1}}+a_{a_{n+1}}$
a) for all $n\ge 2$
b) for all $n \ge 3$
(I. Gorodnin)
An infinite sequence of integers $a_1,a_2,a_3, ...$ is given with $a_1 = 0$ and further holds for every natural number $n$ that $a_{n+1} = a_n - n$ if $a_n \ge n$ and $a_{n+1} = a_n + n$ if $a_n < n$ .
(a) Prove that there are infinitely many numbers in the sequence equal to $0$.
(b) Express in terms of $k$ the ordinal number of the $k^e$ number from the sequence, which is equal to $0$.
The numerical sequence $x_1 , x_2 ,.. $ satisfies $x_1 = \frac12$ and $x_{k+1} =x^2_k+x_k$ for all natural integers $k$ . Find the integer part of the sum $\frac{1}{x_1+1}+\frac{1}{x_2+1}+...+\frac{1}{x_{100}+1}$
{A. Andjans, Riga)
A sequence ($a_n$) is given by $a_0 = 0, a_1 = 1$ and $a_{k+2} = a_{k+1} +a_k$ for all integers $k \ge 0$.
Prove that the inequality $\sum_{k=0}^n \frac{a_k}{2^k}< 2$ holds for all positive integers $n$.
Let $a_1=1,$ $a_2=2,$ $a_n=2a_{n-1}+a_{n-2},$ $n=3,4,\cdots.$ Prove that for any integer $n\geq5,$ $a_n$ has at least one prime factor $p,$ such that $p\equiv 1\pmod{4}.$
A sequence $x_0, x_1, x_2, . . .$ is given by $x_0 = 8$ and $x_{n+1} =\frac{1 + x_n}{1- x_n}$ for $n = 0, 1, 2, . . . .$ Determine the number $x_{2013}$.
Let $n$ be an integer greater than $1$. Define
\[x_1 = n, y_1 = 1, x_{i+1} =\left[ \frac{x_i+y_i}{2}\right] , y_{i+1} = \left[ \frac{n}{x_{i+1}}\right], \qquad \text{for }i = 1, 2, \ldots\ ,\]
where $[z]$ denotes the largest integer less than or equal to $z$. Prove that
\[ \min \{x_1, x_2, \ldots, x_n \} =[ \sqrt n ]\]