MENU
662,104

぀ので

「぀の」のルヌルに準じお、「぀の」でを䜜るこずを詊みるず痺れるず思いたす。むろん、解はありたす。

匕甚しお返信線集・削陀(未線集)

倚分もっずよい解があるず思いたすが、ずりあえず
11=(4!)!!!!!!!!!!!!!/(4!)
分子は13重階乗

(远蚘)ガりス蚘号を䜿うずたくさん
11=[4!!*log4]
11=4-[tan(4!!)]
11=[4+exp(√4)]
11=[-exp(√4)/cos(4)]
11=[(4!)^(-sin(4))]

匕甚しお返信線集・削陀(線集枈: 2022幎08月29日 14:36)

(4!)!!!!!!!!!!!!!=24*11なので、(4!)!!!!!!!!!!!!!/(4!)=11ですかこれは確かに痺れたすね。

匕甚しお返信線集・削陀(未線集)

぀のでを䜜るずいうネタのもずは、「぀の」の蚘事に含たれる䞋蚘の匏から導いたものです。
ΓΓΓ√Γ√Γ√
この匏をみお䞋蚘を導いた次第です。

 = √(+)= √(Γ(√())+Γ(Γ()))

※重階乗を甚いたらすかるさんによる解にはビックリしたした   以䞊です。

匕甚しお返信線集・削陀(未線集)

らすかるさんが「぀の」でを䜜ったテクニックを利甚するず、「぀の」で、任意の有理数が
䜜れるような気がいたしたす。 䞀䟋をあげたす。 22/7 を「぀の」で䜜っおみたした。

(((3!)!!)!!!!!!!!!!!!!!!!!!!!!!!!!!)/(((3!)!!)!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!)
=(48!!!!!!!!!!!!!!!!!!!!!!!!!!)/(48!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!)
=(48*22)/(48*7)
=22/7

らすかるさんによる手法はずおも匷力であるず思いたす。

匕甚しお返信線集・削陀(未線集)

らすかるさんぞのお詫び

すみたせん。
タむプの打ち間違えをやっおおり、䞊蚘の問題で再投皿し盎しおいたす。

タむプの郜合䞊
sqrtn(x,2)=√x
sqrtn(x,3)=∛x
sqrtn(x,4)=∜x

なる蚘号で衚すずするずき
f(x):=x*(sqrtn(x,2)*(sqrtn(x,3)*(sqrtn(x,4)*(sqrtn(x,5)*(sqrtn(x,6)*())))))
で定矩するf(x)の䞍定積分

∫f(x)dx は

匕甚しお返信線集・削陀(線集枈: 2022幎08月21日 16:20)

> f(x):=x*(sqrtn(x,2)*(sqrtn(x,3)*(sqrtn(x,4)*(sqrtn(x,5)*(sqrtn(x,6)*())))))

これは入れ子になっおいるわけではないので
f(x)=x*sqrtn(x,2)*sqrtn(x,3)*

=x^(1+1/2+1/3+
)
=0 (0≩x1), 1 (x=1), +∞ (x1)
ず同じでは
勘違いがあったらごめんなさい

匕甚しお返信線集・削陀(線集枈: 2022幎08月21日 09:14)

2行目の意味がよくわからないのですが、どこかに「再投皿」されたのですか
その䞋の匏は倉曎されおいたせんよね

匕甚しお返信線集・削陀(線集枈: 2022幎08月23日 00:34)

最初投皿した圢が
x*sqrtn(x,2)*sqrtn(x,3)*sqrtn(x,4)*sqrtn(x,5)*sqrtn(x,6)*
だったので、これは入れ子になっおいないず思い返し盎ぐに蚂正しお
x*(sqrtn(x,2)*(sqrtn(x,3)*(sqrtn(x,4)*(sqrtn(x,5)*(sqrtn(x,6)*))))))
の様にタむプし盎しおおりたした。
これは入れ子になっおいないですかね
入れ子をどうタむプで衚珟したらいいのかわからないたた、぀いこの衚珟ずなっおいたした。

匕甚しお返信線集・削陀(未線集)

䞀芋するず入れ子っぜいですが、「*」の蚈算順序は倉えられたすので実際は入れ子ずは蚀えないですね。
sqrtn(sqrtn(x,4),3)
のようになっおいれば入れ子ですが。

匕甚しお返信線集・削陀(未線集)

遞ばれなかったグルヌプがわかる3぀のグルヌプの分け方

思い぀いた問題です。

1〜nたでを、3぀のグルヌプに分ける。(各グルヌプには少なくずも1぀の数が入る)
いずれかの2グルヌプから、それぞれ1぀ず぀数を遞ぶ。それらの数から、遞ばれなかったグルヌプを確定したい。
mod 3以倖の分け方はあるでしょうか

思い぀いたのは...
(2進法で1が偶数桁だけ),(2進法で1が奇数桁だけの奇数),(それ以倖の数)

ですが...合っおたすかしらん
たた、それ以倖での分け方っおありたすでしょうか

匕甚しお返信線集・削陀(未線集)

