フェルマーの最終定理の証明

フェルマーの最終定理の証明 (545ﾚｽ)
上下前次 1-新

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

465: 07/23(水)11:44 ID:N9YccJaz(1/6) AAS
Q? √(6&2^(2x^2+15)/x^(4x+30) ) (x=√2n, n?5) ･････(#12)
x=e^logx 2=e^log2
2^(2x^2+15) = ?(e^log2)?^(2x^2+15)=e^((2x^2+15)log2)
x^(4x+30)=?(e^logx)?^(4x+30)=e^((4x+30)logx)
(2x^2+15)log2 >(4x+30)logx (x?12) ･････(#14)
2^(2x^2+15)/x^(4x+30) =e^((2x^2+15)log2)/e^((4x+30)logx) =e^((2x^2+15)log2-(4x+30)logx)>e^0
√(6&2^(2x^2+15)/x^(4x+30) )>√(e^0 )=1
省9

466: 与作 07/23(水)13:42 ID:TwiO87mj(1/9) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
(2)はk=1のとき、(y-1)=2、(y+1)=xとなる。
(2)はk=1のとき、成立つので、k=1以外でも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

467: 与作 07/23(水)13:43 ID:TwiO87mj(2/9) AAS
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
k=1
y=3
x=4

468: 与作 07/23(水)13:43 ID:TwiO87mj(3/9) AAS
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
k=2
y=5
x=12

469: 与作 07/23(水)13:45 ID:TwiO87mj(4/9) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

470: 与作 07/23(水)13:45 ID:TwiO87mj(5/9) 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のとき、(y-1)=n、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

471: 07/23(水)15:13 ID:N9YccJaz(2/6) AAS
g^' (x)=-log(x)+log(n-x)+log(p)-log(1-p)
g^'' (x)=-1/x+(-1)/(n-x)=-(1/x+1/(n-x))=-((n-x+x)/x(n-x) )=-n/x(n-x)
g^'' (μ)=-n/μ(n-μ) =-n/np(n-np) =-1/p(n-np)
=-1/np(1-p) =-1/σ^2
g(x)?g(μ)+(g^' (μ))/1! (x-μ)+(g^'' (μ))/2! (x-μ)^2
=g(μ)-1/(2σ^2 ) (x-μ)^2
g(x)=log(f_B (x))だから
省7

472: 07/23(水)15:14 ID:N9YccJaz(3/6) AAS
M(θ)=E[e^θX ]=∫_(-∞)^∞??e^θx f(x)dx?
M(θ)=E[e^θX ]=1/(√2π σ) ∫_(-∞)^∞??e^θx e^(-(x-μ)^2/(2σ^2 )) ? dx=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
θx-(x-μ)^2/(2σ^2 )=1/(2σ^2 ) (2σ^2 θx-(x-μ)^2 )=-1/(2σ^2 ) (? (x-μ)?^2-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2+μ^2-2μx-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2-2(μ+σ^2 θ)x+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ+σ^2 θ)^2+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ^2+2μσ^2 θ+σ^4 θ^2 )+μ^2 )
省8

473: 07/23(水)15:16 ID:N9YccJaz(4/6) AAS
1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )) ) dx=1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^(-t^2 ) √2 σdt
=1/√π e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^(-t^2 ) dt=e^(μθ+(σ^2 θ^2)/2)
∴M(θ)=e^(μθ+(σ^2 θ^2)/2)
M^' (θ)=e^(μθ+(σ^2 θ^2)/2) (μ+θσ^2 )=M(θ)(μ+θσ^2 )
M^'' (θ)= M^' (θ)(μ+θσ^2 )+ M(θ) σ^2
E[X]=M^' (0)=M(0)μ=e^0 μ=μ
E[X^2 ]=M^'' (0)= M^' (0)(μ+0σ^2 )+ M(0) σ^2=μ^2+σ^2
省1

474: 07/23(水)15:17 ID:N9YccJaz(5/6) AAS
(x+1)^2020=(x+1)^(2?1010)=(x^2+2x+1)^1010 =((x^2+1)+2x)^1010
((x^2+1)+2x)^1010
=(x^2+1)^1010+1010(x^2+1)^1009 2x+(_1010^ )C_2 (x^2+1)^1008 (2x)^2+
?+1010(x^2+1) (2x)^1009+(2x)^1010
(2x)^1010以外の項はx^2+1の倍数なのでpを適当な整数とすると
((x^2+1)+2x)^1010=p(x^2+1)+(2x)^1010……?

