A B. 4874. feladat (2017. április)

B. 4874. Jelölje $\displaystyle \|x\|$ az $\displaystyle x$ valós szám hozzá legközelebb eső egész számtól vett távolságát. Bizonyítsuk be, hogy tetszőleges $\displaystyle a_1,a_2,\ldots,a_n$ pozitív egész számok esetén létezik olyan $\displaystyle x$ valós szám, amelyre $\displaystyle \|a_ix\|\ge \frac{1}{2n}$ minden $\displaystyle 1\le i\le n$ esetén.

(5 pont)

A beküldési határidő 2017. május 10-én LEJÁRT.

Megoldás. Az $\displaystyle ||a_ix||<\frac{1}{2n}$ egyenlőtlenség pontosan azokra az $\displaystyle x$ valós számokra teljesül, amelyekhez található olyan $\displaystyle m$ egész szám, amelyre $\displaystyle m-\frac{1}{2n}<a_ix<m+\frac{1}{2n}$, vagyis

$\displaystyle \frac{m}{a_i}-\frac{1}{2na_i}<x<\frac{m}{a_i}+\frac{1}{2na_i}.$

Olyan $\displaystyle x$-et keresünk tehát, amely az $\displaystyle I_{m,i}=\left( \frac{m}{a_i}-\frac{1}{2na_i},\frac{m}{a_i}+\frac{1}{2na_i} \right)$ intervallumok egyikébe sem esik bele. Keressünk megfelelő $\displaystyle x$-et a $\displaystyle [0,1]$ intervallumban. Rögzített $\displaystyle i$ esetén az $\displaystyle I_{m,i}$ intervallumok közül a $\displaystyle [0,1]$ intervallumot $\displaystyle a_i+1$ darab metszi: $\displaystyle I_{0,i}$-nek és $\displaystyle I_{a_i,i}$-nek a felét tartalmazza $\displaystyle [0,1]$, a többit teljes egészében. így minden $\displaystyle i$-re teljesül, hogy az $\displaystyle I_{m,i}$ intervallumuk $\displaystyle [0,1]$-be eső részének összhossza éppen $\displaystyle \frac{1}{2na_i}+(a_i-1)\cdot \frac{1}{na_i}+\frac{1}{2na_i}=\frac{1}{n}$. Tehát minden $\displaystyle 1\leq i\leq n$ esetén a $\displaystyle [0,1]$-be eső ,,tiltott'' részintervallumok összhossza éppen $\displaystyle \frac{1}{n}$. összességében tehát a tiltott intervallumok összhossza (minden $\displaystyle i$-t figyelembe véve) éppen 1. Azonban $\displaystyle \left[0,\frac{1}{2n\max(a_1,a_2,\dots,a_n)} \right)$-et minden $\displaystyle i$-re tartalmazza egy tiltott intervallum, így a tiltott intervallumok uniójának összhossza valójában szigorúan kisebb, mint 1, ha $\displaystyle n\geq 2$. Ezért biztosan választható olyan $\displaystyle x\in[0,1]$, amely egyik tiltott intervallumban sincsen benne, és erre az $\displaystyle x$-re $\displaystyle ||a_ix||\geq \frac{1}{2n}$ minden $\displaystyle 1\leq i\leq n$ mellett teljesül.

Végül, ha $\displaystyle n=1$, akkor $\displaystyle x=\frac{1}{2a_i}$ megfelelő választás.

Statisztika:

23 dolgozat érkezett.
5 pontot kapott:	Beke Csongor, Borbényi Márton, Daróczi Sándor, Döbröntei Dávid Bence, Gáspár Attila, Imolay András, Janzer Orsolya Lili, Nagy Nándor, Németh 123 Balázs, Saár Patrik, Schrettner Jakab, Szabó 417 Dávid, Tóth Viktor, Weisz Máté.
4 pontot kapott:	Csahók Tímea, Szabó Kristóf, Szemerédi Levente, Vári-Kakas Andor.
3 pontot kapott:	3 versenyző.
2 pontot kapott:	2 versenyző.

A KöMaL 2017. áprilisi matematika feladatai