1.证明:方程
x
−
tan
x
=
0
x-\tan x=0
x−tanx=0有无数个实根。
如果想象一下
y
=
x
y=x
y=x和
y
=
tan
x
y=\tan x
y=tanx的图象,就可以知道在每个
(
k
π
−
π
2
,
k
π
+
π
2
)
(
k
∈
Z
)
(k\pi-\frac{\pi}{2},k\pi+\frac{\pi}{2}) (k\in Z)
(kπ−2π,kπ+2π)(k∈Z)中都有一个交点,这个交点显然就是方程的实根。
因此,证明该方程有无数个实根的时候,设
f
(
x
)
=
x
−
tan
x
f(x)=x-\tan x
f(x)=x−tanx,运用零点存在性定理,在每个区间里找出一个大于0的函数值和一个小于0的函数值即可。这里不妨取
k
>
0
k>0
k>0。
大于0的函数值很好取,令
x
1
=
k
π
x_1=k\pi
x1=kπ,则
f
(
x
1
)
=
k
π
−
tan
k
π
=
k
π
>
0
f(x_1)=k\pi-\tan k\pi=k\pi>0
f(x1)=kπ−tankπ=kπ>0。
小于0的函数值不好取,假设
x
2
=
k
π
+
t
(
−
π
2
<
t
<
π
2
)
x_2=k\pi+t(-\frac{\pi}{2}<t<\frac{\pi}{2})
x2=kπ+t(−2π<t<2π)且
f
(
x
2
)
=
(
k
π
+
t
)
−
tan
(
k
π
+
t
)
<
0
f(x_2)=(k\pi+t)-\tan(k\pi+t)<0
f(x2)=(kπ+t)−tan(kπ+t)<0,则
k
π
+
t
−
tan
t
<
0
k\pi+t-\tan t<0
kπ+t−tant<0,即
tan
t
>
k
π
+
t
\tan t>k\pi+t
tant>kπ+t。
由于
k
π
+
t
<
k
π
+
π
2
k\pi+t<k\pi+\frac{\pi}{2}
kπ+t<kπ+2π,取
t
=
arctan
(
k
π
+
π
2
)
t=\arctan(k\pi+\frac{\pi}{2})
t=arctan(kπ+2π)即可。
f
(
x
2
)
=
arctan
(
k
π
+
π
2
)
+
k
π
−
(
k
π
+
π
2
)
=
arctan
(
k
π
+
π
2
)
−
π
2
<
0
f(x_2)=\arctan(k\pi+\frac{\pi}{2})+k\pi-(k\pi+\frac{\pi}{2})=\arctan(k\pi+\frac{\pi}{2})-\frac{\pi}{2}<0
f(x2)=arctan(kπ+2π)+kπ−(kπ+2π)=arctan(kπ+2π)−2π<0。
由于
k
π
<
x
1
<
x
2
<
k
π
+
π
2
k\pi<x_1<x_2<k\pi+\frac{\pi}{2}
kπ<x1<x2<kπ+2π,所以
f
(
x
)
f(x)
f(x)在
(
k
π
,
k
π
+
π
2
)
(
k
>
0
)
(k\pi,k\pi+\frac{\pi}{2})(k>0)
(kπ,kπ+2π)(k>0)上至少有一个零点。原命题得证。
2.证明:方程
x
−
ϵ
sin
x
=
1
(
0
<
ϵ
<
1
)
x-\epsilon\sin x=1(0<\epsilon<1)
x−ϵsinx=1(0<ϵ<1)在
R
\R
R内有且仅有一个实根。
令
f
(
x
)
=
x
−
ϵ
sin
x
−
1
f(x)=x-\epsilon\sin x-1
f(x)=x−ϵsinx−1,求导得
f
′
(
x
)
=
1
−
ϵ
cos
x
>
0
f'(x)=1-\epsilon\cos x>0
f′(x)=1−ϵcosx>0,然后
f
(
0
)
=
−
1
<
0
,
f
(
2
)
=
1
−
ϵ
sin
1
>
0
f(0)=-1<0,f(2)=1-\epsilon\sin 1>0
f(0)=−1<0,f(2)=1−ϵsin1>0。
3.求
lim
x
→
a
x
α
−
a
α
x
β
−
a
β
(
a
>
0
,
β
≠
0
)
\large\lim\limits_{x\to a}\frac{x^\alpha-a^\alpha}{x^\beta-a^\beta}(a>0,\beta\not=0)
x→alimxβ−aβxα−aα(a>0,β=0)。
如果
α
,
β
\alpha,\beta
α,β均为整数,那么可以通过n次方相减的公式上下消掉
x
−
a
x-a
x−a。但如果
α
,
β
\alpha,\beta
α,β不是整数,这个方法就没法做了。
注意到无穷小量中有一个定理(苏德矿版定理1.17),若
lim
x
→
x
0
f
(
x
)
=
A
\lim\limits_{x\to x_0}f(x)=A
x→x0limf(x)=A,则
f
(
x
)
=
A
+
α
(
x
)
f(x)=A+\alpha(x)
f(x)=A+α(x),其中
α
(
x
)
\alpha(x)
α(x)是无穷小量。
因此由
lim
x
→
a
x
=
a
\lim\limits_{x\to a}x=a
x→alimx=a,可以假设
x
=
a
+
γ
x=a+\gamma
x=a+γ,其中
γ
→
0
\gamma\to 0
γ→0。
原式
=
lim
γ
→
0
(
a
+
γ
)
α
−
a
α
(
a
+
γ
)
β
−
a
β
=\large\lim\limits_{\gamma\to 0}\frac{(a+\gamma)^\alpha-a^\alpha}{(a+\gamma)^\beta-a^\beta}
=γ→0lim(a+γ)β−aβ(a+γ)α−aα。
到这里发现一个尴尬的情况,就是
α
\alpha
α不是整数,无法使用二项式展开。
注意到一个等价无穷小:
(
1
+
x
)
a
−
1
∼
a
x
(
x
→
0
)
(1+x)^a-1\sim ax(x\to 0)
(1+x)a−1∼ax(x→0)。这里可以提取公因式然后利用这个等价无穷小。
原式
=
lim
γ
→
0
a
α
[
(
1
+
γ
a
)
α
−
1
]
a
β
[
(
1
+
γ
a
)
β
−
1
]
=
lim
γ
→
0
a
α
α
γ
a
a
β
β
γ
a
=
α
β
a
α
−
β
=\Large\lim\limits_{\gamma\to 0}\frac{a^\alpha[(1+\frac{\gamma}{a})^\alpha-1]}{a^\beta[(1+\frac{\gamma}{a})^\beta-1]}=\lim\limits_{\gamma\to 0}\frac{a^\alpha\alpha\frac{\gamma}{a}}{a^\beta\beta\frac{\gamma}{a}}=\large\frac{\alpha}{\beta}a^{\alpha-\beta}
=γ→0limaβ[(1+aγ)β−1]aα[(1+aγ)α−1]=γ→0limaββaγaααaγ=βαaα−β。
4.求
lim
x
→
+
∞
ln
(
1
+
3
x
)
ln
(
1
+
2
x
)
\lim\limits_{x\to+\infin}\frac{\ln(1+3^x)}{\ln(1+2^x)}
x→+∞limln(1+2x)ln(1+3x)。
这道题感觉很怪,貌似没有定理表明能直接拿掉括号里面的+1,于是这样做:
原式
=
lim
x
→
+
∞
ln
3
x
+
ln
(
1
+
1
3
x
)
ln
2
x
+
ln
(
1
+
1
2
x
)
=\large\lim\limits_{x\to+\infin}\frac{\ln3^x+\ln(1+\frac{1}{3^x})}{\ln2^x+\ln(1+\frac{1}{2^x})}
=x→+∞limln2x+ln(1+2x1)ln3x+ln(1+3x1)。
到这里卡住了,由于上下都是无穷,貌似不能直接用极限的四则运算法则。
不过
ln
3
x
\ln3^x
ln3x是无穷,后面那玩意是0,无穷+0,应该可以直接把0去掉?
如果这里前面不是无穷,那就直接用极限的四则运算法则就可以,前后都可以直接代入。
这里前面是无穷,那0理论上更应该可以直接去掉,但是四则运算法则似乎不支持了,就显得很怪。
mhy提供了一个巧妙思路——上下同乘一个
1
x
\frac{1}{x}
x1,把无穷转换成有界的量:
原式
=
lim
x
→
+
∞
1
x
ln
(
1
+
3
x
)
1
x
ln
(
1
+
2
x
)
=
lim
x
→
+
∞
1
x
ln
(
1
+
3
x
)
lim
x
→
+
∞
1
x
ln
(
1
+
2
x
)
=\large\lim\limits_{x\to+\infin}\frac{\frac{1}{x}\ln(1+3^x)}{\frac{1}{x}\ln(1+2^x)}=\frac{\lim\limits_{x\to+\infin}\frac{1}{x}\ln(1+3^x)}{\lim\limits_{x\to+\infin}\frac{1}{x}\ln(1+2^x)}
=x→+∞limx1ln(1+2x)x1ln(1+3x)=x→+∞limx1ln(1+2x)x→+∞limx1ln(1+3x)
先搞分子:
lim
x
→
+
∞
1
x
ln
(
1
+
3
x
)
=
ln
lim
x
→
+
∞
(
1
+
3
x
)
1
x
=
ln
[
3
lim
x
→
+
∞
(
1
+
3
x
)
1
x
(
3
x
)
1
x
]
\lim\limits_{x\to+\infin}\frac{1}{x}\ln(1+3^x)=\ln\lim\limits_{x\to+\infin}(1+3^x)^\frac{1}{x}=\ln[3\lim\limits_{x\to+\infin}\frac{(1+3^x)^\frac{1}{x}}{(3^x)^\frac{1}{x}}]
x→+∞limx1ln(1+3x)=lnx→+∞lim(1+3x)x1=ln[3x→+∞lim(3x)x1(1+3x)x1]
=
ln
[
3
lim
x
→
+
∞
(
1
3
x
+
1
)
1
x
]
=
ln
(
3
∗
1
0
)
=
ln
3
=\ln[3\lim\limits_{x\to+\infin}(\frac{1}{3^x}+1)^\frac{1}{x}]=\ln(3*1^0)=\ln 3
=ln[3x→+∞lim(3x1+1)x1]=ln(3∗10)=ln3
分母同理,为
ln
2
\ln 2
ln2。
因此原式
=
ln
3
ln
2
=\frac{\ln 3}{\ln 2}
=ln2ln3(谔谔)
//虽然我在作业本上是直接把那个0去掉的(划掉)