Neocijenjeno
7. travnja 2017. 23:49 (7 godine, 3 mjeseci)
Determine all functions
![f](/media/m/9/9/8/99891073047c7d6941fc8c6a39a75cf2.png)
from the set of positive integers to the set of positive integers such that, for all positive integers
![a](/media/m/6/d/2/6d2832265560bb67cf117009608524f6.png)
and
![b](/media/m/e/e/c/eec0d7323095a1f2101fc1a74d069df6.png)
, there exists a non-degenerate triangle with sides of lengths
(A triangle is non-degenerate if its vertices are not collinear.)
Proposed by Bruno Le Floch, France
%V0
Determine all functions $f$ from the set of positive integers to the set of positive integers such that, for all positive integers $a$ and $b$, there exists a non-degenerate triangle with sides of lengths
$$a, f(b) \text{ and } f(b + f(a) - 1).$$
(A triangle is non-degenerate if its vertices are not collinear.)
Proposed by Bruno Le Floch, France
Upozorenje: Ovaj zadatak još niste riješili!
Kliknite ovdje kako biste prikazali rješenje.
za svaki
prirodan, dakle
je neogranicena
, no posto je
neogranicena mora vrijediti ![f(1) = 1](/media/m/2/b/3/2b362ce353d6a9e0df3e7eb18796536d.png)
![b \rightarrow 1 \Rightarrow a = f(f(a))](/media/m/0/0/a/00a7374ca3c038cb7adab262896fa768.png)
Induktivno dokazujem tvrdnju
, za svaki
prirodan broj
![b \rightarrow f(2) \Rightarrow a+1 \geqslant f(f(a)+f(2)-1)](/media/m/2/3/3/233f9fa2f41f38e190fc876f110f6369.png)
za svaki
, dakle
za svaki
, dakle
, dakle
, sto smo i htjeli dokazati
Posto
,
je bijekcija, pa
, dakle
$ f(b) + f(b + f(a) - 1) > a $ za svaki $ a $ prirodan, dakle $ f $ je neogranicena
$ a \rightarrow 1 \Rightarrow f(b) = f(b + f(1) - 1) $, no posto je $ f $ neogranicena mora vrijediti $ f(1) = 1 $
$ b \rightarrow 1 \Rightarrow a = f(f(a)) $
Induktivno dokazujem tvrdnju $ f(a+1) = f(a) + f(2) - 1 = (a-1)f(2) - (a-2) = a(f(2)-1) + 2 - f(2) $, za svaki $ a $ prirodan broj
$ b \rightarrow f(2) \Rightarrow a+1 \geqslant f(f(a)+f(2)-1) $
$ f(a) + f(2) -1 > f(a) \geqslant f(x) $ za svaki $ x \leqslant a $, dakle $ f(f(a) + f(2) - 1) \neq x $ za svaki $ x \leqslant a $, dakle $ f(f(a) + f(2) - 1) = a+1 $, dakle $ f(a) + f(2) - 1 = f(a+1) $, sto smo i htjeli dokazati
Posto $f(f(a)) = a$, $ f $ je bijekcija, pa $ f(2) = 2 $, dakle $ f(x) = x $