フェルマーの最終定理の証明 (850ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
4(2): 与作 [] 04/23(水)12:46 ID:167XbawO(3/16)
(1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
理由
(y^2+y+1)は常に奇数。(x^2+x)が偶数なので、x^2とxは無理数。
よって、kが偶数の場合も(x^2)/kとx/kは無理数。
437: １３２人目の素数さん [] 07/21(月)11:09 ID:W1xjBo9V(9/14)
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)
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-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s