洛必达法则的简便证明.docxVIP

洛必达法则的简便证明（以x?x?为例）之袁州冬雪创作

0

柯西中值定理可用于证明洛必达法则和泰勒公式.

0 ?

??定理（0型，?型）若函数f和g知足条件

?

?

1）lim

1）

x?x?

0

f(x)?lim

x?x?

0

g(x)?0

0

（是说极限为0型不定式）（

型中的

）1）limg(x)??

）

1）

x?x?

x?

x?x?g?(x)

lim

f?(x)?A

0

A2） （

A

f?(x)

为实数或

???， ）（是说在

??

?

x0

x

0

U (x

? 0

)内，g?(x)有意义，且有确定的趋势），则

lim

lim

f(x)?A

x?x?

g(x)

0

.

证明

0

0型

A有限

故 ???0 ，

分子分母同除以

?

?型

g(x?)，即

?U(x)

f(x)?f(x?)

? 0，

???

g(x?) g(x?)? ??

?x?U

?

(x)

，0

，

x??x

令 0?

A

，由保号性，

A

g(x)?1

A???

f?(x)?A??

g?(x)

A???lim f(x)?A??

g(x?) .

?所 以 ，

?

x?x

0

g(x)

x??x?

lim

g(x?)??

?x?,x?U

(x)

由实数a?b的?语言形式 令

0 ，由

x??x?

0

及保号

x ? ???0 性，

且 0 x

x，由柯

的定义，

f(x?)

西中值定理， lim

f(x)?A

A???lim

? ?A??

???(x?,x)?U

(x)，

x?x

0

g(x) .

x??x?

0

g(x)

?0 由a?b的?语言形式的定义，

?

使 f(x?) f(x)

A???f(x)?f(x?)?f?(?)?A??

lim

? ?A lim ?A

g(x)?g(x?) g?(?) x??x?g(x) x?x?g(x)

0 ，即 0 .

f?(x)

?G?0,?U

因为 ?

(x)

0

?x?U

， ?

(x)

0 ，

从

lim

x?x?

0

g?(x)??

f?(x)?0

，否则，

|f?(x)|?G

g?(x) .

知A?? lim

知

x?x?

0

f?(x)?0

g?(x) ，与假设抵触. 所以，

?x?,x?U

(x) x ?x??x

? 0 且 0 ，由

0由无穷小与无穷大的关系， 柯西中值定理，???(x?,x)?U?(x)，

0

使得

lim

limg?(x)?0

x?x

?

f?(x)

|

f(x)?f(x?) f?(?)

?

|?G

0

.

g(x)?g(x?)

g?(?)

从而化为已证的A有限的情形，

lim

g(x)

f(x)

?

.

?0

分子分母同除以g(x)，有

f(x) f(x?) f(x)

f(x?)

有x?x?

0

，故由无穷小与无穷大

的关系，

G?|

g(x?)?g(x?) |g(x?)|?|g(x?)|

g(x)

|?

lim

x?x?

f(x)???A

g(x)

g(x?)?1

| ?1|

g(x?)

g(x)

.

0

.

得

|

f(x?)

g(x?)

|?G?|

g(x)

g(x?)

?1|?|

f(x)

g(x?)

|

.

因

x?x

?

0，

?

|g(x)?1|?1(?1)

g(x?)

2

及保

|g(x)?1|?1

号性，

g(x?)

2；

因

x??x?

f(x)|?0,

0

，

g(x?)

及定义，

???0，

|f(x)|??

g(x?)

.

|f(x?)|?1G??

于是

g(x?) 2

，

1G?|f(x?)|??

即

2

g(x?)

.

由实数a?b的?语言形式的定义，

|

f(x?) 1

|? G

lim

g(x?) 2

???A

.

故x??x?

f(x?)

g(x?)

0

，即

lim

x?x?

f(x)???A

g(x)

0

.

注同时知足定理的几个条件才可适用.

f?(x)

lim

只有断言x?x?