高数,求证

algbraic
2014-09-25 · TA获得超过4924个赞
知道大有可为答主
回答量:1281
采纳率:100%
帮助的人:742万
展开全部
假设f(x)在x = a处可导.
f(x)首先应在x = a处连续, 即当x → a时, 有f(x) → f(a).
作为推论, 对任意收敛于a的序列b[n], n → ∞时成立f(b[n]) → f(a).
(严格来说这里要求a不是b[n]中的项, 不过这个条件很容易满足).

1) 若a = kπ+π/2 (k为整数), 则当x → a时tan(x) → ∞.
取一列收敛到a的无理数b[n], 则有f(b[n]) = tan(b[n]) → ∞, 与f(b[n]) → f(a)矛盾.
因此a ≠ kπ+π/2.
(实际上, 如果承认π是无理数, 可直接说明f(x)在kπ+π/2处没有定义).

2) 对a ≠ kπ+π/2, tan(x)在x = a处连续.
可知对任意收敛到a的序列b[n], n → ∞时成立tan(b[n]) → tan(a).
取b[n]为一列收敛到a的无理数, 则有f(b[n]) = tan(b[n]) → tan(a).
而由f(x)在x = a处连续, 应有f(b[n]) → f(a), 因此f(a) = tan(a).
另一方面, 取b[n]为一列收敛到a的有理数, 则有f(b[n]) = b[n] → a, 因此又有f(a) = a.
这说明a必须满足a = f(a) = tan(a) ①.

由f(x)在x = a处可导, 当x → a时, 有(f(x)-f(a))/(x-a) → f'(a).
作为推论, 对任意收敛于a的序列b[n], 有(f(b[n])-f(a))/(b[n]-a) → f'(a)
取b[n]为一列收敛于a的无理数, 则f(b[n]) = tan(b[n]).
而由tan(x)在x = a处可导, 有 (由①有f(a) = tan(a)):
(f(b[n])-f(a))/(b[n]-a) = (tan(b[n])-tan(a))/(b[n]-a) → tan'(a) = 1/cos(a)^2,
因此f'(a) = 1/cos(a)^2.
另一方面, 取b[n]为一列收敛到a的有理数, 则f(b[n]) = b[n].
从而(f(b[n])-f(a))/(b[n]-a) = 1 (由①有f(a) = a), 因此f'(a) = 1.
这说明a必须满足1 = f'(a) = 1/cos(a)^2 ②.

联合①, ②得1 = 1/cos(a)^2 = 1+tan(a)^2 = 1+a^2, 从而a = 0.
即f(x)只可能在x = 0处可导.
而实际上, f(x)确实在x = 0处可导:
对0 < x < π/2, 成立0 < x < tan(x).
从而x ≤ f(x) ≤ tan(x), 因此1 ≤ f(x)/x ≤ tan(x)/x.
对x → 0+由夹逼定理可得(f(x)-f(0))/(x-0) = f(x)/x → 1, 即f(x)在x = 0处右导数为1.
由f(x)是奇函数, 可知f(x)在x = 0处左导数也为1.
因此f(x)在x = 0处左导数 = 右导数, 即f(x)在x = 0处可导.
证毕.

注: 写得比较啰嗦, 但想法很简单.
虽然f(x)对有理数和无理数有两个不同的表达式,
但有理数和无理数分别在实数集中稠密,
由连续性(可导性)可说明f(x)在连续点(可导点)必须同时适用两个表达式.
于是得到等式①, ②, 联合求解即可.
更多追问追答
追问
非常感谢
谢谢谢谢
ywh2569130
2014-09-25 · TA获得超过215个赞
知道答主
回答量:61
采纳率:0%
帮助的人:18.7万
展开全部
现在忙,明天给答案
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
贱小二丶
2014-09-25 · 贡献了超过127个回答
知道答主
回答量:127
采纳率:0%
帮助的人:25.8万
展开全部
这。。。。待老夫想一想吧
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
xzxzvcxz
2014-09-25
知道答主
回答量:28
采纳率:0%
帮助的人:5.7万
展开全部
来看看
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
匿名用户
2014-09-25
展开全部
已赞过 已踩过<
你对这个回答的评价是?
评论 收起
收起 更多回答(3)
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式