(2x)^1010=(4x^2 )^505=((4x^2+4)-4)^505
省11

475: 07/23(水)15:29 ID:N9YccJaz(6/6) AAS
I=∫_0^2023?2/(x+e^x ) dx と置く。
x?0⇒0<x<e^xであるから、
2/(2e^x )<2/(x+e^x )<2/e^x ∴1/e^x <2/(x+e^x )<2/e^x
∫_0^2023?e^(-x) dx<I<∫_0^2023??2e^(-x) ? dx
[-?(■( @e^(-x) )@ )]_0^2023=-?(■( @e^(-2023) )@ )+1
1-?(■( @e^(-2023) )@ )<I<2-2e^(-2023)<2????????
f(x)=2/(x+e^x )
省8

476: 与作 07/23(水)18:23 ID:TwiO87mj(6/9) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
(2)はk=1のとき、(y-1)=2、(y+1)=xとなる。
(2)はk=1のとき、成立つので、k=1以外でも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

477: 与作 07/23(水)18:26 ID:TwiO87mj(7/9) AAS
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
k=1、y=3、x=4
k=2、y=5、x=12

478: 与作 07/23(水)18:26 ID:TwiO87mj(8/9) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

479: 与作 07/23(水)18:27 ID:TwiO87mj(9/9) 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のとき、(y-1)=n、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

480: 与作 07/24(木)07:54 ID:Y8+jg/HN(1/4) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
(2)はk=1のとき、(y-1)=2、(y+1)=xとなる。
(2)はk=1のとき、成立つので、k=1以外でも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

481: 与作 07/24(木)12:37 ID:Y8+jg/HN(2/4) AAS
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
k=1、y=3、x=4
k=2、y=5、x=12

482: 与作 07/24(木)15:28 ID:Y8+jg/HN(3/4) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

483: 与作 07/24(木)19:08 ID:Y8+jg/HN(4/4) 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のとき、(y-1)=n、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

484: 07/24(木)20:39 ID:WNOov+Jn(1/4) AAS
AA省

