eの2πi乗は1になってしまうんですが。

解決済

質問者：noname#96505
質問日時：2008/08/04 19:41
回答数：6件

オイラーの公式からθ=2πと代入するとeの2πi乗は1となってどうも矛盾が生じてしまうんですが。本来eの0乗が1と定義したので、もしも仮にeの2πi乗は1であると仮定すれば2πi=0となっておかしいことになるのですが、お分かりになれば深く教えてください。

通報する

この質問への回答は締め切られました。

質問の本文を隠す

回答 (6件)

ベストアンサー優先
最新から表示
回答順に表示

No.1ベストアンサー

回答者： kashimezai
回答日時：2008/08/04 19:54

e^z=1という方程式を複素数上で解くと、z=2nπi(nは整数)となります。

従ってz=0もz=2πiも正しい解となります。
x^2=1の解がx=±1だから-1=1だと言っているようなものです。

- 11
- 件

通報する

No.6

回答者： SortaNerd
回答日時：2008/08/05 09:36

eの実数乗とeの複素数乗がごっちゃになっているようですね。

単調増加(あるいは減少)なのは実数軸方向です。虚数軸方向では周期2πの周期関数になります。
eの実数乗のグラフに螺旋を90°ずらして合わせたようなグラフになります。
以下にそのグラフがあります。本来4次元ないと書き表せないものを2つの3次元グラフに分けて描いてあるので理解するのが難しいと思います。
http://ja.wikipedia.org/wiki/%E6%8C%87%E6%95%B0% …

- 1
- 件

通報する

No.5

回答者： zk43
回答日時：2008/08/04 23:26

e^zは複素関数としては、虚軸に平行な方向に2πの周期を持つ

周期関数です。
z=x+iyと実部xと虚部yを用いてzを表すと、
e^z=e^(x+iy)=e^x・e^iy=e^x（cosy+isiny）
となって、yをy+2nπにしてもcos、sinは周期2πの周期関数だから、
値は同じです。
xが一定、yが一定の直線の指数関数による像を、複素平面に描いてみる
と良いと思います。

- 3
- 件

通報する

No.4

回答者： k_yuu01
回答日時：2008/08/04 20:05

なかなか面白い考え方ですね

では
cos(0π)=1
cos(2π)=1
cos(4π)=1
…

だから
０π＝２π＝４π＝・・・・
となのでしょうか？

もちろん違いますね。三角関数は引数（cos○の○部分）の値を読み取り、ある値を返すというものです。（cosで、引数がπだったら-１を返す。みたいな）。ご存知のように三角関数は２πで一周するので、あたかも上に示したような０π＝２π＝４π＝・・・・という不可解な関係が導けてしまうのです（もちろんこの等式は成り立ちませんよ）。

つまり、質問者さんが疑問に思われている矛盾を解決する一言は
「一周してるから」

- 4
- 件

通報する

No.3

回答者： info22
回答日時：2008/08/04 20:01

> オイラーの公式からθ=2πと代入するとeの2πi乗は1となってどうも矛盾が生じてしまうんですが。

ぜんぜん矛盾していません。
勘違いしていませんか？
e^(2πi)=cos(2π)+i sin(2π)
= 1 + i 0
= 1
複素平面で単位円を描いたらe^(i2π)=1となることは明らかです。
|e^(i2π)|=1

いずれにしても
> eの2πi乗は1であると仮定すれば2πi=0となっておかしいことになるのですが、
あなたがいかにいい加減に複素数の勉強をしているか、露呈しているだけに過ぎません。
「cos(2nπ)=cos(0)」→「2nπ=0」と結論付けていることと変わらないです。
e^x=1=e^0ならx=0といえるのはxが実数の範囲です。
e^(i2nπ)(nは0でない整数とする)
これが
e^0=1に等しいからといって
i2nπ=0
とはいえません。
頭をよく冷やして、
複素数の勉強の復習をやり直して見られることを強くお勧めします。

