フェルマーの最終定理の証明 (692ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
3(2): 与作 04/23(水)11:13 ID:167XbawO(2/16) AAS
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/k…(2)とおく。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
437: 07/21(月)11:09 ID:W1xjBo9V(9/14) AAS
log2>2/3 , log2<7/6
は既知とする。
f(x)=(2x^2+15)log2-(4x+30)logx
とおいたとき
x?12⇒f(x)>0
であることを証明すればよい。
f^' (x)= log2?4x-(4 logx-(4x+30)/x)
= log2?4x-4 logx+4-30/x
f^'' (x)=4 log2-4/x+30/x^2
4 log2>4 2/3>3 2/3=2
なので
f^'' (x)>2-4/x+30/x^2
=(2x^2-4x+30)/x^2 =2 (x^2-2x+15)/x^2 =2 ((x-1)^2+14)/x^2 >0
したがってf^' (x)は単調増加である。
453: 07/22(火)12:29 ID:UfTdyzFE(1/7) AAS
log2>2/3 , log2<7/6
f(x)=(2x^2+15)log2-(4x+30)logx
x?12⇒f(x)>0
f^' (x)= log2?4x-(4 logx-(4x+30)/x)
= log2?4x-4 logx+4-30/x
f^'' (x)=4 log2-4/x+30/x^2
4 log2>4 2/3>3 2/3=2
f^'' (x)>2-4/x+30/x^2
=(2x^2-4x+30)/x^2 =2 (x^2-2x+15)/x^2 =2 ((x-1)^2+14)/x^2 >0
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s