485: 07/24(木)20:40 ID:WNOov+Jn(2/4) AAS
E(t)=Ri(t)+1/C ∫?i(t) dt
i(t)=dq(t)/dt ∫?dq(t)/dt dt=q(t)
E(t)=R dq(t)/dt+q(t)/C
L[Rq^' ]=RsQ(s)-Rq(0)=RsQ(s)
L[q(t)/C]=Q(s)/C L[E]=E/s
E/s=RsQ(s)+Q(s)/C=Q(s)(Rs+1/C)
Q(s)= E/s 1/(Rs+1/C)=E/s(Rs+1/C) =(E/R)/s(s+1/CR) =E/R 1/s(s+1/CR)
省5

486: 07/24(木)21:01 ID:WNOov+Jn(3/4) AAS
Q? √(6&2^(2x^2+15)/x^(4x+30) ) (x=√2n, n?5) ･････(#12)
x=e^logx 2=e^log2
2^(2x^2+15) = ?(e^log2)?^(2x^2+15)=e^((2x^2+15)log2)
x^(4x+30)=?(e^logx)?^(4x+30)=e^((4x+30)logx)
(2x^2+15)log2 >(4x+30)logx (x?12) ･････(#14)
2^(2x^2+15)/x^(4x+30) =e^((2x^2+15)log2)/e^((4x+30)logx) =e^((2x^2+15)log2-(4x+30)logx)>e^0
√(6&2^(2x^2+15)/x^(4x+30) )>√(e^0 )=1
省9

487: 07/24(木)21:02 ID:WNOov+Jn(4/4) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
省7

488: 07/25(金)13:17 ID:5/EpQV9W(1/5) AAS
?θ/?s=(x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) 1/?r(t+?t)-r(t)?
=((x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?t?r(t+?t)-r(t)?^(-1)
=(x ? ((y ?(t+?t)-y ?(t)))/?t-y ? ((x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?(r(t+?t)-r(t))/?t?^(-1)

1/R=(lim)┬(?t→0)???θ/?s?=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 )) ? ?r ? ??^(-1)
=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ))
=(x ?y ?-yx ?)/(x ?^2+y ?^2 )^(3/2)

R=(x ?^2+y ?^2 )^(3/2)/(x ?y ?-yx ? )

489: 07/25(金)13:18 ID:5/EpQV9W(2/5) AAS
b=t×n=1/√(a^2+c^2 ) (■(-asin?(t)@acos?(t)@c))×(■(-cos?(t)@?-sin??(t)@0)) ※外積のスカラー倍
=1/√(a^2+c^2 ) |■(i&j&k@-asin?(t)&acos?(t)&c@-cos?(t)&-sin?(t)&0)|
=1/√(a^2+c^2 ) (|■(acos?(t)&c@-sin?(t)&0)|,|■(c&-asin?(t)@0&-cos?(t) )|,|■(-asin?(t)&acos?(t)@-cos?(t)&-sin?(t) )|)
=1/√(a^2+c^2 ) (csin?(t), -?c?cos??(t), a)
b^' (s)=db/ds=db/dt?dt/ds=1/√(a^2+c^2 ) (?c?cos??(t), csin?(t), 0) 1/√(a^2+c^2 )
=1/(a^2+c^2 ) (?c?cos??(t), csin?(t), 0)
b^' (s)=-τn より
省4

490: 07/25(金)13:18 ID:5/EpQV9W(3/5) AAS
x+1)^2020=(x+1)^(2?1010)=(x^2+2x+1)^1010 =((x^2+1)+2x)^1010
((x^2+1)+2x)^1010
=(x^2+1)^1010+1010(x^2+1)^1009 2x+(_1010^ )C_2 (x^2+1)^1008 (2x)^2+
?+1010(x^2+1) (2x)^1009+(2x)^1010
(2x)^1010以外の項はx^2+1の倍数なのでpを適当な整数とすると
((x^2+1)+2x)^1010=p(x^2+1)+(2x)^1010……?

(2x)^1010=(4x^2 )^505=((4x^2+4)-4)^505
省10

491: 07/25(金)13:20 ID:5/EpQV9W(4/5) AAS
A=(■(2@3@1)■( 5@ -3@ 8)■( -3@ -1@ 2))→ (■(1@0@0)■( 0@ 1@ 0)■( -7@ 2@ 0))
x=(■(x_1@x_2@x_3 ))
f(x)=(■(1@0@0)■( 0@ 1@ 0)■( -7@ 2@ 0))(■(x_1@x_2@x_3 ))=(■(x_1-7x_3@x_2-?2x?_3@0))=(■(1@0@0)) x_1+(■(0@1@0)) x_2+(■(-7@-2@ 0)) x_3
a_1=(■(1@0@0)), a_2=(■(0@1@0)), a_3= (■(-7@-2@ 0))
sa_1+ta_2=s(■(1@0@0))+t(■(0@1@0))=(■(s@t@ 0))=(■(0@0@0))
sa_1+ta_3=s(■(1@0@0))+t(■(-7@-2@ 0))=(■(s-7t@-2t@ 0))=(■(0@0@0))
sa_2+ta_3=s(■(0@1@0))+t(■(-7@-2@ 0))=(■(-7t@s-2t@ 0))=(■(0@0@0))

492: 07/25(金)13:21 ID:5/EpQV9W(5/5) AAS
a_1= [■(0@1@1)],a_2= [■(1@0@1)],a_3= [■(1@1@0)]
a_1→u_1
u_1=a_1/?a_1 ? =a_1/√(1+1)=1/√2 [■(0@1@1)]
a_2→u_2
b_1=(a_2?u_1 ) u_1=(1/√2 [■(1@0@1)]?[■(0@1@1)]) u_1=1/√2 1/√2 [■(0@1@1)]=1/2 [■(0@1@1)]
b_2=a_2-(a_2?u_1 ) u_1
=[■(1@0@1)]-1/2 [■(0@1@1)]=[■(1-0@0-1/2@1-1/2)]=[■(1@-1/2@1/2)]=1/2 [■(2@-1@1)]
省4

493: 07/26(土)14:44 ID:KWQfeJIh(1/3) AAS
2021=42?48+5≡5 (mod 42)
2021^(2021^2021 )≡5^(2021^2021 ) (mod 42)
t=2021^2021, 2021^t≡5^t (mod 42)
5^3≡125≡42?3-1≡ -1 (mod 42)
5^6≡ 1 (mod 42)
t=6k+r⇔t≡r (mod 6)
5^t=5^(6k+r)≡5^r
省4

494: 07/26(土)14:45 ID:KWQfeJIh(2/3) AAS
42=2?3?7
5≡1, 5^(2021^2021 )≡ 1^(2021^2021 )≡1 (mod 2) ･･････････?
5≡-1, 5^(2021^2021 )≡ (-1)^(2021^2021 )≡-1≡2 (mod 3)･･････････?
5^1≡5, 5^(2021^2021 ) (mod 7)
5^(7-1)≡5^6≡1 (mod 7)
t=2021^2021, 2021^t≡5^t (mod 7)
5^t= 5^(6k+r)=5^6k 2^r≡5^r (mod 7)
省15

495: 07/26(土)14:46 ID:KWQfeJIh(3/3) AAS
M(θ)=E[e^θX ]=∫_(-∞)^∞??e^θx f(x)dx?
M(θ)=E[e^θX ]=1/(√2π σ) ∫_(-∞)^∞??e^θx e^(-(x-μ)^2/(2σ^2 )) ? dx=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
θx-(x-μ)^2/(2σ^2 )=1/(2σ^2 ) (2σ^2 θx-(x-μ)^2 )=-1/(2σ^2 ) (? (x-μ)?^2-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2+μ^2-2μx-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2-2(μ+σ^2 θ)x+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ+σ^2 θ)^2+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ^2+2μσ^2 θ+σ^4 θ^2 )+μ^2 )
省8

496: 与作 07/26(土)15:47 ID:A7atEaVc(1/3) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
(2)はk=1のとき、(y-1)=2、(y+1)=xとなる。
(2)はk=1のとき、成立つので、k=1以外でも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

497: 与作 07/26(土)17:36 ID:A7atEaVc(2/3) AAS
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
k=1、y=3、x=4
k=2、y=5、x=12

498: 与作 07/26(土)20:29 ID:A7atEaVc(3/3) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
(2)はk=1のとき、(y-1)=3、(y^2+y+1)=(x^2+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

499: 与作 07/27(日)08:15 ID:p6uh5pZX(1/14) 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のとき、(y-1)=n、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)はk=1のとき、成立たないので、k=1以外でも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

500: 07/27(日)12:25 ID:PdhNF7gV(1/8) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
省7

501: 07/27(日)12:25 ID:PdhNF7gV(2/8) AAS
Q? √(6&2^(2x^2+15)/x^(4x+30) ) (x=√2n, n?5) ･････(#12)
x=e^logx 2=e^log2
2^(2x^2+15) = ?(e^log2)?^(2x^2+15)=e^((2x^2+15)log2)
x^(4x+30)=?(e^logx)?^(4x+30)=e^((4x+30)logx)
　ここで
(2x^2+15)log2 >(4x+30)logx (x?12) ･････(#14)
2^(2x^2+15)/x^(4x+30) =e^((2x^2+15)log2)/e^((4x+30)logx) =e^((2x^2+15)log2-(4x+30)logx)>e^0
省11

502: 07/27(日)12:26 ID:PdhNF7gV(3/8) AAS
L[y^'' (t)]=s^2 Y(s)-sy(0)-y^' (0) =s^2 Y(s)-2s-4
L[?4y?^' (t)]=4(sY(s)-y(0))=4sY(s)-8
L[4y(t)]=4Y(s)
L[y^'' (t)]-L[?4y?^' (t)]+ L[4y(t)]
=s^2 Y(s)-2s-4-4sY(s)+8+4Y(s)
=Y(s)(s^2-4s+4)-2s+4
L[6te^2t ]=6L[t^1 e^2t ]=6 1!/(s-2)^2 =6/(s-2)^2 ( L[t^n e^at ]=n!/(s-a)^(n+1) )
省10

503: 与作 07/27(日)14:45 ID:p6uh5pZX(2/14) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=k2x/k…(2)とおく。
(2)はk=1のとき、(y-1)=2、(y+1)=xとなる。
(2)はk=1のとき、成立つので、k=1以外でも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

504: 与作 07/27(日)15:16 ID:p6uh5pZX(3/14) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)と(y-1)(y+1)=k2x/k…(3)は同じ。
(2)が成り立つので、(3)も成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

505: 与作 07/27(日)15:23 ID:p6uh5pZX(4/14) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)と(y-1)(y^2+y+1)=k3(x^2+x)/k…(3)は同じ。
(2)が成り立たないので、(3)も成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

506: 与作 07/27(日)15:28 ID:p6uh5pZX(5/14) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)と(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(3)は同じ。
(2)が成り立たないので、(3)も成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

507: 与作 07/27(日)15:35 ID:p6uh5pZX(6/14) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)が成り立つならば、(y-1)(y+1)=k2x/k…(3)も成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

508: 与作 07/27(日)15:38 ID:p6uh5pZX(7/14) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)が成り立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/k…(3)も成り立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

509: 与作 07/27(日)15:41 ID:p6uh5pZX(8/14) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)が成り立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成り立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

