■ このスレッドは過去ログ倉庫に格納されています
(･ω･)俺が日々の数学的発見を書くスレ
- 1 ：１３２人目の素数さん：2019/06/17(月) 18:53:40.03 ID:O1RoUxa/.net
- 真面目に数学トークがしたいが行き場が無い
- 2 ：１３２人目の素数さん：2019/06/17(月) 19:01:23.70 ID:O1RoUxa/.net
- とりあえず自己紹介だけする
度々VIPにいる数学好きの1人
投下するレスは高校数レベル
- 3 ： ：2019/06/17(月) 19:01:54.15 ID:O1RoUxa/.net
- 固定ハンドルはコレにする
- 4 ： ：2019/06/17(月) 20:28:22.68 ID:ejIHhnsR.net
- [定理]
P(x)、Q(x)はdeg(P)>deg(Q)を満たすモニック多項式であり、P(x)=0は重解を持たないとする。
F:={ω∈C|P(ω)=0}とすれば、
∫(Q(x)/P(x))dx=Σ[ω∈F]Q(ω)log(x-ω)/P'(ω)
が成り立つ。
- 5 ：１３２人目の素数さん：2019/06/17(月) 20:42:30.83 ID:+Vy13uM4.net
- 多項式の係数は何の元？
- 6 ：１３２人目の素数さん：2019/06/17(月) 21:04:49.78 ID:gEUn5lMn.net
- 主張の式の左辺から察するに、モニックがすごく効いてくるんだろうな
- 7 ： ：2019/06/17(月) 21:16:16.25 ID:oxdTrNS+.net
- >>5
複素数です
>>6
積分したい分数関数の分母と分子がモニックでなくても、
最高次係数を括り出せば上の定理が使えます
その事を書くのが面倒であるためモニックとしました
- 8 ： ：2019/06/17(月) 21:16:38.94 ID:oxdTrNS+.net
- >>4
(証明)
P(x)=Σ[ω∈F](x-ω)であるから、
P'(x)=Σ[ω∈F]Π[ω≠φ∈F](x-φ)
よって、各ω∈Fに対して
P'(ω)=Π[ω≠φ∈F](ω-φ)…(＊)
ここで、deg(P)>deg(Q)より、
各ω∈Fに対して定数A(ω)∈Cが存在して
Q(x)/P(x)=Q(x)/Π[ω∈F](x-ω)=Σ[ω∈F]A(ω)/(x-ω) (for∀x∈¬F)
となる。したがって、
Q(x)=Σ[ω∈F](A(ω)Π[ω≠φ∈F](x-φ)) (for∀x∈¬F)
であり、各ω∈Fに対してx→ωの極限をとれば
Q(ω)=A(ω)Π[ω≠φ∈F](ω-φ)=A(ω)P'(ω) (∵(＊)より)
P(x)=0は重解を持たない事より、P'(ω)≠0であるから、
A(ω)=Q(ω)/P'(ω) となる。
以上から、
Q(x)/P(x)=Σ[ω∈F]Q(ω)/(P'(ω)(x-ω))
なので、
∫(Q(x)/P(x))dx=Σ[ω∈F]Q(ω)log(x-ω)/P'(ω)
である。//
- 9 ： ：2019/06/17(月) 22:04:47.70 ID:0GAdCUpi.net
- [定理]
n枚の並行金属板からなるコンデンサーの向かい合う極板表面には、大きさが等しく符号が逆の電荷が溜まる
- 10 ： ：2019/06/17(月) 22:42:50.02 ID:ZeIRzCOt.net
- >>9
(証明)
電場は一様であるとし、電荷は極板表面のみに溜まるとする。
どの極板も同じ形状であり、面積はSであるとする。
極板は上下に並ぶとして、上からi番目の極板をP_iとする。
P_iの極板上部の電荷をA_i、下部の電荷をB_iとする。
S_i=Σ[k=1→i]A_i , T_i=Σ[k=1→i]B_iとし、
S=S_n , T=T_nとする。
Σ[k=m→n]という記号に関して、
m>nの場合はΣ[k=m→n]f(k)=0とする。
極板内の電場を考えることで関係式を得よう。
ガウスの法則より、電荷A_iによる電場はA_i/(2εS)である。
B_iによる電場も同様である。
極板P_iの内部の電場は0であるから、
Σ[k=1→i]A_k/(2εS) +Σ[k=1→i-1]B_k/(2εS)
-Σ[k=i+1→n]A_k/(2εS) -Σ[k=i→n]B_k/(2εS)
=0 (for∀i≧1)
したがって、
S_i+T_[i-1]-(S-S_i)-(T-T_[i-1])=0 (for∀i≧1)
∴S_i+T_[i-1]=(S+T)/2 (for∀i≧1)…(＊)
(＊)より、S_[i+1]+T_i=(S+T)/2 (for∀i≧2)…(＊＊)
(＊)と(＊＊)の差を取ると、
A_[i+1]+B_i=0 (for∀i≧2)
したがって、向かい合う極板表面の電荷は大きさが等しく符号が逆であると分かる。
ちなみに、S_1+T_0=(S+T)/2 よりA_1=(S+T)/2であり、
S_n+T_[n-1]=(S+T)/2 よりB_n=(S+T)/2である。//
- 11 ： ：2019/06/17(月) 22:45:41.37 ID:ZeIRzCOt.net
- ↑訂正
(＊＊)で、for∀i≧2 ではなく for∀i≧0
A_[i+1]+B_i=0 (for∀i≧2)の箇所はfor∀i≧1
- 12 ：：2019/06/20(木) 07:18:01.58 ID:lPOXpfNK.net
- [定理]
円周率πは無理数である。
- 13 ：：2019/06/20(木) 07:36:39.67 ID:lPOXpfNK.net
- [概説]
π∈Qのとき0に収束する自然数列を取ることができ、矛盾する。
これはニーベンによる証明である。
0に収束する自然数列を構成する際に、nを含む定積分I_nを考え、
I_nの極限と漸化式の双方を得るという手順を踏む。
このように積分を経由することで、極限が非自明な数列の漸化式と
その極限を同時に得ることができる。
- 14 ：：2019/06/20(木) 08:08:12.88 ID:lPOXpfNK.net
- [証明](前半)
b_n=t^n*(1-t)^nとおき、b_nのtでの微分をb_n'のように表す。
b_[n+1]'
=(n+1)t^n*(1-t)^n*(1-2t)
=(n+1)(1-2t)b_n
b_[n+1]''
=-2(n+1)b_n+(n+1)(1-2t)b_n'
=-2(n+1)b_n+n(n+1)(1-2t)^2*b_[n-1]
=-2(n+1)b_n+n(n+1)b_[n-1]-4n(n+1)t(1-t)b_[n-1]
=-2(n+1)b_n+n(n+1)b_[n-1]-4n(n+1)b_n
=n(n+1)b_[n-1]-(4n+2)(n+1)b_n
よって、I_n=(π^(n+1)/n!)∫[0→1]b_n*sinπtdtとおくと、n≧1のとき
((n+1)!/π^(n+2))I_[n+1]
=∫[0→1]b_[n+1]*sinπtdt
=[b_[n+1]*(-cosπt)/π][0→1]+(1/π)∫[0→1](b_[n+1]')cosπtdt
=(1/π)∫[0→1](b_[n+1]')cosπtdt
=(1/π)[(b_[n+1]')sinπt/π][0→1]-(1/π^2)∫[0→1](b_[n+1]'')sinπtdt
=(1/π^2)((4n+2)(n+1)∫[0→1]b_n*sinπtdt-n(n+1)∫[0→1]b_[n-1]*sinπtdt)
=((4n+2)(n+1)!/π^(n+3))I_n-((n+1)!/π^(n+2))I_[n-1]
したがって、
I_[n+1]=((4n+2)/π)I_n-I_[n-1]
である。ここで、0≦t≦1のとき0≦b_n*sinπt≦1より
0≦I_n≦π^(n+1)/n!であるから、任意の正の数aに対して
0≦a^n*I_n≦π(aπ)^n/n!→0(n→∞)
よって、a^n*I_n→0(n→∞)である。(前半終)
- 15 ：：2019/06/20(木) 10:09:50.09 ID:FDNF7aqf.net
- [証明](後半)
いま、任意のa>0に対してa^n*I_n→0(n→∞)となるような
強力な数列の漸化式I_[n+1]=((4n+2)/π)I_n-I_[n-1]が得られた。
(I_0=2 , I_1=4/πである)
この強力な性質が、πの無理性に起因することを示そう。
π∈Qだと仮定する。π=p/q(p,q∈N、pとqは互いに素)とおける。
J_n=p^n*I_nとおくと、上記の事実により
J_[n+1]=q(4n+2)J_n-p^2*J_[n-1]
J_0=2 , J_1=4q , J_n→0(n→∞)
となる。帰納的にJ_n∈Z(for∀n)であるから、
J_n→0(n→∞)を考慮すれば、あるm∈Nが存在して
J_m=J_[m+1]=0となるはずである。
このとき、J_[m-1]=0となるので、帰納的に
J_n=0(for∀n)となるが、これはJ_0=2に矛盾する。
以上から、円周率πが無理数である事が示された。(後半終)//
- 16 ：：2019/06/20(木) 10:17:43.05 ID:eEntaTO9.net
- [定理]
3.141<π<3.143である。
- 17 ：：2019/06/20(木) 10:37:43.41 ID:eEntaTO9.net
- [証明]
t∈[0,1]のとき1/2≦1/(t^2+1)≦1であるから、
b_n=t^n*(1-t)^nとすれば
(1/2)b_4≦b_4/(t^2+1)≦b_4
である。よって、
(1/2)∫[0→1]b_4dt<∫[0→1]b_4/(t^2+1)dt<∫[0→1]b_4dt
が成り立つ。ここで、
∫[0→1]b_4dt=4!4!/9!=1/630
∫[0→1]b_4/(t^2+1)dt
=∫[0→1]{t^6-4t^5+5t^4-4t^2+4-(4/(t^2+1))}dt
=(t^7/7-(2/3)t^6+t^5-(4/3)t^3+4t)[0→1]-4(Arctan t)[0→1]
=22/7-π
なので、1/1260<22/7-π<1/630を得る。
よって、22/7-1/630<π<22/7-1/1260であり、
22/7-1/630=1979/630=3.1412…>3.141
22/7-1/1260=3959/1260=3.1420…<3.143
であるので、3.141<π<3.143が示された。//
- 18 ：１３２人目の素数さん：2019/06/20(木) 11:49:20.98 ID:CMEFHFbs.net
- いいスレね
毎日見るわ
- 19 ：：2019/06/20(木) 12:04:48.40 ID:OEKcl1so.net
- [定理]
2.7182<e<2.7183である。
- 20 ：：2019/06/20(木) 12:05:37.13 ID:OEKcl1so.net
- [証明]
次の事実に注意しておく。(n,k,m∈N,n≧k,n≧2)
nCk(1/n)^k<1/k!
nCk(1/n)^k→1/k!(n→∞)
k≧mのとき、1/k!≦(1/m!)(1/(m+1))^(k-m)
以下、n∈Nは十分大きいとする。
(1+1/n)^n
=Σ[k=0→n]nCk(1/n)^k
=Σ[k=0→5]nCk(1/n)k+Σ[k=6→n]nCk(1/n)^k
<Σ[k=0→5]nCk(1/n)k+Σ[k=6→n]1/k!
<Σ[k=0→5]nCk(1/n)k+(1/6!)Σ[k=6→n](1/6)^(k-6)
→(1+1+1/2+1/6+1/24+1/120)+(1/720)(1/(1-1/7)) (n→∞)
=11743/4320
=2.71828…
(1+1/n)^n
=Σ[k=0→n]nCk(1/n)^k
>Σ[k=0→7]nCk(1/n)^k
→1+1+1/2+1/6+1/24+1/120+1/720+1/5040 (n→∞)
=685/252
=2.71825…
以上より、2.7182<lim[n→∞](1+1/n)^n<2.7183
すなわち 2.7182<e<2.7183 が示された。//
- 21 ：：2019/06/20(木) 12:06:02.19 ID:OEKcl1so.net
- [定理]
eは無理数である。
- 22 ：：2019/06/20(木) 12:06:58.47 ID:OEKcl1so.net
- [証明]
e∈Qと仮定する。
e∈¬Zより、e=p/q(p,q∈N,q>1)とおける。
S=Σ[k=0→q]q!/k! (∈N)としておく。
以下、n∈Nは十分大きいとする。
(1+1/n)^n
=Σ[k=0→n]nCk(1/n)^k
>Σ[k=0→q]nCk(1/n)^k
→Σ[k=0→q]1/q! (n→∞)
(1+1/n)^n
=Σ[k=0→n]nCk(1/n)^k
=Σ[k=0→q]nCk(1/n)^k+Σ[k=q+1→n]nCk(1/n)^k
<Σ[k=0→q]nCk(1/n)^k+Σ[k=q+1→n]1/k!
<Σ[k=0→q]nCk(1/n)^k+(1/(q+1)!)Σ[k=q+1→n]1/(q+1)^(k-q-1)
→Σ[k=0→q]1/k!+(1/(q+1)!)(1/(1-1/(q+1))) (n→∞)
=Σ[k=0→q]1/k!+(1/q!)(1/q)
以上より、Σ[k=0→q]1/k!<e=p/q<Σ[k=0→q]1/k!+(1/q!)(1/q)
なので、各辺にq!を掛ければ
S<p(q-1)!<S+1/q
これはS∈N、p(q-1)!∈N、q>1より成り立たず矛盾。
したがって、eが無理数である事が示された。//
- 23 ：：2019/06/20(木) 12:08:19.83 ID:OEKcl1so.net
- >>18
ありがとう
だけど気分によって投稿間隔が大幅に揺れるから
１ヶ月レスしないとかザラにあると思う
それは勘弁
- 24 ：：2019/06/20(木) 12:18:35.40 ID:KCWGPWJy.net
- >>20訂正
Σ[k=0→5]nCk(1/n)k
となっている箇所は正しくは
Σ[k=0→5]nCk(1/n)^k
- 25 ：：2019/06/20(木) 19:02:59.32 ID:KCWGPWJy.net
- ["πは無理数"の早見表](暗記推奨)
I_n=(π^(n+1)/n!)∫[0→1]t^n*(1-t)^n*sintdtとすると
①I_[n+1]=((4n+2)/π)I_n-I_[n-1] , I_0=2 , I_1=4/π
②a^n*I_n→0 (n→∞) (for∀a>0)
π=p/q(p,q∈N)として、J_n=p^n*I_nとおくと
③J_[n+1]=q(4n+2)J_n-p^2*J_[n-1] , J_0=2 , J_1=4q
④J_n→0 (n→∞) , J_n∈N (for∀n)
→矛盾であるのでπ∈¬Q//
- 26 ：：2019/06/22(土) 08:58:23.44 ID:ViY+4mff.net
- [定理]
2019個の有理数a_1,…,a_2019が
「どの1つを取り除いても残りの2018個を和が
等しくなるように1009個ずつに二分できる」
ならばa_1,…,a_2019は全て等しい。
- 27 ：：2019/06/22(土) 09:03:52.21 ID:ViY+4mff.net
- [概説]
a_1~a_2019は整数だとしてよく、全ての偶奇は一致する。
これらに対し、2で割るか、±1を足して2で割る操作を繰り返すと
あるタイミングでa_1~a_2019の中に0が生じるが、
このときに0でないものが含まれていると
その後2で割る操作を続けた時に奇数が生じて
a_1~a_2019の偶奇が一致することに矛盾する。
- 28 ：：2019/06/22(土) 09:05:17.51 ID:ViY+4mff.net
- [証明]
有理数a_1,a_2,…,a_2019のことを{a}と書く。
2019個の数が
「どの1つを除いても残りの2018個の数を総和が等しくなるように1009個ずつに二分出来る」
という性質を持つとき、これを性質Pと呼ぶ事にする。
{a}が性質Pを持つとき、各々の有理数に等しい整数をかけて出来る有理数列も性質Pを持つ。
よって、以下では{a}は全て整数として良い。
{a}の総和をSとすると、{a}が性質Pを持つとき、S-a_i=(偶数) (for∀i)である。
よってa_iとSの偶奇は一致し(for∀i)、したがって{a}の各々の偶奇は一致する。…(＊)
ここで次の操作を考える。
(A){a}の全ての整数を2で割る
(B){a}の全ての整数に1を足して2で割る
(C){a}の全ての整数から1を引いて2で割る
{a}の各々が偶数のときは(A)を行い、奇数のときは(B)または(C)を行う事にすると、
新たにできる{a}は全て整数であり、かつ性質Pを持つ。
よって、(＊)により新たな{a}の各々の偶奇は一致する。
さて、{a}に適切に(A)~(C)の操作を有限回行うと(または行わないと)、ある段階(☆)で初めて{a}の中に0があらわれる。
段階(☆)で{a}の中に0でないものa_mがあったと仮定すると、
段階(☆)以後の{a}に対する操作は(A)のみ許されるので、
a_mは有限回の操作(A)の後で必ず奇数になる。
このとき{a}の中に偶数0と奇数a_mが同時に含まれる事になり矛盾する。
以上から、段階(☆)で{a}は全て0でなければならない事が分かった。
これは、操作を行う前の{a}が全て等しかった事を表している。//
- 29 ：：2019/06/23(日) 07:55:07.29 ID:SQl9GoQP.net
- [定理]
2019個の実数a_1,…,a_2019が
「どの1つを取り除いても残りの2018個を和が
等しくなるように1009個ずつに二分できる」
ならばa_1,…,a_2019は全て等しい。
- 30 ：：2019/06/23(日) 07:55:27.81 ID:SQl9GoQP.net
- [証明]
実数a_1,a_2,…,a_2019のことを{a}と書く。
また、行列Xの転置行列をX^Tと書く。
題意より、{a}からa_iを取り除いて、和が等しくなるように
1009個ずつのグループP,Qに二分する事ができる。
行列Aの(i,j)成分A(i,j)を次のように定める。
A(i,i)=0 , A(i,j)=1(if a_j∈P) , A(i,j)=-1(if a_j∈Q)
列ベクトルxを、x=(a_1,…,a_2019)^Tとすると、
Ax=0 (0は2019×1の零行列)である。
ここで、Aから1列目と2019行目を取り除いた
2018×2018の正方行列をBとし、列ベクトルx'を
x'=(a_2,…,a_2019)^Tとする。
また、Aの1列目より成る列ベクトルから最終行を除いた
2018×1の列ベクトルをuとし、Bのn列目をuに置き換えた
正方行列をB_nとする。見やすさのためk=-a_1とする。
このとき、Ax=0はBx'=kuと書ける。
クラメルの公式より、x'の(1,n)成分 : x'(1,n)は
x'(1,n)=k(det B_n)/(det B)となる。
det B=±1、det B_n=±1であるので、x'(1,n)=±k
したがって、x'の各成分の絶対値は|k|に等しい事が分かった。
すなわち、{a}の各々の絶対値は等しい。
以下、{a}の各々の符号が等しい事を示そう。
{a}の中にa_1と符号の異なる数a_n=-kが含まれていると仮定する。
{a}からa_nを取り除いたものを、和が等しくなるように
1009個ずつに二分できる事より、a_1と符号が異なる数は
a_nを除いて偶数個、すなわち全体で奇数個ある。
同様に、{a}からa_1を取り除いたものを和が等しくなるように
二分できる事より、a_1と符号が異なる数は
全体で偶数個あると言えるが、これは上述の事に矛盾する。
以上から、{a}の各々の符号は全て等しい。
したがって題意は示された。//
- 31 ：：2019/06/23(日) 07:58:21.63 ID:SQl9GoQP.net
- ↑訂正
(1,n)としてある所は正しくは(n,1)
- 32 ：：2019/06/23(日) 07:59:33.05 ID:d+1+ZoF7.net
- [定理]
無理数の無理数乗が有理数となる場合が存在する。
- 33 ：：2019/06/23(日) 08:04:14.94 ID:d+1+ZoF7.net
- [証明]
「ある無理数a,bが存在してa^b∈Qとなる」
を命題Pとする。√2は無理数である。
(√2)^(√2)が有理数ならばPは真。
(√2)^(√2)が無理数ならば、これの√2乗は
((√2)^(√2))^(√2)=(√2)^2=2∈Qとなり、
無理数の無理数乗が有理数となるのでPは真。
以上からPが真である事が示された。//
- 34 ：：2019/06/23(日) 08:04:36.05 ID:d+1+ZoF7.net
- [定理]
√2は無理数である。
- 35 ：：2019/06/23(日) 08:11:50.72 ID:d+1+ZoF7.net
- [証明]
1^2<(√2)^2<2^2より1<√2<2である。
√2=p/q(p,q∈N)とおけると仮定する。
このような(p,q)の組のうち、qが最小となるものを
(p,q)=(A,B)とする。このとき、
1<A/B<2なので0<A-B<Bが言える。
ここで、(2B-A)/(A-B)という数を考える。
(2B-A)/(A-B)
=(2-(A/B))/((A/B)-1)
=(2-√2)/(√2-1)
=√2
なので、(p,q)=(2B-A,A-B)なる(p,q)の組が存在するが、
0<A-B<Bであったから、Bの最小性に矛盾する。
以上から、√2は無理数である。//
- 36 ：：2019/06/23(日) 08:12:50.83 ID:d+1+ZoF7.net
- [c.f.]
2^(1/3)は無理数である。
- 37 ：：2019/06/23(日) 08:14:36.71 ID:d+1+ZoF7.net
- [証明]
2^(1/3)=p/q(p,q∈N)とおけると仮定すると、
2=(p/q)^3なので、q^3+q^3=p^3となる。
しかし、これはフェルマーの最終定理のn=3の場合に矛盾する。
したがって、2^(1/3)は無理数。//
- 38 ：：2019/06/23(日) 08:17:18.25 ID:d+1+ZoF7.net
- ちなみに、(√2)^(√2)が無理数である事はベイカーの定理や、その特別な場合であるゲルフォント・シュナイダーの定理から示せる。
- 39 ：１３２人目の素数さん：2019/06/23(日) 08:20:40.82 ID:qc/xMCO6.net
- 正整数の有理数乗は、絶対値として無理数か整数かのいずれかをとる
- 40 ：：2019/06/23(日) 08:31:01.70 ID:arQfrD2D.net
- πとeが超越数である事を認めれば、π+eとπeの少なくとも一方が超越数である事が示される。
π+eとπeがいずれも代数的数だと仮定すると
方程式x^2-(π+e)+πe=0の解は代数的数になるが、
これは解x=πまたはx=eが超越数である事に矛盾する。
- 41 ：：2019/06/23(日) 08:32:31.41 ID:arQfrD2D.net
- >>39
良いことを言うね
- 42 ：：2019/06/23(日) 08:34:55.64 ID:arQfrD2D.net
- [定理]
積分路γで囲まれた領域中のf(z)の極の集合をFとして
∮[γ]f(z)dz=2πiΣ[ω∈F]Res[z=ω]f(z)
- 43 ：：2019/06/23(日) 08:35:17.55 ID:arQfrD2D.net
- 留数定理と呼ばれる
今のところ証明はできない
- 44 ：１３２人目の素数さん：2019/06/28(金) 10:51:44.02 ID:Ped6OF2z.net
- 日々の発見もうなくなっちゃったの(´･ω･`; )
- 45 ：：2019/06/28(金) 11:00:51.73 ID:fVJpwlXs.net
- >>44
eが超越数である事の証明を書きたいんだけど、時間と気力がないのですm(_ _)m
- 46 ：１３２人目の素数さん：2019/06/29(土) 16:44:40.08 ID:DHiuKlHq.net
- (･ω･)俺が日々の数学的発見を書くスレ
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 47 ：：2019/06/30(日) 21:36:22.50 ID:u0+pGlXg.net
- >>46
なぜその画像をこのスレに…？
大数は宿題にしか応募した事ないなぁ
- 48 ：：2019/06/30(日) 22:13:01.75 ID:lEQjrZiH.net
- [定理](Cauchy-Schwarzの不等式)
任意の自然数nと任意の実数x_1,…,x_n;y_1,…,y_nに対して、
(Σx_i*y_i)^2≦(Σx_i^2)(Σy_i^2)
が成り立つ。(Σa_iはΣ[i=1→n]a_iの略記)
- 49 ：：2019/06/30(日) 22:15:09.45 ID:lEQjrZiH.net
- [証明]
(Σx_i^2)(Σy_i^2)-(Σx_i*y_i)^2=(1/2)Σ(x_i*y_j-x_j*y_i)^2≧0 //
- 50 ：１３２人目の素数さん：2019/07/01(月) 10:50:03.22 ID:6+qG4zyK.net
- 今でもVIPにスレ立てたりされてますか？
- 51 ：：2019/07/01(月) 11:45:42.54 ID:rzi1S6HH.net
- >>50
気が向いたらしてますよ
最近だと三日前に立てました
- 52 ：１３２人目の素数さん：2019/07/02(火) 10:03:03.08 ID:T+xwmUZZ.net
- >>51
VIPも見るようにしますわ
- 53 ：：2019/07/03(水) 08:38:49.93 ID:UShHb8Ug.net
- >>52
まあVIPに立てる頻度は高くないので、あまりご自分の時間を無駄になさらないように気を付けてください…
- 54 ：１３２人目の素数さん：2019/07/03(水) 19:42:42.20 ID:dqLWAG/2.net
- 4245
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 55 ：：2019/07/09(火) 08:31:04.74 ID:1TVgXAaB.net
- [定理]
正五角形の対角線の長さφは黄金比(1+√5)/2になる
- 56 ：：2019/07/09(火) 08:32:58.48 ID:1TVgXAaB.net
- [証明]
定理では正五角形の一辺の長さを1とした。
正五角形は円に内接するので、トレミーの定理により
φ^2=φ+1 ∴φ=(1+√5)/2 //
- 57 ：１３２人目の素数さん：2019/07/21(日) 08:41:35.75 ID:n05/PYDY.net
- [トレミーの定理]
異なる4点A,B,C,Dが同一円周上にこの順に並んでいる時、
AB*CD+BC*AD=AC*BD が成り立つ。
- 58 ：１３２人目の素数さん：2019/07/21(日) 08:44:11.72 ID:n05/PYDY.net
- [概説]
トレミーの定理には初等幾何を使う方法、正弦定理を使う方法、複素数を使う方法、反転を使う方法など様々なものがある。
次では、最も技巧的でないと思われる自然な証明の1つで、かつキレイなものを述べる。
- 59 ：１３２人目の素数さん：2019/07/21(日) 09:14:28.42 ID:lEVLHFKm.net
- [証明]
以下、記述の簡略化のためにsin(θ/2)を[θ]、cos(θ/2)を{θ}と書く。
|e^(iθ)-e^(iφ)|=√(2+2cos(θ-φ))=2|[θ-φ]| となる事に注意する。
4点は複素数平面の単位円周上にあるとしてよい。
A,B,C,Dの偏角はそれぞれα‬,β,γ,δ(‪0≦‪α‬<β<γ<δ<2π)…(＊)とおける。
このとき、
AB*CD+BC*AD
=2|[‪α‬-β]|*2|[γ-δ]|+2|[β-γ]|*2|[‪α‬-δ]|
=4[β-‪α‬]*[δ-γ]+4[γ-β]*[δ-‪α‬] (∵(＊))
=-2{β-‪α‬+δ-γ}+2{β-‪α‬-δ+γ}-2{γ-β+δ-‪α‬}+2{γ-β-δ+‪α‬}
=2{β-‪α‬-δ+γ}-2{γ-β+δ-‪α‬}
=-4[γ-‪α‬]*[β-δ]
=AC*BD
より示された。//
- 60 ：：2019/07/21(日) 09:16:35.76 ID:lEVLHFKm.net
- 固定ハンドルを付け忘れていました
- 61 ：：2019/07/21(日) 09:18:44.37 ID:lEVLHFKm.net
- 参考までに正弦定理を使う証明も載せておきます
- 62 ：：2019/07/21(日) 09:36:52.31 ID:lEVLHFKm.net
- [証明2]
∠DAC=‪α‬、∠ABD=β、∠ACB=γとし、
四角形ABCDの外接円の半径をRとすると、正弦定理より
AB=2Rsinγ、CD=2Rsin‪α‬、AD=2Rsinβ、
BC=2Rsin∠BDC=2Rsin(π-‪α‬-β-γ)=2Rsin(‪α‬+β+γ)、
AC=2Rsin(‪α‬+β)、BD=2Rsin(β+γ)
であるから、
AB*CD+BC*AD
=4R^2*sinγsin‪α‬+4R^2*sin(‪α‬+β+γ)sinβ
=-2R^2*(cos(‪α‬+γ)-cos(‪α‬-γ)+cos(‪α‬+2β+γ)-cos(‪α‬+γ))
=-2R^2*(cos(‪α‬+2β+γ)-cos(‪α‬-γ))
=4R^2*sin(‪α‬+β)sin(β+γ)
=AC*BD
したがって示された。//
- 63 ：：2019/08/01(木) 20:32:18.19 ID:5+BqUp+x.net
- [π/nに関する三角関数の計算 その1]
θ=π/nとおき、ε=e^(iθ)とおく。
f(k)=ε^k+ε^(-k)、g(k)=ε^k-ε^(-k)とする。
このとき、
1° f(-k)=f(k)
2° g(-k)=-g(k)
3° f(a)f(b)=f(a+b)+f(a-b)
4° g(a)g(b)=f(a+b)-f(a-b)
5° f(a)g(b)=g(a+b)-g(a-b)
6° f(k)^2=f(2k)+2
7° g(k)^2=f(2k)-2
8° f(k)=-f(n-k)
9° g(k)=g(n-k)
が成り立つ。
f(k)=2cos(kπ/n)、g(k)=2isin(kπ/n)である事に注意する。
- 64 ：：2019/08/01(木) 20:35:26.33 ID:5+BqUp+x.net
- [π/nに関する三角関数の計算 その2]
(補題)
nが奇数のとき、m=(n-1)/2とすれば、
f(1)-f(2)+f(3)-f(4)+…-(-1)^m*f(m)=1
証明は省略する。
- 65 ：：2019/08/01(木) 20:47:35.86 ID:5+BqUp+x.net
- [概説]
以上の事を使いこなせば、三角関数の計算問題で解けないものは無くなる。
角度π/7が絡む問題には発想力が必要なものが多いが、
計算力さえあれば解ききれるようになる。
θ=π/7とすると、
・tan(θ)tan(2θ)tan(3θ)
・tan^2(θ)+tan^2(2θ)+tan^2(3θ)
・tan^2(θ)tan^2(2θ)+tan^2(2θ)tan^2(3θ)+tan^2(3θ)tan^2(θ)
・4sin(2θ)-tan(θ)
などを求めることができるが、以下では
tan(θ)tan(2θ)tan(3θ)の場合の計算を実演する。
- 66 ：：2019/08/01(木) 21:07:45.42 ID:5+BqUp+x.net
- [π/nに関する三角関数の計算 実演]
n=7のとき、補題よりf(1)-f(2)+f(3)=1…(☆)である。
以下の式変形は、
・g(k)があったら二乗してf(2k)になおす
・f(1)、f(2)、f(3)のみの式になおしていく
・補題を１回以上使う
の3点に留意して行っている。
tan(θ)tan(2θ)tan(3θ)
=(g(1)/if(1))(g(2)/if(2))(g(3)/if(3))
=(g(1)g(2)g(3))/(-if(1)f(2)f(3))
であるから、
(tan(θ)tan(2θ)tan(3θ))^2
=(g(1)g(2)g(3))^2/(-if(1)f(2)f(3))^2
=((f(2)-2)(f(4)-2)(f(6)-2))/(-(f(2)+2)(f(4)+2)(f(6)+2))
=((f(2)-2)(-f(3)-2)(-f(1)-2))/(-(f(2)+2)(-f(3)+2)(-f(1)+2))
=((f(2)-2)(f(3)+2)(f(1)+2))/((f(2)+2)(-f(3)+2)(f(1)-2))
=((f(2)f(3)+2f(2)-2f(3)-4)(f(1)+2))/((-f(2)f(3)+2f(2)-2f(3)+4)(f(1)-2))
=((f(1)+f(5)+2f(2)-2f(3)-4)(f(1)+2))/((-f(1)-f(5)+2f(2)-2f(3)+4)(f(1)-2))
=((f(1)-f(2)+2f(2)-2f(3)-4)(f(1)+2))/((-f(1)+f(2)+2f(2)-2f(3)+4)(f(1)-2))
=((f(1)+f(2)-2f(3)-4)(f(1)+2))/((-f(1)+3f(2)-2f(3)+4)(f(1)-2))
=((3f(1)-f(2)-6)(f(1)+2))/((f(1)+f(2)+2)(f(1)-2)) (∵(☆))
=(3f(1)^2+6f(1)-f(2)f(1)-2f(2)-6f(1)-12)/(f(1)^2-2f(1)+f(2)f(1)-2f(2)+2f(1)-4)
=(3f(2)+6+6f(1)-f(1)-f(3)-2f(2)-6f(1)-12)/(f(2)+2-2f(1)+f(1)+f(3)-2f(2)+2f(1)-4)
=(-f(1)+f(2)-f(3)-6)/(f(1)-f(2)+f(3)-2)
=(-1-6)/(1-2) (∵(☆))
=7
したがって、
tan(θ)tan(2θ)tan(3θ)=√7 //
- 67 ：：2019/08/01(木) 21:11:30.35 ID:5+BqUp+x.net
- 理解したいという方は(いるかは分かりませんが)紙に書いて考える事をおすすめします
- 68 ：：2019/08/07(水) 12:27:22.80 ID:YQxJY3Id.net
- 以下の議論では、△ABCの重心をG、外心をO、
垂心をH、内心をIとする。
a、b、cをそれぞれ辺BC、CA、ABの長さとし、
Pは任意の点とする。
- 69 ：：2019/08/07(水) 12:28:20.59 ID:YQxJY3Id.net
- [定理](オイラー線)
OH↑=OA↑+OB↑+OC↑
(XY↑はXYベクトルを表す)
- 70 ：：2019/08/07(水) 12:33:22.63 ID:YQxJY3Id.net
- [証明]
定理の式は、OH↑=3OG↑とも書ける。
OX↑=OA↑+OB↑+OC↑で定まる点Xが
点Hと一致する事を示せばよい。
AX↑・BC↑
=(OX↑-OA↑)・(OC↑-OB↑)
=(OB↑+OC↑)・(OC↑-OB↑)
=|OB↑|^2-|OC↑|^2
=0
よりAX⊥BCであり、全く同様にして
BX⊥CA、CX⊥ABも示せるのでX=Hである。
よって示された。//
- 71 ：：2019/08/07(水) 13:38:06.54 ID:ymovl4AM.net
- [証明2]
複素数平面で考えよう。xの共役複素数をx'と表す。
O(0)、A(‪α‬)、B(β)、C(γ)、H(ω)とする。
A、B、Cは単位円周上にあるとして良い。
AH⊥BCより、
(ω-‪α‬)/(β-γ)=-(ω'-‪α‬')/(β'-γ')
∴ω(β'-γ')+ω'(β-γ)=‪α‬(β'-γ')+α‬'(β-γ)
この両辺に‪α‬βγをかけて、
ω‪α‬(γ-β)+ω'‪α‬βγ(‪β-γ)=‪α‬^2*(γ-β)+βγ(‪β-γ)
∴ω‪α‬-ω'‪α‬βγ=‪α‬^2-βγ…(1)
同様に、BH⊥CAより、
ωβ-ω'‪α‬βγ=β^2-γ‪α‬…(2)
(1)-(2)より、
ω(‪α‬-β)=(‪α‬-β)(‪α‬+β)+γ(‪α‬-β)
∴ω=‪α‬+β+γ
したがって、OH↑=OA↑+OB↑+OC↑//
- 72 ：：2019/08/07(水) 13:52:01.39 ID:pCr2xXcd.net
- [定理]
PI↑=(aPA↑+bPB↑+cPC↑)/(a+b+c)
- 73 ：：2019/08/07(水) 13:52:21.41 ID:pCr2xXcd.net
- [証明]
直線AIと辺BCとの交点をDとする。
∠DAB=∠DACより、AB:AC=BD:CDなので、
PD↑=(bPB↑+cPC↑)/(b+c)
また、∠IBD=∠IBAより、BD:BA=DI:AIなので、
PI↑
=((ac/(b+c))PA↑+cPD↑)/((ac/(b+c))+c)
=(aPA↑+(b+c)PD↑)/(a+b+c)
=(aPA↑+bPB↑+cPC↑)/(a+b+c)
したがって示された。//
- 74 ：：2019/08/09(金) 22:25:24.67 ID:qLNgAxEG.net
- [定理](ピタゴラス数)
a,b,c∈Nはどの2つも互いに素で、aは奇数とする。
このとき、a^2+b^2=c^2ならば、
偶奇の異なる互いに素なm,n∈N(m>n)を用いて
a=m^2-n^2,b=2mn,c=m^2+n^2
と表される。
- 75 ：：2019/08/09(金) 22:47:32.50 ID:qLNgAxEG.net
- [証明]
まず、bが偶数である事を示す。
以下、合同式の法を4とする。
bが奇数であると仮定すると、b≡±1よりb^2≡1
同様に、a^2≡1であるから、a^2+b^2≡2
しかし、c^2≡0 or 1なので、a^2+b^2=c^2に矛盾する。
よってbは偶数である。
ここでb=2k(k∈N)とおくと、
a^2+b^2=c^2 ⇔ k^2=((c+a)/2)*((c-a)/2)…(＊)
a,cは奇数より(c+a)/2及び(c-a)/2は自然数である。
整数x,yの最大公約数をgcd(x,y)のように書くと、
ユークリッドの互除法より
gcd((c+a)/2,(c-a)/2)
=gcd(c,(c-a)/2)
=gcd(c,c-a) (∵cは奇数)
=gcd(c,-a)
=1 (∵aとcは互いに素)
よって、(c+a)/2と(c-a)/2は互いに素である。
これと(＊)より、(c+a)/2及び(c-a)/2は平方数である。
したがって、互いに素なm,n∈N(m>n)を用いて
(c+a)/2=m^2 , (c-a)/2=n^2
とおける。これより、
a=m^2-n^2 , b=2mn , c=m^2-n^2
を得る。aは奇数であったから、mとnの偶奇は異なる。
以上から示された。//
- 76 ：：2019/08/09(金) 22:50:15.45 ID:qLNgAxEG.net
- 訂正
c=m^2-n^2 → c=m^2+n^2
- 77 ：：2019/08/11(日) 12:17:05.11 ID:f7FJN2NB.net
- 以下の議論では、
x,y∈Zに対してxがyを割り切る事をx|yと書き、
割り切らないことをx∤︎yと書く。
- 78 ：：2019/08/11(日) 12:17:44.66 ID:f7FJN2NB.net
- [定理](Lifting The Exponent Lemma)
x,y∈Z,n∈N,奇素数pに対して、p∤︎x , p∤︎y , p|(x-y)ならば
v(x^n-y^n)=v(x-y)+v(n) が成り立つ。
ただし、p^m|x , p^(m+1)∤︎x となるm∈Z(m≧0)をv(x)で表す。
- 79 ：：2019/08/11(日) 12:17:58.55 ID:f7FJN2NB.net
- [証明]
(1)n=pのとき
x^p-y^p
=(x-y)(x^(p-1)+x^(p-2)*y+…+y^(p-2)*x+y^(p-1))
=(x-y)((x-y)A+py^(p-1))
である。ただし、
A=x^(p-2)+2x^(p-3)*y+3x^(p-4)*y^2+…+(p-1)y^(p-2)
とおいた。ここで、p|(x-y) , p∤︎yより、
p|((x-y)A+py^(p-1)) , p^2∤︎((x-y)A+py^(p-1))
であるから、
v(x^p-y^p)=v(x-y)+1=v(x-y)+v(p)
よってn=pで定理の主張は成り立つ。
(2)n=a(p∤︎a)のとき
x^a-y^a=(x-y)(x^(a-1)+x^(a-2)*y+…+y^(a-1))
ここで、p|(x-y)よりx≡y mod pなので、
x^(a-1)+x^(a-2)*y+…+y^(a-1)≡ax^(a-1)≢0 mod p
よって、v(x^a-y^a)=v(x-y)=v(x-y)+v(a)
したがってn=aで定理の主張は成り立つ。
(3)n=ap^m(m∈Z,m≧0,p∤︎a)のとき
m=0のとき、(2)より定理の主張は成り立つ。
m=k(k∈Z,k≧0)のときに定理の主張が成り立つと仮定する。
v(x^(ap^(k+1))-y^(ap^(k+1)))
=v((x^(ap^k))^p-(y^(ap^k))^p)
=v(x^(ap^k)-y^(ap^k))+v(p)
=v(x-y)+v(ap^k)+v(p)
=v(x-y)+v(ap^(k+1))
より、m=k+1のときも定理の主張は成り立つ。
以上(1)~(3)より示された。//
- 80 ：：2019/08/13(火) 00:08:49.03 ID:OAB9mrEh.net
- 以下、引き続いて整数論の諸定理を示していく。
a,b∈Zに対して、aとbの最大公約数をgcd(a,b)で表し、
aとbが互いに素であることをa⊥bで表す。
これらは断りなく使う。
- 81 ：：2019/08/13(火) 00:09:01.40 ID:OAB9mrEh.net
- [定理]
a,b∈Z\{0} , F={z|∃x,y∈Z,ax+by=z}とすると、
Fの各要素はFの正の最小の要素dの倍数になる。
- 82 ：：2019/08/13(火) 00:09:14.49 ID:OAB9mrEh.net
- [証明]
あるz∈Fがdの倍数でないと仮定する。
このとき、z=dq+r(q,r∈Z,0<r<d)とおける。
また、z,d∈Fより、x,y,x',y'∈Zを用いて
d=ax+by , z=ax'+by' とおける。
したがって、
r=z-dq=(ax'+by')-(ax+by)q=a(x'-xq)+b(y'-yq)∈F
∴ r∈F
となるが、これはdの最小性に矛盾する。
よって示された。//
- 83 ：：2019/08/13(火) 00:11:09.82 ID:OAB9mrEh.net
- [定理](ベズーの定理)
a,b∈Z,a⊥bのとき、ax+by=1を満たすx,y∈Zが存在する。
- 84 ：：2019/08/13(火) 00:12:08.53 ID:OAB9mrEh.net
- [証明1]
定理>>81の系として得られる。
定理>>81において、
a=1*a+0*b∈T , b=0*a+1*b∈T ∴ a,b∈T
なので、d|a かつ d|b である。
ここでa⊥bとすればd=1となるから、d∈Tより 1∈T
したがって示された。//
- 85 ：：2019/08/13(火) 00:12:23.48 ID:OAB9mrEh.net
- [証明2]
a^nをbで割った余りをr[n]とする。
r[n]の値は高々b種類なので、あるs,t∈N(s>t)が存在して
r[s]=r[t]となる。よって、
a^s≡a^t mod b ∴ a^(s-t)≡1 mod b(∵a⊥b)
したがって、あるm∈Zが存在して
a^(s-t)+mb=1を満たすので、
x=a^(s-t-1)∈Z , y=m とすれば良い。//
- 86 ：：2019/08/13(火) 00:12:40.52 ID:OAB9mrEh.net
- [定理](ユークリッドの補題)
素数p、整数a,bに対して p|ab⇒p|a or p|b が成り立つ。
- 87 ：：2019/08/13(火) 00:13:48.95 ID:OAB9mrEh.net
- [証明]
p|bのときは良い。以下p∤︎bとする。
ベズーの定理より、あるx,y∈Zが存在して
px+by=1 を満たす。この両辺をa倍して、
apx+aby=a となる。
p|abのときp|(apx+aby)となるので、p|aが分かった。//
- 88 ：：2019/08/13(火) 00:13:58.67 ID:OAB9mrEh.net
- [定理](素因数分解の可能性・一意性)
2以上の任意の自然数は一意に素因数分解できる。
- 89 ：：2019/08/13(火) 00:14:38.84 ID:OAB9mrEh.net
- [証明](可能性の証明)
2は素数であり、素因数分解可能なのは自明である。
2以上n以下(n∈N,n≧2)の任意の自然数が
素因数分解可能であると仮定する。
n+1が素数のとき、
n+1が素因数分解可能なのは自明である。
n+1が合成数のとき、
あるs,t∈N(s,t≧2)が存在して、n+1=stと書ける。
2≦s≦n , 2≦t≦n であるから、仮定より
s,tは素因数分解可能であり、したがって
n+1も素因数分解可能である。
よって、2以上の全ての自然数は素因数分解可能である。//
- 90 ：：2019/08/13(火) 00:14:58.42 ID:OAB9mrEh.net
- [証明](一意性の証明)
2は素数であり、一意に素因数分解されるのは自明である。
2以上n以下(n∈N,n≧2)の任意の自然数が
一意に素因数分解されると仮定する。
n+1が素数のとき、
n+1が一意に素因数分解されるのは自明である。
n+1が合成数のとき、
n+1=p[1]*p[2]*…*p[k]=q[1]*q[2]*…*q[l] …(＊)
とおける。ただし、
p[1],p[2],…,p[k];q[1],q[2],…,q[l]は素数、
p[1]≦p[2]≦…≦p[k] , q[1]≦q[2]≦…≦q[l]、
p[1]≦q[1]、k,lは2以上の自然数
である。
p[1]|q[1]*q[2]*…*q[l]なので、ユークリッドの補題より
(p[1]|q[1]) or (p[1]|q[2]) or … or (p[1]|q[l])
であり、p[1]及びq[i](i=1,2,…,l)が素数である事と
p[1]≦q[1]である事に注意すれば、p[1]=q[1]である。
これと(＊)より、
(2≦)p[2]*p[3]*…*p[k]=q[2]*q[3]*…*q[l](≦n)
であるから、仮定を用いれば
k=l , p[i]=q[i] (i=2,3,…,k)
したがって、n+1は一意に素因数分解される。
よって、2以上の全ての自然数は一意に素因数分解される。//
- 91 ：１３２人目の素数さん：2019/08/13(火) 08:52:12.84 ID:0LSsy5XL.net
- 見ててためになります。
応援してます。
- 92 ：：2019/08/13(火) 13:44:11.99 ID:ul/0eAXd.net
- >>91
ありがとうございます！
見てくれている人がいるのは励みになります
- 93 ：：2019/08/26(月) 14:36:39.12 ID:RXFi4yd9.net
- [定理](オイラーの定理)
m∈Z(m≠0)に対し、F(m)={x∈Z|1≦x≦|m|,m⊥x}とし、
φ(m)=n(F(m))とするとき、a⊥mなるa∈Zに対して
a^φ(m)≡1 mod m が成り立つ。
- 94 ：：2019/08/26(月) 14:36:57.48 ID:RXFi4yd9.net
- [証明]
関数f:F(m)→F(m)を次のように定める。
「f(x)はaxをmで割った余りを表す」
このとき、fが全単射である事を示す。
f(x)=f(y)であるとき、ax≡ay mod mであり、
m⊥aであったからx≡y mod mである。
x,y∈F(m)を考慮するとx=yが分かる。
よって、fは全単射である。したがって、
Π[k∈F(m)]k=Π[k∈F(m)]f(k) なので、
Π[k∈F(m)]k≡Π[k∈F(m)]ak mod m
∴Π[k∈F(m)]k≡a^φ(m)*Π[k∈F(m)]k mod m
∴a^φ(m)≡1 mod m (∵m⊥Π[k∈F(m)]k)
よって示された。//
- 95 ：：2019/08/26(月) 14:37:13.98 ID:RXFi4yd9.net
- [証明](mが具体値の場合)
m=5の場合を示す。以下法を5とする。
示すべき事は、a^4≡1である。ここで、
a^5-a=(a-2)(a-1)a(a+1)(a+2)+5(a-1)a(a+1)
であり、この右辺は連続5整数の積と
5の倍数の和だから、5の倍数となる。
したがって、a^5-a≡0 ∴ a^4≡1 (∵5⊥a)//
- 96 ：：2019/08/26(月) 14:37:57.45 ID:RXFi4yd9.net
- [補題]
素数pに対して、p|pCk(k=1,2,…,p-1)が成り立つ。
- 97 ：：2019/08/26(月) 14:38:35.71 ID:RXFi4yd9.net
- [証明1]
pCk=p(p-1)…(p-k+1)/k!であり、p⊥k!なのでp|pCk//
- 98 ：：2019/08/26(月) 14:38:43.89 ID:RXFi4yd9.net
- [証明2]
k*pCk=k*p!/((p-k)!k!)=p*(p-1)!/((p-k)!(k-1)!)=p*(p-1)C(k-1)
よりp|k*pCkであり、p⊥kなのでp|pCk//
- 99 ：：2019/08/26(月) 14:39:26.47 ID:RXFi4yd9.net
- [定理](逆元の一意存在性)
a,m∈Nに対して、a⊥mのとき
法mにおいてaはただ一つの逆元をもつ。
- 100 ：：2019/08/26(月) 14:39:47.33 ID:RXFi4yd9.net
- [証明]
オイラーの定理よりa^(φ(m)-1)はaの逆元である。
aの逆元としてb,cをとると、
ab≡1 mod m , ac≡1 mod m
なので、ab≡ac mod mである。
a⊥mを考慮すると、b≡c mod m
よって存在性・唯一性が示された。//
- 101 ：：2019/08/26(月) 14:40:05.81 ID:RXFi4yd9.net
- 以下、n∈N,a,m∈Z(a⊥m)に対してa^(-n) mod m は
「法mにおけるa^nの逆元」を表すものとする。
- 102 ：：2019/08/26(月) 14:41:19.35 ID:EGcR6R12.net
- [補題]
素数p、整数a,bに対して
(a+b)^p≡a^p+b^p mod p が成り立つ。
- 103 ：：2019/08/26(月) 14:41:36.13 ID:EGcR6R12.net
- [証明]
補題>>96に注意して、
(a+b)^p
=(a^p+b^p)+Σ[k=1→p-1]pCk*a^k*b^(p-k)
≡a^p+b^p mod p//
- 104 ：：2019/08/26(月) 14:41:50.66 ID:EGcR6R12.net
- [系]
a[k]∈Z(k∈N)に対して、
(Σa[k])^p≡Σ(a[k]^p) mod p が成り立つ。
- 105 ：：2019/08/26(月) 14:42:07.20 ID:EGcR6R12.net
- [証明]
補題>>102より、
(a[1]+a[2])^p≡a[1]^p+a[2]^p mod p
である。ここで、
(Σ[k=1→n]a[k])^p≡Σ[k=1→n](a[k]^p) mod p
が成り立つと仮定する(n∈N)。このとき、
(Σ[k=1→n+1]a[k])^p
≡(Σ[k=1→n]a[k])^p+a[n+1]^p
≡Σ[k=1→n](a[k]^p)+a[n+1]^p
=Σ[k=1→n+1](a[k]^p) mod p
よって示された。//
- 106 ：：2019/08/26(月) 14:43:51.28 ID:EGcR6R12.net
- [定理](フェルマーの小定理)
素数pとa⊥pなるa∈Zに対して、
a^(p-1)≡1 mod p が成り立つ。
- 107 ：：2019/08/26(月) 14:44:01.65 ID:EGcR6R12.net
- [証明1]
オイラーの定理から、a^φ(p)≡1 mod p であり、
φ(p)=p-1なので示された。//
- 108 ：：2019/08/26(月) 14:44:12.39 ID:EGcR6R12.net
- [証明2]
a≡1 mod pのとき主張の成立は明らか。
a≡k mod pで主張が成り立つと仮定する。
(ただし k∈Z,1≦k≦p-2 である)
このとき、仮定と補題>>96より
(k+1)^p=Σ[i=0→p]pCi*k^i≡k^p+1≡k+1 mod p
であり、p⊥(k+1)なので (k+1)^(p-1)≡1 mod p
よってa≡k+1 mod pでも主張は成り立つ。
以上から示された。//
- 109 ：：2019/08/26(月) 14:44:29.88 ID:EGcR6R12.net
- [証明3]
p=2のとき、a≡1 mod pなので主張は成り立つ。
pが奇素数のとき、a^(p-1)>0よりa∈Nとしてよい。
よって、系>>104より
a^p=(Σ[k=1→a]1)^p≡Σ[k=1→a](1^p)=a mod p
したがって、a⊥pよりa^(p-1)≡1 mod pとなる。//
- 110 ：：2019/08/26(月) 14:45:24.16 ID:EGcR6R12.net
- [定理](位数)
a,m∈Z(a⊥m)に対して、
a^n≡1 mod mとなる最小の正の整数nをdとすると、
a^x≡1 mod mとなるx∈Zはdの倍数となる。
(ちなみにdは法mにおけるaの位数と呼ばれる)
- 111 ：：2019/08/26(月) 14:45:41.52 ID:EGcR6R12.net
- [証明]
以下法をmとする。
dの倍数でないxの値x'が存在したとすると、
x'=dq+r(q,r∈Z,0<r<d)とおける。
このとき、a^x'≡1 より、
a^(dq+r)≡1 ∴ (a^d)^q*a^r≡1 ∴ a^r≡1
となるが、これはdの最小性に矛盾している。
したがって示された。//
- 112 ：：2019/08/26(月) 14:46:55.84 ID:B2CBrJ8Z.net
- [定理]
a,b,m,x,y∈Z(m⊥a,m⊥b)とし、法をmとすると
a^x≡b^x ∧ a^y≡b^y ⇔ a^gcd(x,y)≡b^gcd(x,y)
- 113 ：：2019/08/26(月) 14:47:06.58 ID:B2CBrJ8Z.net
- [証明1]
(⇐)は明らかなので、(⇒)のみ示す。
ベズーの定理>>83より、
xs+yt=gcd(x,y)となるs,t∈Zがとれる。
よって、
a^gcd(x,y)=a^(xs+yt)=(a^x)^s*(a^y)^t
≡(b^x)^s*(b^y)^t=b^(xs+yt)=b^gcd(x,y)
したがって示された。//
- 114 ：：2019/08/26(月) 14:47:19.20 ID:62DvEBq9.net
- [証明2]
同様に、(⇒)のみ示す。
a^x≡b^x , a^y≡b^y より、
(ab^(-1))^x≡1 , (ab^(-1))^y≡1 である。
よって、定理>>110により(ab^(-1))の位数は
x,yの公約数であるから、
(ab^(-1))^gcd(x,y)≡1 ∴ a^gcd(x,y)≡b^gcd(x,y)
したがって示された。//
- 115 ：１３２人目の素数さん：2019/08/27(火) 10:56:44.56 ID:h1Rvns5A.net
- たくさん発見ありましたね
- 116 ：：2019/08/27(火) 18:05:00.70 ID:VlrcTalF.net
- >>115
まあバラバラに知ってた事をまとめた感じですけどね笑
- 117 ：：2019/09/15(日) 09:48:46.78 ID:nPsXuE/s.net
- 何か書かないと落ちそうだけど大した発見はありません
- 118 ：１３２人目の素数さん：2019/09/20(金) 13:30:55.44 ID:KyAOfC1j.net
- 3100
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました！
マジで嬉しいです！
来月からも理系に負けず頑張りたいと思います！
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)
- 119 ：１３２人目の素数さん：2019/10/06(日) 03:32:47.07 ID:BP53eeR3.net
- http://imepic.jp/20191006/127490
↑
これ
- 120 ：：2019/10/09(水) 17:12:30.53 ID:+OzSEsLw.net
- [ケプラーの第三法則]
太陽系の惑星の楕円軌道の周期Tと長軸半径aの間には
T^2/a^3=Const.の関係がある。
- 121 ：：2019/10/09(水) 17:16:38.18 ID:+OzSEsLw.net
- [証明]
M:太陽の質量 m:惑星の質量
R︎₁︎:太陽から近日点までの距離 V︎₁︎:近日点における速さ
R︎₂︎:太陽から遠日点までの距離 V︎₂︎:遠日点における速さ
mR︎₁︎V︎₁︎=mR︎₂︎V︎₂︎(≡L) (∵角運動量保存)
(1/2)mV︎₁︎²︎-GMm/R︎₁︎=(1/2)mV︎₂︎²︎-GMm/R︎₂︎(≡E) (∵エネルギー保存)
∴ E=(1/2)m(L/(mR︎₁︎))²︎-GMm/R︎₁︎=(1/2)m(L/(mR︎₂︎))²︎-GMm/R︎₂︎
よって、R︎₁︎、R︎₂︎は次のRの二次方程式の2解。
E=(1/2)m(L/(mR))²︎-GMm/R すなわち ER²︎+GMmR-L²︎/(2m)=0
∴ R︎₁︎+R︎₂︎=-GMm/E , R︎₁︎R︎₂︎=-L²︎/(2mE)
∴ R︎₁︎R︎₂︎=(L²︎/(GMm²︎))(R︎₁︎+R︎₂︎)/2
ここで、周期Tは長軸半径a、短軸半径bを用いて
T=πab/(L/(2m))=2πmab/L と表される。(∵面積速度一定)
a=(R︎₁︎+R︎₂︎)/2,b=√(R︎₁︎R︎₂︎)だからb=(L/m)√(a/(GM))
よって、T=2πa^(3/2)/√(GM) ∴ T²︎/a³︎=4π²︎/(GM)=Const.//
- 122 ：：2019/10/09(水) 17:17:08.72 ID:+OzSEsLw.net
- 久々の投稿になります
- 123 ：１３２人目の素数さん：2019/10/27(日) 13:30:07.34 ID:pXYnBT/j.net
- 応援してます
- 124 ：：2019/10/27(日) 20:25:43.74 ID:gMHDYwNB.net
- >>123
ありがとうございます！
最近は投稿できてなくてすみません…
- 125 ：１３２人目の素数さん：2019/12/26(木) 20:58:03.89 ID:75t3l9L9.net
- 良いスレですね
応援してます
- 126 ：：2019/12/26(木) 21:09:41.46 ID:XDR8yzoC.net
- >>125
ありがとうございます！
前回の投稿から2ヶ月も経ってしまいました…
- 127 ：◆uxQt4Y4ywU ：2020/02/19(水) 00:42:38 ID:z5ozU8LY.net
- [定理](LTE,>>78と同様)
p∈ℙ︎,x∈ℤ︎,y∈ℤ︎,n∈ℕ︎とし、xのp進付値をv(x)のように書く。
v(x)=v(y)=0,v(x-y)≧1のとき、v(x^n-y^n)=v(x-y)+v(n)が成り立つ。
- 128 ：◆uxQt4Y4ywU ：2020/02/19(水) 01:16:18 ID:z5ozU8LY.net
- 訂正
p∈ℙ︎ → p∈ℙ︎(p≧3)
- 129 ：◆uxQt4Y4ywU ：2020/02/19(水) 01:16:33 ID:z5ozU8LY.net
- [証明2]
v(x-y)=a(≧1)とおくと、v(k)=0なるk∈ℤ︎を用いて
x=kp^a+yと表せる。このとき、二項定理から
x^n-y^n=Σ[i=1→n]nCi*(kp^a)^i*y^(n-i)=Σ[i=1→n]f(n,i)
である。ただし、f(n,i)=nCi*(kp^a)^i*y^(n-i)とした。
以下、v(f(n,i))=v(nCi)+aiである事に注意する。
[1]v(n)=0のとき
i≧2ならばv(f(n,i))=v(nCi)+ai≧2aであり、
i=1ならばv(f(n,i))=v(n)+a=aであるので、
v(x^n-y^n)=a=v(x-y)+v(n)となる。
[2]n=pのとき
i=pならばv(f(n,i))=v(1)+ap>a+1であり、
p>i≧3ならばv(f(n,i))=v(pCi)+ai>a+1であり、
(↑ただしこの場合はp>3のときに限り生じる)
i=2ならばv(f(n,i))=v(p(p-1)/2)+2a=1+2a>a+1であり、
i=1ならばv(f(n,i))=v(p)+a=a+1であるので、
v(x^n-y^n)=a+1=v(x-y)+v(n)となる。
[3]n=lp^m(l,m∈ℤ︎,m≧0,v(l)=0)のとき
m=0のときは[1]より良い。
m=j(j∈ℤ︎,j≧0)で補題が成立したとすると、
v(x^(lp^(j+1))-y^(lp^(j+1)))
=v((x^(lp^j))^p-(y^(lp^j))^p)
=v(x^(lp^j)-y^(lp^j))+v(p) (∵[2])
=v(x-y)+v(lp^j)+v(p) (∵仮定)
=v(x-y)+v(lp^(j+1))
となり、m=j+1でも補題は成立する。
よって、帰納法により補題の成立が示された。
以上[1]~[3]より、示された。//
- 130 ：◆uxQt4Y4ywU ：2020/02/19(水) 01:18:07 ID:z5ozU8LY.net
- 久々の投稿になります
二項定理を使った証明を見たので書きました
- 131 ：：2020/08/11(火) 10:05:15.89 ID:RD2QpACS.net
- △ABCについて、|BC|=a,∠BAC=Aとし、b,c,B,Cも同様とする。
また、S:面積、R:外接円の半径、r:内接円の半径とし、
s=(a+b+c)/2とする。
角Aの二等分線と辺BCとの交点をD_Aとし、
線分AD_Aの長さをd_Aとする。
さらに、辺BCに接する傍接円の半径をr_Aとし、
頂点Aから辺BCに下ろした垂線の長さをh_Aとする。
Σf(θ)でf(A)+f(B)+f(C)を表し、Πf(θ)も同様とする。
以下、これらの記法は説明なく使う。
- 132 ：：2020/08/11(火) 10:06:30.72 ID:RD2QpACS.net
- [三角法の諸公式]
(半角)
sin(A/2)=√((s-b)(s-c)/bc)
cos(A/2)=√(s(s-a)/bc)
tan(A/2)=r/(s-a)
S=abc/(4R)
Πcos(θ/2)=(1/4)Σsinθ=s/(4R)
Πsin(θ/2)=(1/4)(Σcosθ-1)=r/(4R)
Σtanθ=Πtanθ
Σsin²︎θ=2(1+Πcosθ)
(角の二等分線の公式)
d_A=(2bc/(b+c))cos(A/2)
r_A=S/(s-a)
r_A=stan(A/2)
S=‪√‬(rr_Ar_Br_C)
(テルケムの定理)
1/r=1/h_A+1/h_B+1/h_C
(ルーリエの定理)
1/r=1/r_A+1/r_B+1/r_C
(フォイエルバッハの定理)
r_A+r_B+r_C-r=4R
- 133 ：：2020/08/11(火) 10:07:28.71 ID:RD2QpACS.net
- 証明は割愛する。
- 134 ：１３２人目の素数さん：2020/09/09(水) 22:56:24.36 ID:IR7822fG.net
- sinx/n = six = 6
- 135 ：盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続：2021/03/17(水) 09:43:53.95 ID:KkUI8XzM.net
- 色川高志（葛飾区青戸６－２３－２１ハイツニュー青戸１０３）
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子（葛飾区青戸６－２６－６）の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志（青戸６－２３－２１ハイツニュー青戸１０３2021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父＆長木よしあき（盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会＆被害者の会会長）住所＝東京都葛飾区青戸6－23－20
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所＝東京都葛飾区青戸6－26－６
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19 ℡０３ー３６０７ー０１１０
盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6－23－19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
- 136 ：１３２人目の素数さん：2021/08/26(木) 16:14:53.07 ID:bc/F1JVv.net
- 新地図投影法は数学的発見ですよね。
ネットを探す限り前例がないようなので、 #村上無特異点正積図法 #Murakami no singular point equal-area Projectionと主張しておきます。
var('l p')
s=1.3321239939739768
x(l,p)=s^2*cos(p+(s-1)/(2*(s+1))*sin(2*p))*sin(l*(2/(s+1))^2*cos(p)/(cos(p+(s-1)/(2*(s+1))*sin(2*p))*(1+(s-1)/(s+1)*cos(2*p))))/(cos(p+(s-1)/(2*(s+1))*sin(2*p))*cos(l*(2/(s+1))^2*cos(p)/(cos(p+(s-1)/(2*(s+1))*sin(2*p))*(1+(s-1)/(s+1)*cos(2*p))))+1)^0.5
y(l,p)=sin(p+(s-1)/(2*(s+1))*sin(2*p))/(cos(p+(s-1)/(2*(s+1))*sin(2*p))*cos(l*(2/(s+1))^2*cos(p)/(cos(p+(s-1)/(2*(s+1))*sin(2*p))*(1+(s-1)/(s+1)*cos(2*p))))+1)^0.5
l1=parametric_plot((x(-pi,p),y(-pi,p)),(p,-pi/2,pi/2))
l2=parametric_plot((x(-pi*5/6,p),y(-pi*5/6,p)),(p,-pi/2,pi/2))
l3=parametric_plot((x(-pi*4/6,p),y(-pi*4/6,p)),(p,-pi/2,pi/2))
l4=parametric_plot((x(-pi*3/6,p),y(-pi*3/6,p)),(p,-pi/2,pi/2))
l5=parametric_plot((x(-pi*2/6,p),y(-pi*2/6,p)),(p,-pi/2,pi/2))
l6=parametric_plot((x(-pi*1/6,p),y(-pi*1/6,p)),(p,-pi/2,pi/2))
l17=parametric_plot((x(pi*0.001/6,p),y(pi*0.001/6,p)),(p,-pi/2,pi/2))
l7=parametric_plot((x(pi*1/6,p),y(pi*1/6,p)),(p,-pi/2,pi/2))
l8=parametric_plot((x(pi*2/6,p),y(pi*2/6,p)),(p,-pi/2,pi/2))
l9=parametric_plot((x(pi*3/6,p),y(pi*3/6,p)),(p,-pi/2,pi/2))
l10=parametric_plot((x(pi*4/6,p),y(pi*4/6,p)),(p,-pi/2,pi/2))
l11=parametric_plot((x(pi*5/6,p),y(pi*5/6,p)),(p,-pi/2,pi/2))
l12=parametric_plot((x(pi,p),y(pi,p)),(p,-pi/2,pi/2))
l13=parametric_plot((x(l,-pi*2/6),y(l,-pi*2/6)),(l,-pi,pi))
l14=parametric_plot((x(l,-pi*1/6),y(l,-pi*1/6)),(l,-pi,pi))
l18=parametric_plot((x(l,pi*0.001/6),y(l,pi*0.001/6)),(l,-pi,pi))
l15=parametric_plot((x(l,pi*1/6),y(l,pi*1/6)),(l,-pi,pi))
l16=parametric_plot((x(l,pi*2/6),y(l,pi*2/6)),(l,-pi,pi))
show(l1+l2+l3+l4+l5+l6+l7+l8+l9+l10+l11+l12+l13+l14+l15+l16+l17+l18,figsize=4.5,xmin=x(-pi,0),xmax=x(pi,0),ymin=x(-pi,0),ymax=x(pi,0),axes=false)
- 137 ：１３２人目の素数さん：2021/08/26(木) 17:42:59.46 ID:bc/F1JVv.net
- >>136
すみません、書き忘れました。これはiPhoneにインストールしたsagemath で実行出来るものです。lは経度、pは緯度です。他の環境でも然るべく変更すれば実行できるはずです。私はMacのGrapher上でも実行しています。
- 138 ：１３２人目の素数さん：2021/08/29(日) 03:21:03.93 ID:cvI8TQkB.net
- >>33
(√2)^(√2)が無理数ならば、これの√2乗は
((√2)^(√2))^(√2)=(√2)^2=2∈Qとなり、
これって最終的に、(√2)^2 = 無理数^非無理数、になってるから定理に反してない？どうだろ？
- 139 ：１３２人目の素数さん：2021/08/29(日) 11:16:39.23 ID:lpmjwWnf.net
- >>138
無理数^非無理数に変形できても、
元の形が非無理数^非無理数だから問題ない。
総レス数 139
51 KB
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200