A 回答 (3件)
- 最新から表示
- 回答順に表示
No.3
- 回答日時:
問題は
a+(√3)ib=(t+√3iu)^3
a-(√3)ib=(t-√3iu)^3
が成り立つかどうかではなく
a+(√3)ib=(t+√3iu)^3
a-(√3)ib=(t-√3iu)^3
となる整数t,uが存在するかどうかなのです。
t,uが整数でなければ、その先の
t,uが奇数か偶数であるという推論が成り立ちません。
定理)
素因子分解の一意性の成り立つ
環Riに対して
A∈Ri
B∈Ri
A,Bは互いに素
(AB)^{1/3}∈Riならば
A^{1/3}∈Ri
B^{1/3}∈Ri
が成り立ちますが、
整数環Zに対して
虚数√-3を付加した拡大環を
Z(√-3)={t+u√-3|t∈Z,u∈Z}
A=2+2√-3∈Z(√-3)
B=1-√-3∈Z(√-3)
とすると
A,Bは互いに素
AB=(2+2√-3)(1-√-3)=8=2^3=立方数だけれども
A^{1/3}はZ(√-3)に属さない
B^{1/3}はZ(√-3)に属さない
これは
4=2*2=(1+√-3)(1-√-3)
のように
4が2通りの素因子分解を持つため
Z(√-3)では素因子分解の一意性が成り立たないため
定理を用いることはできません。
定理を用いることができないZ(√-3)で
定理を用いて
a+(√3)ib=(t+√3iu)^3
a-(√3)ib=(t-√3iu)^3
となる整数t,uが存在するとしてしまった
オイラーの証明は誤りです。
定理を用いないで
a+(√3)ib=(t+√3iu)^3
a-(√3)ib=(t-√3iu)^3
となる整数t,uが存在する事は結果的にはいえますが、
それを示すためには長い証明が必要となります。
従って、
定理を用いないで
a+(√3)ib=(t+√3iu)^3
a-(√3)ib=(t-√3iu)^3
となる整数t,uが存在する事の証明を省略した
オイラーの証明は誤りです。
No.2
- 回答日時:
あ, なんとな~く引っかかってるところが分かったような気がしたりしなかったり.
まず
a+(√3)ib=(t+√3iu)^3
のとき
(t-√3iu)^3=a-(√3)ib
となるのはいいでしょう (展開するだけ). で, 問題は「3個ある 3乗根のうちなぜこれをとるのか」だと思うんだけど, これは単純に「右辺は実数の (というか整数の) 3乗だから」です. つまり, a+(√3)ib の 3乗根として t+√3iu を選ぶと, 「そいつと掛けて実数になる a-(√3)ib の 3乗根」は t-√3iu だけです.
本質的には「1 の実な 3乗根は 1 だけ」ということです.
お返事遅くなってすみません。
なるほど。
かけて実数になる、と考えれば遥かに解りやすいです。
もう少し自分で考えてみますね。ありがとうございました^^
No.1
- 回答日時:
この置き方は, 実際には
・どちらも立法数である
・共役複素数の 3乗根は共役複素数にとれる
の 2つを主張しているように読めるんですが, それでいいんでしょうか?
後者は単に展開するだけのような気がするからとりあえず脇に置くことにして, 前者は.... 「アイゼンシュタイン整数」を導入したら何とかなりませんかね.
回答ありがとうございます。
はい、その様に読んで頂いて問題無いと思います。
個人的には、なぜ後者の様に置けるのか分かりません。
展開するだけというのはどういう事でしょうか?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- その他(悩み相談・人生相談) お金さえあればなんでも出来るらしいのですが、例えば1000億円の資産があれば、独学で数学を研究してフ 4 2023/03/27 21:24
- 数学 再度質問失礼します。 複素数の極表示 z=a+ib=re^iθ z*=a−ib=re^−iθ 1.a 2 2022/05/01 18:33
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 数学 『◯と●の帰納法』 2 2023/04/19 20:57
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 失敗した人の話がほとんど出てこない理由は何でしょうか? 4 2022/06/06 14:08
- 数学 数学的帰納法について質問があります。 8 2023/04/05 23:32
- 数学 この問題教えて欲しいです。 複素数の極表示 z=a+ib=re^iθ z*=a−ib=re^−iθ 4 2022/05/01 00:09
- 統計学 統計学の質問【最尤法】 1 2023/05/09 00:21
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
lim[x→+∞](x^n/e^x)=0 の証明
-
直角三角形じゃないのに三平方...
-
sin^2+cos^2=1の証明
-
完全数はどうして「完全」と名...
-
AとBはn次正方行列とする。 積A...
-
超難問なんですが数学詳しい方...
-
【遊びのピタゴラスイッチはな...
-
至上最難問の数学がとけた
-
連立合同式の初級です。急いで...
-
合同方程式13x≡7(mod84)の答え...
-
ピタゴラス数について。
-
大学の記述入試で外積は使えま...
-
ベクトル解析の分かりやすく丁...
-
ディリクレ指標について( mod=5...
-
ドアモブルの定理を幾何学的に...
-
オイラーの公式はピタゴラスの...
-
3以上9999以下の奇数aで、(a^2)...
-
複素関数と実関数のテーラー展...
-
方べきの公式の『方べき』の意味
-
定理と法則の違い
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報