04/12/25 14:54:34
強Lucas擬素数→Euler-Lucas擬素数を証明する際に
IV17を使っているが, これは, (n,Q)=1
(本は (n,2Q)=1 だが, n は奇数だから, (n,Q)=1 で OK)
という仮定があって, 初めて成り立つんじゃないの？
一応証明しておこうか・・・・
補題:
n を D と互いに素な 1 以上の整数とする.
n|U_k となるような k が存在すれば, (n,Q)=1.
証明:
(n,Q)>1 と仮定し, p を (n,Q) の素因数とする.
P が p で割り切れないならば, 任意の k>1 に対して
U_k は p で割り切れない. これは仮定に反する.
一方, P が p で割り切れるならば, D は p で割り切れる.
これは, (n,D)=1 に矛盾する. (証明終)
強Lucas擬素数→Euler-Lucas擬素数 の証明の途中に
「 N|U_({N-(D/N)}/2) 」 という条件があるから,
ここで上の補題を使って (n,Q)=1 となるから
IV17 が使えるようになると思う.
どうだろう？間違えているかな？
241:風あざみ
04/12/25 18:34:18
>>240
そうだね。(Q/N)の値を調べることがメインだと思ったからスッコーンと抜けとった。
あとついでの話だが、実をいうとIV17の仮定の(N,2Q)=1なんだが、実は(N,Q)=1で良い
(Nが偶数、奇数にかかわらず)んだよね。
242:１３２人目の素数さん
04/12/25 18:43:18
＞あとついでの話だが、実をいうとIV17の仮定の(N,2Q)=1なんだが、
＞実は(N,Q)=1で良い(Nが偶数、奇数にかかわらず)んだよね。
あっ そうなんですか？
知りませんでした。ありがとうございました。
243:風あざみ
04/12/25 19:07:59
>>242 一応証明しておく
ρ(n)が存在し、(n,Q)=1となると仮定する。
n|U_m ⇔ ρ(n)|mとなる。
⇒
mがρ(n)割り切れないと仮定する。m=ρ(n)s+r
U_m*V_{ρ(n)s}-U_{ρ(n)s}*V_m=2Q^{ρ(n)s}*U_r…※
よって2Q^{ρ(n)s}*U_rはnで割り切れる。
nが偶数のとき
n|U_m,U_{ρ(n)s}よりU_m,U_{ρ(n)s}は偶数、よってIV18よりV_m,V_{ρ(n)s}も偶数である。
よって
U_m*{(V_{ρ(n)s})/2}-U_{ρ(n)s}*(V_m/2)=Q^{ρ(n)s}*U_r
Qとnは互いに素だからU_rがnで割り切れる。
nが奇数のとき
※より
nと2、nとQは互いに素だから n|U_rとなる。
いずれにしても、n|U_rとなるが、これはρ(n)の最小性に反する。
逆はIV15より明らか。
244:風あざみ
04/12/26 23:42:53
命題
P,Qを以下のような整数とする。
(P,Q)=1かつ数列U_nはU_0=0、U_1=1、U_(n+2)=PU_(n+1)-QU_nを取ると
n→∞ならば|U_n|→∞となる。
このときM≡1 (mod K)となるパラメーター(P,Q)の強Lucas擬素数が無数に存在すること。
(強Lucas擬素数の定義はRibenboimの「素数の世界」のP91～P92を参照ください。)
証明ではRibenboimの「素数の世界」のP40～P49のIV1～IV30とヤコビの記号の基本性質
LとNを正の奇数とすると
(-1/L)=(-1)^{(L-1)/2}、(2/L)=(-1)^{(L^2-1)/8}、(N/L)=(L/N)(-1)^({(N-1)/2}{(L-1)/2})
となることを既知とする。
245:風あざみ
04/12/26 23:43:25
準備として、補題を二つ示す。
補題１
任意のmをとる。
n≧γ(m)なる任意の自然数nに対して、U_{n+θ(m)}≡U_(n) (mod m)
となるような0以上の整数、θ(m),γ(m)が存在する。
特に、(m,Q)=1のときは、γ(m)=0となる。
証明
{U_0,U_1}、{U_1,U_2}、…、{U_(m^2),U_(m^2+1)}とm^2+1個の組を考える。
|Z/mZ×Z/mZ|=m^2だから、U_i≡U_j (mod m)、U_(i+1)≡U_(j+1) (mod m)
となるような自然数、iとj(0≦i＜j≦m^2)が存在する。
U_(j+2)≡PU_(j+1)-QU_j≡PU_(i+1)-QU_i≡U_(i+2) (mod m)
同様に、U_(j+3)≡U_(i+3)、…、U_(j+k)≡U_(i+k) (mod m)となる。
よって、n≧iなる自然数nに対して、U_(n+j-i)≡U_(n-i+j)≡U_n (mod m)となる。
特に(m,Q)=1のとき
QU_(j-1)≡PU_j-U_(j+1)≡PU_i-U_(i+1)≡QU_(i-1) (mod m)
(Q,m)=1よりU_(j-1)≡U_(i-1) (mod m)
同様に、U_(j-2)≡U_(i-2) (mod m)、…、U_(j-k)≡U_(i-k) (mod m)
したがって、任意の整数n≧0に対して、U_(n+j-i)≡U_(n-i+j)≡U_n (mod m)となる。
(m,Q)=1のときγ(m)=0、θ(m)=j-i
そうでないときγ(m)=i、θ(m)=j-iとおけばよい。
証明終
246:風あざみ
04/12/26 23:44:47
補題２
mを任意の自然数とする。
以下のような0以上の整数α(m)とβ(m)が存在する。
s≧β(m)、t≡1 (mod α(m))ならば、U_(st)/U_s≡1 (mod m)となります。
(IV15よりU_(st)/U_sは整数である)
証明
m=Π[pはQを割り切る]{p^a}*Π[qはQを割り切れない]{q^b}と書く。
以下mの素因数のうち、Qの素因数であるものをpそうでないものをqとする。
補題1よりn≧γ(p^a)なる任意のnに対してU_{n+θ(p^a)}≡U_n (mod p^a)
γ(p^a)のうち、最大になるものをw、θ(p^a)たちの最小公倍数をvと置くと
n≧wなる任意のnに対して、U_(n+v)≡U_n (mod p^a)
したがって、g≡1 (mod v)となる自然数gに対して、U_(gw)≡U_w (mod p^a)となる。
U_gのqの指数cを取る。
補題1より任意のnに対して、U_(n+θ{p^(b+c)})≡U_n (mod q^(b+c))
θ{p^(b+c)}たちの最小公倍数をv’とすると、U_(n+v’)≡U_n (mod q^(b+c))
よって、g’≡1なる任意の自然数g’に対して、U_(g’w)≡U_w (mod q^(b+c))
vとv’の最小公倍数をα(m)、wをβ(m)とする。
sをs≧β(m)なる整数、tをt≡1 (mod α(m))となる自然数とする。
U_s*{U_(st)/U_s}≡U_s (mod p^a)
(P,Q)=1だからIV24より(U_s,Q)=1だからU_sとpは互いに素
よってU_(st)/U_s≡1 (mod p^a)
U_s*{U_(st)/U_s}U_(st)≡U_s (mod q^(b+c))
{(U_s)/q^c}{U_(st)/U_s}≡U_s/q^c (mod q^b)
U_s/q^cとqは互いに素だから、U_(st)/U_s≡1 (mod q^b)
よってU_(st)/U_s≡1 (mod m)となります。
証明終
247:風あざみ
04/12/26 23:49:42
さて命題を示す。
Kを任意の整数とする。
DをD=±(2^e)*h(hは奇数)と書く
sやtを以下の性質を満たす素数とする。
s≡1 (mod 8h)、s≧β(8hf)
t≡1 (mod α(8hK)*(s-1))、U_sはtで割り切れない。
tはsに対して十分大きいものとする。
U_(st)/U_sは求める強Lucas擬素数である。
証明
M＝U_(st)/U_sとおく。
補題２よりM≡1 (mod 8hK) したがって、(D,M)=1となる。
(D/M)=(±1/M)(2/M)^e(h/M)=(M/h)=1
同様に(D/s)=(D/t)=1となるから
よってIV30より
M*U_s=U_(st)≡U_s (mod t)
U_sとtは互いに素だから、M≡1 (mod t)
(P,Q)=1だからIV30よりM≡M*U_s=U_(st)≡U_s≡1 (mod s)
よってM≡1≡(D/M) (mod st)
U_t|U_(st)=M*U_s
IV26よりU_sとU_tは互いに素だからU_t|Mとなる。
よってMは合成数である。
M=2^r*d+(D/M)=2^r*d+1(ただしrは正の整数かつdは奇数)とかけるので、d≡0 (mod st)
U_(st)≡0 (mod M)だからU_d≡0 (mod M)となる。
よってM= U_(st)/U_sは求める強Lucas擬素数である。
条件を満たす素数sとtは等差数列におけるDirichletの素数定理より無数に存在することがわかる。
よって、条件を満たすMも無数にある。
証明終
248:風あざみ
04/12/26 23:55:37
さて命題を示す。
Kを任意の整数とする。
DをD=±(2^e)*h(hは奇数)と書く
sやtを以下の性質を満たす素数とする。
s≡1 (mod 8h)、s≧β(8hK)
t≡1 (mod α(8hK)*(s-1))、U_sはtで割り切れない。
tはsに対して十分大きいものとする。
U_(st)/U_sは求める強Lucas擬素数である。
証明
M＝U_(st)/U_sとおく。
補題２よりM≡1 (mod 8hK) したがって、(D,M)=1となる。
(D/M)=(±1/M)(2/M)^e(h/M)=(M/h)=1
同様に(D/s)=(D/t)=1となるから
よってIV30より
M*U_s=U_(st)≡U_s (mod t)
U_sとtは互いに素だから、M≡1 (mod t)
(P,Q)=1だからIV30よりM≡M*U_s=U_(st)≡U_s≡1 (mod s)
よってM≡1≡(D/M) (mod st)
U_t|U_(st)=M*U_s
IV26よりU_sとU_tは互いに素だからU_t|Mとなる。
よってMは合成数である。
M=2^r*d+(D/M)=2^r*d+1(ただしrは正の整数かつdは奇数)とかけるので、d≡0 (mod st)
U_(st)≡0 (mod M)だからU_d≡0 (mod M)となる。
よってM= U_(st)/U_sは求める強Lucas擬素数である。
条件を満たす素数sとtは等差数列におけるDirichletの素数定理より無数に存在することがわかる。
よって、条件を満たすMも無数にある。
証明終
249:風あざみ
04/12/27 00:16:01
>>246の
＞ g’≡1なる任意の自然数g’に対して、U_(g’w)≡U_w (mod q^(b+c))
は
g’≡1 (mod v')なる任意の自然数g’に対して、U_(g’w)≡U_w (mod q^(b+c))
だな。
250:風あざみ
04/12/27 01:14:03
自己満で>>244-249を使ってしまってスマソ
251:195
04/12/28 00:04:07
自己満ですか＾＾
252:１３２人目の素数さん
04/12/28 12:28:08
新しい結果なら、自己満じゃないでしょ？ だいたい自己満なんて
言い出したら、たいていの事は自己満なんだからさ。
253:１３２人目の素数さん
04/12/29 15:15:11
age
254:１３２人目の素数さん
05/01/05 08:41:47
保守アゲ
255:１３２人目の素数さん
05/01/08 19:34:17
強 Lucas 擬素数 → Euler-Lucas 擬素数 → Lucas 擬素数
の証明で, (P,Q)=1 という仮定をして良いのですか？
もし、仮定していないのならば >>224 の
「 U_{(2^r)*d}とV_{(2^r)*d}が奇素数の公約数pを持つ
ことになり、IV25に反する。 」は嘘ですね.
ここは, (P,Q)=1 という仮定があって成り立つのですから.
256:風あざみ
05/01/08 20:04:12
>>255
そうだな、このままじゃ>>224は間違いだ。
訂正版
>>240の証明から
(N,Q)=1となるはずだが、
U_{(2^r)*d}とV_{(2^r)*d}がpで割り切れるとき
(pはNの公約数のひとつ)
IV6より2Q^{(2^r)d}がpで割り切れることになるが
pは奇素数だからQがpで割り切れるので(N,Q)=1に反する。
257:風あざみ
05/01/08 20:16:38
IV6はこういう式ね
(V_{(2^r)*d})^2-D(U_{(2^r)*d})^2=4Q^{(2^r)d}
だから
＞IV6より2Q^{(2^r)d}がpで割り切れることになるが
＞pは奇素数だからQがpで割り切れるので(N,Q)=1に反する。
は
IV6より4Q^{(2^r)d}がpで割り切れることになるが
pは奇素数だからQがpで割り切れるので(N,Q)=1に反する。
だな。
258:１３２人目の素数さん
05/01/08 20:28:58
なんという早いレス・・・
259:遅刻
05/01/13 14:04:45
高卒DQNですが、最近数学に興味を持ちました。
今から勉強するにはいったいどのようにするのがお勧めでしょうか。
どなたか是非ご指南ください。
ちなみに32歳です。
260:１３２人目の素数さん
05/01/13 14:07:37
>>259高校のときの教科書と参考書
261:１３２人目の素数さん
05/01/14 19:28:29
そんなもん捨ててしまっただろうよ
262:１３２人目の素数さん
05/01/15 10:45:02
高校用の参考書買え
263:１３２人目の素数さん
05/01/15 14:24:31
F(n) を Fibonacci数列とするとき
(1) n>2を整数 とすると、Σ[k=1..n] 1/F(k) > (n^2)/{F(n+2)-1}
(2) Σ[n=1..∞] 1/F(n) > 803/240 を示せ。
ｽﾚﾘﾝｸ(math板:908番)
ｽﾚﾘﾝｸ(math板:871-873番)
264:１３２人目の素数さん
05/01/16 06:50:00
５／２＞１６／７。
265:１３２人目の素数さん
05/01/16 17:05:48
>263 (1)
F(2)=1 なので、相加･調和平均の不等式より
左辺 > (n^2)/{Σ[h=1..n] F(h)} = (n^2)/{Σ[h=1..n] (F(h+2)-F(h+1)) = (n^2)/{F(n+2)-F(2)} = 右辺.
ｽﾚﾘﾝｸ(math板:927番)
266:265
05/01/16 17:32:14
【補足】 (相加･調和平均の不等式)
A_1 ････ A_n >0 のとき、
{Σ[h=1..n] A_h} {Σ[k=1..n] 1/A_k} = n^2 + Σ[k<h]{A_h/A_k +A_k/A_h -2}
= n^2 + Σ[k<h] {A_h -A_k}^2 /{A_h･A_k} ≧ n^2.
267:風あざみ
05/01/19 03:29:01
age
268:263
05/02/04 20:04:10
Fibonacci数列Ｆ(n)に対して
(3) Ｆ(2n) = Ｆ(n+1)^2 -Ｆ(n-1)^2 = F(n){Ｆ(n+1) +Ｆ(n-1)}.
(4) {Σ[k=1,n] Ｆ(k+1)^2}{Σ[k=1,n] 1/Ｆ(2k)} ≧ n^2.
ｽﾚﾘﾝｸ(math板:58番)
269:１３２人目の素数さん
05/02/16 13:21:46
109
270:１３２人目の素数さん
05/02/26 08:03:31
641
271:１３２人目の素数さん
05/02/27 08:57:42
>>268
F(ｎ+１）+F(ｎ－１）＝L(ｎ）（リュカ数）ですので
F(２ｎ）＝F(n)L（ｎ）となります。３９以降を参考にしてください。
272:１３２人目の素数さん
05/03/01 14:43:35
U_n(2,4)=((2^n)/√3)sin(nπ/3)
V_n(2,4)=2^{n+1}cos(nπ/3)
他にもたくさん sin cos がらみのLucas数列あり.
273:１３２人目の素数さん
05/03/06 09:15:38
２７２は、本当に正しい？ フィボナッチ数なら単調増加するはずだが・・・
274:272
05/03/07 13:48:56
>>273
判別式が「プラス」なら単調増加になるかも知れんが、
上の判別式は「マイナス」だから・・・
275:272
05/03/07 17:50:04
U_1(2,4)～U_15(2,4), V_1(2,4)～V_15(2,4) を
プログラムを作って実際に求めてましたよ。
U_0 = 0 V_0 = 2
U_1 = 1 V_1 = 2
U_2 = 2 = 2 V_2 = -4 = -2^2
U_3 = 0 V_3 = -16 = -2^4
U_4 = -8 = -2^3 V_4 = -16 = -2^4
U_5 = -16 = -2^4 V_5 = 32 = 2^5
U_6 = 0 V_6 = 128 = 2^7
U_7 = 64 = 2^6 V_7 = 128 = 2^7
U_8 = 128 = 2^7 V_8 = -256 = -2^8
U_9 = 0 V_9 = -1024 = -2^10
U_10 = -512 = -2^9 V_10 = -1024 = -2^10
U_11 = -1024 = -2^10 V_11 = 2048 = 2^11
U_12 = 0 V_12 = 8192 = 2^13
U_13 = 4096 = 2^12 V_13 = 8192 = 2^13
U_14 = 8192 = 2^13 V_14 = -16384 = -2^14
U_15 = 0 V_15 = -65536 = -2^16
276:１３２人目の素数さん
05/03/09 08:59:38
２７２で示されたのはリュカ数列の一種な訳ですか？
私の知っているリュカ数列とずいぶん違う気が・・・。
277:272
05/03/09 14:23:22
>>272 は >>26 で定義された一般Lucas数列ですね.
Lucas数列 というのは普通は V_n(1,-1) のよですが,
混乱がないのなら >>26 で定義された
U_n(P,Q), V_n(P,Q) もLucas数列と呼ぶときがあります.
同伴Lucas数列と呼ぶときもありますしね.
いろいろ呼び方があるんですよ.
ただ１つ言えることは,
U_n(2,4)=((2^n)/√3)sin(nπ/3)
V_n(2,4)=2^{n+1}cos(nπ/3)
この２つの数列は何て読んでよいかは正確にはわかりませんが,
式が正しいのは間違いありません.
お詫び >>275 の計算結果, 見にくくなってしまい申し訳ありませんでした.
278:１３２人目の素数さん
05/03/19 14:27:42
723
279:１３２人目の素数さん
05/03/19 21:36:04
みんなきとるな・・・
280:風あざみ ◆c/j2mAZ2V6
05/03/20 11:42:51
何も驚くことはない。
一般Lucas数列のすべてが、単調増加ではないということ。
(俺も気づいていたがあえて書かなかった)
281:Arith ◆Arithtz1sk
05/03/20 19:21:07
正の判別式のLucas数列の絶対値なら単調増加するけどね。
定理：
n≧1, |α|≠|β|ならば|W_{n+1}|≧|W_n|(W_i=U_i(P, Q) or V_i(P, Q))
等号はn=1, P=±1, Q<0, W_i=U_i(P, Q)のときのみ成り立つ。
証明：
α, βの順序、符号を入れ替えα>0, |α|>|β|とする。
|αβ|≧1よりα>1だから、
α^(n+1)±β^(n+1)-(α^n±β^n)=α^n(α-1)±β^n(β-1)≧α^n|α-1| -|β|^n |β-1|
=|β|^n （|α/β|^n|(α-1)/(β-1)|-1）.
（β=0または1のときはα^n|α-1| -|β|^n |β-1|=α^n|α-1|>0）
また
そこで|α/β|^n|(α-1)/(β-1)|と1の大小を比較する。
282:Arith ◆Arithtz1sk
05/03/20 19:21:55
(2/2)
n=1のときを考える。
β>1のとき。α>β>1より
(α/β)(α-1)/(β-1)-1=（α^2-β^2-(α-β)）／（β(β-1)）=(α-β)(α+β-1)／（β(β-1)）>0.
1>β>0のとき。
(α/β)(α-1)/(1-β)-1=（α^2+β^2-(α+β)）／（β(1-β)）=（α(α-1)+β(β-1)）／（β(1-β)）.
α>1より、P=α+β≧2. よって
α(α-1)+β(β-1)≧(2-β)(1-β)+β(β-1)≧2(β-1)^2>0.
β<0のとき。
(α/β)(α-1)/(β-1)-1=（α^2-β^2-(α-β)）／（β(β-1)）=(α-β)(α+β-1)／（β(β-1)）.
α>|β|よりα+β≧1である。α+β>1ならば(α/β)(α-1)/(β-1)>1。α+β=1ならば(α/β)(α-1)/(β-1)=1。
よって、|α/β|^n|(α-1)/(β-1)|≧1, 等号はα+β=1, β<0かつn=1のときのみ成り立つ。
Q.E.D.
283:１３２人目の素数さん
05/03/22 20:24:41
それよりも、むしろこちらこそが臭い中年(30)の悪臭腹話劇かと。
敵役キャラの導入の仕方が毎度のことながら池沼丸出しｗ
ｽﾚﾘﾝｸ(kyozin板)
120 名前：ナナシマさん 投稿日：2005/03/22(火) 19:44:43 ???
臭ヲタは「臭」の字が大好き ｍ９(^д^)ﾌﾟｷﾞｬｰ
121 名前：ナナシマさん 投稿日：2005/03/22(火) 19:45:21 ???
臭ヲタは文字通り臭すぎ ｍ９(^д^)ﾌﾟｷﾞｬｰ!
122 名前：ペプタイドＸ 投稿日：2005/03/22(火) 20:16:12 7fn/imhY
>>120->>121
連レス乙。腋臭は自分では気付かないってホントなんだね？香水でも買うといいよｗ
123 名前：ナナシマさん 投稿日：2005/03/22(火) 20:17:29 ???
>>122 臭い粘着臭ヲタ ｍ９(^д^)ﾌﾟｷﾞｬｰ!
124 名前：ペプタイドＸ 投稿日：2005/03/22(火) 20:20:50 7fn/imhY
>>123
粘着乙。ｍ９(^д^)ﾌﾟｷﾞｬｰ! とかいいながらお前必死な。あっオナニー中
だったらゴメンｗ
284:１３２人目の素数さん
05/03/22 20:25:48
誤爆した。逝って来る。
285:272
05/03/28 13:38:30
気分直しに・・・
P, Q を 0 でない整数とし, n を奇の合成数 >0 とする. このとき,
n が底(P,Q)に関する Lucas 擬素数
⇔ n が底(-P,Q)に関する Lucas 擬素数
n が底(P,Q)に関する Euler-Lucas 擬素数
⇔ n が底(-P,Q)に関する Euler-Lucas 擬素数
n が底(P,Q)に関する 強Lucas 擬素数
⇔ n が底(-P,Q)に関する 強Lucas 擬素数
基本過ぎるかな.
286:風あざみ ◆c/j2mAZ2V6
05/03/28 23:46:02
U_n(-P,Q)=(-1)^n*U_n(P,Q)
V_n(-P,Q)=(-1)^n*V_n(P,Q)
だから
N|U_n(-P,Q)⇔N|U_n(P,Q)
N|V_n(-P,Q)⇔N|V_n(P,Q)
287:272
05/03/29 14:42:34
>>286
U_n(-P,Q)=(-1)^n*U_n(P,Q) は
U_n(-P,Q)=(-1)^{n+1}*U_n(P,Q) の間違いですか？
V_n(-P,Q)=(-1)^n*V_n(P,Q) は正しいようで.
288:風あざみ ◆c/j2mAZ2V6
05/03/29 22:20:05
>>287
そうだな。
289:１３２人目の素数さん
05/04/14 03:11:00
358
290:１３２人目の素数さん
05/05/02 17:33:54
319
291:１３２人目の素数さん
05/05/19 06:20:12
463
292:１３２人目の素数さん
05/06/19 18:22:05
231
293:１
05/06/24 10:16:13
まだ、落ちてなかった。良かったなあ。もう少しゆとりができたら
新しく書き込みますんで・・・。
294:１３２人目の素数さん
05/06/24 10:53:12
激しく期待
295:１３２人目の素数さん
05/07/10 09:24:34
数学できるって、ゆとりの証拠だよ。。。ゆとりがないと数学できない。
296:１３２人目の素数さん
05/07/11 21:06:59
[805] 次を示してくださいです。
(F_n)^4(F_{n+1})^4 ≦ (n^3){(F_1)^8 + (F_2)^8 + … + (F_n)^8}
College Math. Journal, Vol.36, No.3, (2005 May)
URLﾘﾝｸ(www.math.northwestern.edu)
deadline: 2005/08/15
297:１３２人目の素数さん
05/07/20 08:48:55
あ～～。新しい書き込みだ。うれしいね。考えてみます。
298:297
05/07/22 08:20:27
解けますた。みかけはごっついけど、解いてみると初等的な手段でキレイに
解けるのできもちいい問題ですね。いい出題だと思いました。まだ、考え中
のひとがいるかも知れないので、解答は１週間くらい後にカキコしようと
思います。
299:同上
05/07/27 08:30:21
あ～、っと。。。。
ちょっとしたカン違いでした。解けてなかった。ゴメンね。
300:同上
05/07/27 13:41:58
２９６さん、ギブアップするから早く答えをおしえて！
301:同上
05/07/29 09:17:29
・・そうだ。８月１５日なんて遅すぎる。待ちきれないので、答えを教えて
ほしい。誰でもいいから、わかった人。
302:１３２人目の素数さん
05/07/31 08:33:07
誰にも解けないほどの難問なのか、あるいは間違った不等式で反例があり得る
のか、どちらかだな。
303:１３２人目の素数さん
05/08/01 05:17:26
F_nF_(n+1)=Σ[k=1,n](F_k)^2=nΣ[k=1,n](1/n)(F_k)^2 より
{F_nF_(n+1)}^4=n^4{Σ[k=1,n](1/n)(F_k)^2}^4
x^4は下に凸な関数なので、凸不等式より
{Σ[k=1,n(1/n)](F_k)^2}^4≦Σ[k=1,n](1/n){(F_k)^2}^4=1/nΣ[k=1,n](F_k)^8 ゆえ
{F_nF_(n+1)}^4≦n^3Σ[k=1,n](F_k)^8
304:１３２人目の素数さん
05/08/01 23:22:49
>>303
チェビシェフ一発ですか・・案外簡単に解けるんですね。
ｎが大きいときに自明な不等式なので、あまりいい問題とは言えない気がします。
305:１３２人目の素数さん
05/08/09 01:42:43
あまりいい問題でなくとも、何もださないよりははるかにいいですよ。
306:１３２人目の素数さん
05/09/03 16:55:09
>>305
じゃあ問題^^
自然数nに対しf(F(n),F(n+1))＝1を満たす、斉次多項式 f(x,y)を全て求めよ。
307:１３２人目の素数さん
05/09/04 00:08:05
数学はどうやったら得意になるのか教えてください。現在、哲学科4年生なのですが、苦手でも数学科に編入したいと思っておりまして。みなさんは昔から数学が好きでしたか？
308:１３２人目の素数さん
05/09/13 02:23:25
>>307
スレ違い
309:１３２人目の素数さん
05/09/16 03:10:43
age
310:１３２人目の素数さん
05/09/25 18:00:45
>>307
フィボナッチ数の勉強から
311:１３２人目の素数さん
05/10/07 13:30:45
何で数学科に行くの？
312:すれ違いですみません
05/10/25 14:01:14
だれか至急解いてください↓
1 2 2 2 4 8 16 (64)となる理由をききたいです
313:１３２人目の素数さん
05/10/25 23:28:24
何を解くのか分からないんだけど・・・
1,2,2,2,4,8,16,64,512,8192・・・
とかいう数列だったらｳｹる。
314:１３２人目の素数さん
05/10/26 01:14:07
たぶんそれです なぜそうなるか教えてください
315:１３２人目の素数さん
05/10/26 04:34:46
>>314
a[n+3]=a[n+2]*a[n]
316:１３２人目の素数さん
05/10/26 15:08:57
これにあてはめてこの数列になりますかね？計算あいませんよ
317:１３２人目の素数さん
05/10/27 02:49:00
合うでしょ。
a[1]=1
a[2]=2
a[3]=2
だよ。
318:１３２人目の素数さん
05/10/27 03:38:51
aは初こうですよね？
319:１３２人目の素数さん
05/10/27 04:21:30
先頭３つの項は適当に定義してよいと思われます。
数列の増えかたは規則の通りです。
320:１３２人目の素数さん
05/11/18 10:45:52
140
321:１３２人目の素数さん
05/12/18 06:35:22
944
322:１３２人目の素数さん
05/12/23 00:21:14
すみません、レベルの高いスレでアホなことを聞いて申し訳ないのですが
下記を馬鹿にもわかるように証明してください。
任意の連続する10個のフィボナッチ数列の和は、7番目の値の11倍に等しい。
よろしくお願いします。
323:１３２人目の素数さん
05/12/23 02:17:25
フィボナッチ数列をF_nと書き、a_n=Σ[k=0,9]F_(n+k) と置く。
a_nは漸化式 a_(n+2)=a_(n+1)+a_n を満たし
a_1=143=11*F_7 a_2=231=11*F_8 となる。
後は帰納法でも何でも。
324:１３２人目の素数さん
05/12/23 11:36:59
>>323
ありがとうございます。すっきりしました。
325:１３２人目の素数さん
05/12/27 01:01:33
>322
フィボナッチ数列をF_nと書き、d_n = F_(n+2) -F_(n+1) -F_n と置く。
∑[k=0,9]F_(n+k) - 11*F_(n+6)
= -d_n -2d_(n+2) +d_(n+3) -4d_(n+4) +4d_(n+5) +2d_(n+6) +d_(n+7)
= 0.
326:１３２人目の素数さん
05/12/27 01:03:00
291 ：簡単かなぁ ：2005/12/26(月) 20:26:43
コインをn回投げる時、表が2回続けて現れる確率は？
☆東大入試作問者スレ☆６
ｽﾚﾘﾝｸ(math板:291番) ,296-297
327:１３２人目の素数さん
06/01/02 04:08:34
340
328:１３２人目の素数さん
06/01/02 04:17:47
age
329:１
06/01/12 00:58:50
うわあん！ごめんな、我が子よ・・・。漏れにはもう無理です・・・。
ひとりでたくましく生き延びてくれい・・・。
330:なんという偶然！！
06/01/12 01:01:47
今日はおまえの２歳の誕生日だね・・・。ハッピーバースディ、ツーユー！！
331:ダメ親父
06/01/12 01:22:50
お前の弟、「連結碁＆ライフゲーム倶楽部」のやつもまだまだ元気だ・・。
兄弟なかよく、できるだけ長生きしておくれ・・・。
332:１３２人目の素数さん
06/01/12 23:45:30
二年。
333:１３２人目の素数さん
06/02/05 06:11:08
486
334:１３２人目の素数さん
06/03/02 16:29:08
374
335:１３２人目の素数さん
06/03/04 12:53:28
age
336:１３２人目の素数さん
06/03/26 14:09:28
337:１３２人目の素数さん
06/04/15 19:27:49
338:１３２人目の素数さん
06/04/23 21:09:41
┌-―ー-';
| (・∀・) ﾉ
＿＿＿＿ 上―-―' ＿＿＿_
| （･∀･） ｜ ／ ＼ | (・∀・) |
|￣￣￣￣ （￣￣￣） |￣￣￣
∧ （[[[[[[|]]]]]） ,∧
<⌒> [=|=|=|=|=|=] <⌒>
／⌒＼ _|iﾛi|iﾛiiﾛi|iﾛ|_∧ ／⌒＼_
］皿皿［-∧-∧|ll||llll||lllｌ||lllｌ|lll|￣|]皿皿[_|
|_／＼_|,,|「|,,,|「|ﾐ^!､|]|[|]|[|][]|_.田 | ∧_ ]
| . ∩ |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__|
|￣￣￣￣|「|￣￣||[[|門門門|]]|[_[_[_[_[_[
／i~~i' l ∩∩l .ｌ ∩ ∩ l |__| .| .∩| .| l-,
,,,,,='~| | |' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i
| l ,==,-'''^^ l |. ∩. ∩. ∩. | |∩| |∩∩| |~~^i~'i、
,=i^~~.| |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,| | |~i
l~| .| | ,,,---== ヽﾉ i ヽﾉ~~~ ヽﾉ ~ ソ^=-.i,,,,|,,,|
.|..l i,-=''~~--,,, ＼ ＼ l ／ ／ ／ __,-=^~
|,-''~ -,,,＿ ~-,,. ＼ .＼ | .／ ／ ＿,,,-~ ／
~^''=、＿ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~
~^^''ヽ ヽ i ｼﾞｴﾝｷｬｯｽﾙ / ／ ノ
ヽ 、 l | ｌ l / .／ ／
＼_ 、i ヽ i / ,,=='
''==,,,,＿＿＿,,,=='~
339:１３２人目の素数さん
06/04/27 07:30:30
age
340:１３２人目の素数さん
06/05/13 21:12:00
715
341:１３２人目の素数さん
06/05/26 12:51:04
158
342:１３２人目の素数さん
06/06/04 13:13:56
URLﾘﾝｸ(0.)<) ./,-、,-、,-ヽ ,-‐‐‐-、
URLﾘﾝｸ(0.)<) ‐―|‐┰┰‐|―‐
URLﾘﾝｸ(0.)<) 〇ニニ|/TTTヽ|ヽ、
URLﾘﾝｸ(0.)<) (￣￣)―(￣￣)
343:１３２人目の素数さん
06/06/16 01:40:00
703
344:１３２人目の素数さん
06/07/28 15:55:12
357
345:１３２人目の素数さん
06/08/30 14:59:59
136
346:１３２人目の素数さん
06/10/01 03:08:59
トリボナッチ数
T_1=1, T_2 =1, T_3=2,
T_n = T_(n-1) + T_(n-2) + T_(n-3).
ｽﾚﾘﾝｸ(math板:264-287番)
分かスレ２５９
347:１３２人目の素数さん
06/10/01 03:12:04
>346
特性方程式 x^3 -x^2 -x-1=0 の3根を a,b,c とする。
x^3 -x^2 -x-1 = (x-a){x^2 +(a-1)x+(1/a)}
a = {1 + (19-3√33)^(1/3) + (19+3√33)^(1/3) }/3 = 1.83928675521416113255185256465329… トリボナッチ定数
b = (1/√a)exp(iθ),
c = (1/√a)exp(-iθ).
θ = arccos{-(1/2)(a-1)√a} = 90ﾟ + (1/2)arccos{(a-1)^2 /2} = 124.68899739147561093738917517977…ﾟ
T_n = k_1･a^n + {k_2･cos(nθ) + k_3･sin(nθ)}(1/a)^(n/2).
k_1 = -k_2 = 0.33622811699493…, k_3=0.3996482801623…
348:１３２人目の素数さん
06/10/01 03:14:23
>346
URLﾘﾝｸ(ja.wikipedia.org)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
349:１３２人目の素数さん
06/10/01 19:19:41
age
350:１３２人目の素数さん
06/10/03 02:17:24
n-bonacci 数
F_k = F_(k-1) + F_(k-2) + …… + F_(k-n).
特性方程式
x^n = x^(n-1) + … + x+1.
x^(n+1) -2･x^n +1 =0, x≠1.
2-x = (1/x)^n, x≠1.
x_2 = (1+√5)/2 = 1.61803398874989…
x_3 = {1 + (19-3√33)^(1/3) + (19+3√33)^(1/3)}/4 = 1.839286755214161132….
x_4 = {1 +√u +√(11-u +26/√u)}/4 = 1.927561975482925...,
u = {11 +2*(12*√1689 -260)^(1/3) -2*(12*√1689 +260)^(1/3)}/3 = 1.704371307008…
u^3 -11u^2 +115u -169 =0 の実根
nが大きいとき
x_n ≒ 2 - (1/N) - (n/2)(1/N)^2 - {n(3n+1)/8}(1/N)^3 - {n(2n+1)(4n+1)/24}(1/N)^4 -…
ここに N=2^n.
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
URLﾘﾝｸ(mathworld.wolfram.com)
351:350
06/10/04 00:39:41
>350 (補足)
x_2 = (1+√5)/2 = 1.61803398874989484820458683436564…
x_3 = {1 + (19-3√33)^(1/3) + (19+3√33)^(1/3)}/３ = …. ｽﾏｿ
x_4 = 1.92756197548292530426190586173648…
(u = 1.70437130700810135321359904631276…)
352:１３２人目の素数さん
06/11/13 00:32:25
606
353:1
06/12/21 17:35:32
(F_(n+1))^7 - (F_n)^7 - (F_(n-1))^7 = 7(F_(n+1))(F_n)(F_(n-1))(2(F_n)^2+(-1)^n)^2
354:１３２人目の素数さん
06/12/30 01:26:02
age
355:１３２人目の素数さん
06/12/30 01:27:17
375
356:１３２人目の素数さん
06/12/30 01:36:34
開成の数研は毎年必ずこれ
357:１３２人目の素数さん
07/01/12 23:45:18
三年。
358:１３２人目の素数さん
07/01/28 04:04:46
>>357
3年？どうですか？
ここ開成のシェルターにするかな
359:１３２人目の素数さん
07/02/02 13:00:35
よろ。
360:１３２人目の素数さん
07/02/04 02:34:22
新厨三よろ。
361:１３２人目の素数さん
07/02/05 04:58:47
age
362:１３２人目の素数さん
07/02/17 23:33:37
新高2よろ。
363:１３２人目の素数さん
07/02/17 23:34:25
咲いた咲くかね
364:１３２人目の素数さん
07/02/24 16:13:55
n[i]を整数としS[k]=∑[i=1→k] n[i]とおく
ここで1≦i≦2^(k-1)、1≦j≦kとする
aをbで割ったときの余りをa mod bと表す
δ[i,j]を以下のように定義する
(1)j=1のとき
iが奇数 ⇒ δ[i,j]=1
iが偶数 ⇒ δ[i,j]=0
(2)1<j<kのとき
1≦i mod 2^j≦2^(j-2) ⇒ δ[i,j]=1
2^(j-2)<i mod 2^j≦2^j - 2^(j-2) ⇒ δ[i,j]=0
2^j - 2^(j-2)<i mod 2^j≦2^j ⇒ δ[i,j]=-1
(3)i=kのとき
1≦i≦2^(k-2) ⇒ δ[i,j]=0
2^(k-2)<i≦2^(k-1) ⇒ δ[i,j]=-1
フィボナッチ数列をF[n]と表せば
F[S[k]] = ∑[i=1→2^(k-1)] Π[j=1→k] F[n[j]+δ[i,j]]
が成り立つ
365:１３２人目の素数さん
07/02/24 16:15:58
>>364 はフィボナッチ数列の加法定理の1つの拡張
ただし、全く実用的でないし何も新しい結果を導き出さない
366:１３２人目の素数さん
07/02/24 16:49:15
数学とはそもそも実用的でないものだよ
367:１３２人目の素数さん
07/03/07 08:12:48
リュカ数列がメルセンヌ素数の判定に使われるとは知らなかった。
368:１３２人目の素数さん
07/03/11 21:33:48
157
369:１３２人目の素数さん
07/03/18 21:50:18
>>363
割いたよね 賞とってしつこいくらいにやなひとだよね
370:１３２人目の素数さん
07/06/23 23:44:20
あ
371:１３２人目の素数さん
07/07/11 05:45:41
>>367
誤解している
372:１３２人目の素数さん
07/07/11 10:30:49
メルセンヌ素数の判定に使われてるのは一般ルーカス数列の一種。
V_n=α^n + β^n、α, β は x^2-2x-2=0 の解。
373:１３２人目の素数さん
07/07/11 23:34:43
2^n+1という形の数が素数ならばnは2の累乗（フェルマー数）
2^n-1という形の数（メルセンヌ数）が素数ならばnは素数
{(1+√5)/2}^n+{(1-√5)/2}^nという形の数（リュカ数）が素数ならば
nは素数または2の累乗
[{(1+√5)/2}^n-{(1-√5)/2}^n]/√5という形の数（フィボナッチ数）が
素数ならばnは素数または2の累乗
374:１３２人目の素数さん
07/07/15 20:21:59
高校生のときに見つけたフィボナッチたんの法則
何年も前に発見済みなんだろうけどさ
桁が上がるまでの計算回数に規則性がある
375:１３２人目の素数さん
07/08/22 02:25:56
>>3の証明を教えていただけないでしょうか
376:１３２人目の素数さん
07/08/22 03:31:46
>>375 以下の式を全部足す。
F(2n) = F(2n-1)+F(2n-2)
F(2n-2) = F(2n-3)+F(2n-4)
...
F(6) = F(5)+F(4)
F(4) = F(3)+F(2)
377:１３２人目の素数さん
07/08/22 08:50:46
>>376
ありがとうございます
378:１３２人目の素数さん
07/09/12 02:08:36
Σ[n=0,∞] 1/(F(2n+1)+1) = √5/2
Σ[n=0,∞] 1/F(2n+1) = (1/2)√{Σ[n=1,∞] (3/F(n)^2 + 5/L(n)^2)}
= (3-φ){Σ[n=0,∞] φ^(-2n(n+1))}^2, φ=(√5+1)/2
379:１３２人目の素数さん
07/09/14 12:01:15
ｽﾚﾘﾝｸ(newsplus板)l50
10日ぶりの解決
380:１３２人目の素数さん
07/09/14 15:34:39
Σ[n=1,∞] 1/F(n)^2 = Σ[n=1,∞] (-1)^(n+1) L(2n)/F(2n)^2
381:１３２人目の素数さん
07/09/14 18:13:48
1 + 4Σ[n=1,∞] 1/L(2n) = √{1 + 8Σ[n=1,∞] 1/L(n)^2}
= (π/(2logφ)) {Σ[n=-∞,∞] e^(-(πn)^2/(2logφ))}^2,
φ=(√5-1)/2
382:１３２人目の素数さん
07/09/14 19:26:34
>>381 φ=(√5+1)/2
Σ[n=0,∞] 1/F(2n+1)^3 = 3αβ-2α^3,
α = Σ[n=0,∞] 1/F(2n+1),
β = Σ[n=1,∞] 1/F(n)^2
383:１３２人目の素数さん
07/10/07 18:49:29
〔補題〕
任意の自然数mに対して、F[n] がmの倍数になるような 自然数nが存在する。
(略証)
便宜上 F[0] =0 とする。
F[n] を mを割った余りを a[n] とおく。
F[n] ≡ a[n] (mod m)
0 ≦ a[n] ≦ m-1,
さて，m^2+1個の組
(a[0],a[1]), (a[1],a[2]), (a[2],a[3]), ……, (a[m^2],a[m^2+1])
を考える。
F[n] を m で割った余りa[n] は 0～m-1 の m 通りしかないので，組の組合せは m^2 通りしかない。
よって，上記の m^2+1 個の組の中には，同じ組がある。*)
それを (a[j], a[j+1]) と (a[k], a[k+1]) とする。（0≦j＜k≦m^2）
F[j-1] = F[j+1] - F[j] と F[k-1] = F[k+1] - F[k] より
a[j-1]≡a[j+1]-a[j] と a[k-1]≡a[k+1]-a[k] ，
(a[j-1],a[j]) と (a[k-1],a[k]) も同じ組になっている。
これを繰り返すと，(a[0],a[1]) と (a[k-j],a[k-j+1]) も等しいことが言える。
k-j>0 より k-j=n は自然数で，a[n] = a[0] = 0 なので，
F[n] が m の倍数となる自然数 n が存在する。(終)
*) 鳩の巣原理、ディリクレの引出し原理 とか言うらしい。
ｽﾚﾘﾝｸ(math板:476番)
東大入試作問者スレ１１
384:１３２人目の素数さん
07/10/07 23:50:02
>>14,11
双曲線函数の方だお･･･
α = logφ = log((1+√5)/2) ≒ 0.481211825 とおくと >>13 より
F(n) = (2/√5)cosh(nα), L(n) = 2sinh(nα) (n:奇数),
F(n) = (2/√5)sinh(nα), L(n) = 2cosh(nα) (n:偶数),
385:１３２人目の素数さん
07/10/30 13:55:04
336
386:１３２人目の素数さん
08/01/03 16:28:48
Π_(k=1, [n/2]) (1 + 4*cos(kπ/n)^2) = F_n, (n≧2)
(解説)
カステレインは平方格子グラフ上のダイマー模型について分配函数Zを計算した。
これはグラフの隣接行列に適当な重みと符号を乗じて得られる反対称行列（カステレイン行列）
のパフ形式（Pfaffian）として表わされた。
その後、（平方格子でない）一般の平面的２部グラフに拡張された。
(文献)
1. P.W.Kasteleyn, Physica, ２７, p.1209-1225 (1961)
"The physics of dimers on a lattice"
2. URLﾘﾝｸ(www.math.h.kyoto-u.ac.jp)
「ダイマー模型とその周辺」 (京都大 人間･環境学部)
3. 細矢, ｢数学100の問題｣, 数セミ増刊, 日本評論社, p.90-92 (1984.9)
「フィボナッチ数の問題｣
387:１３２人目の素数さん
08/01/07 22:40:39
問題18) フィボナッチ数列をF(n)とおく。 p,q,r を任意の整数とするとき、
F(p+1)F(q+1)F(r+1) + F(p)f(q)F(r) - F(p-1)F(q-1)F(r-1) = F(p+q+r),
が成立する事を証明せよ。
URLﾘﾝｸ(www.iis.it-hiroshima.ac.jp)
388:１３２人目の素数さん
08/01/07 22:51:13
〔加法公式〕
F_n の隣接する3項の間に斉1次な漸化式が成立つならば、ある2次の対称行列Cがあって、
F(m+n) = Σ[1≦i,j≦2] F(m+i-1)C(i,j)F(n+j-1)
が成立つ。
(略証)
A = [ F(0), F(1) ]
[ F(1), F(2) ]
とおき、さらに C=A^(-1) とおく。
m=0,1 のときは
(右辺) = Σ[j=1,2] {Σ[i=1,2] F(m+i-1)*C(i,j)} F(n+j-1)
= Σ[j=1,2] {Σ[i=1,2] A(m+1,i)*C(i,j)} F(n+j-1)
= Σ[j=1,2] δ_(m+1,j) F(n+j-1)
= F(m+n),
m>1 のときも、斉1次な漸化式により成立つ。(終)
例) フィボナッチ数列
A = [ 0, 1 ]
[ 1, 1 ]
C = [-1, 1 ]
[ 1, 0 ]
ゆえ
F(m+n) = F(m)F(n+1) + F(m+1)F(n) - F(m)F(n),
>387
これを2回使えば出るだろう。
389:１３２人目の素数さん
08/01/07 23:01:18
>386
ド・モアブルの定理から
x^(2n) - 1 = Π[k=0,2n-1]{x-exp(ikπ/n)} = Π[k=-n,n-1]{x-exp(ikπ/n)}
k=1,…n-1 について
{x-exp(ikπ/n)}{x-exp(i(2n-k)π/n)}
= {x-exp(ikπ/n)}{x-exp(-ikπ/n)}
= x^2 -2cos(ikπ/n)x +1
ｽﾚﾘﾝｸ(math板:313番) 308
390:１３２人目の素数さん
08/01/07 23:38:09
>>64>>67
391:１３２人目の素数さん
08/01/28 04:45:16
四年十五日五時間。
392:１３２人目の素数さん
08/02/10 19:57:44
ここのサイトに書かれている「還暦数」って考え方が面白い。
URLﾘﾝｸ(yohei627.hp.infoseek.co.jp)
393:１３２人目の素数さん
08/03/28 17:17:45
592
394:１３２人目の素数さん
08/03/29 02:30:16
age
395:１３２人目の素数さん
08/04/20 21:58:21
〔問題〕
数列a[n] (n=0,1,2,････) は以下の条件を満たすとする。
・a[0] =0, a[1] =1,
・a[n+1] = (1/a[n])∑[k=1～n] (a[k])^2,
(1) a[n] を n の式であらわせ。
(2) b[n] = a[n+1]/a[n] とおくとき、lim[n→∞) b[n] を求めよ。
ｽﾚﾘﾝｸ(math板:390番) ,402
東大入試作問者スレ１４
396:１３２人目の素数さん
08/04/28 15:06:26
上げ
397:１３２人目の素数さん
08/05/29 10:57:25
保守
398:１３２人目の素数さん
08/07/12 13:49:47
保守
399:１３２人目の素数さん
08/07/22 08:27:57
保守
400:１３２人目の素数さん
08/07/22 19:53:22
まだこのスレのやつも気づいてないようだなｗ
F(n)を行列で(おもしろおかしく)∩(へぇ～)みたいな感じでL(n)との関係を(ry
401:１３２人目の素数さん
08/08/06 08:58:43
保守
402:１３２人目の素数さん
08/08/06 18:03:56
あるスレで見たんだが。
f(1)=0
f(2)=2
f(3)=3
f(n+3)=f(n+1)+f(n)
のとき、
f(n)/n
が整数となるのはｎがどのような値のときか。
ってフィボナッチと関係あるの？
403:１３２人目の素数さん
08/08/06 20:08:07
S(f(n+3)-f(n+2))=S(f(n+1)-f(n-1))
f(n)/n=(f(4)+f(1)+f(2)+f(n-3)+f(n-2))/n=(4+f(n-3)+f(n-2))/n
404:１３２人目の素数さん
08/09/05 14:41:38
>>402
むしろルカスと関わりがある。
405:１３２人目の素数さん
08/10/26 12:12:40
188
406:１３２人目の素数さん
08/10/30 09:25:23
F(1)^2-F(2)^2+F(3)^2-F(4)^2+……+(-1)^n-1*F(n)^2=1/5{2n+1+(-1)^n-1*F(2n+1)}
左辺
第1項の2乗から2項の2乗を引いて、その後も引いて足してを繰り返す。
nが奇数なら+、偶数なら-、って感じ??
このフィボナッチの定理を証明しろと言われたｹﾄﾞ、根本的にやり方が分からんから困った。
誰か証明の解説して下さい。
407:１３２人目の素数さん
08/10/30 22:04:39
>>406
n=1から成立が怪しい感じなんだが、初期値はどういう設定よ？
408:１３２人目の素数さん
08/10/31 20:49:03
今日、ガリレオの再放送見てたら出てきた
レッドマーキュリー ﾅﾂｶｼｽ…
409:１３２人目の素数さん
08/11/03 22:00:47
>>407
普通にn=正の整数だぜ
あとn=1でも成り立つよ
410:１３２人目の素数さん
08/11/29 06:51:19
６乗和の新公式
F(1)^6＋F(2)^6＋…＋F(n)^6 ＝ (F(n)^5 F(n+3)+F(2n))/4
「数学の花束」より
411:１３２人目の素数さん
08/12/07 14:49:58
I am Fibonacci
412:１３２人目の素数さん
08/12/07 14:53:58
>>410
それはいちいち特筆すべきレベルのものか?
n乗和を計算しましたと言っても、別に等比数列の
和を計算しましたってのと大差ないし。
413:１３２人目の素数さん
08/12/07 15:31:29
↑
あなたには、この公式の導出は無理だと思う。
414:１３２人目の素数さん
08/12/07 16:04:33
俺が導出できるできないなんてどうでもいいよ。
導出できようができまいが、6乗和が何らかの
閉じた形で表現できるってのは当たり前で、
>>410に見るべき点があるとしたら、それはその
「閉じた形」が右辺のように書けるってことか、
右辺のように書くことで証明が簡潔になるかって
ことぐらいしかない。これはそのどちらなの?
もしくは>>413の指摘どおり馬鹿な俺には考えも付かない
重要な事項が他にあるの？その辺をぜひご教示くださいよ。
415:１３２人目の素数さん
08/12/07 18:19:46
www
416:１３２人目の素数さん
08/12/07 18:39:01
まぁその程度だよね。
417:１３２人目の素数さん
09/01/11 09:52:39
705
418:１３２人目の素数さん
09/01/13 23:45:16
五年一日。
419:１３２人目の素数さん
09/01/14 14:28:23
age
420:１３２人目の素数さん
09/01/29 09:39:51
661
421:１３２人目の素数さん
09/02/28 14:26:52
〔問題585〕
フィボナッチ数列を三角関数で表現しなさい.
ｽﾚﾘﾝｸ(math板:585番)
東大入試作問者スレ１６
422:１３２人目の素数さん
09/02/28 14:29:03
>>421
φ = (1+√5)/2, -1/φ = (1-√5)/2,
とおくと、
φ + (-1/φ) = 1,
φ - (-1/φ) = √5,
φ^2 + (-1/φ)^2 = 3,
φ･(-1/φ) = -1,
これと「ビネの公式」より
F_n = {φ^n - (-1/φ)^n} / √5,
= Π[k=1,[(n-1)/2]] {3 + 2cos(2kπ/n)}
= Π[k=1,[(n-1)/2]] {1 + 4cos(kπ/n)^2},
〔補題〕 n≧3 のとき
x^n - y^n = (x-y)Π[k=1,n-1] {x - y･exp(2ikπ/n)}
= (x-y){(x+y)^d}Π[k=1,[(n-1)/2]] {x^2 +y^2 -2xy･cos(2kπ/n)}.
nが偶数のとき d=1, nが奇数のとき d=0,
(参考)
1. 数セミ増刊「数学100の問題」, 日本評論社 (1984.9) ISBN:4-535-70405-8
p.90-92, 細矢治夫, 「フィボナッチ数の問題」
2. P.W.Kasteleyn, <<Physica>>, ２７, p.1209-1215 (1961)
"The statistics of dimers on a lattice"
正方格子上のある量(分配函数Z)を統計力学的に数え上げた際に出てきた式の副産物とか。
423:１３２人目の素数さん
09/02/28 14:51:42
既出
424:１３２人目の素数さん
09/03/04 02:18:47
さあ
425:１３２人目の素数さん
09/04/25 15:04:11
405
426:１３２人目の素数さん
09/05/03 12:48:10
さあ
427:１３２人目の素数さん
09/07/01 22:39:52
>>388
便宜上 F(0) =0 とする。
[ F(n-1), F(n) ]
[ F(n), F(n+1) ]
という行列 M(n) を作ると、M(1) = A のn乗になるから、
M(m+n) = M(m)･M(n) より加法公式が出てくるちゅーこと。
ｽﾚﾘﾝｸ(math板:084番)
不等式スレ４
428:１３２人目の素数さん
09/08/18 09:32:07
128
429:１３２人目の素数さん
09/09/05 03:38:40
681
430:１３２人目の素数さん
09/09/27 10:39:52
430
431:１３２人目の素数さん
09/12/05 00:52:55
133
432:１３２人目の素数さん
09/12/08 14:18:11
ぶりぶり
433:１３２人目の素数さん
10/01/19 02:45:16
六年六日三時間。
434:１３２人目の素数さん
10/01/24 11:19:27
ひさしぶりの保守
435:１３２人目の素数さん
10/03/10 16:27:24
314
436:１３２人目の素数さん
10/03/15 12:56:41
age