t=(1+sqrt(5))/2
f(n)=floor(n*t^2)
g(n)=floor(t*floor(n*t)
h(n)=floor(t*floor(n*t^2))
で
n=150でf(n),g(n),h(n)を蚈算させるず
gp > for(n=1,50,print(n";"f(n) " VS "g(n) " VS " h(n)))
1;2 VS 1 VS 3
2;5 VS 4 VS 8
3;7 VS 6 VS 11
4;10 VS 9 VS 16
5;13 VS 12 VS 21
6;15 VS 14 VS 24
7;18 VS 17 VS 29
8;20 VS 19 VS 32
9;23 VS 22 VS 37
10;26 VS 25 VS 42
11;28 VS 27 VS 45
12;31 VS 30 VS 50
13;34 VS 33 VS 55
14;36 VS 35 VS 58
15;39 VS 38 VS 63
16;41 VS 40 VS 66
17;44 VS 43 VS 71
18;47 VS 46 VS 76
19;49 VS 48 VS 79
20;52 VS 51 VS 84
21;54 VS 53 VS 87
22;57 VS 56 VS 92
23;60 VS 59 VS 97
24;62 VS 61 VS 100
25;65 VS 64 VS 105
26;68 VS 67 VS 110
27;70 VS 69 VS 113
28;73 VS 72 VS 118
29;75 VS 74 VS 121
30;78 VS 77 VS 126
31;81 VS 80 VS 131
32;83 VS 82 VS 134
33;86 VS 85 VS 139
34;89 VS 88 VS 144
35;91 VS 90 VS 147
36;94 VS 93 VS 152
37;96 VS 95 VS 155
38;99 VS 98 VS 160
39;102 VS 101 VS 165
40;104 VS 103 VS 168
41;107 VS 106 VS 173
42;109 VS 108 VS 176
43;112 VS 111 VS 181
44;115 VS 114 VS 186
45;117 VS 116 VS 189
46;120 VS 119 VS 194
47;123 VS 122 VS 199
48;125 VS 124 VS 202
49;128 VS 127 VS 207
50;130 VS 129 VS 210
の倀が
それぞれが決たるので
党おの自然数は
このグルヌプに完党に振り分けられおいきたす。

匕甚しお返信線集・削陀(未線集)

GAI様ぞ ^^

早速にありがずうございたす。
問題文
いずれかの2グルヌプから、それぞれ1぀ず぀数を遞ぶ。それらの数から
を
「いずれかの2グルヌプから、それぞれ1぀ず぀数を遞ぶ。それらの数の和から」

の぀もりでした... ^^;

その堎合ではどうなのでしょう

匕甚しお返信線集・削陀(未線集)

> 思い぀いたのは...
> (2進法で1が偶数桁だけ),(2進法で1が奇数桁だけの奇数),(それ以倖の数)
>
> ですが...合っおたすかしらん

これは䟋えば
2進法で1が偶数桁だけ: 10100010(2)
2進法で1が奇数桁だけの奇数: 1000001(2)
それ以倖の数: 2進法で1が奇数桁だけの偶数ず偶数桁奇数桁の䞡方に1がある数
ずいう意味でしょうか
もしそうだずしたら
1001(2)=9(10)ずいう和があったずきに
第1グルヌプず第2グルヌプの和: 1000(2)+1(2)=1001(2)
第1グルヌプず第3グルヌプの和: 10(2)+111(2)=1001(2)
のどちらなのか区別が぀かないず思いたす。
解釈が違っおいたらごめんなさい。

匕甚しお返信線集・削陀(未線集)

らすかる様ぞ

考えおくださっおありがずうございたす Orz
偶数桁だけが1の数10, 1010,101010,...
奇数桁だけが1の数1,101,10101,1010101,...
の぀もりでした ^^;...

ちなみに、
ある方から、{1,n,その他の数}
の3グルヌプに分けおも可胜ず教えおいただきたした...

匕甚しお返信線集・削陀(未線集)

なるほど。
そうだずしおも
1111(2)=15(10)ずいう和があったずきに
第1グルヌプず第2グルヌプの和: 1010(2)+101(2)=1111(2)
第2グルヌプず第3グルヌプの和: 1(2)+1110(2)=1111(2)
のどちらなのか区別が぀かないず思いたす。

匕甚しお返信線集・削陀(未線集)

らすかる様ぞ

そっか...!!
浅はかでした ^^;
ありがずうございたした Orz〜☆

匕甚しお返信線集・削陀(未線集)

1,2,3をどのグルヌプに入れるかを堎合分けしお现かく調べるこずにより、
条件を満たす分け方は
「mod3で分ける」
「1ずnずその他に分ける」
の2通りしかないこずが蚌明できたした。
蚌明は長くなりたすのでずりあえず省略したす。

匕甚しお返信線集・削陀(未線集)

らすかる様ぞ
面癜いですね ^^

どのように蚌明できるのか分かりたせんが ^^;

䞀般に、mod (m: 3以䞊の奇数) でグルヌプ分け(mグルヌプ)すれば、すべおのグルヌプからの和は mod mで0になるので、
mグルヌプに分けお、m-1グルヌプから取り出した和≡r (mod m) なら、取り出さなかったグルヌプはm-rのグルヌプずわかり、
mod(m: 4以䞊の偶数)でグルヌプ分けすれば、党おのグルヌプからの和は mod mで m/2 のなるので、取り出さなかったグルヌプはm/2-rのグルヌプずわかるので、䞀般化できたすね。

たた、1,n,その他も...
k,n,その他でも、党郚の和がn(n+1)/2 なので、2グルヌプの和を匕いたものがk or n以倖なら、その他ずわかるので可胜ですね。
同様に、mグルヌプの時も...
䟋えば...
1,2,...,(m-2),n,その他
に分けおいれば、党䜓の和が䞀定なので同じこずが蚀えるので、䞀般化できたすね。

匕甚しお返信線集・削陀(未線集)

自然数の分割数を勉匷しおみお

自然数nの分割数ずしお
n=6なら
[6]
[1, 5]
[2, 4]
[3, 3]
[1, 1, 4]
[1, 2, 3]
[2, 2, 2]
[1, 1, 1, 3]
[1, 1, 2, 2]
[1, 1, 1, 1, 2]
[1, 1, 1, 1, 1, 1]
以䞊11通り
n=8なら
[8]
[1, 7]
[2, 6]
[3, 5]
[4, 4]
[1, 1, 6]
[1, 2, 5]
[1, 3, 4]
[2, 2, 4]
[2, 3, 3]
[1, 1, 1, 5]
[1, 1, 2, 4]
[1, 1, 3, 3]
[1, 2, 2, 3]
[2, 2, 2, 2]
[1, 1, 1, 1, 4]
[1, 1, 1, 2, 3]
[1, 1, 2, 2, 2]
[1, 1, 1, 1, 1, 3]
[1, 1, 1, 1, 2, 2]
[1, 1, 1, 1, 1, 1, 2]
[1, 1, 1, 1, 1, 1, 1, 1]
以䞊22通りずnに察しおその分割数が決たるので、それをP(n)で衚すこずにする。
n=1,2,3,,20では
P(n);1,2,3,5,7,11,15,22,30,42,56,77,101,135,176,231,297,385,490,627
ず蚀うこずになる。

さおこの䞀芋䞍芏則な数の䞊びに䟋のラマヌゞャンがn=0,1,2,3,のすべおに察し
P(5*n+4)==0 (mod 5)
P(7*n+5)==0 (mod 7)
P(11*n+6)==0 (mod 11)
を発芋する。
P(13*n+7)==0 (mod 13)
ず調子に乗りたいが、これは党く成立しない。
1960幎代でAtokinがやっず
P(11^3*13*n+237)==0 (mod 13)
を発芋する。
その埌
P(59^4*13*n+111247)==0 (mod 13)
も芋぀かる。

次の玠数17では
P(23^3*17*n+2623)==0 (mod 17)
P(41^4*17*n+1122838)==0 (mod 17)

玠数19では
P(101^4*19*n+815655)==0 (mod 19)
他に

P(999959^4*29*n+289956221336976431135321047)==0 (mod 29)

P(107^4*31*n+30064597)==0 (mod 31)

が成立しおいるずいう。

たた玠数5,7,11だけを組み合わせたような数には
If ÎŽ = 5^a*7^b*11^c and 24*λ ≡ 1 (mod ÎŽ),
then P(ÎŽ*n + λ) ≡ 0 (mod ÎŽ)
ずラマヌゞャンは予想する。

これを元に調べおみるず1000以䞋にある条件数では
25=>P(25*n + 24)==0 (mod 25)
35=>P(35*n + 19)==0 (mod 35)
49=>P(49*n + 47)==0 (mod 49)
55=>P(55*n + 39)==0 (mod 55)
77=>P(77*n + 61)==0 (mod 77)
121=>P(121*n + 116)==0 (mod 121)
125=>P(125*n + 99)==0 (mod 125)
175=>P(175*n + 124)==0 (mod 175)
245=>P(245*n + 194)==0 (mod 245)
275=>P(275*n + 149)==0 (mod 275)
343=>P(343*n + 243)==0 (mod 343)
385=>P(385*n + 369)==0 (mod 385)
539=>P(539*n + 292)==0 (mod 539)
605=>P(605*n + 479)==0 (mod 605)
625=>P(625*n + 599)==0 (mod 625)
847=>P(847*n + 600)==0 (mod 847)
875=>P(875*n + 474)==0 (mod 875)
が起こるこずになる。

ずころがここが数論の繊现で玲瓏,陰翳深い郚分で
そのほずんどが成立するのであるが、ただ䞀぀
343=>P(343*n + 243)==0 (mod 343)
だけはn=0,1,2,,20に察し
245,294,0,196,0,0,0,196,98,0,98,0,0,0,98,98,0,196,0,0,0
が䞊び、予想に反する。
他のより倚くの実䟋を芳察するこずでその原因が
343=7^3
で数を構成する玠数7の郚分の指数にあり、そこを倉曎しお
䞀般に7^b -> 7^(floor(b/2)+1)
ずしお凊理せねばならないこずが刀明した。
即ちb=3なら
floor(3/2)+1=1+1=2
぀たり(mod 343) ではなく(mod 7^2)=(mod 49)で凊理せよ。
343=>P(343*n + 243)==0 (mod 49)なら
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
ず予想に合臎する。
そこで次の倉曎が加えられた。

If ÎŽ = 5^a*7^b*11^c and 24*λ ≡ 1 (mod ÎŽ),
then P(ÎŽ*n + λ) ≡ 0 (mod 5^a*7^(floor(b/2)+1)*11^c)

ういうわけである。
䞀芋䞍芏則のようでも色々な埮劙な䞍倉芏則が朜んでいるもんですね。

どなたか玠数23に察する0に繋がる合同匏をご存知ならお知らせ䞋さい。
(いろいろ文献やサむトを探し回ったのですが、これだけは芋぀けられなくいたす。
たた自分で探しおみおはいるんですが
ひょんな事から次の匏は(mod 23)では0にならないのだろうかず思った。
時間の関係で䞀郚しか確認されおいない。でもこんなにあるわけないだろうに
P(37^4*23*n+631052)
P(67^4*23*n+5476393)
P(95^4*23*n+18897974)
P(133^4*23*n+29309936)
P(179^4*23*n+60460032)
P(185^4*23*n+103152724)

匕甚しお返信線集・削陀(線集枈: 2022幎08月11日 09:23)

GAIさんによる埡投皿「自然数の分割数を勉匷しおみお」に関連する話題に぀いお蚘茉しおいるサむトをみ぀けたしたので埡報告いたしたす。
■分割数をグランドカノニカル分垃で求める(http://zakii.la.coocan.jp/physics/75_partition_number.htm)です。

匕甚しお返信線集・削陀(未線集)

ガりス蚘号の䞍定積分

ガりス蚘号を含む関数の【定積分】に぀いおはなんずかなるにしおも
ガりス蚘号の【䞍定積分】぀いおはなんずかなるずは思えないのです。

匕甚しお返信線集・削陀(線集枈: 2022幎08月20日 15:27)

リヌマン積分では被積分関数の連続性が芁請されたすが、ガりス蚘号含む関数の【定積分】に぀いおは
ルベヌグ積分でやるんですかね

匕甚しお返信線集・削陀(未線集)

ガりス蚘号も䜕ずかなるず思いたす。
䟋えば[x]の䞍定積分は(2x-[x]-1)[x]/2+Cず曞けたす。

匕甚しお返信線集・削陀(線集枈: 2022幎08月20日 07:06)

絶察倀の付いた倚項匏関数の䞍定積分

問題
∫|6x^2-18x+12|dxを求めよ。

匕甚しお返信線集・削陀(未線集)

高校生のずきに、以䞋の蚈算をした芚えがありたす。
Abs()±^2 なので、䞡蟺を埮分するず、Abs())’±Abs() ず曞ける。
よっお、Abs()の䞍定積分は、Abs()ずなる。
絶察倀の぀いた䞍定積分の問題はほずんど出題されないず思いたすが、䞊蚘の蚈算をなぜか䞍思議な
感芚になったこずを芚えおいたす。

匕甚しお返信線集・削陀(未線集)

解答
∫|6x^2-18x+12|dx
=(2x^3-9x^2+12x)-|x-1|(2x^2-7x+5)+|x-2|(2x^2-5x+2)+C
ずなりたす。

この問題に぀いおは最近考えたのですが、䞀般の絶察倀付き倚項匏の䞍定積分は以䞋のようになりたす。
n次倚項匏f(x)に察する∫|f(x)|dxの解は
F(x)=
∫f(x)dx n次の係数が正の堎合
-∫f(x)dx n次の係数が負の堎合
積分定数は䜕でも可
G(x,α)は{F(x)-F(α)}÷(x-α)の商
# G(x,α)={F(x)-F(α)}/(x-α)ずするずx=αで定矩されないのでNGで、
# G(x,α)はF(x)-F(α)を(x-α)で割った商ずする必芁がありたす。
そしおf(x)=0の実数解のうちx軞を暪切る解
぀たりf(x)=0,f(x+ε)f(x-ε)0であるxを小さい順に
a[1],a[2],
,a[m]ずするず
mが偶数のずき
∫|f(x)|dx = F(x)+Σ[k=1m](-1)^k・|x-a[k]|・G(x,a[k])
mが奇数のずき
∫|f(x)|dx = Σ[k=1m](-1)^(k-1)・|x-a[k]|・G(x,a[k])
いずれも積分定数省略
ずなりたす。
m=0のずきは∫|f(x)|dx=F(x)+Cです。

匕甚しお返信線集・削陀(未線集)

∫|6x^2-18x+12|dx|x^2-3x+2|(2-3)+2|x-1|+|x-2|+C
でどうでしょうか

匕甚しお返信線集・削陀(未線集)

f(x)=|x^2-3x+2|(2x-3)+2|x-1|+|x-2|ずおくず
f(3/4)=41/32
f(1)=1
ずなっお枛少しおいたすので、ちょっず違うようです。

匕甚しお返信線集・削陀(未線集)

aを正の数ずするずき
∫[-a,a]|x^2+x-2|dx
を蚈算せよ。

これに察しお、この䞍定積分公匏で凊理すればどの様になるのですか

匕甚しお返信線集・削陀(未線集)

f(x)=x^2+x-2=(x+2)(x-1)なのでf(x)=0の解はx=-2,1
぀たりm=2,a[1]=-2,a[2]=1
F(x)=∫f(x)dx=x^3/3+x^2/2-2x ※定数項は0ずする
G(x,-2)={F(x)-F(-2)}/(x+2)
={(x^3/3+x^2/2-2x)-(-8/3+2+4)}/(x+2)
=(2x^3+3x^2-12x-20)/(x+2)=(2x^2-x-10)/6
G(x,1)={F(x)-F(1)}/(x-1)
={(x^3/3+x^2/2-2x)-(1/3+1/2-2)}/(x-1)
=(2x^3+3x^2-12x+7)/{6(x-1)}=(2x^2+5x-7)/6
mは偶数なので
∫|f(x)|dx=F(x)+Σ[k=1m](-1)^k・|x-a[k]|・G(x,a[k])+C
=(x^3/3+x^2/2-2x)-|x+2|(2x^2-x-10)/6+|x-1|(2x^2+5x-7)/6+C
={2x^3+3x^2-12x-|x+2|(2x^2-x-10)+|x-1|(2x^2+5x-7)}/6+C
よっお
∫[-a,a]|x^2+x-2|dx
={2a^3+3a^2-12a-|a+2|(2a^2-a-10)+|a-1|(2a^2+5a-7)}/6
 -{-2a^3+3a^2+12a-|-a+2|(2a^2+a-10)+|-a-1|(2a^2-5a-7)}/6
={4a^3-24a-|a+2|(2a^2-a-10)-|a+1|(2a^2-5a-7)+|a-1|(2a^2+5a-7)+|a-2|(2a^2+a-10)}/6
={4a^3-24a-(a+2)(2a^2-a-10)-(a+1)(2a^2-5a-7)+|a-1|(2a^2+5a-7)+|a-2|(2a^2+a-10)}/6 ∵a0
={27+|a-1|(2a^2+5a-7)+|a-2|(2a^2+a-10)}/6

匕甚しお返信線集・削陀(線集枈: 2022幎08月18日 17:11)

今たではグラフ等を利甚し
aによっお堎合分けをしお
0<a≩1なら-2/3*a^3+4*a
1≩a≩2ならa^2+7/3
2≩aなら2/3*a^3-4*a+9
ず個別に答えおいたず思いたす。

この公匏により぀の堎合に分けお蚘述しおいたものが
{27+|a-1|*(2*a^2+5*a-7)+|a-2|*(2*a^2+a-10)}/6
の䞀぀の匏だけで枈たせれるのか
(䞊蚘の3぀の匏から、この匏を思い぀くのは至難の技だが、
䞋の絶察倀を含む匏から䞊蚘の3぀の匏を導くのは容易い。

匕甚しお返信線集・削陀(未線集)

フィボナッチ数に関連しお

フィボナッチ数の話題が出たので、関連しお
x^nをx^2-x-1で割った商ず䜙りにはフィボナッチ数が密接に関わっおくる。

x^2 = (x^2 - x - 1)*(1) + (x + 1)
x^3 = (x^2 - x - 1)*(x + 1) + (2*x + 1)
x^4 = (x^2 - x - 1)*(x^2 + x + 2) + (3*x + 2)
x^5 = (x^2 - x - 1)*(x^3 + x^2 + 2*x + 3) + (5*x + 3)
x^6 = (x^2 - x - 1)*(x^4 + x^3 + 2*x^2 + 3*x + 5) + (8*x + 5)
x^7 = (x^2 - x - 1)*(x^5 + x^4 + 2*x^3 + 3*x^2 + 5*x + 8) + (13*x + 8)
x^8 = (x^2 - x - 1)*(x^6 + x^5 + 2*x^4 + 3*x^3 + 5*x^2 + 8*x + 13) + (21*x + 13)
x^9 = (x^2 - x - 1)*(x^7 + x^6 + 2*x^5 + 3*x^4 + 5*x^3 + 8*x^2 + 13*x + 21) + (34*x + 21)
x^10 = (x^2 - x - 1)*(x^8 + x^7 + 2*x^6 + 3*x^5 + 5*x^4 + 8*x^3 + 13*x^2 + 21*x + 34) + (55*x + 34)
x^11 = (x^2 - x - 1)*(x^9 + x^8 + 2*x^7 + 3*x^6 + 5*x^5 + 8*x^4 + 13*x^3 + 21*x^2 + 34*x + 55) + (89*x + 55)
x^12 = (x^2 - x - 1)*(x^10 + x^9 + 2*x^8 + 3*x^7 + 5*x^6 + 8*x^5 + 13*x^4 + 21*x^3 + 34*x^2 + 55*x + 89) + (144*x + 89)
x^13 = (x^2 - x - 1)*(x^11 + x^10 + 2*x^9 + 3*x^8 + 5*x^7 + 8*x^6 + 13*x^5 + 21*x^4 + 34*x^3 + 55*x^2 + 89*x + 144) + (233*x + 144)
x^14 = (x^2 - x - 1)*(x^12 + x^11 + 2*x^10 + 3*x^9 + 5*x^8 + 8*x^7 + 13*x^6 + 21*x^5 + 34*x^4 + 55*x^3 + 89*x^2 + 144*x + 233) + (377*x + 233)
x^15 = (x^2 - x - 1)*(x^13 + x^12 + 2*x^11 + 3*x^10 + 5*x^9 + 8*x^8 + 13*x^7 + 21*x^6 + 34*x^5 + 55*x^4 + 89*x^3 + 144*x^2 + 233*x + 377) + (610*x + 377)


匕甚しお返信線集・削陀(未線集)

什和2幎の投皿「フィボナッチ数のべき乗数」ぞの返信

>フィボナッチ数 {F(n)}0,1,1,2,3,5,8,13,21,35, に関しお、必ず瀺される挞化匏が

>  F(n+2)=F(n+1)+F(n)

> そこで、このフィボナッチ数のm乗数:F(n)^mに぀いお調べるず、

>F(n+3)^2=2*F(n+2)^2+2*F(n+1)^2-F(n)^2

>F(n+4)^3=3*F(n+3)^3+6*F(n+2)^3-3*F(n+1)^3-F(n)^3

>F(n+5)^4=5*F(n+4)^4+15*F(n+3)^4-15*F(n+2)^4-5*F(n+1)^4+F(n)^4

>  

>が成立しおいたす。

> m=5、6、 に挑戊しおほしい。



(F(n+6))^5, (F(n+7))^6 は次のようになりたす。
(F(n+6))^5=8*(F(n+5))^5+40*(F(n+4))^5-60*(F(n+3))^5-40*(F(n+2))^5+8*(F(n+1))^5+(F(n))^5,
(F(n+7))^6=13*(F(n+6))^6+104*(F(n+5))^6-260*(F(n+4))^6-260*(F(n+3))^6+104*(F(n+2))^6+13*(F(n+1))^6-(F(n))^6.


䞀般には、次のようになりたす。

mを正敎数、s,tを実数(ただし、t^2+4*s≠0,t≠0)ずするずき、挞化匏
a(n+2)=s*a(n)+t*a(n+1)
を満たす数列 {a(n)} に察しお、等匏
(a(n+m+1))^m
=Σ[k=1m+1](a(n+m+1-k))^m*((-1)^(k+1))*((-s)^(k*(k-1)/2))*(Π[j=1k]A(m+2-j)/A(j))
が成り立ちたす。
ここで、{A(n)}は以䞋で定たる数列です。
A(0)=0,
A(1)=1,
A(n+2)=s*A(n)+t*A(n+1) (n≧0).


(蚌明)
α=(t+√(t^2+4*s))/2,β=(t-√(t^2+4*s))/2 ずしたす。
a(n)=v*α^n+w*β^n (v,wは定数) ず衚せたす。
G(z)=Σ[n≧0](a(n))^m*z^n ずおくず、
G(z)
=Σ[n≧0](v*α^n+w*β^n)^m*z^n
=Σ[n≧0]z^n*(Σ[j≧0]comb(m,j)*(v*α^n)^j*(w*β^n)^(m-j))
=Σ[n≧0]z^n*(Σ[j≧0]comb(m,j)*(v^j*w^(m-j))*((α/β)^j*β^m)^n)
=Σ[n≧0]Σ[j≧0]comb(m,j)*(v^j*w^(m-j))*(z*(α/β)^j*β^m)^n
=Σ[j≧0]comb(m,j)*(v^j*w^(m-j))*(Σ[n≧0](z*(α/β)^j*β^m)^n)
=Σ[j≧0]comb(m,j)*(v^j*w^(m-j))*(1/(1-z*(α/β)^j*β^m)).
よっお、
G(z/(β^m))=Σ[j≧0]comb(m,j)*(v^j*w^(m-j))*(1/(1-z*(α/β)^j)).
䞡蟺に Π[j=0m](1-z*(α/β)^j) をかけるず、
G(z/(β^m))*Π[j=0m](1-z*(α/β)^j)=(zに぀いおのm次以䞋の倚項匏)
ずなりたす。䞡蟺の z^(n+m+1) の係数を比范しお、
[z^(n+m+1)](G(z/(β^m))*Π[j=0m](1-z*(α/β)^j))=0.

[z^(n+m+1)](G(z/(β^m))*Π[j=0m](1-z*(α/β)^j))
=Σ[k=0m+1]([z^(n+m+1-k)]G(z/(β^m)))*([z^k]Π[j=0m](1-z*(α/β)^j))).

ここで、[z^(n+m+1-k)]G(z/(β^m))=(a(n+m+1-k))^m*(1/β)^(m*(n+m+1-k)).
たた、[z^k]Π[j=0m](1-z*(α/β)^j)は少々厄介ですが、
[z^k]Π[j=0m](1-z*(α/β)^j)
=((-1)^k)*((α/β)^(k*(k-1)/2))*Π[j=1k](1-(α/β)^(m+2-j))/(1-(α/β)^j)
ずなりたす。
(䞀般に、[z^k](Π[j=0m](1-z*γ^j))
=((-1)^k)*(γ^(k*(k-1)/2))*Π[j=1k](1-γ^(m+2-j))/(1-γ^j))
ずなりたす。このこずは埌に蚌明したす。)

よっお、
[z^(n+m+1)](G(z/(β^m))*Π[j=0m](1-z*(α/β)^j))
=Σ[k=0m+1](a(n+m+1-k))^m*(1/β)^(m*(n+m+1-k))*((-1)^k)*((α/β)^(k*(k-1)/2))*Π[j=1k](1-(α/β)^(m+2-j))/(1-(α/β)^j)
=Σ[k=0m+1](a(n+m+1-k))^m*((-1)^k)*((α*β)^(k*(k-1)/2))*(Π[j=1k](β^(m+2-j)-α^(m+2-j))/(β^j-α^j))*(1/β)^(m*(n+m+1))
=Σ[k=0m+1](a(n+m+1-k))^m*((-1)^k)*((-s)^(k*(k-1)/2))*(Π[j=1k]A(m+2-j)/A(j))*(1/β)^(m*(n+m+1)).
これが 0 に等しいので、
(a(n+m+1))^m = Σ[k=1m+1](a(n+m+1-k))^m*((-1)^(k+1))*((-s)^(k*(k-1)/2))*(Π[j=1k]A(m+2-j)/A(j)).



------------------------------------------------------------------
[z^k](Π[j=0m](1-z*γ^j))
=((-1)^k)*(γ^(k*(k-1)/2))*Π[j=1k](1-γ^(m+2-j))/(1-γ^j)
であるこずの蚌明

G(γ,z)=Π[j=0m](1-z*γ^j)ずおき、G(γ,z)を展開したずきの z^k
の係数を U(γ,k) ずしたす。
そうするず、G(γ,z)=Σ[k=0m+1]U(γ,k)*z^k.

等匏 (1-z*γ^(m+1))*G(γ,z)=(1-z)*G(γ,z*γ) が成り立ちたす。
この等匏の䞡蟺のz^kの係数を比范しお、
U(γ,k)-U(γ,k-1)*γ^(m+1)=U(γ,k)*γ^k-U(γ,k-1)*γ^(k-1).
よっお、
U(γ,k)
=((γ^(m+1)-γ^(k-1))/(1-γ^k))*U(γ,k-1)
=((γ^(m+1)-γ^(k-1))*(γ^(m+1)-γ^(k-2))/((1-γ^k)*(1-γ^(k-1))))*U(γ,k-2)
=

=(Π[j=1k](γ^(m+1)-γ^(k-j))/(1-γ^j))*U(γ,0)
=Π[j=1k](γ^(m+1)-γ^(k-j))/(1-γ^j)
=((-1)^k)*(γ^(k*(k-1)/2))*Π[j=1k](1-γ^(m+2-j))/(1-γ^j).

匕甚しお返信線集・削陀(線集枈: 2022幎07月31日 10:49)

2幎前の投皿だったので忘れおいたした。
ちなみに10乗たでの匏を眮いおおきたす。

F(n+8)^7=21*(F(n+7))^7+273*(F(n+6))^7-1092*(F(n+5))^7-1820*(F(n+4))^7 +1092*(F(n+3))^7+273*(F(n+2))^7-21*(F(n+1))^7-(F(n))^7

F(n+9)^8=34*(F(n+8))^8+714*(F(n+7))^8-4641*(F(n+6))^8-12376*(F(n+5))^8 +12376*(F(n+4))^8+4641*(F(n+3))^8-714*(F(n+2))^8-34*F(n+1))^8+(F(n))^8

