This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

Found problems: 307

The sequence of numbers $a_1, a_2, a_3, ...$ is defined recursively by $a_1 = 1, a_{n + 1} = \lfloor \sqrt{a_1+a_2+...+a_n} \rfloor $ for $n \ge 1$. Find all numbers that appear more than twice at this sequence.
The sequence $a_0,a_1,a_2,...$ is defined by $a_0 = 0, a_1 = a_2 = 1$ and $a_{n+2} +a_{n-1} = 2(a_{n+1} +a_n)$ for all $n \in N$. Show that all $a_n$ are perfect squares .
Let $a$ be a positive integer and let $\{a_n\}$ be defined by $a_0 = 0$ and \[a_{n+1 }= (a_n + 1)a + (a + 1)a_n + 2 \sqrt{a(a + 1)a_n(a_n + 1)} \qquad (n = 1, 2 ,\dots ).\] Show that for each positive integer $n$, $a_n$ is a positive integer.
Suppose the numbers $a_0, a_1, a_2, ... , a_n$ satisfy the following conditions: $a_0 =\frac12$, $a_{k+1} = a_k +\frac{1}{n}a_k^2$ for $k = 0, 1, ... , n - 1$. Prove that $1 - \frac{1}{n}< a_n < 1$
The sequence $(a_n)$ of complex numbers is considered in the complex plane, in which is: $$a_0 = 1, \,\,\, a_n = a_{n-1} +\frac{1}{n}(\cos 45^o + i \sin 45^o )^n.$$ Prove that the sequence of the real parts of the terms of $(a_n)$ is convergent and its limit is a number between $0.85$ and $1.15$.
Define the sequences $ a_n, b_n, c_n$ as follows. $ a_0 \equal{} k, b_0 \equal{} 4, c_0 \equal{} 1$. If $ a_n$ is even then $ a_{n \plus{} 1} \equal{} \frac {a_n}{2}$, $ b_{n \plus{} 1} \equal{} 2b_n$, $ c_{n \plus{} 1} \equal{} c_n$. If $ a_n$ is odd, then $ a_{n \plus{} 1} \equal{} a_n \minus{} \frac {b_n}{2} \minus{} c_n$, $ b_{n \plus{} 1} \equal{} b_n$, $ c_{n \plus{} 1} \equal{} b_n \plus{} c_n$. Find the number of positive integers $ k < 1995$ such that some $ a_n \equal{} 0$.
Given a sequence $\{x_n\}$, $$x_1 = x_2 = 1, x_{n+2} = x^2_{n+1} - \frac{x_n}{2}$$ Prove that the sequence has limit and find it.
A sequence of real numbers $u_1, u_2, u_3, \dots$ is determined by $u_1$ and the following recurrence relation for $n \geq 1$: \[4u_{n+1} = \sqrt[3]{ 64u_n + 15.}\] Describe, with proof, the behavior of $u_n$ as $n \to \infty.$
Let $(a_k)^{\infty}_{k=0}$ be a sequence of real numbers such that if $k$ is a non-negative integer, then $$a_{k+1} = 3a_k - \lfloor 2a_k \rfloor - \lfloor a_k \rfloor.$$ Definitely all positive integers $n$ such that if $a_0 = 1/n$, then this sequence is constant after a certain term.
The Fibonacci sequence $f_1,f_2,f_3,\dots$ is defined by $f_1=f_2=1$, $f_{n+2}=f_{n+1}+f_n$. Find all $n$ such that $f_n = n^2$.
Let $P_{1}(x)=x^{2}-2$ and $P_{j}(x)=P_{1}(P_{j-1}(x))$ for j$=2,\ldots$ Prove that for any positive integer n the roots of the equation $P_{n}(x)=x$ are all real and distinct.
An infinite sequence of positive real numbers $x_0,x_1,x_2,...$ is called $vasco$ if it satisfies the following properties: (a) $x_0=1,x_1=3$; and (b) $x_0+x_1+...+x_{n-1}\ge3x_{n}-x_{n+1}$, for every $n\ge1$. Find the greatest real number $M$ such that, for every $vasco$ sequence, the inequality $\frac{x_{n+1}}{x_{n}}>M$ is true for every $n\ge0$.
Let be given the sequence $(x_n)$ defined by $x_1 = 1$ and $x_{n+1} = 3x_n + \lfloor x_n \sqrt5 \rfloor$ for all $n = 1,2,3,...,$ where $\lfloor x \rfloor$ denotes the greatest integer that does not exceed $x$. Prove that for any positive integer $n$ we have $$x_nx_{n+2} - x^2_{n+1} = 4^{n-1}$$ Trần Nam Dũng
We consider the sequence $\{u_n\}$ defined by recursion $u_{n+1} =\frac{u_n(u_n + 1)}{n}$ for $n \ge 1$. (a) Determine the terms of the sequence for $u_1 = 1$. (b) Show that if a member of the sequence is rational, then all subsequent members are also rational numbers. (c) Show that for every natural number $K$ there is a $u_1 > 1$ such that the first $K$ terms of the sequence are natural numbers.
A sequence $(a_n)$ is defined by means of the recursion \[a_1 = 1, a_{n+1} = \frac{1 + 4a_n +\sqrt{1+ 24a_n}}{16}.\] Find an explicit formula for $a_n.$
Let $c$ be a positive integer. The sequence $\{f_n\}$ is defined as follows: \[f_1 = 1, f_2 = c, f_{n+1} = 2f_n - f_{n-1} + 2 \quad (n \geq 2).\] Show that for each $k \in \mathbb N$ there exists $r \in \mathbb N$ such that $f_kf_{k+1}= f_r.$
Consider a sequence of positive integers $a_1,a_2,a_3,...$ such that $a_1>1$ and $$a_{n+1}=\frac{a_n}{p}+p,$$ where $p$ is the greatest prime factor of $a_n$. Prove that for any choice of $a_1$, the sequence $a_1,a_2,a_3,...$ has an infinite terms that are equal between them.
Let $x_0=a,x_1=b$ and $x_{n+1}=2x_n-9x_{n-1}$ for each $n\in\mathbb N$, where $a,b$ are integers. Find the necessary and sufficient condition on $a$ and $b$ for the existence of an $x_n$ which is a multiple of $7$.
Let $(a_n)_{n \geq 1}$ be a sequence of real numbers. We define a sequence of real functions $(f_n)_{n \geq 0}$ such that for all $x \in \mathbb{R}$, the following holds: \[ f_0(x) = 1 \quad \text{and} \quad f_n(x) = \int_{a_n}^{x} f_{n-1}(t) \, dt \quad \text{for } n \geq 1. \] Find all possible sequences $(a_n)_{n \geq 1}$ such that $f_n(0) = 0$ for all $n \geq 2$.\\ [b]Note:[/b] It is not necessarily true that $f_1(0) = 0$.
The set $ \{a_0, a_1, \ldots, a_n\}$ of real numbers satisfies the following conditions: [b](i)[/b] $ a_0 \equal{} a_n \equal{} 0,$ [b](ii)[/b] for $ 1 \leq k \leq n \minus{} 1,$ \[ a_k \equal{} c \plus{} \sum^{n\minus{}1}_{i\equal{}k} a_{i\minus{}k} \cdot \left(a_i \plus{} a_{i\plus{}1} \right)\] Prove that $ c \leq \frac{1}{4n}.$
Let $p > 1$ be a natural number. Consider the set $F_p$ of all non-constant sequences of non-negative integers that satisfy the recursive relation $a_{n+1} = (p+1)a_n - pa_{n-1}$ for all $n > 0$. Show that there exists a sequence ($a_n$) in $F_p$ with the property that for every other sequence ($b_n$) in $F_p$, the inequality $a_n \le b_n$ holds for all $n$.
Let the sequence $\{a_n\}$ , $n \ge 0$ satisfy the recurrence relation $$a_{n + 2} =4a_{n + 1}-3a_n, \ \ (1) $$ Let us define the sequence $\{b_n\}$ , $n \ge 1$ by the relation $$b_n= \left[ \frac{a_{n+1}}{a_{n-1}} \right]$$ where we put $b_n =1$ for $a_{n-1}=0$. Prove that, starting from a certain term, the sequence also satisfies the recurrence relation (1). Note: $[x]$ indicates the whole part of the number $x$.
The sequence $ \{x_{n}\}$ is defined by $ x_{1} \equal{} 2,x_{2} \equal{} 12$, and $ x_{n \plus{} 2} \equal{} 6x_{n \plus{} 1} \minus{} x_{n}$, $ (n \equal{} 1,2,\ldots)$. Let $ p$ be an odd prime number, let $ q$ be a prime divisor of $ x_{p}$. Prove that if $ q\neq2,3,$ then $ q\geq 2p \minus{} 1$.
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.
Define the sequence of positive integers $f_n$ by $f_0 = 1, f_1 = 1, f_{n+2} = f_{n+1} + f_n$. Show that $f_n =\frac{ (a^{n+1} - b^{n+1})}{\sqrt5}$, where $a, b$ are real numbers such that $a + b = 1, ab = -1$ and $a > b$.