GreuIntegrale definiteClasa 12

Problemă rezolvată de Integrale definite

GreuIntegrale definite
Fie șirul (an)n1(a_n)_{n \geq 1} definit prin an=0π/2sinnx1+sinnxdxa_n = \int_0^{\pi/2} \frac{\sin^n x}{\sqrt{1 + \sin^n x}} dx. a) Demonstrați că an0π/2sinnxdxa_n \leq \int_0^{\pi/2} \sin^n x \, dx și deduceți că limnan=0\lim_{n \to \infty} a_n = 0. b) Folosind substituția t=sinxt = \sin x, exprimați ana_n ca o integrală în tt și deduceți o formulă de recurență pentru In=01tn1+tndtI_n = \int_0^1 \frac{t^n}{\sqrt{1 + t^n}} dt. c) Calculați limnnan\lim_{n \to \infty} n \cdot a_n.

Rezolvare completă

10 puncte · 5 pași
12 puncte
Pentru a), inegalitatea: sinnx1+sinnxsinnx\frac{\sin^n x}{\sqrt{1 + \sin^n x}} \leq \sin^n x pe [0,π/2][0, \pi/2] deoarece 1+sinnx1\sqrt{1 + \sin^n x} \geq 1. Atunci an0π/2sinnxdx=Ina_n \leq \int_0^{\pi/2} \sin^n x \, dx = I_n (unde InI_n este integrala clasică).
22 puncte
Se știe că In=0π/2sinnxdxI_n = \int_0^{\pi/2} \sin^n x \, dx satisface In0I_n \to 0 și In+1InI_{n+1} \leq I_n. Prin criteriul cleștelui, din 0anIn0 \leq a_n \leq I_n și In0I_n \to 0, rezultă an0a_n \to 0.
32 puncte
Pentru b), substituția t=sinxt = \sin x, dx=dt1t2dx = \frac{dt}{\sqrt{1 - t^2}}, x:0π/2x: 0 \to \pi/2 corespunde t:01t: 0 \to 1. Atunci an=01tn1+tn11t2dta_n = \int_0^1 \frac{t^n}{\sqrt{1 + t^n}} \cdot \frac{1}{\sqrt{1 - t^2}} dt. Nu se obține direct o recurență simplă pentru ana_n, dar pentru In=01tn1+tndtI_n = \int_0^1 \frac{t^n}{\sqrt{1 + t^n}} dt (fără factorul 1/1t21/\sqrt{1 - t^2}), se poate încerca integrarea prin părți sau substituții.
42 puncte
O abordare: In=01tn1+tndtI_n = \int_0^1 \frac{t^n}{\sqrt{1 + t^n}} dt. Fie u=tn/2u = t^{n/2}, dar nu este standard. Mai simplu, se poate demonstra o inegalitate sau se poate folosi pentru c). Pentru recurență, se notează Jn=01tn1+tndtJ_n = \int_0^1 \frac{t^n}{\sqrt{1 + t^n}} dt și se integrează prin părți: Jn=ttn1+tn0101tntn11+tntnntn121+tn1+tndtJ_n = \left. t \cdot \frac{t^n}{\sqrt{1 + t^n}} \right|_0^1 - \int_0^1 t \cdot \frac{n t^{n-1} \sqrt{1 + t^n} - t^n \cdot \frac{n t^{n-1}}{2\sqrt{1 + t^n}}}{1 + t^n} dt, dar este complicat. Se poate lăsa ca expresie.
52 puncte
Pentru c), se estimează ana_n: pe [0,π/2][0, \pi/2], sinxx\sin x \leq x, deci an0π/2xn1+xndxa_n \geq \int_0^{\pi/2} \frac{x^n}{\sqrt{1 + x^n}} dx (nu direct). Alternativ, se folosește teorema de medie: există cn[0,π/2]c_n \in [0, \pi/2] astfel încât an=11+sinncn0π/2sinnxdxa_n = \frac{1}{\sqrt{1 + \sin^n c_n}} \int_0^{\pi/2} \sin^n x \, dx. Dar 0π/2sinnxdxπ2n\int_0^{\pi/2} \sin^n x \, dx \sim \sqrt{\frac{\pi}{2n}} pentru nn mare. Atunci nann11+sinncnπ2n=πn211+sinncnn a_n \sim n \cdot \frac{1}{\sqrt{1 + \sin^n c_n}} \cdot \sqrt{\frac{\pi}{2n}} = \sqrt{\frac{\pi n}{2}} \cdot \frac{1}{\sqrt{1 + \sin^n c_n}}. Deoarece sinncn0\sin^n c_n \to 0, 11+sinncn1\frac{1}{\sqrt{1 + \sin^n c_n}} \to 1, deci nann a_n \to \infty? Contradicție cu an0a_n \to 0. Corect: 0π/2sinnxdxπ2n\int_0^{\pi/2} \sin^n x \, dx \sim \sqrt{\frac{\pi}{2n}}, deci nann11+sinncnπ2n=πn211+sinncnn a_n \sim n \cdot \frac{1}{\sqrt{1 + \sin^n c_n}} \cdot \sqrt{\frac{\pi}{2n}} = \sqrt{\frac{\pi n}{2}} \cdot \frac{1}{\sqrt{1 + \sin^n c_n}}, care tinde la \infty, deci limita este \infty. Dar se poate verifica: pentru nn mare, an0π/2sinnxdxπ2na_n \approx \int_0^{\pi/2} \sin^n x \, dx \approx \sqrt{\frac{\pi}{2n}}, deci nanπn2n a_n \approx \sqrt{\frac{\pi n}{2}} \to \infty. Deci limnnan=\lim_{n \to \infty} n a_n = \infty.

Ai rezolvat această problemă?

Trimite soluția ta și primește feedback AI detaliat — vezi exact unde ai greșit și cum să îmbunătățești.

Vreau evaluare AI — e gratuit

50 credite gratuite la înregistrare. Fără card, fără obligații.

62 zile până la BAC

Pregătește-te la Integrale definite cu AI

Rezolvă probleme pe hârtie, fotografiază și primește feedback instant de la AI — ca de la un profesor.

Vreau evaluare AI pe soluția mea

50 credite gratuite la înregistrare. Fără card, fără obligații.