510: 与作 07/27(日)15:43 ID:p6uh5pZX(9/14) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)が成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

511: 与作 07/27(日)15:45 ID:p6uh5pZX(10/14) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)が成立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

512: 与作 07/27(日)15:46 ID:p6uh5pZX(11/14) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)が成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

513: 07/27(日)20:17 ID:PdhNF7gV(4/8) AAS
2=2?3?7
5≡1, 5^(2021^2021 )≡ 1^(2021^2021 )≡1 (mod 2) ･･････････?
5≡-1, 5^(2021^2021 )≡ (-1)^(2021^2021 )≡-1≡2 (mod 3)･･････････?
5^1≡5, 5^(2021^2021 ) (mod 7)
5^(7-1)≡5^6≡1 (mod 7)
t=2021^2021, 2021^t≡5^t (mod 7)
5^t= 5^(6k+r)=5^6k 2^r≡5^r (mod 7)
省15

514: 07/27(日)20:18 ID:PdhNF7gV(5/8) AAS
(x+1)^2020=(x+1)^(2?1010)=(x^2+2x+1)^1010 =((x^2+1)+2x)^1010
((x^2+1)+2x)^1010
=(x^2+1)^1010+1010(x^2+1)^1009 2x+(_1010^ )C_2 (x^2+1)^1008 (2x)^2+
?+1010(x^2+1) (2x)^1009+(2x)^1010
(2x)^1010以外の項はx^2+1の倍数なのでpを適当な整数とすると
((x^2+1)+2x)^1010=p(x^2+1)+(2x)^1010……?

