24小时热门版块排行榜    

查看: 2410  |  回复: 19

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
10楼: Originally posted by Edstrayer at 2014-04-14 13:32:05
这个题目不需要用数学软件计算吧?...

数学软件让我们看到要证明的不等式是:

(1- e^{-1}) |z| < |e^z -1| < (e-1) |z|,  当 |z| <1 时.
然而 the more I see, the less I know.

我证明不了上面的不等式, 想请教高明能否写出严格证明.
We_must_know. We_will_know.
11楼2014-04-15 01:43:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
11楼: Originally posted by hank612 at 2014-04-15 01:43:25
数学软件让我们看到要证明的不等式是:

(1- e^{-1}) |z| < |e^z -1| < (e-1) |z|,  当 |z| <1 时.
然而 the more I see, the less I know.

我证明不了上面的不等式, 想请教高明能否写出严格证 ...

这只要用幂级数e^z=\sum\limits_{n=0}^{+\infty}\frac{z^n}{n!}代入\mid e^-1\mid中后用三角不等式进行放缩就可以得到所要证明的不等式。
青葱岁月圣诞夜,浪漫歌舞迎新年。
12楼2014-04-15 03:17:09
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
12楼: Originally posted by Edstrayer at 2014-04-15 03:17:09
这只要用幂级数e^z=\sum\limits_{n=0}^{+\infty}\frac{z^n}{n!}代入\mid e^-1\mid中后用三角不等式进行放缩就可以得到所要证明的不等式。...

我知道怎么证明 |e^z-1| < (e-1) |z|, 我想知道的是怎么证明
|e^z -1| > (1- e^{-1}) |z|.

我不想要 |e^z-1| > (3-e) |z| 这样粗放的估计, 因为 3-e=0.2817..,
1-e^{-1} =0.632 差的非常多.
We_must_know. We_will_know.
13楼2014-04-15 03:56:31
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

当0<x<1时,
|e^x-1|=\sum_{n=1}^{+\infty}\frac{x^n}{n!}
              =x  \sum_{n=1}^{+\infty}\frac{x^{n-1}}{n!}
              =x(1+\sum_{n=2}^{+\infty}\frac{x^{n-1}}{n!})
              >=x(1-(\sum_{n=2}^{+\infty}\frac{x^{n-1}}{n!}))
              >x(1-(\sum_{n=2}^{+\infty}\frac{1}{n!}))
               =x(3-e)
这里当x→1时,\sum_{n=2}^{+\infty}\frac{x^{n-1}}{n!}→\sum_{n=2}^{+\infty}\frac{1}{n!}=e-2
所以不等式|e^z-1|>(3-e)|z|不能改进为|e^z-1|>(1-1/e)|z|
青葱岁月圣诞夜,浪漫歌舞迎新年。
14楼2014-04-15 04:14:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
14楼: Originally posted by Edstrayer at 2014-04-15 04:14:20
当0<x<1时,
|e^x-1|=\sum_{n=1}^{+\infty}\frac{x^n}{n!}
              =x  \sum_{n=1}^{+\infty}\frac{x^{n-1}}{n!}
              =x(1+\sum_{n=2}^{+\infty}\frac{x^{n-1}}{n!})
              &g ...

不妨检查一下逻辑:

|e^x-1| >= x *(...).
当 x--> 1 时, (...) =e-2, 然后 你说:
所以 不等式不能改进.  这有点风马牛不相及啊.

顶多说, 用你所述的放缩法, 不等式所能达到的最好程度.

定理: 当 |z|<1时,  |e^z -1| > (1-e^{-1}) |z|.  求证明. (由图形可知, 定理成立).
We_must_know. We_will_know.
15楼2014-04-15 04:25:00
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
15楼: Originally posted by hank612 at 2014-04-15 04:25:00
不妨检查一下逻辑:

|e^x-1| >= x *(...).
当 x--> 1 时, (...) =e-2, 然后 你说:
所以 不等式不能改进.  这有点风马牛不相及啊.

顶多说, 用你所述的放缩法, 不等式所能达到的最好程度.

定理: 当 ...

实数的情形都不能改进,复数更不能够,你所说的命题不成立
青葱岁月圣诞夜,浪漫歌舞迎新年。
16楼2014-04-15 04:31:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
15楼: Originally posted by hank612 at 2014-04-15 04:25:00
不妨检查一下逻辑:

|e^x-1| >= x *(...).
当 x--> 1 时, (...) =e-2, 然后 你说:
所以 不等式不能改进.  这有点风马牛不相及啊.

