Great sequence problem

Art of Problem Solving

AoPS Online

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

High School Olympiads Regional, national, and international math olympiads

Regional, national, and international math olympiads

3 M G

BBookmark VNew Topic kLocked

w

13 users

TOPICS

No tags match your search

M

No tags match your search

M

Great sequence problem

G H J

Reveal topic tags

L

G H BBookmark kLocked kLocked NReply

Source: Balkan MO Shortlist 2024 N4

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

1317 posts

#1 h Apr 27, 2025, 1:03 PM

Y by

Let $k$ be a positive integer. Determine all sequences $(a_n)_{n\geq 1}$ of positive integers such that
$a_{n+2}(a_{n+1} - k) = a_n(a_{n+1} + k)$ for all positive integers $n$ .

Z K Y

The post below has been deleted. Click to close.

This post has been deleted. Click here to see post.

internationalnick123456

134 posts

internationalnick123456

#2 h Apr 30, 2025, 4:04 PM

Y by

First, observe that $a_n > k,\forall n\in\mathbb N$ .
If there exists some $m$ such that $a_{m+1} = a_m + k$ , then by induction it follows that $a_{n+1} = a_n + k ,\forall n\in\mathbb N$ , which forms a valid sequence.
Now assume for the sake of contradiction that $a_{n+1} \neq a_n + k,\forall n \in \mathbb{N}$ . Then, we have:
$\frac{a_{n+2}}{a_{n+1} + k} = \frac{a_n}{a_{n+1} - k}\Leftrightarrow \frac{a_{n+2}}{a_{n+2} - a_{n+1} - k} = \frac{a_n}{a_n + k - a_{n+1}}$ $\Leftrightarrow \frac{a_{n+2} - a_{n+1} - k}{a_{n+1} - a_n - k} = -\frac{a_{n+2}}{a_n}$ Hence, we obtain
$\frac{a_{n+2} - a_{n+1} - k}{a_2 - a_1 - k} = (-1)^n \cdot \frac{a_{n+2} a_{n+1}}{a_2 a_1},\forall n\in\mathbb N$ $\Rightarrow |a_{n+2} - a_{n+1} - k| = c \cdot a_{n+2} a_{n+1}$ , where $c = \left| \dfrac{a_2 - a_1 - k}{a_2 a_1} \right|$
However, since $a_{n+2} > a_n$ , it follows that $\displaystyle \lim_{n \to \infty} a_n = +\infty$ . For sufficiently large $n$ , the left-hand side grows linearly while the right-hand side grows quadratically:
$|a_{n+2} - a_{n+1} - k| < 2 \max\{a_{n+2}, a_{n+1}\} < c \cdot a_{n+2} a_{n+1}$ which is a contradiction.
Thus, $a_{n+1} = a_n + k,\forall n\in\mathbb N$ .

Z K Y

N Quick Reply

G

H

=

© 2025 AoPS Incorporated

a