(2x)^1010=(4x^2 )^505=((4x^2+4)-4)^505
省11

515: 07/27(日)20:19 ID:PdhNF7gV(6/8) AAS
∂u/∂t=(∂u^2)/(∂x^2 ) (0<x<1, t>0)
u_x (0,t)=u_x (1,t)=0 境界条件（断熱条件）
u(x,0)=δ(x-1/2) 初期条件

u(x,t)=X(x)T(t)
∂u/∂t=XT^'
∂u/∂x=TX^' (∂u^2)/(∂x^2 )=∂/∂x TX^'=TX^''
XT^'= TX^'' T^'/T=X^''/X
省4

516: 07/27(日)20:20 ID:PdhNF7gV(7/8) AAS
x ?+ax ?+bx=0 ???
λ^2+aλ+b=0
λ=α, β ⇒ x= C_1 e^αt+C_2 e^βt
λ=α (重解) ⇒ x= C_1 e^αt+C_2 te^βt
λ=α±βi ⇒ x= e^αt (C_1 cos?(βt)+C_2 cos?(βt))
λ^2-μ=0
0^2-4(-μ)=4μ
省18

517: 07/27(日)20:22 ID:PdhNF7gV(8/8) AAS
y''+6y'+10y=2sin(x).
D^2+6D+10=0. D=-3±i
(D^2+6D+10)y=2sin(x)
(D-(-3+i))(D-(-3-i))y=i(e^(-ix)-e^ix)
y=1/(D-(-3+i))∙1/(D-(-3-i)) i(e^(-ix)-e^ix)
a=-3+i, b = -3-i, f(x)=i(e^(-ix)-e^ix)
と置くと
省17

518: 与作 07/27(日)20:30 ID:p6uh5pZX(12/14) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)が成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

519: 与作 07/27(日)20:32 ID:p6uh5pZX(13/14) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)が成立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

520: 与作 07/27(日)20:33 ID:p6uh5pZX(14/14) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)が成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

521: 07/28(月)09:41 ID:Vsf8XHSj(1/11) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
省7