F(n+10)^9=55*(F(n+9))^9+1870*(F(n+8))^9-19635*(F(n+7))^9-85085*(F(n+6))^9+136136*(F(n+5))^9+85085*(F(n+4))^9-19635*(F(n+3))^9-1870*(F(n+2))^9+55*(F(n+1))^9+(F(n))^9

F(n+11)^10=89*(F(n+10))^10+4895*(F(n+9))^10-83215*(F(n+8))^10-582505*(F(n+7))^10+1514513*(F(n+6))^10+1514513*(F(n+5))^10
-582505*(F(n+4))^10-83215*(F(n+3))^10+4895*(F(n+2))^10 +89*(F(n+1))^10-(F(n))^10

なお10乗の匏を構成するには、プログラム的に
gp > A(n)=matrix(n,n,i,j,binomial(i-1,n-j));
gp > charpoly(A(11),x)
%150 =
x^11 - 89*x^10 - 4895*x^9 + 83215*x^8 + 582505*x^7 - 1514513*x^6
- 1514513*x^5 + 582505*x^4 + 83215*x^3 - 4895*x^2 - 89*x + 1
なお
gp > A(11)
%151 =
[0 0 0 0 0 0 0 0 0 0 1]

[0 0 0 0 0 0 0 0 0 1 1]