- 2
- 件

通報する

No.2

回答者： Tacosan
回答日時：2008/08/04 20:00

つまり, 1^0 = 1 かつ 1^1 = 1 より 1 = 0 と主張している?

この回答への補足

eのx乗はxについて単調増加なので１になるというのはただ１つしか
存在しないとおもったので。

補足日時：2008/08/05 08:25

通報する

- 2
- 件

通報する

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう！

質問する（無料）

このQ&Aを見た人はこんなQ&Aも見ています

専門家回答数ランキング

専門家

※過去一週間分の回答数ランキングです。

質問する（無料）

他の専門家の回答をチェック

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Q積分で1/x^2 はどうなるのでしょうか？

Sは積分の前につけるものです
S dx =x
S x dx=1/2x^2
S 1/x dx=loglxl
まではわかったのですが
S 1/x^2 dx
は一体どうなるのでしょうか？？

Aベストアンサー

まず、全部　積分定数Ｃが抜けています。また、積分の前につけるものは　“インテグラル”と呼び、そう書いて変換すれば出ます　∫

積分の定義というか微分の定義というかに戻って欲しいんですが
∫f(x)dx＝Ｆ(x)の時、
(d/dx)Ｆ(x)＝f(x)です。

また、微分で
(d/dx)x^a＝a*x^(a-1)になります　…高校数学の数３で習うかと
よって、
∫x^(a-1)dx＝(1/a)*x^a＋Ｃ
→∫x^adx＝{1/(a+1)}*x^(a+1)＋Ｃ
となります。

つまり、
∫1/x^2 dx＝∫x^(-2)dx
＝{1/(-2+1)}*x^(-2+1)＋Ｃ
＝－x^(-1)＋Ｃ
＝－１／ｘ＋Ｃ

です。

他の回答も見る

Qミラー指数：面間隔bを求める公式について

隣接する２つの原子面の面間隔dは、ミラー指数hklと格子定数の関数である。立方晶の対称性をもつ結晶では

d=a/√(h^2 + k^2 + l^2)　・・・（１）

となる。

質問：「(１)式を証明せよ」と言われたのですが、どうすれば言いかわかりません。やり方を教えてもらえませんか_|￣|○

Aベストアンサー

「格子定数」「ミラー指数」などと出てくると構えてしまいますが、この問題の本質は3次元空間での簡単な幾何であり、高校生の数学の範囲で解くことができます。

固体物理の本では大抵、ミラー指数を「ある面が結晶のx軸、y軸、z軸を切る点の座標を(a/h, b/k, c/l)とし、(h, k, l)の組をミラー指数という(*1)」といった具合に説明しています。なぜわざわざ逆数にするの?という辺りから話がこんがらがることがしばしばです。
大雑把に言えばミラー指数は法線ベクトルのようなものです。特に立方晶であれば法線ベクトルと全く同じになります。すなわち立方晶の(111)面の法線ベクトルは(1,1,1)ですし、(100)面の法線ベクトルは(1,0,0)です。法線ベクトルなら「ミラー指数」よりずっと親しみがあり解けそうな気分になると思います。

さて(hkl)面に相当する平面の方程式を一つ考えてみましょう。一番簡単なものとして
hx + ky + lz=0　　(1)
があります。(0,0,0)を通る平面で法線ベクトルは(h,k,l)です。
これに平行な、隣の平面の式はどうでしょうか。
hx + ky + lz = a　　(2a)
hx + ky + lz = -a　　(2b)
のいずれかです。これがすぐ隣の平面である理由(そのまた間に他の平面が存在しない理由)は脚注*2に補足しておきました。
点と直線の距離の公式を使えば、題意の面間隔dは原点(0,0,0)と平面(2a)の間隔としてすぐに
d=a/√(h^2+k^2+l^2)　　(3)
と求められます。