522: 07/28(月)09:41 ID:Vsf8XHSj(2/11) AAS
L[y^'' (t)]=s^2 Y(s)-sy(0)-y^' (0) =s^2 Y(s)-2s-4
L[?4y?^' (t)]=4(sY(s)-y(0))=4sY(s)-8
L[4y(t)]=4Y(s)
L[y^'' (t)]-L[?4y?^' (t)]+ L[4y(t)]
=s^2 Y(s)-2s-4-4sY(s)+8+4Y(s)
=Y(s)(s^2-4s+4)-2s+4
L[6te^2t ]=6L[t^1 e^2t ]=6 1!/(s-2)^2 =6/(s-2)^2 ( L[t^n e^at ]=n!/(s-a)^(n+1) )
省10

523: 07/28(月)09:42 ID:Vsf8XHSj(3/11) AAS
I=∫_0^2023?2/(x+e^x ) dx と置く。
x?0⇒0<x<e^xであるから、
2/(2e^x )<2/(x+e^x )<2/e^x ∴1/e^x <2/(x+e^x )<2/e^x
∫_0^2023?e^(-x) dx<I<∫_0^2023??2e^(-x) ? dx
[-?(■( @e^(-x) )@ )]_0^2023=-?(■( @e^(-2023) )@ )+1
1-?(■( @e^(-2023) )@ )<I<2-2e^(-2023)<2????????
f(x)=2/(x+e^x )
省8

524: 与作 07/28(月)09:55 ID:/cefVkod(1/3) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)が成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

525: 与作 07/28(月)09:56 ID:/cefVkod(2/3) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)が成立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

526: 与作 07/28(月)09:56 ID:/cefVkod(3/3) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)が成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

527: 07/28(月)12:54 ID:Vsf8XHSj(4/11) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
省7

528: 07/28(月)12:55 ID:Vsf8XHSj(5/11) AAS
b=t×n=1/√(a^2+c^2 ) (■(-asin?(t)@acos?(t)@c))×(■(-cos?(t)@?-sin??(t)@0)) ※外積のスカラー倍
=1/√(a^2+c^2 ) |■(i&j&k@-asin?(t)&acos?(t)&c@-cos?(t)&-sin?(t)&0)|
=1/√(a^2+c^2 ) (|■(acos?(t)&c@-sin?(t)&0)|,|■(c&-asin?(t)@0&-cos?(t) )|,|■(-asin?(t)&acos?(t)@-cos?(t)&-sin?(t) )|)
=1/√(a^2+c^2 ) (csin?(t), -?c?cos??(t), a)
b^' (s)=db/ds=db/dt?dt/ds=1/√(a^2+c^2 ) (?c?cos??(t), csin?(t), 0) 1/√(a^2+c^2 )
=1/(a^2+c^2 ) (?c?cos??(t), csin?(t), 0)
b^' (s)=-τn より
省4