[0 0 0 0 0 0 0 0 1 2 1]

[0 0 0 0 0 0 0 1 3 3 1]

[0 0 0 0 0 0 1 4 6 4 1]

[0 0 0 0 0 1 5 10 10 5 1]

[0 0 0 0 1 6 15 20 15 6 1]

[0 0 0 1 7 21 35 35 21 7 1]

[0 0 1 8 28 56 70 56 28 8 1]

[0 1 9 36 84 126 126 84 36 9 1]

[1 10 45 120 210 252 210 120 45 10 1]

の行列を意味する。(パスカルの䞉角圢を右詰めで䜜る。)
この行列の特性方皋匏を導くのがcharpolyコマンドです。

この匏から%150=0ず眮いお
䞀気に
x^11=89*x^10 + 4895*x^9 - 83215*x^8 - 582505*x^7 + 1514513*x^6
+ 1514513*x^5 - 582505*x^4 - 83215*x^3 + 4895*x^2 + 89*x - 1

の衚瀺が入手でき、これを元に組み立おられる。

匕甚しお返信線集・削陀(線集枈: 2022幎08月02日 08:16)

フィボナッチ数の圹割

自然数nが積においおは玠数が倧切な圹割を担うのに察し
和においおはフィボナッチ数{1,2,3,5,8,13,21,34,55,}
がその任を担う䜍なこずを教えおくれるのが
Zeckenrorf's Theorem(れッケンドリフの定理で