点と直線の距離の公式を使わなくとも、次のようにすれば求められます。
原点Oから法線ベクトル(h,k,l)の方向に進み、平面(2a)とぶつかった点をA(p,q,r)とします。
OAは法線ベクトルに平行ですから、新たなパラメータtを用いて
p=ht, q=kt, r=lt　　(4)
の関係があります。
Aは平面(2a)上の点でもありますから、(4)を(2a)に代入すると
t(h^2+k^2+l^2)=a
t=a/(h^2+k^2+l^2)　　(5)
を得ます。
ここにOAの長さは√(p^2+q^2+r^2)=|t|√(h^2+k^2+l^2)なので、これを(5)に代入して
|a|/√(h^2+k^2+l^2)　　(6)
を得ます。OAの長さは面間隔dにほかならないので、(3)式が得られたことになります。

bokoboko777さん、これでいかがでしょうか。

*1 (h, k, l)の組が共通因数を持つ場合には、共通因数で割り互いに素になるようにします。例えば(111)面とは言いますが(222)面なる表現は使いません。
*2 左辺はhx+ky+lzでよいとして、なぜ右辺がaまたは-aと決まるのか(0.37aや5aにならないのは何故か)は以下のように説明されます。
平面をhx+ky+lz = C (Cはある定数)と置きます。この平面は少なくとも一つの格子点を通過する必要があります。その点を(x0,y0,z0)とします。
h,k,lはミラー指数の定義から整数です。またx0,y0,z0はいずれもaの整数倍である必要があります(∵格子点だから)。すると右辺のCも少なくともaの整数倍でなければなりません。
次に右辺の最小値ですが、最小の正整数は1ですから平面hx + ky + lz = aが格子点を通るかどうかを調べ、これが通るなら隣の平面はhx + ky + lz = aであると言えます。このことは次の命題と等価です。
<命題>p,qが互いに素な整数である場合、pm+qn=1を満たす整数の組(m,n)が少なくとも一つ存在する
<証明>p,qは正かつp＞qと仮定して一般性を失わない。
p, 2p, 3p,...,(q-1)pをqで順に割った際の余りを考えてみる。
pをqで割った際の余りをr[1](整数)とする。同様に2pで割った際の余りをr[2]・・・とする。
これらの余りの集合{r[n]}(1≦n≦(q-1))からは、どの二つを選んで差をとってもそれはqの倍数とは成り得ない(もし倍数となるのならpとqが互いに素である条件に反する)。よって{r[n]}の要素はすべて異なる数である。ところで{r[n]}は互いに異なる(q-1)個の要素から成りかつ要素は(q-1)以下の正整数という条件があるので、その中に必ず1が含まれる。よって命題は成り立つ。

これから隣の平面はhx + ky + lz = aであると証明できます。ただここまで詳しく説明する必要はないでしょう。証明抜きで単に「隣の平面はhx + ky + lz = aである」と書くだけでよいと思います。

参考ページ：
ミラー指数を図なしで説明してしまいましたが、図が必要でしたら例えば
http://133.1.207.21/education/materdesign/
をどうぞ。「講義資料」から「テキスト　第３章」をダウンロードして読んでみてください。(pdfファイルです)

参考URL：http://133.1.207.21/education/materdesign/

他の回答も見る

Qエクセルで計算すると2.43E-19などと表示される。Ｅとは何ですか？

よろしくお願いします。
エクセルの回帰分析をすると有意水準で2.43E-19などと表示されますが
Ｅとは何でしょうか？

また、回帰分析の数字の意味が良く分からないのですが、
皆さんは独学されましたか？それとも講座などをうけたのでしょうか？

回帰分析でＲ２（決定係数）しかみていないのですが
どうすれば回帰分析が分かるようになるのでしょうか？
本を読んだのですがいまいち難しくて分かりません。
教えてください。
よろしくお願いします。

Aベストアンサー