529: 07/28(月)12:55 ID:Vsf8XHSj(6/11) AAS
E(t)=Ri(t)+1/C ∫?i(t) dt
i(t)=dq(t)/dt ∫?dq(t)/dt dt=q(t)
E(t)=R dq(t)/dt+q(t)/C
L[Rq^' ]=RsQ(s)-Rq(0)=RsQ(s)
L[q(t)/C]=Q(s)/C L[E]=E/s
E/s=RsQ(s)+Q(s)/C=Q(s)(Rs+1/C)
Q(s)= E/s 1/(Rs+1/C)=E/s(Rs+1/C) =(E/R)/s(s+1/CR) =E/R 1/s(s+1/CR)
省5

530: 07/28(月)16:43 ID:Vsf8XHSj(7/11) AAS
y''+6y'+10y=2sin(x).
D^2+6D+10=0. D=-3±i
(D^2+6D+10)y=2sin(x)
(D-(-3+i))(D-(-3-i))y=i(e^(-ix)-e^ix)
y=1/(D-(-3+i))∙1/(D-(-3-i)) i(e^(-ix)-e^ix)
a=-3+i, b = -3-i, f(x)=i(e^(-ix)-e^ix)
と置くと
省17

531: 07/28(月)16:44 ID:Vsf8XHSj(8/11) AAS
AA省

532: 07/28(月)17:43 ID:Vsf8XHSj(9/11) AAS
2=2?3?7
5≡1, 5^(2021^2021 )≡ 1^(2021^2021 )≡1 (mod 2) ･･････････?
5≡-1, 5^(2021^2021 )≡ (-1)^(2021^2021 )≡-1≡2 (mod 3)･･････････?
5^1≡5, 5^(2021^2021 ) (mod 7)
5^(7-1)≡5^6≡1 (mod 7)
t=2021^2021, 2021^t≡5^t (mod 7)
5^t= 5^(6k+r)=5^6k 2^r≡5^r (mod 7)
省15

533: 07/28(月)17:43 ID:Vsf8XHSj(10/11) AAS
?θ/?s=(x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) 1/?r(t+?t)-r(t)?
=((x ?(y ?(t+?t)-y ?(t))-y ?(x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?t?r(t+?t)-r(t)?^(-1)
=(x ? ((y ?(t+?t)-y ?(t)))/?t-y ? ((x ?(t+?t)-x ?(t)))/?t)/(√(x ?^2+y ?^2 ) √(?(x ?(t+?t))?^2+?(y ?(t+?t))?^2 )) ?(r(t+?t)-r(t))/?t?^(-1)

1/R=(lim)┬(?t→0)???θ/?s?=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 )) ? ?r ? ??^(-1)
=(x ?y ?-yx ?)/(√(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ) √(x ?^2+y ?^2 ))
=(x ?y ?-yx ?)/(x ?^2+y ?^2 )^(3/2)

R=(x ?^2+y ?^2 )^(3/2)/(x ?y ?-yx ? )

534: 07/28(月)17:44 ID:Vsf8XHSj(11/11) AAS
a_1= [■(0@1@1)],a_2= [■(1@0@1)],a_3= [■(1@1@0)]
a_1→u_1
u_1=a_1/?a_1 ? =a_1/√(1+1)=1/√2 [■(0@1@1)]
a_2→u_2
b_1=(a_2?u_1 ) u_1=(1/√2 [■(1@0@1)]?[■(0@1@1)]) u_1=1/√2 1/√2 [■(0@1@1)]=1/2 [■(0@1@1)]
b_2=a_2-(a_2?u_1 ) u_1
=[■(1@0@1)]-1/2 [■(0@1@1)]=[■(1-0@0-1/2@1-1/2)]=[■(1@-1/2@1/2)]=1/2 [■(2@-1@1)]
省4

535: 07/30(水)11:29 ID:O8+PnNqB(1/3) AAS
f(t)=t (-π<t?π)
b_n=∫_(-π)^π?f(t)sin(nt) dt=∫_(-π)^π?tsin(nt) dt
=-∫_(-π)^π??t(cos(nt)/n)^' ? dt

=-[t/n cos(nt)]_(-π)^π+1/n ∫_(-π)^π?cos(nt) dt
=-(π/n cos(nπ)-(-π)/n cos(-nπ))+1/n [1/n sin(nt)]_(-π)^π
=-(π/n cos(nπ)+π/n cos(nπ))=2π (-cos(nπ))/n=2π (-1)^(n+1)/n
f(t)=2?_(n=1)^∞?(-1)^(n+1)/n sin(nt)
省4

536: 07/30(水)11:30 ID:O8+PnNqB(2/3) AAS
∫_0^∞?(sin(x))/x dx
∂/∂s (e^(-sx) (sin(x))/x)=-xe^(-sx) (sin(x))/x=-e^(-sx) sin(x)

F(s)=∫_0^∞??e^(-sx) (sin(x))/x? dx (s?0)

dF(s)/ds=d/ds ∫_0^∞??e^(-sx) sin?(x)/x? dx
=∫_0^∞??∂/ds e^(-sx) sin?(x)/x? dx
=∫_0^∞??-xe^(-sx) sin?(x)/x? dx=-∫_0^∞??e^(-sx) sin?(x) ? dx
=-∫_0^∞??-1/s (e^(-sx) )^' sin(x)? dx
省7

537: 07/30(水)11:31 ID:O8+PnNqB(3/3) AAS
dF(s)/ds+1/s^2 dF(s)/ds=-1/s^2
(1+1/s^2 ) dF(s)/ds=((s^2+1)/s^2 ) dF(s)/ds=-1/s^2
dF(s)/ds=-1/(s^2+1)
F(s)=-∫?1/(s^2+1) ds s=tan(θ) ds=1/(?cos?^2 (θ) ) dθ
-∫?1/(s^2+1) ds=-∫??1/(?tan?^2 (θ)+1)?1/(?cos?^2 (θ) )? dθ=-θ=-arctan(s)+C

F(s)=-arctan(s)+C
F(s)=∫_0^∞??e^(-sx) sin?(x)/x? dx (s?0)
省3

538: 07/31(木)09:22 ID:QyItRY8I(1/5) AAS
E(t)=Ri(t)+1/C ∫?i(t) dt
i(t)=dq(t)/dt ∫?dq(t)/dt dt=q(t)
E(t)=R dq(t)/dt+q(t)/C
L[Rq^' ]=RsQ(s)-Rq(0)=RsQ(s)
L[q(t)/C]=Q(s)/C L[E]=E/s
E/s=RsQ(s)+Q(s)/C=Q(s)(Rs+1/C)
Q(s)= E/s 1/(Rs+1/C)=E/s(Rs+1/C) =(E/R)/s(s+1/CR) =E/R 1/s(s+1/CR)
省5

539: 07/31(木)09:23 ID:QyItRY8I(2/5) AAS
(x+1)^2020=(x+1)^(2?1010)=(x^2+2x+1)^1010 =((x^2+1)+2x)^1010
((x^2+1)+2x)^1010
=(x^2+1)^1010+1010(x^2+1)^1009 2x+(_1010^ )C_2 (x^2+1)^1008 (2x)^2+
?+1010(x^2+1) (2x)^1009+(2x)^1010
(2x)^1010以外の項はx^2+1の倍数なのでpを適当な整数とすると
((x^2+1)+2x)^1010=p(x^2+1)+(2x)^1010……?

(2x)^1010=(4x^2 )^505=((4x^2+4)-4)^505
省10

540: 07/31(木)09:24 ID:QyItRY8I(3/5) AAS
∫_α^β??(x-α)^m (β-x)^n ? dx=m!n!/(m+n+1)! (β-α)^(m+n+1)
t=(β-α)x+α dt=(β-α)dx dx=dt/(β-α)
x:0→1 t:α→β
x=(t-α)/(β-α) 1-x=(β-α-(t-α))/(β-α)=(β-t)/(β-α)
∫_0^1?x^m (1-x)^n dx
=∫_α^β??((t-α)/(β-α))^m ((β-t)/(β-α))^n ? dt/(β-α)=∫_α^β?((t-α)^m (β-t)^m)/(β-α)^(m+n+1) dt
=1/(β-α)^(m+n+1) ∫_α^β??(t-α)^m (β-t)^m ? dt=m!n!/(m+n+1)!
省7

541: 07/31(木)11:53 ID:QyItRY8I(4/5) AAS
a_1= [■(0@1@1)],a_2= [■(1@0@1)],a_3= [■(1@1@0)]
a_1→u_1
u_1=a_1/?a_1 ? =a_1/√(1+1)=1/√2 [■(0@1@1)]
a_2→u_2
b_1=(a_2?u_1 ) u_1=(1/√2 [■(1@0@1)]?[■(0@1@1)]) u_1=1/√2 1/√2 [■(0@1@1)]=1/2 [■(0@1@1)]
b_2=a_2-(a_2?u_1 ) u_1
=[■(1@0@1)]-1/2 [■(0@1@1)]=[■(1-0@0-1/2@1-1/2)]=[■(1@-1/2@1/2)]=1/2 [■(2@-1@1)]
省4

542: 07/31(木)11:54 ID:QyItRY8I(5/5) AAS
M(θ)=E[e^θX ]=∫_(-∞)^∞??e^θx f(x)dx?
M(θ)=E[e^θX ]=1/(√2π σ) ∫_(-∞)^∞??e^θx e^(-(x-μ)^2/(2σ^2 )) ? dx=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
θx-(x-μ)^2/(2σ^2 )=1/(2σ^2 ) (2σ^2 θx-(x-μ)^2 )=-1/(2σ^2 ) (? (x-μ)?^2-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2+μ^2-2μx-2σ^2 θx )
=-1/(2σ^2 ) (? x?^2-2(μ+σ^2 θ)x+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ+σ^2 θ)^2+μ^2 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(μ^2+2μσ^2 θ+σ^4 θ^2 )+μ^2 )
省8

543: 与作 07/31(木)22:16 ID:BoHO+gX+(1/3) AAS
n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。
X^2+Y^2=Z^2をy^2=(x+1)^2-x^2…(1)とおく。(y,xは有理数)
(1)を(y-1)(y+1)=2x…(2)とおく。
(2)は(y-1)=2のとき、(y+1)=xとなる。
(2)が成立つので、(y-1)(y+1)=k2x/kも成立つ。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を無数に持つ。

544: 与作 07/31(木)22:17 ID:BoHO+gX+(2/3) AAS
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^2+y+1)=3(x^2+x)…(2)とおく。
(2)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならない。
(2)が成立たないので、(y-1)(y^2+y+1)=k3(x^2+x)/kも成立たない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

545: 与作 07/31(木)22:18 ID:BoHO+gX+(3/3) 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)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)とならない。
(2)が成立たないので、(y-1)(y^(n-1)+…+y+1)=kn(x^(n-1)+…+x)/kも成立たない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.027s