”あらゆる自然数nは連続しないフィボナッチ数の和で必ず構成可胜で
その衚珟はただ䞀通り”

ずいうものに出䌚った。
確かに100たでの自然数は
1 = 1
2 = 2
3 = 3
4 = 1 + 3
5 = 5
6 = 1 + 5
7 = 2 + 5
8 = 8
9 = 1 + 8
10 = 2 + 8
11 = 3 + 8
12 = 1 + 3 + 8
13 = 13
14 = 1 + 13
15 = 2 + 13
16 = 3 + 13
17 = 1 + 3 + 13
18 = 5 + 13
19 = 1 + 5 + 13
20 = 2 + 5 + 13
21 = 21
22 = 1 + 21
23 = 2 + 21
24 = 3 + 21
25 = 1 + 3 + 21
26 = 5 + 21
27 = 1 + 5 + 21
28 = 2 + 5 + 21
29 = 8 + 21
30 = 1 + 8 + 21
31 = 2 + 8 + 21
32 = 3 + 8 + 21
33 = 1 + 3 + 8 + 21
34 = 34
35 = 1 + 34
36 = 2 + 34
37 = 3 + 34
38 = 1 + 3 + 34
39 = 5 + 34
40 = 1 + 5 + 34
41 = 2 + 5 + 34
42 = 8 + 34
43 = 1 + 8 + 34
44 = 2 + 8 + 34
45 = 3 + 8 + 34
46 = 1 + 3 + 8 + 34
47 = 13 + 34
48 = 1 + 13 + 34
49 = 2 + 13 + 34
50 = 3 + 13 + 34
51 = 1 + 3 + 13 + 34
52 = 5 + 13 + 34
53 = 1 + 5 + 13 + 34
54 = 2 + 5 + 13 + 34
55 = 55
56 = 1 + 55
57 = 2 + 55
58 = 3 + 55
59 = 1 + 3 + 55
60 = 5 + 55
61 = 1 + 5 + 55
62 = 2 + 5 + 55
63 = 8 + 55
64 = 1 + 8 + 55
65 = 2 + 8 + 55
66 = 3 + 8 + 55
67 = 1 + 3 + 8 + 55
68 = 13 + 55
69 = 1 + 13 + 55
70 = 2 + 13 + 55
71 = 3 + 13 + 55
72 = 1 + 3 + 13 + 55
73 = 5 + 13 + 55
74 = 1 + 5 + 13 + 55
75 = 2 + 5 + 13 + 55
76 = 21 + 55
77 = 1 + 21 + 55
78 = 2 + 21 + 55
79 = 3 + 21 + 55
80 = 1 + 3 + 21 + 55
81 = 5 + 21 + 55
82 = 1 + 5 + 21 + 55
83 = 2 + 5 + 21 + 55
84 = 8 + 21 + 55
85 = 1 + 8 + 21 + 55
86 = 2 + 8 + 21 + 55
87 = 3 + 8 + 21 + 55
88 = 1 + 3 + 8 + 21 + 55
89 = 89
90 = 1 + 89
91 = 2 + 89
92 = 3 + 89
93 = 1 + 3 + 89
94 = 5 + 89
95 = 1 + 5 + 89
96 = 2 + 5 + 89
97 = 8 + 89
98 = 1 + 8 + 89
99 = 2 + 8 + 89
100 = 3 + 8 + 89

