Teorema del sandvitx

En càlcul infinitesimal, el teorema del sandvitx (anomenat també teorema d'intercalació, teorema de l'enclaustrament, teorema de compressió, teorema de les funcions majorant i minorant, criteri del sandvitx o teorema de l'entrepà) és un teorema emprat en la determinació del límit d'una funció. Aquest teorema diu que si dues funcions tendeixen al mateix límit en un punt, qualsevol altra funció que pugui ser fitada entre les dues anteriors tindrà el mateix límit en el punt. El teorema o criteri del sandvitx és molt important en demostracions de càlcul infinitesimal i anàlisi matemàtica. I és freqüentment emprat per tal de trobar el límit d'una funció mitjançant la comparació amb altres dues funcions de límit conegut o fàcilment calculable. Se'n va fer ús per primera vegada de forma geomètrica per Arquímedes i Eudoxi en llurs esforços per calcular el nombre π, tot i que la formulació moderna és obra de Gauss.

Exposició

El teorema del sandvitx s'exposa formalment com a:

Siga I un entorn del punt a. I siguen f, g i h funcions definides en I, exceptuant, en tot cas, en el mateix punt a. Suposem-hi que per a tot x en I diferent d'a tenim:

g ( x ) f ( x ) h ( x ) {\displaystyle g(x)\leq f(x)\leq h(x)}

i suposem també que

lim x a g ( x ) = lim x a h ( x ) = L . {\displaystyle \lim _{x\to a}g(x)=\lim _{x\to a}h(x)=L.}

Aleshores lim x a f ( x ) = L {\displaystyle \lim _{x\to a}f(x)=L} .

Les funcions g(x) i h(x) són anomenades fites d'f(x), o també funcions minorant i majorant d'f(x) respectivament.

Indeterminacions: exemple

Un dels usos més freqüentes del teorema del sandvitx és en la resolució de límits indeterminats. En particular, permet afirmar que el límit lim x 0 sin x x = 1 {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}=1} . Algunes indeterminacions poden ser resoltes aïllant aquesta expressió de l'expressió general i aplicant propietats del límit amb la resta.

Demostració

Per a 0<x<π/2, sin(x)≤x≤tan(x).

Volem calcular el límit lim x 0 sin x x {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}} , que és una indeterminació del tipus 0 0 {\displaystyle {\frac {0}{0}}} .

Prenem la relació sin x x tan x {\displaystyle \sin x\leq x\leq \tan x} , que es compleix en 0 < x < π / 2 {\displaystyle 0<x<\pi /2} . Dividint entre sin x {\displaystyle \sin x} ,

1 x sin x 1 cos x {\displaystyle 1\leq {\frac {x}{\sin x}}\leq {\frac {1}{\cos x}}}

1 sin x x cos x {\displaystyle 1\geq {\frac {\sin x}{x}}\geq \cos x}

Sabem que lim x 0 1 = 1 {\displaystyle \lim _{x\to 0}1=1} i que lim x 0 cos x = 1 {\displaystyle \lim _{x\to 0}\cos x=1} , per la qual cosa, pel teorema del sandvitx, lim x 0 sin x x = 1 {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}=1}

Altres versions

La successió cos ( n ) / n {\displaystyle \cos(n)/{\sqrt {n}}} convergeix a 0 i és fitada superiorment per 1 / n {\displaystyle 1/{\sqrt {n}}} i inferiorment per 1 / n {\displaystyle -1/{\sqrt {n}}} , successions també convergents a 0.

Existeixin altres versions del teorema del sandvitx, per exemple, per a successions i per a sèries.[1]

Successions

Siguin les successions { a n } n N {\displaystyle \{a_{n}\}_{n\in \mathbb {N} }} i { b n } n N {\displaystyle \{b_{n}\}_{n\in \mathbb {N} }} convergents a L {\displaystyle L} i sigui la successió { c n } n N {\displaystyle \{c_{n}\}_{n\in \mathbb {N} }} tal que existeix n 0 N {\displaystyle n_{0}\in \mathbb {N} } de manera que a n c n b n {\displaystyle a_{n}\leq c_{n}\leq b_{n}} per a n n 0 {\displaystyle n\geq n_{0}} . Llavors, la successió c n {\displaystyle c_{n}} també convergeix a L {\displaystyle L} .

Sèries

Siguin n N a n {\displaystyle \sum _{n\in \mathbb {N} }a_{n}} i n N b n {\displaystyle \sum _{n\in \mathbb {N} }b_{n}} dues sèries convergents i sigui n 0 N {\displaystyle n_{0}\in \mathbb {N} } tal que a n c n b n {\displaystyle a_{n}\leq c_{n}\leq b_{n}} per a tot n n 0 N {\displaystyle n\geq n_{0}\in \mathbb {N} } . Llavors, la sèrie n N c n {\displaystyle \sum _{n\in \mathbb {N} }c_{n}} també convergeix.

Referències

  1. Llopis, José L. «Teorema del emparedado» (en castellà). Matesfacil. ISSN: 2659-8442 [Consulta: 14 maig 2019].
  • Joseph M. Ling (2001) Examples on Limits of Functions: The Squeeze Theorem
  • Dr. C. Sean Bohun The Squeeze Theorem Arxivat 2006-09-02 a Wayback Machine.