作者ERT312 (312)
看板tutor
标题Re: [求助] 高中指数
时间Fri Nov 8 01:18:07 2013
※ 引述《PROQC (跑步去)》之铭言:
: 1.年级:高一
: 2.科目:数学
: 3.章节:指数率
: 4.题目: 是非题 [ (-2)^1/2次方 ] 12次方 > 0
: 答案是(错)
争点应该是 (-2)^(1/2) 有没有超出范围
而不是有没有定义
因为只要 z≠0, z^w 都可以定义,其中 z,w 是复数
Def: If z≠0, we define z^w = e^(w Log z)
其中 Log z = log|z| + i arg(z), -π< arg(z)≦π
例如: i^i = e^(i (log1 + iπ/2)) = e^(-π/2)
(-2)^(1/2) = e^{(1/2)(log 2 + iπ)} = Sqrt[2] i
(-1)^(1/3) = e^{(1/3)(log 1 + iπ)} = e^(iπ/3) = 1/2 + i Sqrt[3]/2
如果今天有个国中生学过复数,而且会解 x^2 + 1 = 0
当他跟你说 x = ± i时,你应该不会跟他说错吧
同样道理,[ (-2)^(1/2) ]^12 > 0,没有错的理由
你可以说它超出高中范围,但不能说它错
但是否真的超出范围仍然可以争议
因为即使不用上述的定义 (-2)^(1/2) = e^{(1/2)(log 2 + iπ)} = Sqrt[2] i
以高中能理解的方式来看待 (-2)^(1/2) 也是可以的
(如果是问 i^i > 0 ,那超出范围就没有争议)
把 (-2)^(1/2) 视为 x^2 + 2 = 0 的二根
是高中就能理解,也合情合理的事
事实上在推广指数到有理数时就有这样的经验了
只不过 a<0 时没办法再规定 a^(1/n) 是代表 x^n = a 的唯一正根
若把 (-2)^(1/2) 视为 x^2 + 2 = 0 的二根
(-2)^(1/2) = ± Sqrt[2] i
(-2)^(1/2) 即使多值,但 [ (-2)^(1/2) ]^12 > 0 仍然成立
另外一个争点
如果复数运算後的结果是一个实数,那当然可以比较大小
事实上这种例子高中就有了
- -
z z ≧ 0 就是一例,其中 z 是复数, z 是它的共轭复数
内积 < x,x > > 0 , if x≠0 也是一例
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.164.180.82
1F:推 jollic:终於看到有人以正式的定义方式来说复数指数。而不是google 11/08 01:53
2F:→ jollic:出答案就很直接略过中间推论过程。只是中间的 (-2)^(1/2) 11/08 01:54
3F:→ jollic:视为 x^2 + 2 = 0 的二根,这的确可以直观看懂,只是这或许 11/08 01:55
4F:→ jollic:还是会回到课本不定义底数小於零的主因,因为它的指数律无 11/08 01:58
5F:→ jollic:法成立。当指数律无法成立的话,也就失去创造指数的动机了 11/08 01:59
指数律有的必须修改
例如: (xy)^w = x^w y^w e^(2πiw n(x,y))
其中 n(x,y) = 0 , if -π < arg(x) + arg(y)≦ π
1 , if -2π < arg(x) + arg(y)≦ -π
-1 , if π < arg(x) + arg(y)≦ 2π
以维基那个错误证明 1+1 = 0 为例
http://ppt.cc/99pj
正确应该是
(-1*-1)^(1/2) = (-1)^(1/2)*(-1)^(1/2)*e^(2πi*(1/2)*(-1))
= i*i*e^(-πi) = 1
但是像指数律 z^x * z^y = z^(x+y) 就仍然成立
z≠0,x,y,x 是复数
其实原 po 问的这题,不必用到指数律
但我觉得这种题目还是尽量避免出现在高中
若不得已已经出来,最节省时间的方法
就是告诉学生超出范围,不计分或送分
但刚好这题就真的大於 0
所以不能说它错
※ 编辑: ERT312 来自: 218.164.180.82 (11/08 02:39)
6F:推 quark:题目没错 是你错了 11/08 06:54
7F:推 diego99:为什麽又一个说别人错又不肯说明的?还请楼上发表高见喔! 11/08 08:45
8F:→ nomorethings:因为推文空间不够所以不能写下他完美的说明吧 11/08 08:53
9F:推 diego99:回文按个r就有了 11/08 08:54
10F:→ diego99:至於有个人,哪边有问题到现在也还没说明 11/08 08:54
11F:→ condensed:定义的确有差别,因为在复数域里,可以不定义排序 11/08 09:02
12F:推 vvbird:quark: 要说别人错, 能否请说明, 只丢这样一句话, 很不负责 11/08 09:18
13F:推 vvbird:nomorethings: 又不是费马, 你说是吧...XD 11/08 09:19
14F:推 marra:又不是费马+1 XD 11/08 10:30
15F:推 YHank:其实费马梗在ptt还蛮常看到的阿,表示ptt有多看点书的人 11/08 10:42
16F:→ YHank:还不少...XD 11/08 10:43
17F:推 diego99:喔对了, (ab)^n = (a^n)(b^n) 似乎没被放在指数律中 11/08 11:15
18F:推 diego99:sorry,我刚少看了 11/08 11:19