◎正当な理由による書き込みの削除について: 生島英之 とみられる方へ:(・ω・)俺が日々の数学的発見を書くスレ ->画像>3枚
動画、画像抽出 ||
この掲示板へ
類似スレ
掲示板一覧 人気スレ 動画人気順
このスレへの固定リンク: http://5chb.net/r/math/1560765220/ ヒント: 5chスレのurlに http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。
とりあえず自己紹介だけする 度々VIPにいる数学好きの1人 投下するレスは高校数レベル
[定理] 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 複素数です
>>6 積分したい分数関数の分母と分子がモニックでなくても、
最高次係数を括り出せば上の定理が使えます
その事を書くのが面倒であるためモニックとしました
>>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'(ω)
である。//
[定理] n枚の並行金属板からなるコンデンサーの向かい合う極板表面には、大きさが等しく符号が逆の電荷が溜まる
>>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である。//
↑訂正 (**)で、for∀i≧2 ではなく for∀i≧0 A_[i+1]+B_i=0 (for∀i≧2)の箇所はfor∀i≧1
[概説] π∈Qのとき0に収束する自然数列を取ることができ、矛盾する。 これはニーベンによる証明である。 0に収束する自然数列を構成する際に、nを含む定積分I_nを考え、 I_nの極限と漸化式の双方を得るという手順を踏む。 このように積分を経由することで、極限が非自明な数列の漸化式と その極限を同時に得ることができる。
[証明](前半) 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→∞)である。(前半終)
[証明](後半) いま、任意の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に矛盾する。 以上から、円周率πが無理数である事が示された。(後半終)//
[証明] 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が示された。//
[証明] 次の事実に注意しておく。(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 が示された。//
[証明] 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が無理数である事が示された。//
>>18 ありがとう
だけど気分によって投稿間隔が大幅に揺れるから
1ヶ月レスしないとかザラにあると思う
それは勘弁
>>20 訂正
Σ[k=0→5]nCk(1/n)k
となっている箇所は正しくは
Σ[k=0→5]nCk(1/n)^k
["πは無理数"の早見表](暗記推奨) 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//
[定理] 2019個の有理数a_1,…,a_2019が 「どの1つを取り除いても残りの2018個を和が 等しくなるように1009個ずつに二分できる」 ならばa_1,…,a_2019は全て等しい。
[概説] a_1~a_2019は整数だとしてよく、全ての偶奇は一致する。 これらに対し、2で割るか、±1を足して2で割る操作を繰り返すと あるタイミングでa_1~a_2019の中に0が生じるが、 このときに0でないものが含まれていると その後2で割る操作を続けた時に奇数が生じて a_1~a_2019の偶奇が一致することに矛盾する。
[証明] 有理数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}が全て等しかった事を表している。//
[定理] 2019個の実数a_1,…,a_2019が 「どの1つを取り除いても残りの2018個を和が 等しくなるように1009個ずつに二分できる」 ならばa_1,…,a_2019は全て等しい。
[証明] 実数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}の各々の符号は全て等しい。 したがって題意は示された。//
↑訂正 (1,n)としてある所は正しくは(n,1)
[定理] 無理数の無理数乗が有理数となる場合が存在する。
[証明] 「ある無理数a,bが存在してa^b∈Qとなる」 を命題Pとする。√2は無理数である。 (√2)^(√2)が有理数ならばPは真。 (√2)^(√2)が無理数ならば、これの√2乗は ((√2)^(√2))^(√2)=(√2)^2=2∈Qとなり、 無理数の無理数乗が有理数となるのでPは真。 以上からPが真である事が示された。//
[証明] 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は無理数である。//
[証明] 2^(1/3)=p/q(p,q∈N)とおけると仮定すると、 2=(p/q)^3なので、q^3+q^3=p^3となる。 しかし、これはフェルマーの最終定理のn=3の場合に矛盾する。 したがって、2^(1/3)は無理数。//
ちなみに、(√2)^(√2)が無理数である事はベイカーの定理や、その特別な場合であるゲルフォント・シュナイダーの定理から示せる。
正整数の有理数乗は、絶対値として無理数か整数かのいずれかをとる
πとeが超越数である事を認めれば、π+eとπeの少なくとも一方が超越数である事が示される。 π+eとπeがいずれも代数的数だと仮定すると 方程式x^2-(π+e)+πe=0の解は代数的数になるが、 これは解x=πまたはx=eが超越数である事に矛盾する。
[定理] 積分路γで囲まれた領域中のf(z)の極の集合をFとして ∮[γ]f(z)dz=2πiΣ[ω∈F]Res[z=ω]f(z)
日々の発見もうなくなっちゃったの(´・ω・`; )
>>44 eが超越数である事の証明を書きたいんだけど、時間と気力がないのですm(_ _)m
>>46 なぜその画像をこのスレに…?
大数は宿題にしか応募した事ないなぁ
[定理](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の略記)
[証明] (Σx_i^2)(Σy_i^2)-(Σx_i*y_i)^2=(1/2)Σ(x_i*y_j-x_j*y_i)^2≧0 //
>>50 気が向いたらしてますよ
最近だと三日前に立てました
>>52 まあVIPに立てる頻度は高くないので、あまりご自分の時間を無駄になさらないように気を付けてください…
[定理] 正五角形の対角線の長さφは黄金比(1+√5)/2になる
[証明] 定理では正五角形の一辺の長さを1とした。 正五角形は円に内接するので、トレミーの定理により φ^2=φ+1 ∴φ=(1+√5)/2 //
[トレミーの定理] 異なる4点A,B,C,Dが同一円周上にこの順に並んでいる時、 AB*CD+BC*AD=AC*BD が成り立つ。
[概説] トレミーの定理には初等幾何を使う方法、正弦定理を使う方法、複素数を使う方法、反転を使う方法など様々なものがある。 次では、最も技巧的でないと思われる自然な証明の1つで、かつキレイなものを述べる。
[証明] 以下、記述の簡略化のために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 より示された。//
[証明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 したがって示された。//
[π/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)である事に注意する。
[π/nに関する三角関数の計算 その2] (補題) nが奇数のとき、m=(n-1)/2とすれば、 f(1)-f(2)+f(3)-f(4)+…-(-1)^m*f(m)=1 証明は省略する。
[概説] 以上の事を使いこなせば、三角関数の計算問題で解けないものは無くなる。 角度π/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θ)の場合の計算を実演する。
[π/nに関する三角関数の計算 実演] n=7のとき、補題よりf(1)-f(2)+f(3)=1…(☆)である。 以下の式変形は、 ・g(k)があったら二乗してf(2k)になおす ・f(1)、f(2)、f(3)のみの式になおしていく ・補題を1回以上使う の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 //
理解したいという方は(いるかは分かりませんが)紙に書いて考える事をおすすめします
以下の議論では、△ABCの重心をG、外心をO、 垂心をH、内心をIとする。 a、b、cをそれぞれ辺BC、CA、ABの長さとし、 Pは任意の点とする。
[定理](オイラー線) OH↑=OA↑+OB↑+OC↑ (XY↑はXYベクトルを表す)
[証明] 定理の式は、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である。 よって示された。//
[証明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↑//
[定理] PI↑=(aPA↑+bPB↑+cPC↑)/(a+b+c)
[証明] 直線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) したがって示された。//
[定理](ピタゴラス数) 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 と表される。
[証明] まず、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の偶奇は異なる。 以上から示された。//
以下の議論では、 x,y∈Zに対してxがyを割り切る事をx|yと書き、 割り切らないことをx∤︎yと書く。
[定理](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)で表す。
[証明] (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)より示された。//
以下、引き続いて整数論の諸定理を示していく。 a,b∈Zに対して、aとbの最大公約数をgcd(a,b)で表し、 aとbが互いに素であることをa⊥bで表す。 これらは断りなく使う。
[定理] a,b∈Z\{0} , F={z|∃x,y∈Z,ax+by=z}とすると、 Fの各要素はFの正の最小の要素dの倍数になる。
[証明] ある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の最小性に矛盾する。 よって示された。//
[定理](ベズーの定理) a,b∈Z,a⊥bのとき、ax+by=1を満たすx,y∈Zが存在する。
[証明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
したがって示された。//
[証明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 とすれば良い。//
[定理](ユークリッドの補題) 素数p、整数a,bに対して p|ab⇒p|a or p|b が成り立つ。
[証明] p|bのときは良い。以下p∤︎bとする。 ベズーの定理より、あるx,y∈Zが存在して px+by=1 を満たす。この両辺をa倍して、 apx+aby=a となる。 p|abのときp|(apx+aby)となるので、p|aが分かった。//
[定理](素因数分解の可能性・一意性) 2以上の任意の自然数は一意に素因数分解できる。
[証明](可能性の証明) 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以上の全ての自然数は素因数分解可能である。//
[証明](一意性の証明) 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 ありがとうございます!
見てくれている人がいるのは励みになります
[定理](オイラーの定理) 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 が成り立つ。
[証明] 関数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) よって示された。//
[証明](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)//
[補題] 素数pに対して、p|pCk(k=1,2,…,p-1)が成り立つ。
[証明1] pCk=p(p-1)…(p-k+1)/k!であり、p⊥k!なのでp|pCk//
[証明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//
[定理](逆元の一意存在性) a,m∈Nに対して、a⊥mのとき 法mにおいてaはただ一つの逆元をもつ。
[証明] オイラーの定理より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 よって存在性・唯一性が示された。//
以下、n∈N,a,m∈Z(a⊥m)に対してa^(-n) mod m は 「法mにおけるa^nの逆元」を表すものとする。
[補題] 素数p、整数a,bに対して (a+b)^p≡a^p+b^p mod p が成り立つ。
[証明]
補題
>>96 に注意して、
(a+b)^p
=(a^p+b^p)+Σ[k=1→p-1]pCk*a^k*b^(p-k)
≡a^p+b^p mod p//
[系] a[k]∈Z(k∈N)に対して、 (Σa[k])^p≡Σ(a[k]^p) mod p が成り立つ。
[証明]
補題
>>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
よって示された。//
[定理](フェルマーの小定理) 素数pとa⊥pなるa∈Zに対して、 a^(p-1)≡1 mod p が成り立つ。
[証明1] オイラーの定理から、a^φ(p)≡1 mod p であり、 φ(p)=p-1なので示された。//
[証明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でも主張は成り立つ。
以上から示された。//
[証明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となる。//
[定理](位数) a,m∈Z(a⊥m)に対して、 a^n≡1 mod mとなる最小の正の整数nをdとすると、 a^x≡1 mod mとなるx∈Zはdの倍数となる。 (ちなみにdは法mにおけるaの位数と呼ばれる)
[証明] 以下法を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の最小性に矛盾している。 したがって示された。//
[定理] 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)
[証明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)
したがって示された。//
[証明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 まあバラバラに知ってた事をまとめた感じですけどね笑
何か書かないと落ちそうだけど大した発見はありません
3100
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました!
マジで嬉しいです!
来月からも理系に負けず頑張りたいと思います!
https://twitter.com/dy_dt_dt_dx https://twitter.com/5chan_nel (5ch newer account)
[ケプラーの第三法則] 太陽系の惑星の楕円軌道の周期Tと長軸半径aの間には T^2/a^3=Const.の関係がある。
[証明] 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.//
>>123 ありがとうございます!
最近は投稿できてなくてすみません…
>>125 ありがとうございます!
前回の投稿から2ヶ月も経ってしまいました…
[定理](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)が成り立つ。
[証明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]より、示された。//
久々の投稿になります 二項定理を使った証明を見たので書きました
△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(θ)も同様とする。 以下、これらの記法は説明なく使う。
[三角法の諸公式] (半角) 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
色川高志(葛飾区青戸6-23-21ハイツニュー青戸103)
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子(葛飾区青戸6-26-6)の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6-23-21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6-23-20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6-26-6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 ℡03ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6-23-19)の
五十路後半強制脱糞
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
新地図投影法は数学的発見ですよね。 ネットを探す限り前例がないようなので、 #村上無特異点正積図法 #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)
>>136 すみません、書き忘れました。これはiPhoneにインストールしたsagemath で実行出来るものです。lは経度、pは緯度です。他の環境でも然るべく変更すれば実行できるはずです。私はMacのGrapher上でも実行しています。
>>33 (√2)^(√2)が無理数ならば、これの√2乗は
((√2)^(√2))^(√2)=(√2)^2=2∈Qとなり、
これって最終的に、(√2)^2 = 無理数^非無理数、になってるから定理に反してない?どうだろ?
>>138 無理数^非無理数に変形できても、
元の形が非無理数^非無理数だから問題ない。
read.cgi ver 07.7.23 2024/12/25 Walang Kapalit ★ | Donguri System Team 5ちゃんねる
lud20250323140559このスレへの固定リンク: http://5chb.net/r/math/1560765220/ ヒント: 5chスレのurlに http ://xxxx.5chb .net/xxxx のようにb を入れるだけでここでスレ保存、閲覧できます。 TOPへ TOPへ
全掲示板一覧 この掲示板へ 人気スレ |
Youtube 動画
>50
>100
>200
>300
>500
>1000枚
新着画像 ↓「(・ω・)俺が日々の数学的発見を書くスレ ->画像>3枚 」 を見た人も見ています:・指数・根号演算【数学的発見】見てね ・プリンキピア ー 自然哲学の数学的諸原理 ・6÷2(1+2)= の答えでお前らの数学的素養が分かるwwwww ・AIが凄すぎてよっぽど凄い数学的証明しない限り男女の数学能力差は一緒 ・【ナゾロジー】名古屋大学が「悪魔エンジン」の数学的モデルを開発 [すらいむ★] ・天文学的な確率の運命の2人の為のスレ6☆ ・社会言語学的見地における国語に関する質問スレ ・天文学的な確率の運命の2人の為のスレ5☆ ・AKB48を文学的に語るスレ ・天文学的な確率の運命の2人のためのスレ☆真 11 ・心理学的な観点から秘密保護法を考察するスレ ・射精時の快感を医学的に解明するスレ ・綾速ホロライブ総合スレ 70761 天文学的超ウルトラ幸運兎 ・サハフ情報相の行く末を軍事学的に案ずるスレ ・地理・人類学的GPSスレッド ・物理学的にUFO問題を検証するスレ。 ・哲学的な駄洒落を羅列していくスレ ・心理学的に設定使いやすい場所を考えスレ ・NHK総合を常に実況し続けるスレ 197838 科学的介護 ・アジアの美人アスリートを人類学的に考察するスレ ・ごくオレ的な現象学的哲学観スレ ・羽生理恵を人相学的観点から考察するスレ ・【バーチャルYoutuber】楠栞桜アンチスレ#1642【天文学的数字】 ・天文学的な確率の運命の2人のためのスレ☆真 16 ・新型コロナの感染者数を数学的に予測するスレ ・新型コロナウイルスの現時点での情報から最終的な死者数を数学的に推定するスレ ・ホイータと書くとどんな困難な願い事も叶うスレ97 ・高1の俺にオススメの数学参考書を教えるスレ ・IDの数だけ東方キャラをふにふにするスレ ・日本全国生活保護受給者の日々の暮らしスレ 1 ・自殺決行日までの僅かな日々を語るスレPart51 ・IDの数だけ東方キャラをふにふにするスレ ・スクスタで持ってるURの数だけ文字が書き込めるスレ ・センター試験への意気込みを書くスレ ・ゆるゆりの杉浦綾乃風に駄洒落を書くスレin杉浦綾乃板PART3 ・【NY原油】凄い勢いでいろいろ書くスレ$695 【WTI】 ・クスクスホイータと書くと金運・異性運願い事も叶うスレ2 ・クスクスと書くと金運・異性運が向上するスレ208 ・【主の男】ハーレム小説を書くスレ【従う女】34P ・【NY原油】凄い勢いでいろいろ書くスレ$660【WTI】 ・抱きたい・抱かれたい人の名前を書くスレ2 ・行木さん、いち早く私の安眠と健康を日々祈るスレ ・名前を書くと連絡が来るスレ Part18 ・【懐かし】昭和の少女漫画にありそうなタイトルを書くスレ【ちょいダサ】 ・おっぱげたと書くと世界線が変わるスレ ・☆好きな人の名前を書くと愛しあえるスレ☆462☆ ・【NY原油】凄い勢いでいろいろ書くスレ$688【WTI】 ・オノヨーコと書くと一日が安泰なスレ2017 その12 ・ホイータと書くとどんな困難な願い事も叶うスレ80 ・面白そうなSSのスレタイを書くだけのスレ ・し・しぃ・失恋しましたぁぁぁぉ!!!たら書くスレ13 ・出たIDの数だけ生体を増やすスレ ・LINEの友達の数を晒すスレ ・【傷ついたその数だけ】彼岸島松本光司丸太欠番スレ【輝く】 ・レスの数だけswitchの週販が減るスレ ・悪問の数学の入試問題を出題する大学を挙げるスレ ・JR西日本アンチスレPart10 【アンチの数→】 ・大好きな人の名前を書くと付き合えるスレ181 ・逢いたい人の名前を書くスレ223 ・ホイータと書くとどんな困難な願い事も叶うスレ96 ・名前を書くと運命の赤い糸が復活するスレ☆205 ・過食気味(嘔吐無)の人が食事内容・悩みを書くスレ 2食目 ・【PSO2】思ってることと真逆のことを書くスレ ・「数学って何の役に立つの?」へのお前らの答えを書くスレ ・好きな人にだけバレることを書くスレ Part97 ・【エイプリル】 欅坂に関するホントのようなウソのことを書くスレ 【フール】