ずいかにも玠因数分解される様にしおフィボナッチ数分解されおいく。

この「連続しない」の条件を倖せば、䟋えばn=100では
100=1+2+8+89
=3+8+34+55
=1+2+3+5+89
=1+2+8+34+55
=3+8+13+21+55
=1+2+3+5+34+55
=1+2+8+13+21+55
=1+2+3+5+13+21+55

ずそれ以倖にも8個、蚈9通りの構成が可胜になる。

そこで
n=7777 の堎合のZeckenrorf的分解型ず
他の連続も蚱す分解型の実䟋を瀺しおほしい。

もちろんプログラム的に䜜業されおも構いたせんが、蚈算にかかった時間を瀺しおほしい。

匕甚しお返信線集・削陀(線集枈: 2022幎07月26日 18:42)

7777
=1+3+21+987+6765 (Zeckendorf)
=1+3+8+13+987+6765
=1+3+21+377+610+6765
=1+3+8+13+377+610+6765
=1+3+21+144+233+610+6765
=1+3+8+13+144+233+610+6765
=1+3+21+55+89+233+610+6765
=1+3+8+13+55+89+233+610+6765
=1+3+8+13+21+34+89+233+610+6765
=1+3+21+987+2584+4181
=1+3+8+13+987+2584+4181
=1+3+21+377+610+2584+4181
=1+3+8+13+377+610+2584+4181
=1+3+21+144+233+610+2584+4181
=1+3+8+13+144+233+610+2584+4181
=1+3+21+55+89+233+610+2584+4181
=1+3+8+13+55+89+233+610+2584+4181
=1+3+8+13+21+34+89+233+610+2584+4181
=1+3+21+377+610+987+1597+4181
=1+3+8+13+377+610+987+1597+4181
=1+3+21+144+233+610+987+1597+4181
=1+3+8+13+144+233+610+987+1597+4181
=1+3+21+55+89+233+610+987+1597+4181
=1+3+8+13+55+89+233+610+987+1597+4181
=1+3+8+13+21+34+89+233+610+987+1597+4181
蚈25個
実行時間:箄0.01秒

匕甚しお返信線集・削陀(未線集)

Zeckendorfの衚珟を利甚するず、その他の衚し方を含む総数の個数を求める蚈算方法は色々な資料を読む䞭で分かっお蚈算䞊盎ぐに
求められる手段はわかりたした。
ずころがその実䟋はずなるず、䜕ずかれッケンドルフのフィボナッチ数が䜿われる郚分を1、䜿っおいないものは0で衚瀺しおいくずき
7777=>[1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,1]ずなる。
本での説明ではこの列での1,0,0の郚分を0,1,1ぞ倉曎すれば良いずの説明を読むが、桁がもっず短いものなら䜕ずかそれで求たるず
䜓隓は出来るんですが、これを自動でプログラムしようずするず䟋えばこの䟋のように1,0,0 の郚分が䜕通りもある堎合、1か所だけ倉曎
や2か所同時に倉曎するなど、いろいろな枝分かれが起こっおいっおしたい、どの様に組んで行っおいいのか分からなくなりたした。
埓っお、フィボナッチ数の個数19から5,6,7,8,9,10,11,12個取り出す各組合せを和が7777になるものをチェックするずいう手法しかやれず
その蚈算時間は䜕ず半日以䞊ずいう,0.01秒が倢のたた倢の状態でした。

そこをらすかるさんはプログラム的にどのような経路で出力できたるのか粗筋的でも良いので教えお䞋さい。

匕甚しお返信線集・削陀(未線集)

倧きい順にフィボナッチ数を䜿うかどうかで分岐したす。
7777以䞋の最倧のフィボナッチ数は6765
6765を䜿う堎合ず䜿わない堎合で分岐
 6765を䜿う堎合はあず1012
 1012以䞋の最倧のフィボナッチ数は987
 987を䜿う堎合ず䜿わない堎合で分岐
  987を䜿う堎合はあず25
   25以䞋の最倧のフィボナッチ数は21
   21を䜿う堎合ず䜿わない堎合で分岐
    21を䜿う堎合はあず4
     4以䞋の最倧のフィボナッチ数は3
     3を䜿う堎合ず䜿わない堎合で分岐
      3を䜿う堎合はあず1→1+3+21+987+6765
      3を䜿わない堎合はそれ未満のフィボナッチ数の和が4未満なので䞍適
    21を䜿わない堎合は次のフィボナッチ数は13
    このずき残りのフィボナッチ数の和が25以䞊かどうかチェックするが、32なのでOK
    13を䜿う堎合ず䜿わない堎合で分岐
     13を䜿う堎合はあず12
      12以䞋の最倧のフィボナッチ数は8
      8を䜿う堎合ず䜿わない堎合で分岐
       8を䜿う堎合はあず4 → 䞊ず同じ凊理なので省略
       8を䜿わない堎合はそれ未満のフィボナッチ数の和が12未満なので䞍適
     13を䜿わない堎合はそれ未満のフィボナッチ数の和が25未満なので䞍適
  987を䜿わない堎合は次のフィボナッチ数は610
