Teorema della permanenza del segno

Se il limite di una funzione per x tendente a c è un numero l diverso da zero, allora esiste
un intorno I di c ( escluso al più c) in cui f(x) ed l sono entrambi positivi o entrambi
negativi.

Ipotesi: lim f x   l
x c
con l  0

Tesi: I c : x  I c , x  c accade che :

1. se l  0  f x   0

2. se l  0  f x   0

Dimostrazione:

Esplicitiamo l’ipotesi dunque   0 I c : x  I c , x  c accade che f x   l   vale

a dire l    f x   l   ( #)

1. Sia l  0 . Poiché  è una arbitraria quantità positiva posso scegliere   l .

In corrispondenza ad essa I c in cui vale la (#) dunque si ha l  l  f x   l  l

0  f x   2l e dunque f x   0 x  I c perciò f x  ed l sono entrambi positivi.

2. Sia l  0 . Poiché  è una arbitraria quantità positiva posso scegliere   l

(    l )

In corrispondenza ad essa I c in cui vale la (#) dunque si ha l  l  f x   l  l

2l  f x   0 e dunque f x   0 x  I c perciò f x  ed l sono entrambi negativi.