★回答
・最初に『回帰分析』をここで説明するのは少し大変なので『Ｅ』のみ説明します。
・回答者 No.1 ～ No.3 さんと同じく『指数表記』の『Ｅxponent』ですよ。
・『指数』って分かりますか？
・10→1.0E+1(1.0×10の1乗)→×10倍
・100→1.0E+2(1.0×10の2乗)→×100倍
・1000→1.0E+3(1.0×10の3乗)→×1000倍
・0.1→1.0E-1(1.0×1/10の1乗)→×1/10倍→÷10
・0.01→1.0E-2(1.0×1/10の2乗)→×1/100倍→÷100
・0.001→1.0E-3(1.0×1/10の3乗)→×1/1000倍→÷1000
・になります。ようするに 10 を n 乗すると元の数字になるた...続きを読む

他の回答も見る

Qe^iθの大きさ

今日読んだ本に

絶対値（e^iθ) = √cosθ^2+sinθ^2 = 1

と書いてありました。
オイラーの公式はe^iθ=cosθ+i sinθですよね

絶対値（e^iθ) =√e^i2θ=cos2θ+ i sin2θ=1

とド・モアブルの定理を使った式でもできているんですか？
上の式も下の式もよくわかりません
どなたか両方詳しく教えて下さい。

Aベストアンサー

絶対値（e^iθ) =√e^i2θ=cos2θ+ i sin2θ=1

この部分は、実数ｒに対しては、｜ｒ｜＝√（ｒ＾２）となるのですが、
複素数ｃのたいしては、
｜ｃ｜＝√（ｃ*（ｃの共役複素数））
となります。
（e^iθ)の共役複素数は（e^-iθ)ですから、

絶対値（e^iθ) =√（（e^iθ)*（e^-iθ)）＝√（e^0)＝√1＝1
となります。

実数と複素数では絶対値の計算が少し異なります。

他の回答も見る

Qe^-2xの積分

e^-2xの積分はどうしたらよいのでしょうか…。e^xやe^2xsinxなどはのってるのですがこれが見つかりません。お願いします。

Aベストアンサー

いささか、思い違いのようです。

e^-2x　は、　t=-2x と置いて置換してもよいけれど、牛刀の感がします。

e^-2x　を微分すると、(-2)*( e^-2x )となるので、

e^-2x　の積分は、(-1/2)*( e^-2x )と判明します。

他の回答も見る

Q波長（nm）をエネルギー（ev）に変換する式は？

波長（nm）をエネルギー（ev）に変換する式を知っていたら是非とも教えて欲しいのですが。
どうぞよろしくお願いいたします。

Aベストアンサー

No1 の回答の式より
　Ｅ = hc/λ[J]
　　 = hc/eλ[eV]
となります。
波長が nm 単位なら　Ｅ = hc×10^9/eλ　です。
あとは、
　h = 6.626*10^-34[J・s]
　e = 1.602*10^-19[C]
　c = 2.998*10^8[m/s]
などの値より、
　E≒1240/λ[eV]
となります。

＞例えば540nmでは2.33eVになると論文には書いてあるのですが
＞合っているのでしょうか？
λに 540[nm] を代入すると
　E = 1240/540 = 2.30[eV]
でちょっとずれてます。
式はあっているはずです。

他の回答も見る

Qe^(-x^2)の積分

e^(-x^2)の積分はどうやったらよいのでしょうか？
どなたか分かる方、よろしくお願いします。

eは自然対数の底でe^(-x^2)=exp{-x^2}

Aベストアンサー

ガウス分布に使いますね。
やりかたですね。一般的なものを参考程度までに、

