25/09/23 20:43:06.76 FdYrQuap.net
ab=cdが成立つならば、
ab=kcd/kも成立つ。
903:与作
25/09/24 13:25:59.11 HBy7bhcd.net
ab=kcd/kが成立つならば、
a=kcのとき、b=d/kとなる。
904:132人目の素数さん
25/09/24 20:30:48.36 0JqH39k2.net
∫[0→π/2]( tan(x) )^(1/n) dx (n≧2)
∫_0^(π/2)?(tan(x))^(1/n) dx を求める。
t=?sin?^2 x=(sin(x))^2
?sin?^2 x=1-?cos?^2 x ?cos?^2 x=1-t
dt=2sin(x)cos(x)dx=2√t √(1-t) dx
dx=dt/(2√t √(1-t))=(t^(-1/2) (1-t)^(1/2))/2 dt
(sin(x))^(1/n)=(√t)^(1/n)=t^(1/2n) (cos(x))^(1/n)=(√(1-t))^(1/n)=(1-t)^(1/2n)
∫_0^(π/2)?(tan(x))^(1/n) dx=∫_0^(π/2)?( (sin(x))^(1/n))/( (cos(x))^(1/n) ) dx=∫_0^(π/2)?( t^(1/2n))/(1-t)^(1/2n) (t^(-1/2) (1-t)^(1/2))/2 dt
=1/2 ∫_0^(π/2)???t^(1/2n) (1-t)^(-1/2n) t?^(-1/2) (1-t)^(-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2n-1/2) (1-t)^(-1/2n-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
(1/2) B(1/2+1/(2n), 1/2-1/(2n))
= (1/2) Γ( 1/2+1/(2n) ) Γ( 1/2-1/(2n) ) / Γ( 1/2+1/(2n) + 1/2-1/(2n) )
= (1/2) Γ(z) Γ(1-z) / Γ(1)
= (1/2) ( π/sin(πz) ) / 0!
= π/( 2 sin(πz) )
= π/( 2 sin(π/2+π/(2n)) )
= π/( 2 cos(π/(2n)) ).
905:132人目の素数さん
25/09/24 20:31:58.72 0JqH39k2.net
2025/09/17(水) 05:04:24.75ID:erGd2uYu
∫[0→π/2]( tan(x) )^(1/n) dx (n≧2)
∫_0^(π/2)?(tan(x))^(1/n) dx を求める。
t=?sin?^2 x=(sin(x))^2
?sin?^2 x=1-?cos?^2 x ?cos?^2 x=1-t
dt=2sin(x)cos(x)dx=2√t √(1-t) dx
dx=dt/(2√t √(1-t))=(t^(-1/2) (1-t)^(1/2))/2 dt
(sin(x))^(1/n)=(√t)^(1/n)=t^(1/2n) (cos(x))^(1/n)=(√(1-t))^(1/n)=(1-t)^(1/2n)
∫_0^(π/2)?(tan(x))^(1/n) dx=∫_0^(π/2)?( (sin(x))^(1/n))/( (cos(x))^(1/n) ) dx=∫_0^(π/2)?( t^(1/2n))/(1-t)^(1/2n) (t^(-1/2) (1-t)^(1/2))/2 dt
=1/2 ∫_0^(π/2)???t^(1/2n) (1-t)^(-1/2n) t?^(-1/2) (1-t)^(-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2n-1/2) (1-t)^(-1/2n-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
(1/2) B(1/2+1/(2n), 1/2-1/(2n))
= (1/2) Γ( 1/2+1/(2n) ) Γ( 1/2-1/(2n) ) / Γ( 1/2+1/(2n) + 1/2-1/(2n) )
= (1/2) Γ(z) Γ(1-z) / Γ(1)
= (1/2) ( π/sin(πz) ) / 0!
= π/( 2 sin(πz) )
= π/( 2 sin(π/2+π/(2n)) )
= π/( 2 cos(π/(2n)) ).
906:132人目の素数さん
25/09/24 20:32:27.32 0JqH39k2.net
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 )
=-1/(2σ^2 ) ((x-(μ+σ^2 θ))^2-(2μσ^2 θ+σ^4 θ^2 ) )
=-(x-(μ+σ^2 θ))^2/(2σ^2 )+μθ+(σ^2 θ^2)/2
M(θ)=1/(√2π σ) ∫_(-∞)^∞?e^(θx-(x-μ)^2/(2σ^2 )) dx
=1/(√2π σ) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )+μθ+(σ^2 θ^2)/2) ) dx
=1/(√2π σ) e^(μθ+(σ^2 θ^2)/2) ∫_(-∞)^∞?e^((-(x-(μ+σ^2 θ))^2/(2σ^2 )) ) dx
t=(x-(μ+σ^2 θ))/(√2 σ) x=√2 σt+μ+σ^2 θ dx=√2 σdt
(x-(μ+σ^2 θ))^2/(2σ^2 )=((x-(μ+σ^2 θ))/(√2 σ))^2=t^2
907:与作
25/09/24 22:54:11.45 HBy7bhcd.net
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は自然数解を無数に持つ。
908:132人目の素数さん
25/09/25 10:26:06.92 ttJEdL9D.net
k^2 -3k + 2 = (k-1)(k-2) = 0 k = 1, 2
y''(t) - 3'y(t) + 2y(t) = 0
y0 = C1e^t + C2e^(2t)
v(t) = 1/(D-1)(D-2)*e^(-t)
= 1/(D-2)*e^(-t) - 1/(D-1)*e^(-t)
= (-1/3)e^(-t) + (1/2)e^(-t) = (1/6)e^(-t)
y(t) = C1e^t + C2e^(2t) + (1/6)e^(-t)
y(0) = C1 + C2 + 1/6 = 1/6
C1 + C2 = 0 …… ①
y'(t) = C1e^t + C2*2e^(2t) - (1/6)e^(-t)
y'(0) = C1 + C2*2 - 1/6 = 5/6
C1+ 2C2 = 1……②
①②より
C1 = -1, C2= 1
y(t) = -e^t +e^(2t) + (1/6)e^(-t)
909:132人目の素数さん
25/09/25 10:26:30.53 ttJEdL9D.net
∫[0→π/2]( tan(x) )^(1/n) dx (n≧2)
∫_0^(π/2)?(tan(x))^(1/n) dx を求める。
t=?sin?^2 x=(sin(x))^2
?sin?^2 x=1-?cos?^2 x ?cos?^2 x=1-t
dt=2sin(x)cos(x)dx=2√t √(1-t) dx
dx=dt/(2√t √(1-t))=(t^(-1/2) (1-t)^(1/2))/2 dt
(sin(x))^(1/n)=(√t)^(1/n)=t^(1/2n) (cos(x))^(1/n)=(√(1-t))^(1/n)=(1-t)^(1/2n)
∫_0^(π/2)?(tan(x))^(1/n) dx=∫_0^(π/2)?( (sin(x))^(1/n))/( (cos(x))^(1/n) ) dx=∫_0^(π/2)?( t^(1/2n))/(1-t)^(1/2n) (t^(-1/2) (1-t)^(1/2))/2 dt
=1/2 ∫_0^(π/2)???t^(1/2n) (1-t)^(-1/2n) t?^(-1/2) (1-t)^(-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2n-1/2) (1-t)^(-1/2n-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
(1/2) B(1/2+1/(2n), 1/2-1/(2n))
= (1/2) Γ( 1/2+1/(2n) ) Γ( 1/2-1/(2n) ) / Γ( 1/2+1/(2n) + 1/2-1/(2n) )
= (1/2) Γ(z) Γ(1-z) / Γ(1)
= (1/2) ( π/sin(πz) ) / 0!
= π/( 2 sin(πz) )
= π/( 2 sin(π/2+π/(2n)) )
= π/( 2 cos(π/(2n)) ).
910:与作
25/09/25 11:12:53.06 lFa5qIbH.net
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は自然数解を無数に持つ。
911:132人目の素数さん
25/09/25 12:09:30.35 ttJEdL9D.net
∫[0→π/2]( tan(x) )^(1/n) dx (n≧2)
∫_0^(π/2)?(tan(x))^(1/n) dx を求める。
t=?sin?^2 x=(sin(x))^2
?sin?^2 x=1-?cos?^2 x ?cos?^2 x=1-t
dt=2sin(x)cos(x)dx=2√t √(1-t) dx
dx=dt/(2√t √(1-t))=(t^(-1/2) (1-t)^(1/2))/2 dt
(sin(x))^(1/n)=(√t)^(1/n)=t^(1/2n) (cos(x))^(1/n)=(√(1-t))^(1/n)=(1-t)^(1/2n)
∫_0^(π/2)?(tan(x))^(1/n) dx=∫_0^(π/2)?( (sin(x))^(1/n))/( (cos(x))^(1/n) ) dx=∫_0^(π/2)?( t^(1/2n))/(1-t)^(1/2n) (t^(-1/2) (1-t)^(1/2))/2 dt
=1/2 ∫_0^(π/2)???t^(1/2n) (1-t)^(-1/2n) t?^(-1/2) (1-t)^(-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2n-1/2) (1-t)^(-1/2n-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
(1/2) B(1/2+1/(2n), 1/2-1/(2n))
= (1/2) Γ( 1/2+1/(2n) ) Γ( 1/2-1/(2n) ) / Γ( 1/2+1/(2n) + 1/2-1/(2n) )
= (1/2) Γ(z) Γ(1-z) / Γ(1)
= (1/2) ( π/sin(πz) ) / 0!
= π/( 2 sin(πz) )
= π/( 2 sin(π/2+π/(2n)) )
= π/( 2 cos(π/(2n)) ).
912:与作
25/09/25 13:59:06.33 lFa5qIbH.net
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は自然数解を持たない。
913:与作
25/09/25 14:55:36.56 lFa5qIbH.net
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は自然数解を持たない。
914:与作
25/09/25 16:22:25.34 lFa5qIbH.net
ab=cdが成立つならば、
ab=kcd/kも成立つ。
915:与作
25/09/25 20:08:16.89 lFa5qIbH.net
ab=kcd/kが成立つならば、
a=kcのとき、b=d/kとなる。
916:132人目の素数さん
25/09/26 06:16:04.41 Ek58bAv0.net
f(θ)=a_0/2+納k=1→∞](a_k cos(kθ)+b_k sin(kθ))
a_k=1/π ∫[-π→π]f(θ)cos(kθ)dθ)
b_k=1/π ∫[-π→π]f(θ)sin(kθ)dθ
e^jθ =cosθ+jsinθ
e^(-jθ)=cosθ-jsinθ
cosθ=(e^jθ+e^(-jθ))/2. sinθ=(e^jθ-e^(-jθ))/2j.
f(θ)=a_0/2+納k=1→∞](a_k (e^jkθ+e^(-jkθ))/2+b_k (e^jkθ-e^(-jkθ))/2j)
=a_0/2+納k=1→∞](a_k(e^jkθ+e^(-jkθ))/2+?jb?_k (e^(-jkθ)-e^jkθ)/2)
=a_0/2+納k=1→∞]((a_k-jb_k)/2 e^jkθ) +納k=1→∞]((a_k+jb_k)/2 e^(-jkθ) )
a_(-k)=(1/π)∫[-π→π]f(θ)cos(-kθ)dθ)
=(1/π)∫[-π→π]f(θ)cos(kθ)dθ)=a_k
b_(-k)=(1/π)∫[-π→π]f(θ)sin(-kθ)dθ
= -1/π ∫[-π→π]f(θ)sin(kθ)dθ= -b_k
f(θ)
=納k=1→∞]((a_k+jb_k)/2 e^(-jkθ) ) +a_0/2+納k=1→∞]((a_k-jb_k)/2 e^jkθ )
=(a_2+jb_2)/2 e^(-j2θ)+(a_1+jb_1)/2 e^(-j1θ)+a_0/2+(a_1-jb_1)/2 e^j1θ+(a_2-jb_2)/2e^j2θ+?
=(a_(-2)-jb_(-2))/2 e^j2θ+(a_(-1)-jb_(-1))/2 e^j1θ+a_0/2+(a_1-jb_1)/2 e^j1θ+(a_2-jb_2)/2 e^j2θ+?
=農(k=-∞)^∞?((a_k-jb_k)/2 e^jkθ )
c_k=(a_k-jb_k)/2
f(θ)=納k=-∞→∞]c_k e^jkθ
c_k=(a_k-jb_k)/2
=(1/2π)∫[-π→π]f(θ)cos(kθ)dθ-(j/2π)∫[-π→π]f(θ)sin(kθ)dθ
=(1/2π)∫[-π→π]f(θ)(cos(kθ)-jsin(kθ))dθ
=(1/2π)∫[-π→π]f(θ)(cos(-kθ)+jsin(-kθ))dθ
=(1/2π)∫[-π→π]f(θ)(cos(-kθ)+jsin(-kθ))dθ
=(1/2π)∫[-π→π]f(θ)e^(-jkθ)dθ
917:132人目の素数さん
25/09/26 06:16:37.08 Ek58bAv0.net
f^((k) ) (z)=(n!/2πi)∮_Cf(ζ)/(ζ-z)^(k+1)dζ
ⅰ)n=1のとき
f(z)=1/( 2πi) ∮_Cf(ζ)/((ζ-z) ) dζ
f(z+h)=1/( 2πi) ∮_Cf(ζ)/(ζ-(z+Δz) ) dζ
f(z+h)-f(z)=1/( 2πi) ∮_Cf(ζ)/(ζ-(z+h) )-f(ζ)/((ζ-z) ) dζ
=1/( 2πi) ∮_Cf(ζ)((ζ-z)-(ζ-z-h))/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ∮_Cf(ζ)(ζ-z-ζ+z+h)/(ζ-z-h)(ζ-z)dζ
=1/( 2πi) ∮_Cf(ζ)h/(ζ-z-h)(ζ-z)dζ
=h/( 2πi) ∮_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
( f(z+h)-f(z))/h=1/( 2πi) ∮_Cf(ζ)/(ζ-z-h)(ζ-z)dζ
h→0
f'(z)= f^((1)) (z)=1/2πi ∮_C(f(ζ))/(ζ-z)^2dζ
ⅱ)n=k(k=1,2,3,…)のとき
f^((k)) (z)=k!/2πi ∮_C(f(ζ))/(ζ-z)^(k+1)dζ ⇒f^((k+1)) (z)=(k+1)!/( 2πi) ∮_Cf(ζ)/(ζ-z)^(k+2)dζ
f^((k)(z+h)- f^((k) ) (z))/h
=k!/( 2πih) ∮_Cf(ζ)/(ζ-(z+h))^(k+1) -f(ζ)/(ζ-z)^(k+1)dζ
=k!/( 2πih) ∮_C((ζ-z)^(k+1)-(ζ-z-h)^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ??※
(a+b)^(k+1)
=(_k+1^ )C_0 a^n b^0+(_k+1^ )C_1 a^(k+1-1) b^1+(_k+1^ )C_2 a^(k+1-2) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+?+b^(k+1)
=a^(k+1)+(k+1) a^k b+(_k+1^ )C_2 a^(k-1) b^2+?+(_k+1^ )C_r a^(k+1-r) b^r+? +b^(k+1)
(ζ-z-h)^(k+1)
=(ζ-z)^(k+1)-(k+1) (ζ-z)^k h + (_k+1^ )C_2 (ζ-z)^(k-1) h^2-?+h^(k+1)
(ζ-z)^(k+1)-(ζ-z-h)^(k+1)
=(k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1)
( f^((k) ) (z+h)- f^((k) ) (z))/h
=k!/( 2πih) ∮_C((k+1) (ζ-z)^k h-(_k+1^ )C_2 (ζ-z)^(k-1) h^2+?-h^(k+1))/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
=(k+1)!/( 2πi) ∮_Cf(ζ)/((ζ-z-h)^(k+1) (ζ-z) ) dζ-k!/( 2πi) ∮_C((_k+1^ )C_2 (ζ-z)^(k-1) h-?+h^k)/((ζ-z-h)^(k+1) (ζ-z)^(k+1) ) f(ζ)dζ
h→0
918:与作
25/09/26 09:19:29.07 46DqRb5V.net
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は自然数解を無数に持つ。
919:与作
25/09/26 12:17:10.74 46DqRb5V.net
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は自然数解を持たない。
920:132人目の素数さん
25/09/26 16:50:57.28 Ek58bAv0.net
∫[0→π/2]( tan(x) )^(1/n) dx (n≧2)
∫_0^(π/2)?(tan(x))^(1/n) dx を求める。
t=?sin?^2 x=(sin(x))^2
?sin?^2 x=1-?cos?^2 x ?cos?^2 x=1-t
dt=2sin(x)cos(x)dx=2√t √(1-t) dx
dx=dt/(2√t √(1-t))=(t^(-1/2) (1-t)^(1/2))/2 dt
(sin(x))^(1/n)=(√t)^(1/n)=t^(1/2n) (cos(x))^(1/n)=(√(1-t))^(1/n)=(1-t)^(1/2n)
∫_0^(π/2)?(tan(x))^(1/n) dx=∫_0^(π/2)?( (sin(x))^(1/n))/( (cos(x))^(1/n) ) dx=∫_0^(π/2)?( t^(1/2n))/(1-t)^(1/2n) (t^(-1/2) (1-t)^(1/2))/2 dt
=1/2 ∫_0^(π/2)???t^(1/2n) (1-t)^(-1/2n) t?^(-1/2) (1-t)^(-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2n-1/2) (1-t)^(-1/2n-1/2) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
=1/2 ∫_0^(π/2)??t^(1/2+1/2n-1) (1-t)^(1/2-1/2n-1) ? dt
(1/2) B(1/2+1/(2n), 1/2-1/(2n))
= (1/2) Γ( 1/2+1/(2n) ) Γ( 1/2-1/(2n) ) / Γ( 1/2+1/(2n) + 1/2-1/(2n) )
= (1/2) Γ(z) Γ(1-z) / Γ(1)
= (1/2) ( π/sin(πz) ) / 0!
= π/( 2 sin(πz) )
= π/( 2 sin(π/2+π/(2n)) )
= π/( 2 cos(π/(2n)) ).
921:132人目の素数さん
25/09/26 16:51:33.58 Ek58bAv0.net
C:x=x(t),y=y(t)
OP↑=r(t)=(x(t),y(t))
OQ↑ ?=r(t+Δt)=(x(t+Δt),y(t+Δt))
Δs=|Δr|=|Δr(t+Δt)-r(t)|
RΔθ≒Δs,1/R=Δθ/Δs
1/R=lim[Δt→0](Δθ/Δs)=dθ/ds
dr/dt=rDt
r Dt=(x Dt,y Dt)
r ?(t+Δt)=(x ?(t+Δt),y ?(t+Δt))
r Dt=r ?=(x ?,y ?)
r ?(t+Δt)= r ?_Q=(x ?_Q,y ?_Q)
Δr ? ?Δr ?_Q ΔsinΔθ=det(r ?,r ?_Q)
ΔθΔsinΔθ=(det(r ?,r ?_Q))/Δr ? ?Δr ?_Q ?
922:与作
25/09/26 18:37:55.39 46DqRb5V.net
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は自然数解を持たない。