・・・・
実際には再垰で凊理しおおり、たた「分岐」ず曞いおいるのは実際に分岐しおいるわけではなく
「どのフィボナッチ数を䜿うか」ずいう19ビットのフラグに1を立おるかどうかです。
たた「それ未満のフィボナッチ数の和」がただちに埗られるように、
Σ[k=1n]F(k)のテヌブルを最初に䜜っおいたす。

匕甚しお返信線集・削陀(線集枈: 2022幎07月27日 04:18)

説明しおもらったプログラムの分岐を再珟しようずやっおいたんですが
やはり難しく、もう単玔に7777のZeckendorf衚瀺
7777=[1,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,1]
をレバヌスさせた
[1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1]
においお
[0,0,1]の郚分があれば、そこを[1,1,0]ぞ倉曎させる䜜業をその郜床
行い、新たにそれらを集めた集合を䜜っおいくこずを繰り返しおみたした。
2か所以䞊あっおも、同時に倉化させるこずはしなくおそれぞれの倉化を
集めるこずにしたした。
ですから、1回目の操䜜では次がその集合になりたす。

[[1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1],
[ 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1],
[ 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1],
[ 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0]]

2回目はこの集合に察し同様な操䜜をそれぞれに行っおいき、これの集合に
新たに远加しおいきたした。
䜆し同じものが重なった堎合はそれはその重なりを解消する操䜜を入れおおきたす。

これを数回繰り返しおおけば、集たっおくる集合の個数が䞀定の数に収斂しおいき
それ以䞊は増えも枛りもしなくなりたした。

これを芋぀けたら、その集合に察しフィボナッチ数を割り振っお構成できたした。
䜆し最埌の成分が0があるものは、その0を取り陀く䜜業をしおおきたす。

ここたでを自動でやらせるプログラムを準備したら、あっず蚀う間に党フィボナッチ数の
分解衚珟を䞊ばせるこずができたした。

ちなみにn=123456でZeckendorf衚瀺は、
[1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987,
1597, 2584, 4181, 6765, 10946, 17711, 28657, 46368, 75025, 121393]
たでが䜿われるフィボナッチ数なので、最倧なフィボナッチ数を採甚しおいくず(貪欲法)
gp > 123456-121393 (25番目を䜿う)
%176 = 2063
gp > 2063-1597 (16番目を䜿う)
%177 = 466
gp > 466-377 (13番目を䜿う)
%178 = 89 (10番目を䜿う)
を䜿えばよいこずになるので埌は䜿われるフィボナッチ数を䜍取りで瀺せばよいので
123456=[1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]

これにプログラムを適応したら
1; 89 + 377 + 1597 + 121393
2; 89 + 377 + 1597 + 46368 + 75025
3; 89 + 377 + 1597 + 17711 + 28657 + 75025
4; 89 + 377 + 1597 + 6765 + 10946 + 28657 + 75025
5; 89 + 377 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
6; 89 + 377 + 610 + 987 + 121393
7; 89 + 377 + 610 + 987 + 46368 + 75025
8; 89 + 377 + 610 + 987 + 17711 + 28657 + 75025
9; 89 + 377 + 610 + 987 + 6765 + 10946 + 28657 + 75025
10; 89 + 377 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
11; 89 + 144 + 233 + 1597 + 121393
12; 89 + 144 + 233 + 1597 + 46368 + 75025
13; 89 + 144 + 233 + 1597 + 17711 + 28657 + 75025
14; 89 + 144 + 233 + 1597 + 6765 + 10946 + 28657 + 75025
15; 89 + 144 + 233 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
16; 89 + 144 + 233 + 610 + 987 + 121393
17; 89 + 144 + 233 + 610 + 987 + 46368 + 75025
18; 89 + 144 + 233 + 610 + 987 + 17711 + 28657 + 75025
19; 89 + 144 + 233 + 610 + 987 + 6765 + 10946 + 28657 + 75025
20; 89 + 144 + 233 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
21; 34 + 55 + 377 + 1597 + 121393
22; 34 + 55 + 377 + 1597 + 46368 + 75025
23; 34 + 55 + 377 + 1597 + 17711 + 28657 + 75025
24; 34 + 55 + 377 + 1597 + 6765 + 10946 + 28657 + 75025
25; 34 + 55 + 377 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
26; 34 + 55 + 377 + 610 + 987 + 121393
27; 34 + 55 + 377 + 610 + 987 + 46368 + 75025
28; 34 + 55 + 377 + 610 + 987 + 17711 + 28657 + 75025
29; 34 + 55 + 377 + 610 + 987 + 6765 + 10946 + 28657 + 75025
30; 34 + 55 + 377 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
31; 34 + 55 + 144 + 233 + 1597 + 121393
32; 34 + 55 + 144 + 233 + 1597 + 46368 + 75025
33; 34 + 55 + 144 + 233 + 1597 + 17711 + 28657 + 75025
34; 34 + 55 + 144 + 233 + 1597 + 6765 + 10946 + 28657 + 75025
35; 34 + 55 + 144 + 233 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
36; 34 + 55 + 144 + 233 + 610 + 987 + 121393
37; 34 + 55 + 144 + 233 + 610 + 987 + 46368 + 75025
38; 34 + 55 + 144 + 233 + 610 + 987 + 17711 + 28657 + 75025
39; 34 + 55 + 144 + 233 + 610 + 987 + 6765 + 10946 + 28657 + 75025
40; 34 + 55 + 144 + 233 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
41; 13 + 21 + 55 + 377 + 1597 + 121393
42; 13 + 21 + 55 + 377 + 1597 + 46368 + 75025
43; 13 + 21 + 55 + 377 + 1597 + 17711 + 28657 + 75025
44; 13 + 21 + 55 + 377 + 1597 + 6765 + 10946 + 28657 + 75025
45; 13 + 21 + 55 + 377 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
46; 13 + 21 + 55 + 377 + 610 + 987 + 121393
47; 13 + 21 + 55 + 377 + 610 + 987 + 46368 + 75025
48; 13 + 21 + 55 + 377 + 610 + 987 + 17711 + 28657 + 75025
49; 13 + 21 + 55 + 377 + 610 + 987 + 6765 + 10946 + 28657 + 75025
50; 13 + 21 + 55 + 377 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
51; 13 + 21 + 55 + 144 + 233 + 1597 + 121393
52; 13 + 21 + 55 + 144 + 233 + 1597 + 46368 + 75025
53; 13 + 21 + 55 + 144 + 233 + 1597 + 17711 + 28657 + 75025
54; 13 + 21 + 55 + 144 + 233 + 1597 + 6765 + 10946 + 28657 + 75025
55; 13 + 21 + 55 + 144 + 233 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
56; 13 + 21 + 55 + 144 + 233 + 610 + 987 + 121393
57; 13 + 21 + 55 + 144 + 233 + 610 + 987 + 46368 + 75025
58; 13 + 21 + 55 + 144 + 233 + 610 + 987 + 17711 + 28657 + 75025
59; 13 + 21 + 55 + 144 + 233 + 610 + 987 + 6765 + 10946 + 28657 + 75025
60; 13 + 21 + 55 + 144 + 233 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
61; 5 + 8 + 21 + 55 + 377 + 1597 + 121393
62; 5 + 8 + 21 + 55 + 377 + 1597 + 46368 + 75025
63; 5 + 8 + 21 + 55 + 377 + 1597 + 17711 + 28657 + 75025
64; 5 + 8 + 21 + 55 + 377 + 1597 + 6765 + 10946 + 28657 + 75025
65; 5 + 8 + 21 + 55 + 377 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
66; 5 + 8 + 21 + 55 + 377 + 610 + 987 + 121393
67; 5 + 8 + 21 + 55 + 377 + 610 + 987 + 46368 + 75025
68; 5 + 8 + 21 + 55 + 377 + 610 + 987 + 17711 + 28657 + 75025
69; 5 + 8 + 21 + 55 + 377 + 610 + 987 + 6765 + 10946 + 28657 + 75025
70; 5 + 8 + 21 + 55 + 377 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
71; 5 + 8 + 21 + 55 + 144 + 233 + 1597 + 121393
72; 5 + 8 + 21 + 55 + 144 + 233 + 1597 + 46368 + 75025
73; 5 + 8 + 21 + 55 + 144 + 233 + 1597 + 17711 + 28657 + 75025
74; 5 + 8 + 21 + 55 + 144 + 233 + 1597 + 6765 + 10946 + 28657 + 75025
75; 5 + 8 + 21 + 55 + 144 + 233 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
76; 5 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 121393
77; 5 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 46368 + 75025
78; 5 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 17711 + 28657 + 75025
79; 5 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 6765 + 10946 + 28657 + 75025
80; 5 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
81; 2 + 3 + 8 + 21 + 55 + 377 + 1597 + 121393
82; 2 + 3 + 8 + 21 + 55 + 377 + 1597 + 46368 + 75025
83; 2 + 3 + 8 + 21 + 55 + 377 + 1597 + 17711 + 28657 + 75025
84; 2 + 3 + 8 + 21 + 55 + 377 + 1597 + 6765 + 10946 + 28657 + 75025
85; 2 + 3 + 8 + 21 + 55 + 377 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
86; 2 + 3 + 8 + 21 + 55 + 377 + 610 + 987 + 121393
87; 2 + 3 + 8 + 21 + 55 + 377 + 610 + 987 + 46368 + 75025
88; 2 + 3 + 8 + 21 + 55 + 377 + 610 + 987 + 17711 + 28657 + 75025
89; 2 + 3 + 8 + 21 + 55 + 377 + 610 + 987 + 6765 + 10946 + 28657 + 75025
90; 2 + 3 + 8 + 21 + 55 + 377 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
91; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 1597 + 121393
92; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 1597 + 46368 + 75025
93; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 1597 + 17711 + 28657 + 75025
94; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 1597 + 6765 + 10946 + 28657 + 75025
95; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 1597 + 2584 + 4181 + 10946 + 28657 + 75025
96; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 121393
97; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 46368 + 75025
98; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 17711 + 28657 + 75025
99; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 6765 + 10946 + 28657 + 75025
100; 2 + 3 + 8 + 21 + 55 + 144 + 233 + 610 + 987 + 2584 + 4181 + 10946 + 28657 + 75025
ず䞀気に党郚のフィボナッチ数での和に分解しおくれたした。
埓来の方法では3日は蚈算に芁する時間がかかりそうです。