xy座標の第一象限で原点を通る一辺aの正方形
と正方形に接する半径aの（1/4）円とr半径√2aを考えるんですね。
正方形の領域□でe＾-x＾2　をｘ方向に積分すると、
∫[0→a]e＾-x＾2dx
正方形の領域だからe＾-y＾2 をｙ方向に積分しても
同じ値になりますね。だから
∫[0→a]e＾-x＾2dx=∫[0→a]e＾-y＾2dy
ということは、x,yは独立に考えられるので、
∫[0→a]e＾-(x＾2+y＾2)dxdy
={∫[0→a]e＾-x＾2dx}＾2
という関係が出ますね。
...続きを読む

他の回答も見る

Qエクセルで片対数グラフを作る

エクセルで片対数グラフを作る方法を詳しく教えてください。お願いします。

Aベストアンサー

グラフの数値軸のところで右クリックして
軸の書式設定(O)→目盛(タブ名)
で
対数目盛を表示する(L)
にチェックを入れてください。

他の回答も見る

Qlim[n→∞](1-1/n)^n=1/e　について

こんにちは

lim[n→∞](1+1/n)^n=e
が成り立つことは簡単に示せるのですが、
lim[n→∞](1-1/n)^n=1/e
となることの証明はどのようにすればいいのでしょうか？
ご存知の方がいらっしゃいましたらご回答よろしくお願いします。

Aベストアンサー

e=lim(1+t)^(1/t)　　　〔t→0〕
がｅの定義なので、（t→＋0でもt→-0でもＯＫ）
-1/n=tとおきます。

n→∞のとき、ｔ→-0なので、
（与式）＝lim(1+t)^(-1/t)　　　〔t→-0〕

これを変形すると、
＝lim｛(1+t)^(1/t)｝^-1　　　〔t→-0〕
＝e^-1
＝1/e

高校の範囲なら、この証明で大丈夫です。

他の回答も見る

Qlog(-1)=?

log1=0です。底はネイピア数とします。変形して、log1=log(-1)^2=2log(-1)=0
よって、log(-1)=0となっても良さそうです。
でも、オイラーの定理よりe^πi=cosπ+isinπ=-1より、log(-1)=πi+2πn
となります。最初の式のどこに問題があるのでしょうか？

Aベストアンサー

　底がeの対数log(x)は、指数関数e^xの逆関数として定義されています（eは1以外のどんな実数でもいいのですが、記号だけの問題ともいえるので、とりあえずeにしておきます）。

　まず、実数の範囲で考えてみます。

　y=e^xであるなら、x=log(y)なわけですが、log(-1)を考えるなら、-1=e^xとなるxは何かになります。実数で考えるなら、e^x>0ですから、解としてありません。

　さらに、1=e^xはx=0で成り立ちます。では、両辺を2乗してみます。1^2=e^(2x)、ここまではいいでしょう。

　1^2=(-1)^2から、(-1)^2=e^(2x)としても問題ありません。

　では、その両辺のルートを『単純に』取ってみましょう。-1=e^xが成り立つことになります。これを満たす実数xはないのでした。さらに、そもそもx=0だったのでした。

　これでは矛盾です。数学として成り立ちません。ならば、導出に問題があるはずです。

　実数を2乗してルートを取ったとき、正負の両方が許される保証はあったでしょうか。ない例はすぐに思いつきます。

　1=1, (-1)^2=1 ∴(-1)^2=1, しかし√{(-1)^2}=-1でもよいとすると、1=-1となり矛盾するから、√{(-1)^2}≠-1でなければならない。

　ルート内に負数を許すのではなく、√(-1)のようなものを数として扱えるために、それをiと書いて虚数を実数bを使ってbiとすることにし（b>0なら√(-b）のようなものを扱うための虚数）、実数aと併せて複素数をa+biとしたのでした。

　お示しの式変形の中では「log(-1)^2=2log(-1)」が、そう拡張していいかどうかを検討せずに使っています。2乗してルートを取ったときと、同様であるわけですね。

　そこが間違いで、そうするためには、対数関数（ひいては指数関数）の計算規則を正しく拡張しておかなければならなかったわけです（その正しい結果の一つが、言及されておられるオイラーの定理）。