顶多说, 用你所述的放缩法, 不等式所能达到的最好程度.

定理: 当 ...

你不妨否证命题:
-1<x<0,|e^x-1|>(1-1/e)|x|
这个就是反例
青葱岁月圣诞夜,浪漫歌舞迎新年。
17楼2014-04-15 04:41:21
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
17楼: Originally posted by Edstrayer at 2014-04-15 04:41:21
你不妨否证命题:
-1<x<0,|e^x-1|>(1-1/e)|x|
这个就是反例...

反例在哪里呢
这是一个定理, 你如何找到反例的?

你具体找到一个复数z, 满足0< |z|< 1 并且, |e^z-1| < = (1-e^(-1)) |z|, 这样才能推翻该定理.
We_must_know. We_will_know.
18楼2014-04-15 04:58:39
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

引用回帖:
18楼: Originally posted by hank612 at 2014-04-15 04:58:39
反例在哪里呢
这是一个定理, 你如何找到反例的?

你具体找到一个复数z, 满足0< |z|< 1 并且, |e^z-1| < = (1-e^(-1)) |z|, 这样才能推翻该定理....

呵呵,搞错了,可以证明
对于实数0<|x|<1,有不等式|e^x-1|>(1-1/e)|x|
复数的情形如何证明还不清楚,请教了?
青葱岁月圣诞夜,浪漫歌舞迎新年。
19楼2014-04-15 05:14:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

,试证:
青葱岁月圣诞夜,浪漫歌舞迎新年。
20楼2014-04-17 19:03:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 Edstrayer 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 i7NFEVbjQMM5 2026-08-16 5/250 2026-08-17 16:38 by CBFiACZS7HAK
[基金申请] 欢迎发来filecode的Mz6后的代码验证其规律 +34 医学老男孩 2026-08-13 81/4050 2026-08-17 16:20 by yudaoqian88
[基金申请] 感觉是下周放榜了 +4 angus9576 2026-08-17 7/350 2026-08-17 16:11 by Vivilian
[基金申请] 时间戳变了,能看出什么问题? +4 基诺咪客 2026-08-17 4/200 2026-08-17 16:10 by Vivilian
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜? +12 Ldrop2023 2026-08-13 15/750 2026-08-17 15:02 by 小豌豆_发芽
[考研] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 EWi2p09MOOv8 2026-08-16 6/300 2026-08-17 14:02 by EYK67XJMj64E
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 i7NFEVbjQMM5 2026-08-16 4/200 2026-08-17 12:10 by 4GBAYCdVQoK3
[考研] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 6GojgJvkDudM 2026-08-16 4/200 2026-08-17 11:46 by 4GBAYCdVQoK3
[论文投稿] 岩土工程学报什么时候才能终审完呐 25+3 yeager111 2026-08-10 4/200 2026-08-16 20:42 by tfang
[基金申请] 时间戳又变了8-15 +13 archvillain 2026-08-15 25/1250 2026-08-16 20:13 by zhaosm1982
[基金申请] 快农历七夕节了,轻松一下,男人悄悄话,女施主请不要进来。 +3 Tide man 2026-08-14 3/150 2026-08-16 17:47 by jurkat.1640
[基金申请] 有时候,自然基金真的不能太认真 (我的申报经验) +10 majunge000 2026-08-11 12/600 2026-08-16 08:18 by xli1984
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
[基金申请] 各位道友,我要去昆明玩几天,回来见。 +7 Tide man 2026-08-14 8/400 2026-08-15 01:11 by arzu_hma
[硕博家园] 读博的好处 +4 lnee 2026-08-11 4/200 2026-08-14 10:20 by ahsoarli
[基金申请] 重要来源:本周末出结果 +10 瞬息宇宙 2026-08-12 10/500 2026-08-13 15:46 by likettle
[基金申请] 不应该看fileCode +7 且听虎啸 2026-08-12 9/450 2026-08-13 14:27 by flydreamws
[基金申请] Filecode 又变了,巨变 +3 WH3796 2026-08-12 4/200 2026-08-13 14:13 by 小木虫6752397
[基金申请] 分享一下我之前已中青C的计划书的filecode +4 布布和一二 2026-08-11 5/250 2026-08-13 12:56 by cratir
[基金申请] 结合人工智能,周易传统文化,filecode打分制来了,3分以上希望很大。 +3 Tide man 2026-08-12 4/200 2026-08-13 08:35 by ZJTJZ
信息提示
请填处理意见