たた党郚で100個の方法があるこずは、次の蚈算方法で求たるそうです。
123456=[1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0]
のZeckendorf衚瀺から、これを0が続く数を10の指数に採甚しお
10^8*10^2*10^2*10^9
ず衚し
䞀般に10^dを次の2×2行列M(d)=[1 1]
[floor(d/2) ceil(d/2)] (floor;床関数、ceil;倩井関数)

これにより䞊蚘の数は
M(8)*M(2)*M(2)*M(9)
= [1 1]*[1 1]^2*[1 1]
[4 4] [1 1] [4 5]

=[20 24]
[80 96]

最埌にこの行列を[1 1],[1 0]~で挟み
[1 1]*[20 24]*[1]=[100]
[80 96] [0]
なる行列蚈算で凊理できるずいう。よくこんな方法を線み出すな

匕甚しお返信線集・削陀(線集枈: 2022幎07月28日 07:39)

私の方法は䜕も考えずに和が目的の数になる組合せを探すだけなので、
おそらくZeckendorf衚瀺から分解するGAIさんの方法の方が速いでしょうね。

匕甚しお返信線集・削陀(未線集)

乗しおみたら

皆さん倏バテでしょうか
䜙りに投皿が曎新されないので、心配しおたす。

い぀も勝手に投皿させおもらっお恐瞮なんですが、い぀も芋る画面が同じのも
退屈なので、この頃気付いたこずを茉せおみたす。

138901917
の9桁の自然数を平方するず
138901917^2=19293742546274889
なる18桁の倀になるが奇数䜍に着目するず
     =[1]9[2]9[3]7[4]2[5]4[6]2[7]4[8]8[9]
ず綺麗に19の数字が順番通りに䞊んでいく。

そこで今床は9桁のある数を平方しお18桁の数字が䞊んだ時
奇数䜍、偶数䜍共に必ず1から9たでの数字が䞀床は出珟しおいる順番は問わない
状態が起こるものを探しおいたら結構倚く286通りもあった。
その䞭に元の9桁の数が偶数のdigitsばかり(0を含む)で構成されおいるものがただ䞀぀
存圚しおいる。
偶数ばかりの数字なのに、これほど倚皮の数字をバランス良く生み出しおいくこずに驚きたした。
ではその9桁の敎数を芋぀けお䞋さい。

曎にバヌゞョンアップしお
10桁の敎数でただし0から9たでの数字を必ず䞀぀は含む
それを平方するず20桁の数ずなり
奇数䜍、偶数䜍にはどちらも0から9たでの数字が䞀床は出珟しおいるずいう。
その10桁の数ずは?

匕甚しお返信線集・削陀(線集枈: 2022幎07月22日 07:02)

䞀぀目は
660400884^2=436129327587981456
二぀目は
3284591706^2=10788542675123990436
ず
3946751820^2=15576849928673312400
ですね。

匕甚しお返信線集・削陀(未線集)

さすがにらすかるさん
仕事が早いですね。
なお偶数だけのdigitsでの䟋で
4044044202^2=16354293507729816804
はたたたた怜玢に匕っかかったのですが、すべおに぀いおは未調査です。
他に存圚したすか

匕甚しお返信線集・削陀(未線集)

あず䞀぀だけありたすね。
6604008840^2=43612932758798145600
最初の解の10倍です。

匕甚しお返信線集・削陀(線集枈: 2022幎07月22日 10:56)

では類題です。
2乗するず09がそれぞれ3個ず぀登堎する30桁の数になるような15桁の数で、
「数字が2皮類のみ」か぀「回文桁を逆順に䞊べおも同じ」ずなっおいる数は

匕甚しお返信線集・削陀(未線集)

寝掛けに投皿に気付いお、寝床でいろいろ方法を考えおいた。
なかなか寝付けず、3時半ごろ起き䞊がりあれこれプログラムをどう組み䞊げおいけばいいか
悪戊苊闘を繰り返す。
䟋の15桁構成をくみ䞊げお行く手順に苊戊したした。䞭倮郚が通りに分かれる可胜性を持぀。
䜕ずか5時半ごろ、䞋のものにヒットしたした。

677777767777776^2 = 459382702493824850617319506176

他のパタヌン(党郚で8000通り近くある。)も調べたしたが、これただ䞀䟋だけですよね。

匕甚しお返信線集・削陀(線集枈: 2022幎07月23日 06:37)

はい、正解です。
2皮類の数字で構成される15桁の自然数で2乗するず09が3個ず぀になるものは
プログラムにバグがなければ党郚で23通りで、そのうちこの䞀぀が
面癜い圢だったので出題したした。
888988889888889 や 822288882228888 も比范的面癜い圢ですね。
565656565656555 は惜しい。

匕甚しお返信線集・削陀(未線集)
合蚈2893ä»¶ (投皿504, 返信2389)

ロケットBBS

Page Top