2002 OIM Problems/Problem 5: Difference between revisions
Created page with "== Problem == In the square <math>ABCD</math>, let <math>P</math> and <math>Q</math> be points belonging to the sides <math>BC</math> and <math>CD</math> respectively, differe..." |
solution |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
== Problem == | == Problem == | ||
The sequence of real numbers <math>a1, a2, \cdots</math> is defined as: | |||
~translated into English by Tomas Diaz. | <cmath>a_1 = 56, a_{n+1} = a_n - \frac{1}{a_n}</cmath> | ||
for every integer <math>n \ge 1</math>. | |||
Prove that there exists an integer <math>k</math>, <math>1 \le k \le 2002</math>, such that <math>a_k < 0</math>. | |||
~translated into English by Tomas Diaz. orders@tomasdiaz.com | |||
== Solution == | == Solution == | ||
{{ | Notice that every time we apply the recursion, we are essentially subtracting <math>\frac{1}{a_n}</math> from the current term. Clearly, the sequence is decreasing, so for all <math>n</math>, <math>a_n\le56</math>, so <math>\frac{1}{a_n}\ge\frac{1}{56}</math>. Then, after every application of the recursion, the value of <math>a_i</math> will decrease by at least <math>\frac{1}{56}</math>; clearly, it will eventually reach negative numbers. | ||
~ [https://artofproblemsolving.com/wiki/index.php/User:Eevee9406 eevee9406] | |||
== See also == | == See also == | ||
https://www.oma.org.ar/enunciados/ibe18.htm | https://www.oma.org.ar/enunciados/ibe18.htm | ||
Latest revision as of 17:23, 5 May 2025
Problem
The sequence of real numbers
is defined as:
for every integer
.
Prove that there exists an integer
,
, such that
.
~translated into English by Tomas Diaz. orders@tomasdiaz.com
Solution
Notice that every time we apply the recursion, we are essentially subtracting
from the current term. Clearly, the sequence is decreasing, so for all
,
, so
. Then, after every application of the recursion, the value of
will decrease by at least
; clearly, it will eventually reach negative numbers.