← Capitol

Culegere Burtea · Șiruri · ex. 6

Exercițiul 6 · Un șir cu radicali este mărginit

Se consideră șirul (an)n∈N∗(a_n)_{n\in\mathbb N^*} definit prin an=n+3−n+2a_n = \sqrt{n+3} - \sqrt{n+2}. Să se arate că șirul este mărginit.

Arată că șirul este mărginit.

Diferența a doi radicali care cresc amândoi e greu de estimat. Amplifică cu suma lor, n+3+n+2\sqrt{n+3} + \sqrt{n+2}, și folosește formula din gimnaziu (x−y)(x+y)=x2−y2(x - y)(x + y) = x^2 - y^2.
  1. 1. Ce ni se cere

    Breviarul culegerii spune că un șir este mărginit dacă există un interval [a,b][a, b] care conține toți termenii lui:
    a≤an≤ba \le a_n \le b
    Pentru orice n∈N∗n \in \mathbb{N}^*. Numerele aa și bb sunt fixe: aceleași pentru toți termenii, oricât de mare ar fi nn.

    Așa că trebuie să găsim două numere, unul sub toți termenii și unul peste toți termenii. Să vedem întâi câțiva termeni, cu 3≈1,732\sqrt3 \approx 1{,}732 și 5≈2,236\sqrt5 \approx 2{,}236:

    a1=4−3=2−3≈0,268a_1 = \sqrt4 - \sqrt3 = 2 - \sqrt3 \approx 0{,}268

    a2=5−4=5−2≈0,236a_2 = \sqrt5 - \sqrt4 = \sqrt5 - 2 \approx 0{,}236

    a3=6−5≈0,213a_3 = \sqrt6 - \sqrt5 \approx 0{,}213

    Termenii par pozitivi și tot mai mici. Dar câteva exemple nu dovedesc nimic despre toți termenii. Avem nevoie de un argument care merge pentru orice nn.

  2. 2. De ce e greu de estimat direct

    În forma an=n+3−n+2a_n = \sqrt{n+3} - \sqrt{n+2}, ambii radicali cresc când crește nn, și cresc oricât de mult. Uită-te la ce se scade:
    nnn+3\sqrt{n+3}n+2\sqrt{n+2}ana_n
    11221,7321{,}7320,2680{,}268
    10010010,14910{,}14910,10010{,}1000,0490{,}049
    1000100031,67031{,}67031,65431{,}6540,0160{,}016

    Scădem două numere mari, aproape egale. Din forma de diferență nu se vede cât de mare e rezultatul, nici măcar că rămâne mic.

    O primă idee: n+2\sqrt{n+2} e pozitiv, deci scăzându-l obții ceva mai mic decât n+3\sqrt{n+3}. Adică an<n+3a_n < \sqrt{n+3}.

    Verifică-te

    Inegalitatea an<n+3a_n < \sqrt{n+3} e adevărată. De ce nu ajunge ca să arăți că șirul are o margine de sus?
    Avem nevoie de altă scriere a lui ana_n, din care marginile să se vadă ușor. Așa face și culegerea în exemplul rezolvat 6a): observă întâi că 0≤2n−1n+10 \le \frac{2n-1}{n+1}, apoi rescrie fracția ca 2−3n+12 - \frac{3}{n+1} și abia de aici dă marginea de sus.
  3. 3. Ideea: amplificăm cu suma radicalilor

    Trucul nu apare în exemplele rezolvate ale culegerii, dar seamănă cu ceva ce știi. În problema 1c din manual ai avut 93\frac{9}{\sqrt3} și ai amplificat cu 3\sqrt3, pentru că 3⋅3=3\sqrt3 \cdot \sqrt3 = 3 și radicalul dispare. Aici folosim aceeași unealtă, amplificarea, dar cu alt scop: vrem să scăpăm de diferența de radicali, care e greu de estimat.

    Pentru o diferență de radicali, acel „ceva” este suma lor, datorită formulei din gimnaziu:

    (x−y)(x+y)=x2−y2(x - y)(x + y) = x^2 - y^2
    Ca să fie mai ușor de scris, notăm x=n+3x = \sqrt{n+3} și y=n+2y = \sqrt{n+2}. Atunci an=x−ya_n = x - y, iar x2=n+3x^2 = n + 3 și y2=n+2y^2 = n + 2. Amplificăm cu x+yx + y, adică înmulțim și împărțim cu același număr:
    an=(x−y)(x+y)x+ya_n = \dfrac{(x - y)(x + y)}{x + y}
    an=x2−y2x+ya_n = \dfrac{x^2 - y^2}{x + y}
    Valoarea nu se schimbă: x+yx+y=1\frac{x + y}{x + y} = 1, iar x+y>0x + y > 0, deci nu împărțim la 0.

    Verifică-te

    Cât este numărătorul x2−y2=(n+3)−(n+2)x^2 - y^2 = (n + 3) - (n + 2)?
    Revenind la radicali:
    an=1n+3+n+2a_n = \dfrac{1}{\sqrt{n+3} + \sqrt{n+2}}

    Radicalii nu au dispărut de tot: s-au mutat la numitor, iar diferența a devenit o sumă. Exact asta voiam. O diferență de doi radicali care cresc e greu de estimat, dar o sumă de doi radicali pozitivi care cresc e ușor de estimat: e pozitivă și crește și ea.

    Regula din problema 1c, „nu lăsăm radical la numitor”, e despre cum scrii la final un număr fix. Aici nu căutăm forma finală a unui număr, ci o formă din care să se vadă marginile, așa că radicalii de la numitor ne ajută.

  4. 4. Din noua formă se văd marginile

    Acum ana_n este o fracție cu numărătorul fix, 11, și numitorul n+3+n+2\sqrt{n+3} + \sqrt{n+2}.

    Marginea de jos. Numitorul este o sumă de doi radicali pozitivi, deci e pozitiv. O fracție cu numărător și numitor pozitive este pozitivă, așa că an>0a_n > 0 pentru orice nn.

    Marginea de sus. Când nn crește, crește și numărul de sub fiecare radical, deci crește fiecare radical: de exemplu, 5>4\sqrt5 > \sqrt4. Prin urmare, numitorul crește odată cu nn.

    Verifică-te

    Numitorul crește când crește nn, iar numărătorul rămâne 1. Ce se întâmplă cu ana_n?
    Cel mai mic numitor este deci cel de la n=1n = 1:
    n+3+n+2≥2+3{\sqrt{n+3} + \sqrt{n+2} \ge 2 + \sqrt3}
    Pentru orice n≥1n \ge 1: la n=1n = 1 numitorul este 4+3=2+3\sqrt4 + \sqrt3 = 2 + \sqrt3, apoi crește.
    Numitor mai mare înseamnă fracție mai mică, așa că fiecare termen este cel mult egal cu fracția de la n=1n = 1:
    an≤12+3a_n \le \dfrac{1}{2 + \sqrt3}
  5. 5. Cât este 12+3\frac{1}{2 + \sqrt3}

    Marginea de sus, 12+3\frac{1}{2 + \sqrt3}, nu mai depinde de nn: este un singur număr fix. Pe el chiar vrem să-l scriem simplu, fără radical la numitor, ca în problema 1c. E alt scop decât în pasul 3, unde am căutat o formă din care să se vadă marginile. Amplificăm cu 2−32 - \sqrt3, pentru că produsul de la numitor devine 1:
    (2+3)(2−3)=22−(3)2=4−3=1\begin{aligned} &(2 + \sqrt3)(2 - \sqrt3) \\ &= 2^2 - (\sqrt3)^2 = 4 - 3 = 1 \end{aligned}

    Verifică-te

    De ce nu amplificăm cu 3\sqrt3, ca în problema 1c din manual?
    12+3=2−3(2+3)(2−3){\dfrac{1}{2 + \sqrt3} = \dfrac{2 - \sqrt3}{(2 + \sqrt3)(2 - \sqrt3)}}
    Înmulțești cu 2−32 - \sqrt3 și sus, și jos.
    12+3=2−31=2−3{\dfrac{1}{2 + \sqrt3} = \dfrac{2 - \sqrt3}{1} = 2 - \sqrt3}
    Cu zecimale, 2−3≈0,2682 - \sqrt3 \approx 0{,}268.
    Observă că 2−32 - \sqrt3 este chiar a1=4−3a_1 = \sqrt4 - \sqrt3. Are sens: șirul scade, deci cel mai mare termen este primul.
  6. 6. Concluzia

    Am arătat că, pentru orice n∈N∗n \in \mathbb{N}^*,
    0<an≤2−30 < a_n \le 2 - \sqrt3

    Deci toți termenii se află în intervalul [0, 2−3][0,\ 2 - \sqrt3]. Este exact ce cere definiția din breviar, cu a=0a = 0 și b=2−3b = 2 - \sqrt3, așa că șirul este mărginit.

    Verificare cu termenii calculați: a1≈0,268a_1 \approx 0{,}268, a100≈0,049a_{100} \approx 0{,}049, a1000≈0,016a_{1000} \approx 0{,}016. Toți sunt pozitivi și niciunul nu trece de 2−3≈0,2682 - \sqrt3 \approx 0{,}268.

Răspuns
Pentru orice n∈N∗n \in \mathbb{N}^*, an=1n+3+n+2a_n = \frac{1}{\sqrt{n+3} + \sqrt{n+2}}, deci 0<an≤2−30 < a_n \le 2 - \sqrt3. Toți termenii sunt în intervalul [0, 2−3][0,\ 2 - \sqrt3], așa că șirul este mărginit.