面白い問題おしえて～な二十一問目

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2ch.scのread.cgiへ]
Update time : 04/13 18:38 / Filesize : 286 KB / Number-of Response : 1042
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

面白い問題おしえて～な二十一問目

1 名前：１３２人目の素数さん mailto:sageteoff [2015/05/22(金) 09:38:35.72 ID:wNOlCA2c.net]: 過去ログ
www3.tokai.or.jp/meta/gokudo-/omoshi-log/
まとめwiki
www6.atwiki.jp/omoshiro2ch/

1 cheese.2ch.net/test/read.cgi/math/970737952/
2 natto.2ch.net/test/read.cgi/math/1004839697/
3 science.2ch.net/test/read.cgi/math/1026218280/
4 science.2ch.net/test/read.cgi/math/1044116042/
5 science.2ch.net/test/read.cgi/math/1049561373/
6 science.2ch.net/test/read.cgi/math/1057551605/
7 science2.2ch.net/test/read.cgi/math/1064941085/
8 science3.2ch.net/test/read.cgi/math/1074751156/
9 science3.2ch.net/test/read.cgi/math/1093676103/
10 science4.2ch.net/test/read.cgi/math/1117474512/
11 science4.2ch.net/test/read.cgi/math/1134352879/
12 science6.2ch.net/test/read.cgi/math/1157580000/
13 science6.2ch.net/test/read.cgi/math/1183680000/
14 science6.2ch.net/test/read.cgi/math/1209732803/
15 science6.2ch.net/test/read.cgi/math/1231110000/
16 science6.2ch.net/test/read.cgi/math/1254690000/
17 kamome.2ch.net/test/read.cgi/math/1284253640/
18 kamome.2ch.net/test/read.cgi/math/1307923546/
19 uni.2ch.net/test/read.cgi/math/1320246777/
20 wc2014.2ch.net/test/read.cgi/math/1356149858/
331 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 12:10:25.76 ID:iq8wMPDx.net]: >>318
間違いだらけだな。
332 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 13:42:51.33 ID:Kz60zSMw.net]: ＞(a+b)+(a+c)+(b+c)=2(a+b+c)なので、(a+b),(a+c),(b+c)の中に奇数は０個か２個ある　→　a,b,cに奇数は１個か３個ある。

a,b,cについての恒等式からa,b,cの偶奇の組合せが絞られるわけないわな
333 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 14:14:00.03 ID:nh2qC05S.net]: a,b,c,d,e全てが偶数であるケースを除いて考えてよいので、
可能性として残るのは、a,b,c,d,e全てが奇数の時のみ
334 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 14:19:43.64 ID:77MtUAG6.net]: 確かにこの段階で、除外するのは早々なので、
誤：(a+b)+(a+c)+(b+c)=2(a+b+c)なので、(a+b),(a+c),(b+c)の中に奇数は０個か２個ある　→　a,b,cに奇数は１個か３個ある。
正：(a+b)+(a+c)+(b+c)=2(a+b+c)なので、(a+b),(a+c),(b+c)の中に奇数は０個か２個ある　→　a,b,cに奇数は０個か１個か３個ある。
と訂正しておく
335 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 15:15:01.98 ID:Kz60zSMw.net]: a,b,cについての恒等式から（以下略
336 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 20:06:53.92 ID:ZTPCiJii.net]: あ、なるほど、いろいろ検討している内に、a+b、a+c、...、d+e の十個の和は、全て偶数であることが
当たり前と思っていたので、それを前提に議論を進めていたが、そうで無い場合についても言及せねばならなかった。

a,b,c,d,eの中の奇数の数が０個の時、a+b,a+c,,,,,d+eの１０個の和の内、奇数の数は０個
a,b,c,d,eの中の奇数の数が１個の時、同、４個
a,b,c,d,eの中の奇数の数が２個の時、同、６個
a,b,c,d,eの中の奇数の数が３個の時、同、６個
a,b,c,d,eの中の奇数の数が４個の時、同、４個
a,b,c,d,eの中の奇数の数が５個の時、同、０個
となるが、a+b,a+c,,,,,d+eの１０個の和全てが偶数なら、a,b,c,d,e全てが偶数か、全てが奇数と結論できる。
前者を除いたので、a,b,c,d,e全てが奇数となり、その後の内容が>>318の通り

ここで、10個の和全てが偶数で
337 名前：は無い場合について少し説明を加えると、 10個の和の内、４個が奇数の場合は、a,b,c,d,e全てが、pの倍数か、残り６個の和が全てが2の冪数と要請される。 前者は前提から除かれ、後者も、(b+d)+(c+e)=(b+e)+(c+d)という関係式から、 x<u、x<v、u<y、v<yという条件で、2^x+2^y=2^u+2^vという関係を満たす必要があり、不可能と判る。 ６個が奇数の場合は、a,b,c,d,e全てが、pの倍数となり、やはり除かれる。 []: [ここ壊れてます]
338 名前：１３２人目の素数さん mailto:sage [2015/09/03(木) 21:20:52.95 ID:eePIZyAA.net]: >>285誰か解けた？
339 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 16:18:20.31 ID:I2InW5r5.net]: 円周上にランダムに5点を取るとき、それらが半円弧に収まる確率を求めよ。
340 名前：１３２人目の素数さん [2015/09/04(金) 16:22:09.35 ID:+AZVzaso.net]: >>312 の一般化
kを正の整数, p_1, p_2,...,p_kをk個の相異なる素数とするとき, 任意の相異なる2^k+1個の正の整数に対して, そのうち2つを上手く選ぶことで, 選んだ2数の和がp_1,p_2,...,p_kのいずれとも異なる素数で割り切れるようにできることを示せ.
341 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 16:38:08.52 ID:wfaRDC6Y.net]: >>327
1/16
342 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 17:02:48.59 ID:I2InW5r5.net]: >>329
ハズレ。
そもそも答えだけ書く者は、以降荒らしと見做して無視することにする。
343 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 18:29:41.26 ID:KNPzHhFF.net]: ランダムにとった５点はいずれも重ならないの？
344 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 18:45:19.70 ID:KNPzHhFF.net]: そもそも実数をランダムに選択ってのが出来たんだっけ？
よくわからんくなってきた。
345 名前：329 mailto:sage [2015/09/04(金) 19:05:43.41 ID:wfaRDC6Y.net]: >>331
単位円上に点を設定することとし、5点の内x軸との角度が最小な点をAとすると
他の1点がある半円の方に他の3点が存在すればよいから
(1/2)^3=1/8
346 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 19:56:58.23 ID:wfaRDC6Y.net]: 訂正
単位円上に点を設定することとし、初めの1点を原点として座標を設定し
次の1点がある半円の方に他の3点が存在すればよいから
347 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 19:59:51.48 ID:Qh2v0xn2.net]: ＞次の1点がある半円
その半円は一つに定まるのかいな
348 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 20:22:26.79 ID:RexkMsQ0.net]: 第１点第２点の成す角をαとして、αは0～πの一様分布。
第３点が第１点に対して成す角を
第２点が正になるように測った偏角をβとすると
βは-π～πの一様分布で、
α-π≦β≦πのとき題意は成立する。
そのうち、0≦β≦αのときは
第３点γがα-π≦γ≦πならよく、
α≦β≦πのときはβ-π≦γ≦πならよい。
これを同様に第５点まで繰り返して、
題意の成立範囲を積分すれば終了。
単純だが面倒な作業なんで、誰かやって。
349 名前：327 mailto:sage [2015/09/04(金) 20:31:51.84 ID:I2InW5r5.net]: 紛らわしいので相異なる5点としておきますね。結果はたぶん変わらないかと…。
とりあえず正解は出ていない。

（再掲）
円周上にランダムに相異なる5点を取るとき、それらが半円弧に収まる確率を求めよ。
350 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 21:14:10.21 ID:wfaRDC6Y.net]: >>329
は間違っていた。

>>337
3点目以降の場合分けにより、角度/360の掛け算により計算できると思われる。
351 名前：１３２人目の素数さん mailto:sage [2015/09/04(金) 21:38:47.86 ID:I2InW5r5.net]: ちゃんと答案作ってから書いてください。
思いつきで適当なこと書いているのと変わらないから。
352 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 00:08:11.86 ID:qNbCyIHq.net]: やだよ、めんどくさいから。>>336
353 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 00:11:55.70 ID:YJSRpv0h.net]: 360などという人工的な数字が出てくるなんてビックリだよ
354 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 00:20:32.24 ID:FBLHJ4e5.net]: まさか、
「ランダムに相異なる5点を取る」
では問題が定義できていないことに気付いてないわけではないよな？
ただの釣りだよな？

それにしても、Wikipediaの「ベルトランの逆説」の項もたいがいだな…
エムシラも暴れてるし
355 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 00:27:40.58 ID:YJSRpv0h.net]: この場合、ベルトランの逆説のような多義性は産まれるのか？
ワイル
356 名前：の一様分布定理の「一様」って何だよ、などと文句言う人がいないのと同程度には明確な文章だと思うけど []: [ここ壊れてます]
357 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 00:35:25.88 ID:B7UAE1rW.net]: >>341
当然、360[°]=2π[rad]
358 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 01:06:21.18 ID:qNbCyIHq.net]: >>343
台が有界だから、一様分布は普通にあるだろ。あと、
五点の分布が独立とすれば、分布は定義できてる。
問題はないよ。
359 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 01:12:01.76 ID:FBLHJ4e5.net]: 通し番号を付けた5点がそれぞれ独立に円周上の一様分布で選ばれるものとする。
2点以上が一致する場合は確率としては0になるので無視して構わない。
5点が異なり、なおかつ全てが半円周内に含まれるとき、
その半円周内での反時計回りの並び順は半円周の取り方によらない。
したがって、どの点がその半円周の中で最初に出現するかで場合分けして確率を求めればよい。
条件を満たし、１番目の点が半円周内で最初に出現する確率は、他の点がその点から始まる半円周内に含まれればよいので、1/16
以下いずれも1/16なので、
条件を満たす確率は5/16

一般に、n個の点なら
n/(2^(n-1))
360 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 01:32:00.22 ID:qNbCyIHq.net]: そりゃ、違うだろ。
361 名前：327 mailto:sage [2015/09/05(土) 01:44:50.07 ID:KPdtalXu.net]: >>346
正解です。
362 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 01:52:53.10 ID:tC0sbvGS.net]: >>346
シミュレーションでも、それを支持しているようです。
codepad.org/WJLaAYes
codepad.org/wHVR0dWc
363 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 02:11:01.03 ID:Z/YUQy9A.net]: 本日の赤っ恥　ID:qNbCyIHq
364 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 07:28:47.36 ID:9SCQre6I.net]: >>346
n点が1/3円周に含まれる確率はいくつか
n点が2/3円周に含まれる確率はいくつか
365 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 11:58:09.69 ID:FBLHJ4e5.net]: >>351
1/3だと同様の考え方でできますが．
2/3だと（つまり1/2を超えると）問題が複雑化しそうですね
366 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 13:31:07.44 ID:FBLHJ4e5.net]: >>351
5点だと

1/3円周の場合は同様にして5/(3^4)=5/81

2/3円周の場合は、隣り合う点と点の間隔が1/3以上となる箇所が
1箇所のみの場合と2箇所の場合を考える必要がある。（3箇所の場合は確率0なので無視）
5×(2/3)^4 = 80/81 という計算では、2箇所の場合をダブルカウントしているので
それを引く必要がある。

以下、隣り合う点と点の間隔が1/3以上となる箇所が2箇所ある場合について考える。
その２つのインターバルで区切られる点のグループは
「1個と4個」の場合と「2個と3個」の場合がある。

1個と4個の場合、単独の1個をA、4個の先頭をBとして、AとBの選び方が5Ｐ2 = 20通り
以下、1周を1として、AB間の距離をrとすると、1/3≦r＜2/3
ABを固定して考えると、残りの3点はBに続く長さ(2/3)-rの範囲に存在すればよいので
1個と4個の場合の確率をまとめると
20×∫[1/3～2/3]((2/3)-r)^3 dr = 5/81

2個と3個の場合、2個を順にA，B、3個の先頭をCとして、ABCの選び方が5Ｐ2 = 60通り
AB間の距離をx、BC間の距離をyとすると、0＜x＜1/3、1/3≦y＜(2/3)-x
残り2点の存在範囲は(2/3)-x-y以内となり、確率は
60×∫[0～1/3]∫[1/3～(2/3)-x]((2/3)-x-y)^2 dydx = 5/81

よって、求める確率は
80/81 - (5/81 + 5/81) = 70/81

…とここまで書いて、あることに気付いたので続く
367 名前：１３２人目の素数さん mailto:sage [2015/09/05(土) 14:09:39.00 ID:FBLHJ4e5.net]: >>351 >>353
n点が2/3円周に含まれる場合
n×(2/3)^(n-1)では、隣り合う2点の間隔が1/3以上となるのが2箇所ある場合を
ダブルカウントしている

隣り合う2点の間隔が1/3以上となるのが2箇所ある配置を１つ考える。
その2箇所で分断される2つのブロックの先頭をA,Bとすると、
Aから始まるブロックまたはBから始まるブロックを前に1/3だけ詰めることで、
n点が1/3円周に含まれる配置を計2つ作ることができる。
また、そのような操作で同じ「n点が1/3円周に含まれるパターン」となるような�
368 名前：ｳの配置は n-1個存在する。 したがって、隣り合う2点の間隔が1/3以上となるのが2箇所ある配置となる確率をp、 n点が1/3円周に含まれる確率をqとすると、 2p=(n-1)qとなり、p=(n-1)q/2 q=n×(1/3)^(n-1)より、p=(n(n-1)/2)×(1/3)^(n-1)=(nＣ2)×(1/3)^(n-1) よって、n点が2/3円周に含まれる確率は n×(2/3)^(n-1) - (nＣ2)×(1/3)^(n-1) = n(2^n-n+1)/(2・3^(n-1)) ちなみに、p=(nＣ2)×(1/3)^(n-1)となるところはもっと簡単に説明できそうだ。 1/2円周～2/3円周の間なら同様の考え方。 []: [ここ壊れてます]
369 名前：１３２人目の素数さん mailto:sage [2015/09/06(日) 16:18:23.20 ID:C64RsHHe.net]: 一般化した。

m,nを自然数とし、(m-1)/m < r ≦ m/(m+1) とする。
通し番号をつけたn個の点を、円周上からそれぞれ独立に一様分布に従いランダムに選ぶとき、
n点が、円周全体のr倍の長さの範囲に全て含まれる確率をPとすると、

P = Σ[k=1～m]Σ[j=1～k](-1)^(k-j)・(nＣk)・(kＣj)・(1-k(1-r))^(n-1)

となることを示せ。

ただし、二項係数aＣbは、0≦a<bのとき0となるものとする。
（この注釈を認めない場合は、n≧mという制約が必要となる）
370 名前： ◆z2JTMx230M [2015/09/07(月) 11:23:30.81 ID:gh2mDV64.net]: 半径1の半球を底円と並行な平面で体積が半分になるように切断した
このとき、断面積は{(ア)cos(イウ°)-(エ)}π

アイウエに当てはまる数字はなにか？
答えはトリップ
#ｱｲｳｴ
の形で
371 名前： ◆z2JTMx230M mailto:sage [2015/09/07(月) 12:04:12.25 ID:8ic4L5sE.net]: どうだ。
372 名前：１３２人目の素数さん mailto:sage [2015/09/07(月) 12:07:16.62 ID:8ic4L5sE.net]: ちょっと面白かった。カルダノさんのおかげ
373 名前：１３２人目の素数さん [2015/09/08(火) 08:42:20.02 ID:mvj/sh7U.net]: 警察による税金を使ったいやがらせ犯罪、集団ストーカー。犯行内容
盗聴、盗撮、尾行、待ち伏せ、家宅侵入、窃盗、器物破損、風評のばらまき、就職妨害、リストラ工作、
暴走族や暴走大型車両による騒音攻撃の繰り返し、住居周辺での事件のでっちあげ、音声送信の強要、
電磁波による触覚攻撃、思考盗聴、無言電話、無実の人間を犯人にでっち上げ、ヘリによる威嚇、殺人、
メディアを使ってのほのめかし、パソコン遠隔操作で対象者のパソコン内部データをいじくる。
こういった犯罪組織に人を逮捕する権限をあたえているという、今の日本は恐ろしい国になっている。
374 名前：１３２人目の素数さん mailto:sage [2015/09/08(火) 09:23:37.41 ID:aX2AWZyo.net]: 妄想はともかく、マイナンバーは酷いことになりそうだな。
375 名前：１３２人目の素数さん [2015/09/08(火) 13:36:28.23 ID:zb04xocN.net]: ヘリによる威嚇というのは間違いなく存在し、私が就職活動で東京に高速バスで行ったときに
蛯名パーキングエリアでバスから降りると、頭上に自衛隊のヘリが高度100m程度で
ホバーリングしていた。

上下関係ということでも示したかったのだろうか。小学生程度の頭の持ち主の行動だと考えられる。

そのことを盗聴されている部屋で「独り言」で言ったら、すぐに某テレビ局で蛯名パーキングエリアが
取り上げられていた。
376 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 01:18:11.86 ID:mShGGGhv.net]: >>328

二つの素数、例えば、2,3なら、1,5,7,11の四つの数を取�
377 名前：黷驍ｪ、五つは無理（証明済み） 三つの素数、2,3,5なら、1,3,7,17,47や、1,5,31,49,59等５つの数を取れるが、おそらく６つは無理（2000以下でチェック済み。以下同様） 四つの素数、2,3,5,7なら、1,2,3,5,7,13や、1,2,3,7,13,47等６つの数を取れるが、おそらく７つは無理 五つの素数、2,3,5,7,11なら、1,2,5,9,13,19,23,31や1,3,5,6,9,15,27,39等８つの数を取れるが、おそらく９つは無理 六つの素数、2,3,5,7,11,13なら、1,2,3,5,7,9,13,19,23,47や1,3,5,7,9,13,17,19,23,47等１０の数を取れるが、おそらく１１は無理 つまり、 k=3では、おそらく6つで無理なのに、9個では無理であることを k=4では、おそらく7つで無理なのに、17個では無理であることを k=5では、おそらく9つで無理なのに、33個では無理であることを k=6では、おそらく11で無理なのに、65個では無理であることを証明せよという一般化になっている 保険を掛けすぎ。 （最初に指摘しておくべきだが、問題文にも問題があると思われる） []: [ここ壊れてます]
378 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 02:07:36.57 ID:8SrfUZPd.net]: >>362
328ではないが
その「保険をかけている」ものについてすら一般化した証明を示してないのに
何言ってんの？

それって、たとえば
「双子素数どころか、三つ子素数だろうが４つ子素数だろうが
可能な素数の並びはどれも無限に存在するっぽいのに、
双子素数だけ取り上げて無限にあるという命題立てるなんて保険かけすぎ」
とか言ってるのと同じ。

証明ってなあに？

>>328は自分の証明できたものを問題として提示しているだけでしょうに
379 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 02:56:08.65 ID:m3YLRiSK.net]: (1) cos1°は無理数であることを証明せよ

(2)cos1°は超越数か？そうでなければ最低何次の有理数係数の方程式で表せるか
380 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 03:47:16.16 ID:hpZpH5c5.net]: >>364
cosの30倍角公式と60倍角公式が
整係数多項式であることから、
cos1゜が代数的無理数であることが判る。
次数は、どしたらよかろ？
381 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 07:17:59.99 ID:8SrfUZPd.net]: >>365
自然数nについて、T_n(cosθ)=cos(nθ)を満たすような多項式T_n(x)
（n次のチェビシェフの多項式）について
T_n(x)=0の解は、x=cos((2k-1)π/(2n)) （k=1,2,…,n）
であることを踏まえると、
T_90(x)=0の解がcos1°，cos3°，cos5°，…，cos179°
T_30(x)=0の解がcos3°，cos9°，cos15°，…，cos177°
T_18(x)=0の解がcos5°，cos15°，cos25°，…，cos175°
T_6(x)=0の解がcos15°，cos45°，cos75°，…，cos165°
となるので、
T_90(x)*T_6(x)/(T_30(x)*T_18(x))なる48次の有理数係数の多項式が存在し、
～=0の解はcosN°（Nは180以下で180と互いに素なφ(180)=48個の各自然数）

解の1つがcos1°となっているので、48が最低次数の上界であることは確か。
382 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 08:14:04.63 ID:hpZpH5c5.net]: 48次の多項式がある
って話でしょ。
最低次数はどうしよう？
383 名前：１３２人目の素数さん [2015/09/09(水) 10:03:56.77 ID:iAt2BKmH.net]: >>366
48は正解です
厳密な証明は有理数体にcos1°を添加して拡大次数を見る
あとは1の原始360乗根使ってφ(360)/2を計算するだけ
384 名前：１３２人目の素数さん [2015/09/09(水) 10:27:59.54 ID:iAt2BKmH.net]: もう少し具体的に言うと
1の原始n乗根をζ_nとすると
オイラーの公式から
cos1°=cos(2π/360)=(ζ_360+ζ_360^-1)/2
よりQ(ζ_360)⊃Q(cos1°)
またcos1°は実数でζ_360は虚数を含むため[Q(ζ_360):Q(cos1°)]≧2
さらにオイラーの公式からQ(cos1°)上ζ_360を根に持つ二次方程式を実際に作れているので[Q(ζ_360):Q(cos1°)]=2が確定
拡大次数が乗法的なことから
[Q(ζ_360):Q]=[Q(ζ_360):Q(cos1°)][Q(cos1°):Q]
⇔[Q(cos1°):Q]=[Q(ζ_360):Q]/[Q(ζ_360):Q(cos1°)]=φ(360)/2=φ(2^3 3^2 5)/2=2^2(2-1)3(3-1)(5-1)/2=48
したがって最低次数は48であることが分かる
385 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 12:58:38.19 ID:8SrfUZPd.net]: >>369
自分の知識では>>366の予�
386 名前：zが限界だったことはよくわかった ＞1の原始n乗根をζ_nとすると 正確に言うと「ζ_n=e^(2πi/n)とすると」かな まあわかるけど。 []: [ここ壊れてます]
387 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 13:26:04.64 ID:Gaa20TDn.net]: >>364
この問題か。最小多項式の次数を除いては、
もうとっくの昔に思い付いて解いちゃっているよ。
半倍角公式からsin^2(1°)＝(1-cos(2°))/2で、
cos(2°)も代数的無理数だから、sin(1°)の方も代数的無理数な。
388 名前：１３２人目の素数さん [2015/09/09(水) 13:30:31.47 ID:iAt2BKmH.net]: >>370
高校生の知識でも実際に48次方程式作って判定法使って既約ってことを気合いで示す方法もあるにはあるよ
あまりにも無謀すぎるやり方だけど
>>371
いちおう次数がメインの問題として作ったつもり(1)はおまけ問題程度だと思って
389 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 15:12:57.74 ID:8SrfUZPd.net]: >>372
その48次方程式が既約であることが示せても、
それ以外にcos1°を解として持つもっと次数の低い方程式が存在しないことを示すのは
高校生の知識では無理かと。
390 名前：１３２人目の素数さん [2015/09/09(水) 15:27:49.15 ID:Ar2FfDWa.net]: >>373
いやそれを根に持つ多項式が既約ならその多項式の次数が最低次数ってことは言えるよ
最小多項式(最高次の係数が1で既約なもの)の一意性から言える
一意性の証明は高校生レベルでも出来るには出来るよ
多項式の剰余を使う
391 名前：１３２人目の素数さん mailto:sage [2015/09/09(水) 15:35:26.17 ID:7pNKW7ME.net]: 高校レベルだと既約性を示す方が難しいんじゃないか
392 名前：１３２人目の素数さん [2015/09/09(水) 15:37:01.63 ID:Ar2FfDWa.net]: >>375
それも確かに問題だね
アイゼンシュタイン判定法は数学オリンピックでも使うくらいだからいちおう高校生レベルと言えるのかな？
393 名前：１３２人目の素数さん [2015/09/10(木) 08:13:40.43 ID:q7HF0xVJ.net]: a(1)=1,a(n+1)=a(n)/2+1/a(n)のとき、
a(n)を求めよ
Wolframとか使わずに初見で解いたらバケモノ
394 名前：１３２人目の素数さん [2015/09/10(木) 09:25:33.48 ID:FE0uoLCP.net]: １次分数式だから高校数学レベル
395 名前：１３２人目の素数さん [2015/09/10(木) 09:26:09.96 ID:FE0uoLCP.net]: 低レベル掲示板だったか
これはすまぬ
396 名前：１３２人目の素数さん [2015/09/10(木) 10:24:22.44 ID:q7HF0xVJ.net]: >>378
通分して分子二次式になるから普通の分数型と違うぞ
解けるなら解いてみろよ
397 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 10:26:56.48 ID:fwhHKoME.net]: >>378
１次分数式の定義は？
398 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 11:23:27.03 ID:fwhHKoME.net]: >>377
a(n+1) = (a(n)^2+2)/(2a(n))
a(n+1)+√2 = (a(n)+√2)^2/(2a(n))
1/(a(n+1)+√2) = 2/(a(n)+√2)-2√2/(a(n)+√2)^2

b(n) = √2/(a(n)+√2)とおくと
b(n+1) = 2b(n)-2b(n)^2
1-2b(n+1) = (1-b(n))^2

c(n) = 1-2b(n)とおくと
c(n+1) = c(n)^2
c(1) = 2√2-3
c(n) = (2√2-3)^(2^(n-1))

a(n) = √2(2/(1-c(n))-1)
= √2(2/(1-(2√2-3)^(2^(n-1)))-1)

なんか、等価でもっときれいな形式もありそうではあるが。
a(n) = √2(1+c(n))/(1-c(n))のほうがまだまし？
399 名前：１３２人目の素数さん [2015/09/10(木) 11:43:27.03 ID:1+1gfes7.net]: >>377
a(n)=√2b(n)/c(n), b(1)=1 c(1)=√2 とおいて元の式に代入すると
√2b(n+1)/c(n+1) = b(n)/√2c(n) + c(n)/√2b(n) = √2{b(n)^2+c(n)^2}/2b(n)c(n)
分母分子比較して、 b(n+1)=b(n)^2+c(n)^2, c(n+1)=2b(n)c(n)
b(n+1)+c(n+1)=(b(n)+c(n))^2, b(n+1)－c(n+1)=(b(n)－c(n))^2
よって、 b(n)+c(n)=(1+√2)^(2^(n-1)), b(n)－c(n)=(1－√2)^(2^(n-1))
a(n)=√2・{(1+√2)^(2^(n-1))+(1－√2)^(2^(n-1)}/{(1+√2)^(2^(n-1))－(1－√2)^(2^(n-1)}
整理すると、a(1)=1, n≧2のとき a(n)=√2・{(1+√2)^(2^n)+1}/{(1+√2)^(2^n)－1}
400 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 13:55:41.73 ID:UqiYOrwz.net]: >>383
> 分母分子比較して、 b(n+1)=b(n)^2+c(n)^2, c(n+1)=2b(n)c(n)

なんだよ、このトンデモ数学は！ああ？
401 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:05:04.55 ID:fg01Fu9/.net]: その等式を満たすb(n)とc(n)を何でもいいから見つければいい、という意味だろう
文脈を読め
402 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:07:55.34 ID:fUpTwTtH.net]: >>377
問題の条件「a(n+1)＝a(n)/2+1/a(n)」の右辺が普通の解釈になるように「a(n+1)＝(a(n)/2)＋(1/a(n))」を指すのか、
それとも右辺が連分数のような形で表される「a(n+1)＝a(n)/(2＋1/a(n))」を指すのか、任意に2通りの解釈が出来るため、
条件を満たす解a(n)の一意性が保証されず、非適切な問題になって、国語辞書に書いてある多くの人が用いる意味での問題
になっていないと思われる (紙ではなく同じ大きさの1行の中に書くため、初期条件「a(1)=1」から、
「a(n+1)=a(n)/2+1/a(n)」という書き方では、大きい「＋」が小さい「+」になっていて、容易にこのような解釈が出来るとは思う)。
403 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:10:29.20 ID:fg01Fu9/.net]: 一方を普通の解釈と認めておきながら、直後に中立の立場をとるのかｗ
404 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:12:15.99 ID:fUpTwTtH.net]: >>377
(>>386の続き)

非適切性の証明]：nはn≧1なる自然数変数なることを仮定してよい。そこで、nはn≧1なる自然数変数と仮定する。
2つの与えられた条件を両方共に満たす解a(n)が存在しないときは与えられた問題は確かに非適切である。
そこで、2つの与えられた条件を両方共に満たす解a(n)が存在するとする。そして、
2つの与えられた条件を両方共に満たす解a(n)が一意に存在したとする。初期条件a(1)＝1から
a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)≧1
であり、解(n)により1つの実数列{a(n)}が構成される。同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
ここで、再度解の一意性が保証された解a(n)は、任意のn≧1なる自然数nに対して
a(n+1)＝(a(n)/2)＋(1/a(n))、a(n+1)＝a(n)/(2＋1/a(n)) を両方共に満たすことに注意する。
n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^2 。従って、kを元に戻すと、
((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 を満たす。
よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^2 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^2
だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
405 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:20:24.52 ID:fUpTwTtH.net]: >>377
いや、>>388の
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
の部分は
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対して「a(n)≧0」であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対して「a(n)≧0」であり、解(n)により1つの実数列{a(n)}が構成される。
ですな。「a(n)≧1」の部分は「a(n)≧0」訂正。
406 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 14:35:56.00 ID:fUpTwTtH.net]: >>387
普通は普通の他の何物でもない。普通の解釈とは、
多くの人が認めそれに従うと思われる基準に則った解釈だよ。
沢山の人は「a(n+1)＝a(n)/2+1/a(n)」を見たら、
連分数の形で表された「a(n+1)＝a(n)/(2+1/a(n))」では
なく「a(n+1)＝(a(n)/2)+(1/a(n))」と解釈するだろうよ。
407 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 15:04:56.68 ID:fUpTwTtH.net]: >>377
ちなみに、すぐ分かるとは思うのだが、論理の飛躍があるから、>>388の
>初期条件a(1)＝1から
>a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)≧1
>であり、
の部分は
>初期条件a(1)＝1から a(n+1)＝(a(n)/2)＋(1/a(n)) と解釈すると、任意のn≧1なる
>自然数nに対してa(n)＞0 。ここで、n≧2なる自然数nを任意に取ると、a(n)＞0だから、
>相加・相乗平均の関係により、a(n+1)＝(a(n)/2)＋(1/a(n))≧2√(1/2)＝√2 。
>n≧2なる自然数nは任意だから、nを条件n≧2の下で走らせると、任意のn≧2なる
>自然数nに対してa(n)≧√2 。よって、a(1)＝1＜√2 から、任意のn≧1なる自然数nに対して
>a(n)≧1 であり、
のような感じに訂正。さすがに任意のn≧1なる自然数nに対してa(n)＞0なることは、
直観的にも明らかで、nに関する帰納法からすぐ分かるとは思う。
408 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 15:16:34.87 ID:fUpTwTtH.net]: >>377
幾度も悪いが、>>389は取り消しで、>>388の
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対してa(n)≧1であり、解(n)により1つの実数列{a(n)}が構成される。
の部分は
>同様に、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、
>任意のn≧1なる自然数nに対して「a(n)＞0」であり、解(n)により1つの実数列{a(n)}が構成される。
>よって、与えられた条件を満たすような、解の一意性が保証された解a(n)について、
>任意のn≧1なる自然数nに対して「a(n)＞0」であり、解(n)により1つの実数列{a(n)}が構成される。
でした。「a(n)≧1」の部分を「a(n)＞0」に訂正すべきだったにもかかわらず、「a(n)≧0」と書いてしまいました。
こういう風に解釈しても、任意のn≧1なる自然数nに対してa(n)＞0なることは、
直観的にも明らかで、nに関する帰納法からすぐ分かるとは思う。
409 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 16:06:11.07 ID:fUpTwTtH.net]: >>377
>>388の
>n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
>a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
>であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^2 。従って、kを元に戻すと、
>((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
>実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^2 を満たす。
>よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^2 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^2
>だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
の部分は
>n≧1なる自然数nを任意に取る。実数列{a(n)}の第n項a(n)を＝kとおけば、a(n+1)＝(k/2)＋(1/k)、
>a(n+1)＝k/(2＋1/k) が両方共に成り立つから、(k/2)＋(1/k)＝k/(2＋1/k) から k^2＋2＝(2k^2)/(2＋1/k)
>であり、(k^2＋2)(2＋1/k)＝2k^2 だから、(k^2＋2)(2k＋1)＝2k^3 。従って、kを元に戻すと、
>((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^3 。n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせれば、
>実数列{a(n)}について、任意のn≧1なる自然数nに対して第n項a(n)は ((a(n))^2＋2)(2・a(n)＋1)＝2(a(n))^3 を満たす。
>よって、n＝1とすると、((a(1))^2＋2)(2・a(1)＋1)＝2(a(1))^3 であり、初期条件a(1)＝1から、(1^2＋2)(2・1＋1)＝2・1^3
>だから、両辺をそれぞれ計算すると、9＝2を得る。しかし、9＝2は9≠2に反し矛盾する。
と訂正ですな。
410 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 16:20:37.27 ID:UqiYOrwz.net]: (1) Σ[k=1 to 4^m] (1/k)^{1/m}、mは2以上の自然数
(2) m(4^{m-1}-1)/(m-1) + 5/8

(1)と(2)の整数部分は等しいことを示せ。
411 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 21:48:53.01 ID:fwhHKoME.net]: なんか変な荒れ方してるが、まあどうでもいい

>>383
b(n)とc(n)の決め方が、３次方程式を解くカルダノの方法のuとvの探し方みたいですな。
2√2-3 = (1+√2)^(-2)だから、>>382は汚いけど答えは一致したってことで。
412 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 22:19:31.06 ID:fwhHKoME.net]: あ、違う。(1+√2)^(-2) = 3-2√2だな。あれ？
ああそうか、だから>>383ではa(1)をまとめられなかったのか。
413 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 22:24:24.58 ID:Fdi5OLRB.net]: >>377
蛇足だと思うが、一言
漸化式を見ると、右辺の非対称性が気になる。そこで全体を√2で割りたくなるが、すると
a_{n+1}/√2=(1/2){(a_n/√2)+(√2/a_n)}
と、数列a_{n}/√2は、「そのものと、そのものの逆数の平均」が次の項となるような数列にすることができる
このようなある種の平均が次の項になるという漸化式を、三角関数の加法定理を利用して解いた経験から、
その辺にヒントがあるだろうと、公式集を見てみると、coth(x)が将にそれにあたる
つまり、a_{n}/√2 ～ (e^x+e^(-x))/(e^x-e^(-x))　～　(X+1)/(X-1)
実際 (X+1)/(X-1) は、逆数と和を取って半分にすると言う変換を行うと
(1/2){(X+1)/(X-1) + (X-1)/(X+1)} = (X^2+1)/(X^2-1)
と指数部分が二倍になるという、形の変化に対応することが確認でき、外形が定まる。
a_{n}/√2 = (X^(2^n)+1)/(X^(2^n)-1)
後は、定数を定めれば良い。定数と言っても、ここでは、X=e^(2cx)としているので、Xそのもの
1/√2 = (X+1)/(X-1)を解いて、X=-3-2√2。整理すると
a_{n}=(X^Y+1)/(X^Y-1),X=-3-2√2,Y=2^(n-1)
あるいは、虚数単位Iを使い
a_{n}=(X^Y+1)/(X^Y-1),X=I(1+√2),Y=2^n
結局、これは、ニュートン法のはなしだね。決してバケモノクラスの問題では無い。
414 名前：１３２人目の素数さん mailto:sage [2015/09/10(木) 22:27:42.42 ID:Fdi5OLRB.net]: あ、ミスった
>> a_{n}=√2(X^Y+1)/(X^Y-1),X=-3-2√2,Y=2^(n-1)
>> あるいは、虚数単位Iを使い
>> a_{n}=√2(X^Y+1)/(X^Y-1),X=I(1+√2),Y=2^n
に訂正
415 名前：１３２人目の素数さん [2015/09/11(金) 02:26:59.14 ID:StCc9XNv.net]: tan1°+√2は無理数であることを証明せよ
416 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 07:37:43.35 ID:jICTOxiG.net]: >>395-398
nはn≧1なる自然数変数なることを仮定してよい。そこで、nはn≧1なる自然数変数と仮定する。
a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n)) と解釈すると、任意のn≧1なる自然数nに対してa(n)＞0 。
n≧1なる自然数nを任意に取る。すると、a(n)＞0 であり、a(n+1)＝a(n)/(2＋1/a(n))＞0 だから、
1/(a(n+1))＝(2＋1/a(n))/(a(n))＝(2/a(n))＋(1/a(n))^2 。よって、各i＝n, n+1 に対して b(i)＝1/a(i) とおけば、
b(n)＝1/a(n)、b(n+1)＝1/a(n+1) が両方共に成り立ち、b(n+1)＝2・b(n)＋(b(n))^2 つまり b(n+1)＝(b(n))^2＋2・b(n) 。
n≧1なる自然数nは任意だから、nを条件n≧1の下で走らせると、与えられた問題は b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n)
を満たし、任意のn≧1なる自然数nに対して b(n)＝1/a(n) と変換して定義される実数列{b(n)}を求める問題に帰着される。
そこで、b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n) のときの解b(n)を求めることを考える。…… 。

仮に a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n)) だったと解釈すると、非線形の漸化式 b(1)＝1、b(n+1)＝(b(n))^2＋2・b(n)
の解b(n)を求める問題に帰着されるんだが、ここから先分かる？　>>377のいう
>Wolframとか使わずに初見で解いたらバケモノ
って、多分こっちの話だぞ。連分数の形で書かれた式 a(1)＝1、a(n+1)＝a(n)/(2＋1/a(n))
で書いたと解釈すると、線型の漸化式ではなく、非線形の漸化式を解く問題になる。
417 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 08:03:25.27 ID:jICTOxiG.net]: >>395-398
あ～、この場合は条件式 b(n+1)＝(b(n))^2＋2・b(n) の両辺に1を足して
b(n+1)＋1＝(b(n))^2＋2・b(n)＋1＝(b(n)＋1)^2 になる。
また、n＝1 のときは、b(1)＝1 なので、b(1)＋1＝2。なので、
任意のn≧1なる自然数nに対して c(n)＝b(n)＋1 と変換すると
c(1)＝2、c(n+1)＝(c(n))^2 の解c(n)を求める問題に容易に帰着出来て、
この解c(n)はすぐ求まるのか。なので、解b(n)も容易に求まり、
従って、元々の解a(n)もすぐ求まるという仕組み�
418 名前：ﾆいうか方針か。 なるほど。これは失礼を致した。大抵、非線形の問題を解くことは難しいんだけど。 []: [ここ壊れてます]
419 名前：１３２人目の素数さん [2015/09/11(金) 09:05:02.17 ID:V6ntLYDb.net]: 既出だったらすまんが

(無理数)^(無理数)が有理数になりえることを、初等的な例を挙げて示せ。
420 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 09:26:41.76 ID:AfBlc+HR.net]: >>399
tan1°は代数的無理数で、tan1°を根とする既約多項式があり、次数はいくつだか分からないが、
少なくとも５次以上であることを、証明なしに使うこととする。

√2は、G(x)=x^2-2の根
tan1°+√2が有理数だと仮定すると、ある整数pとqを使って表せるH(x)=px+qの根となる
G(x)をH(x)で割った商を　ax+b　、余りを　c（cは有理数）とすると
G(x)=(ax+b)H(x) + c、と書ける。

G(tan1°+√2)=(tan1°+√2)^2-2=(a(tan1°+√2)+b)H(tan1°+√2)＋c=c
となるが、変形すると、
tan1°=-√2±√(c+2)
右辺は、せいぜい４次の多項式の根であり、tan1°が５次以上の既約多項式の根であることと矛盾する
421 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 09:32:27.32 ID:fRi0Wl2l.net]: >>402
(2^√2)^√2 とかかな
422 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 09:36:03.42 ID:tWZwSoqi.net]: >>402
ここで既出かどうかは知らないが、
世間的に有名なやつだ。

(√3)^√2が有理数なら、それが実例になり、
無理数なら、((√3)^√2)^√2=3が実例になる。
どっちなのかは、判らん。
423 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 09:37:42.70 ID:jICTOxiG.net]: 初等的がどういう意味かは知らないが、e^{log(5)}＝5 だな。
確かにeは無理数で、log(5)は超越数だから、無理数になる。5は確かに有理数。
eもlog(5)も高校で出て来るから、初等的になるでしょう。
424 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 10:37:21.00 ID:ZFHN8CXT.net]: 当然「初等的な範囲で証明できる例」という意味で>>405みたいなのを
想定してるんでしょうな。
（排中律を使った証明を嫌がる人が沸いてくる面倒な案件ではあるw）
425 名前：１３２人目の素数さん [2015/09/11(金) 11:14:02.69 ID:/suPxUqm.net]: 結構有名なのか
この証明法を知ったときは目から鱗だった
log(2)の無理性を示す方針も可

解答例

√2は無理数である
さて、a=(√2)^(√2)とすると
aは実数であるから
aは有理数、無理数のいずれかであるが

i) aを有理数と仮定すると
a自体が(無理数)^(無理数)=(有理数)の例である

ii) aを無理数と仮定すると
a^(√2)=2であり、これは(無理数)^(無理数)=(有理数)の例である

i)、ii)より、(無理数)^(無理数)が有理数になりえることが示された
426 名前：１３２人目の素数さん [2015/09/11(金) 11:21:30.73 ID:/suPxUqm.net]: あ、俺は402ね
427 名前：１３２人目の素数さん [2015/09/11(金) 12:32:47.97 ID:FOBod9Ir.net]: >>403
正解かないちおうtan1°が5次以上ってのも示して欲しいけど

あとtan1°+√2=p (pは有理数)とすると

(tan1°)^2-2ptan1°+p^2-2=0と変形出来るから3次以上ってことさえ証明すれば十分
428 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 13:51:57.87 ID:y87/SChC.net]: >>402
(√2)^(2log[2](3))=3
これなら無理数性の証明まで十分高校レベル
429 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 15:03:07.40 ID:26HmIQf3.net]: xが無理数のときx^xが有理数となり得るか？
430 名前：１３２人目の素数さん [2015/09/11(金) 15:28:54.94 ID:FOBod9Ir.net]: >>410のヒントは倍角の公式使ってcosに帰着させる
あとは>>364の応用だけ
431 名前：１３２人目の素数さん [2015/09/11(金) 15:36:02.35 ID:FOBod9Ir.net]: 倍角というより半角の公式か
432 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 22:12:41.62 ID:tWZwSoqi.net]: >>411
log[2](3)が無理数であることは、
eが超越数であることから導かれる。
eの超越性は、超高校級かなと思う。
433 名前：１３２人目の素数さん [2015/09/11(金) 22:19:01.24 ID:JDCgBl3X.net]: >>415
log[2](3)=p/q (p,qは整数 q≠0)とすると
3^q=2^p
素因数分解の一意性から矛盾

どこにeの超越性を使ってるんだ？ん？
434 名前：１３２人目の素数さん [2015/09/11(金) 22:25:35.73 ID:JDCgBl3X.net]: ちなみに>>405はゲルフォント･シュナイダーの定理から(√3)^(√2)=3^(√(2)/2)は無理数
435 名前：１３２人目の素数さん mailto:sage [2015/09/11(金) 23:03:39.94 ID:tWZwSoqi.net]: >>416
ああ、そうか。
e^{log(5)}のとき思っていたことを
つい書いてしまったが、
君のは、底が2だった。
すまんかったな。
436 名前：１３２人目の素数さん mailto:sage [2015/09/12(土) 16:53:16.38 ID:XRx2A6+T.net]: >>412
x^x=2 となる実数 x が存在する。
（関数 f(x)=x^x は区間 [1,2] で連続、f(1)=1, f(2)=4 と中間値の定理から）

その x が有理数 p/q (p,q は自然数で互いに素) であると仮定すると、
(p/q)^(p/q)=2
p^p=2^q*q^p (*)

p≠1 のとき
(*)の左辺は p 乗数だが右辺は p 乗数でないので矛盾。
p=1 のとき
(*)の左辺は 1、右辺は 2 以上なので矛盾。

したがって、この x は無理数。
∴ x が無理数のとき x^x は有理数となり得る。
437 名前：１３２人目の素数さん [2015/09/14(月) 03:29:58.20 ID:kfYtajnS.net]: 半円をいくつかの合同な図形に分割せよ
ただし扇形は用いてはいけない
438 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 09:35:08.29 ID:O6d93CqM.net]: 中心点対称なギザギザかグニャグニャで
放射状に分割すればいい。
扇形ではない。って、トンチかい！
439 名前：１３２人目の素数さん [2015/09/14(月) 10:46:09.32 ID:qG0LsQ64.net]: >>421
少しでもギザやぐにゃあれば合同にならない気がするけど
440 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 10:51:30.03 ID:dnSa0BIn.net]: 無限個の三角形に分割
441 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 12:00:35.58 ID:OT7kPGqS.net]: そもそも出来るの？
442 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 12:43:05.62 ID:GHCoaB5O.net]: 扇形に面積0の切れ目でも入れとけ
それとも4つの扇形にして扇形2つを1図形とするか
443 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 13:07:38.24 ID:eiNVFbFa.net]: 「円」じゃなくて「半円」だよね？
半円を合同な図形に分割するんだよね？
難しくね？
444 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 18:02:17.18 ID:hCCSNFoO.net]: 扇型の一部を切り抜いて、飛び地を持つ図形にすればいい
445 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 18:09:26.69 ID:72x0Si/g.net]: >>427
飛び地と本体との間隔がそれぞれ違くならない？
446 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 18:11:27.48 ID:72x0Si/g.net]: あぁ二つに
447 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 18:12:03.03 ID:72x0Si/g.net]: すればいいだけか
448 名前：１３２人目の素数さん [2015/09/14(月) 18:31:29.17 ID:N6lFSlFA.net]: 裏返しになるから合同じゃなくね？
449 名前：１３２人目の素数さん [2015/09/14(月) 18:34:32.94 ID:Yv3jNlqx.net]: えっ
450 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 19:58:31.91 ID:O6d93CqM.net]: >>426
ああ、半円か！
バナッハタルスキ使う？
451 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 22:12:07.21 ID:W7Wo0lmA.net]: 合同じゃなくて相似なら（そして境界線が健全な曲線でなくていいなら）
なんとでもやりようがあるのだが
452 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 22:24:43.97 ID:KixLyrfi.net]: 有限個に分割とは書いてないので、半円状の各点について一点集合を考えれば…
453 名前：１３２人目の素数さん mailto:sage [2015/09/14(月) 22:49:53.17 ID:/BVJmROY.net]: いくつかの合同な図形=何種類かの合同な図形の組だったりしないよな
454 名前：１３２人目の素数さん mailto:sage [2015/09/15(火) 12:02:42.56 ID:zynqzyx5.net]: 簡単かもしれんが…。

(1) 多項式 f(x) に対して、f(f(x))-x は f(x)-x で割り切れることを示せ。
(2) f(x) が分数式や無理式の場合はどうか？
455 名前：１３２人目の素数さん mailto:sage [2015/09/15(火) 12:15:35.76 ID:GA6S6TvJ.net]: >>437
kanae.2ch.net/test/read.cgi/prog/1436134409/58-59
456 名前：１３２人目の素数さん mailto:sage [2015/09/15(火) 15:51:40.50 ID:eoTYkqja.net]: >>437
f(x)=f(a)+(x-a)f'(a)+(1/2)(x-a)^2f''(a)+(1/6)(x-a)^3f'''(a)+...
これは、f(x)をx=aの周りでテイラー展開したものだが、任意のfに対する、aとxの恒等式とも言える。
a=f(x)を代入すると
f(x)=f(f(x))+(x-f(x))f'(f(x))+(1/2)(x-f(x))^2f''(f(x))+(1/6)(x-f(x))^3f'''(f(x))+...
f(f(x))-x=(f(x)-x){1+f'(f(x))}+(1/2)(f(x)-x)^2f''(f(x))+(1/6)(f(x)-x)^3f'''(f(x))+...
(1)についてはこの式が示すとおり、右辺は　f(x)-x　をくくり出せる。
(2)については、多項式ならテイラー展開が有限項で終了するため、「割り切れる」と言えるが、
分数式や無理式の場合は、その限りではない。
457 名前：１３２人目の素数さん mailto:sage [2015/09/15(火) 21:09:35.48 ID:8akIzv6y.net]: テイラー展開て…(w)
f が多項式の場合は、
f(x) に x を代入すれば、因数定理から言える。
分数式の場合は、
「割りきれる」って何だよ？いったい。
458 名前：１３２人目の素数さん mailto:sage [2015/09/16(水) 22:01:39.84 ID:S7UxYdIg.net]: 数学セミナーのエレガント問題の１問目の問題の意味がが分かりにくい
459 名前：１３２人目の素数さん mailto:sage [2015/09/17(木) 00:19:26.02 ID:jFduSAB3.net]: □に入る数は？

　 ┌┏━━━┳━━━┓
　 │┃03m^2 ┃05m^2 ┃
　 04┣━━━╋━━━┻━┓
　..ｍ┃□m^2 ┃07m^2 　　 ┃
　 │┃　　　 ┃　　　　　 ┃
　 └┗━━━┻━━━━━┛
　　 └───05ｍ────┘
460 名前：１３２人目の素数さん mailto:sage [2015/09/17(木) 05:24:54.19 ID:06qzLFtg.net]: >>442
(4-x)y=3 xy=z x(5-y)=7 (x,y,z)=(2,3/2,3)
461 名前：１３２人目の素数さん mailto:sage [2015/09/17(木) 20:34:26.60 ID:jFduSAB3.net]: >>443
(x,y,z)=(14/5,5/2,7)は？
462 名前：１３２人目の素数さん mailto:sage [2015/09/17(木) 20:39:10.68 ID:06qzLFtg.net]: >>444
z≦4×5-(3+5+7)
463 名前：１３２人目の素数さん [2015/09/18(金) 00:57:29.06 ID:Tt4bLCB0.net]: >>362
「これは全く甘い評価だが、よりきつくする方法は分からない」ってエルデシュが言ってた
464 名前：１３２人目の素数さん [2015/09/19(土) 15:25:20.95 ID:Tw0+rA3T.net]: とんでもない新発見が下記のレスに掲載されています。
誰でも普通の電卓で、対数の計算ができる方法です。それも、上位10ケタ以上の精度で。
　　　　スレ名　　雑談はここに書け！【52】　>>909,910
驚くべきことに、{÷1000…0} と {×,＝,＝,＝,＝,×,＝} の入力を交互に繰り返すだけで、対数の精密な計算ができる。
特に、常用対数の場合、メモですら不要(求める常用対数自体のメモを除いて)。
なお、後者の×と＝の入力は、カシオ製の場合、最初に×を二回入力して、{×,×,＝,＝,＝,＝,×,＝} と入力します。
465 名前：１３２人目の素数さん mailto:sage [2015/09/19(土) 19:03:31.01 ID:YTsbvMiC.net]: >>447
思いのほか「スレの反応が悪くて」自演までしているようだな。みっともない奴だ。
「とんでもない新発見」は言い過ぎ。せいぜい「小技」で終わること。

こういうのは、巷にあふれている「暗算が簡単にできる裏ワザ」と同じなんだよ。
あれも「とんでもない新発見」なんて大げさなトーンでは紹介されておらず、
せいぜい「そういう小技があるよ」っていうトーンで話すものだろ。
それもそもはず、既存の計算法をちょっと工夫しただけのシロモノだからな。
この対数計算も同じで、せいぜい「小技」で終わること。

あと、日常的に対数を計算したいような環境なら関数電卓があるはずだから、
この計算法が役に立つ場面は極めて少ない。ていうか、最近はスマホのアプリにも
関数電卓があるので、この計算法は実質的にはオワッテル。この計算法が役に立つ場面といえば、

「対数を計算したいけど、手元にはPCもスマホも関数電卓もなく、しかし普通の電卓だけはある」

という、極めて限定的な状況に�
466 名前：ﾀられる。なので、この計算法は実質的には役に立たない。 そういう実用上の意味においても、「暗算が簡単にできる裏ワザ」と同じニオイを感じる。 ああいう話をマジメに実践する人間はほとんどいないだろ？ 読んだ瞬間は「へー面白いね」と思うかもしれないけど。 この対数計算も同じで、せいぜい「へー面白いね」で終わる話。 ちょっと頭を冷やしてこい。 []: [ここ壊れてます]
467 名前：１３２人目の素数さん [2015/09/19(土) 19:40:25.05 ID:4/EES2cC.net]: 自然数x,y,zと3以上の実数nについて、
x^n+y^n=z^nを満たし、xは平方因子を含まないとき、nは無理数であることを証明せよ
468 名前：１３２人目の素数さん mailto:sage [2015/09/19(土) 20:15:13.80 ID:sajS/Wje.net]: 電卓に強くなる―すぐに役立つ公式と実例
www.amazon.co.jp/dp/4061179276/

電卓で遊ぶ数学―これぞ究極の電卓使用術
www.amazon.co.jp/dp/4061329413/
469 名前：１３２人目の素数さん mailto:sage [2015/09/19(土) 22:32:25.46 ID:Eg02OxQq.net]: 俺は>>449を信頼している
だから正しいと思う
470 名前：１３２人目の素数さん [2015/09/19(土) 22:40:30.50 ID:4/EES2cC.net]: >>449はフェルマーの最終定理を無条件に使っていいです
一応ヒントとしてはまずnは非整数の負の有理数ということを示して両辺z^nで割ってうまく二項定理を使います
471 名前：１３２人目の素数さん [2015/09/19(土) 22:41:08.24 ID:4/EES2cC.net]: ごめんなさい
非整数の負の有理数を示すじゃなくて仮定してでした
472 名前：１３２人目の素数さん [2015/09/19(土) 22:44:27.63 ID:4/EES2cC.net]: 最訂正すいません
負を仮定じゃなくて正ならそのまま二項定理で負なら分子分母逆にして二項定理と場合分けするということです
473 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 00:28:52.83 ID:Wk6WNlkk.net]: フェルマーの最終定理を持ち出しておいて、残りの鍵は二項定理なのかｗ
474 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 01:32:32.42 ID:zUm7npkW.net]: a + b = cd
c + d = ab
を満たす自然数a,b,c,dの組を求めよ
475 名前：１３２人目の素数さん [2015/09/20(日) 02:13:42.00 ID:z6zgCrRD.net]: >>455
あくまで最初のとっかかりのヒントです
実際に解くには体論を使う必要があります
476 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 04:11:25.72 ID:MKiplsKL.net]: 夜中に一人でシコシコ考えちまったよ。
式の対称性よりa,b,c,dの中で最大のものをxとおき残りをy,z,wとおくと
x+y=zw
z+w=xy
が成り立つ
xが最大なので3x>z+wが成り立つ-(1)
xy=z+wと(1)よりyは1か2に限定される
a)y=1のとき
x+1=zw
z+w=x
z+w+1=zw
z(w-1)=w+1
z=(w+1)/(w-1)
w>=4では5/3>=(w+1)/(w-1)>1となりzが整数であることに矛盾する
よってwは2,3に限定される
w=2のときはx=5,z=3
w=3のときはx=5,z=2
が導き出せる
b)y=2のとき
x+2=zw
z+w=2x
x=zw-2
z+w=2zw-4
w+4=z(2w-1)
z=(w+4)/(2w-1)
w>=6では10/11>=(w+4)/(2w-1)>0となりzが整数であることに矛盾する
よってwは2,3,4,5に限定される。
w=2のときx=2,z=2。w=3,4のときzが整数でない。w=5のときz=1,x=3でxが最大に矛盾する

以上より(x,y,z,w)=(2,2,2,2),(5,1,2,3),(5,1,3,2)
よって(a,b,c,d)=(2,2,2,2)(1,5,2,3)(1,5,3,2)(2,3,1,5)(2,3,5,1)(3,2,1,5)(3,2,5,1)(5,1,2,3)(5,1,3,2)
477 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 09:11:04.85 ID:ukEOKbPU.net]: >>458
正解

引用元
detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1138083296

引用元の解答
2式を辺々足すと
a+b+c+d=ab+cd⇔(a-1)(b-1)+(c-1)(d-1)=2
(a-1)(b-1)≧0, (c-1)(d-1)≧0より
i) (a-1)(b-1)=0, (c-1)(d-1)=2
ii) (a-1)(b-1)=1, (c-1)(d-1)=1
iii) (a-1)(b-1)=2, (c-1)(d-1)=0
のいずれか
（後略）
478 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 09:38:05.79 ID:MKiplsKL.net]: >>459
上手いもんだな。
感心するわ。
479 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 09:46:35.03 ID:MKiplsKL.net]: よく見返してみると俺の回答微妙にミスってるな。
まあいいや、大筋はあってると思うし。
480 名前：１３２人目の素数さん [2015/09/20(日) 09:53:15.35 ID:bOB7SjJG.net]: A:=a-1 とか置けばほぼ終了
481 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 12:18:32.34 ID:DTuQtUB8.net]: n^2+n+2016が平方数となるような自然数nをすべて求めよ
482 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 14:11:29.93 ID:1+OHl2Py.net]: >>463
nが有限であることは証明されているのですか？
483 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 14:20:14.34 ID:CgP4KDd+.net]: >>463
180と2015

8063の素因数分解さえできれば、
最近は高校でも二次の不定方程式を普通に教えるからなあ。
484 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 14:30:23.94 ID:CMvyaFYq.net]: nn+n+2016=:kk
(2n+1)^2-(2k)^2=1-4*2016
(2n+2k+1)(2n-2k+1)=-8063
…
tasikani 8063 no soinsuubunkaiga mendokusai
485 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 15:13:14.72 ID:CgP4KDd+.net]: (1)　(3n-1)(3n+1)+10^7が平方数となる自然数nを全て求めよ
(2)　(3n-1)(3n+1)+10^17が平方数となる自然数nを全て求めよ

こうですかわかりません
486 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 15:19:34.28 ID:CgP4KDd+.net]: (3)　(3n-1)(3n+1)+10^23が平方数となる自然数nを全て求めよ
487 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 16:09:20.88 ID:r8IEuWih.net]: (3n+1)(3n-1)+10^s=k^2
⇔9n^2-1-k^2+10^s=0
⇔(k+3n)(k-3n)=10^s-1

(1) s=7
10^7-1=9R_7=3^2*239*4649
(2) s=17
10^17-1=9R_17=3^2*2,071,723*5,363,222,357
(3) s=23
10^23-1=9R_23=3^2*11111111111111111111111

https://ja.wikipedia.org/wiki/レピュニット/
488 名前：１３２人目の素数さん [2015/09/20(日) 16:21:31.42 ID:CgP4KDd+.net]: >>469
(3n-1)(3n+1)+10^7=9n^2+(10^7-1)が９の倍数なので
9n^2+(10^7-1)=9k^2としておくと
(k-n)(k+n)=(10^7-1)/9
となって、レピュニット数のみの素因数分解の問題になる、という流れを想定してた。
489 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 16:25:53.81 ID:CgP4KDd+.net]: （sageたはずだったのだが、おかしいな）
別スレで4649という数を見かけたので、つい。
490 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 16:29:07.97 ID:r8IEuWih.net]: >>470
なるほど
確認する組も少なくて楽
491 名前：１３２人目の素数さん [2015/09/20(日) 19:11:39.38 ID:CuFRKXU3.net]: 既出だったらすまない

単位円上に有理点が無限に存在することを示せ

なお、出題者は証明を3つ用意してある
492 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 19:16:53.47 ID:Wk6WNlkk.net]: ググったら出てきた
https://en.wikipedia.org/wiki/Group_of_rational_points_on_the_unit_circle#Group_structure
493 名前：１３２人目の素数さん [2015/09/20(日) 19:17:40.94 ID:08dwf8K0.net]: ぱっと浮かんだ３つは
･tan(x/2)
･ちぇびしぇふ
･ぺる方程式
494 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 19:31:34.08 ID:CgP4KDd+.net]: ピタゴラス数をいくらでも作れる有名な式を使うのが一番簡単か？

互いに素で偶奇の異なる自然数m,n（m>n）について
(m^2+n^2)^2 = (m^2-n^2)^2 + (2mn)^2
495 名前：１３２人目の素数さん [2015/09/20(日) 19:45:51.67 ID:CuFRKXU3.net]: 証明1（三角関数のパラメータ表示を使う方法）
tan(k/2)=tとおけば
cos(k)=(1-t^2)/(1+t^2), sin(k)=2t/(1+t^2)
(cos(k), sin(k))は単位円上の点

証明2（交点の座標を求める方法）
www.math.keio.ac.jp/~suuri-joshi/touch/quadratic

証明3（ピタゴラス数の生成式を用いる方法）
detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1324325308

俺が考えた証明とはいってない（小声）
496 名前：１３２人目の素数さん mailto:sage [2015/09/20(日) 19:59:54.15 ID:/j7kOe4r.net]: その3つの違いがわからない
497 名前：１３２人目の素数さん [2015/09/20(日) 20:10:47.87 ID:CuFRKXU3.net]: >>477証明1,2は>>476,477証明3でm=1のとき

まあ、多少はね？
498 名前：１３２人目の素数さん [2015/09/21 ]: [ここ壊れてます]
499 名前：(月) 00:06:52.53 ID:wBw2X2WH.net mailto: 他にある？ []: [ここ壊れてます]
500 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 00:12:27.73 ID:SidL6VZ2.net]: 「x^2+y^2=z^2　,z>0　を満たす三整数(x,y,z)がある。
　a=z-x、b=z-y　としたとき、x,y,zをa,bを使って表せ。」
という問題を想定し、解くと、次の二通りの解が得られる。
x=b±√(2ab)、y=a±√(2ab)、z=a+b±√(2ab)
一つは、最初に用意していた(x,y,z)に一致するが、
X^2+Y^2=Z^2、Z-X=z-x、Z-Y=z-y　を満たすもう一つの解（X,Y,Z）も見つかる。
これを共役解と呼ぶことにする。（お互いにもう一方の解を共役解と呼ぶことにする）

例えば、3^2+4^2=5^2からは、a=5-3=2、b=5-4=1となるが、√(2ab)=2なので、
x=1±2、y=2±2、z=1+2±2から、(x,y,z)=(3,4,5)と共役解(-1,0,1)が得られる。
ところが、(3,4,5)が解なら、(-3,4,5)も(-3,-4,5)も(3,-4,5)も
「x^2+y^2=z^2　,z>0」を満たす解で、(-3,4,5)から、a=8,b=1として、共役解(5,12,13)、
(-3,-4,5)からは共役解(21,20,29)、(3,-4,5)からは共役解(15,8,17)が得られる。
そして、さらに、(5,12,13)を基本の解と思って、(-5,12,13)の共役解
(7,24,25)、(5,-12,13)の共役解(45,28,53)、(-5,-12,13)の共役解(55,48,73)
のように、一つのピタゴラス数から三つの新しいピタゴラス数が見つかり、
新しく見つかったそれぞれのピタゴラス数からも、三つづつのさらに新しい
ピタゴラス数が見つかる。つまり、無限にピタゴラス数を見つけ出すことができる。
501 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 00:13:01.08 ID:SidL6VZ2.net]: 2ab=2(z-x)(z-y)=2z^2-2(x+y)z+2xy=x^2+y^2+z^2-2(x+y)z+2xy=(x+y-z)^2　に注意すると、要は
{(z-y)±(x+y-z)}^2+{(z-x)±(x+y-z)}^2={(2z-x-y)±(x+y-z)}^2
という　x^2+y^2=z^2下で成立する（条件付き）恒等式に集約される。
複合のプラス側を取ると、x^2+y^2=z^2　となり、価値は無いが
マイナス側を取ると、(2z-x-2y)^2+(2z-2x-y)^2=(3z-2x-2y)^2　　(※1)
という、共役解を陽に確認できる式が得られる。
x　→　-xと変換すると　(2z+x-2y)^2+(2z+2x-y)^2=(3z+2x-2y)^2　　（※2）
さらに、y　→　-yと変換すると　(2z+x+2y)^2+(2z+2x+y)^2=(3z+2x+2y)^2　　（※3）
さらに、x　→　-xと変換すると　(2z-x+2y)^2+(2z-2x+y)^2=(3z-2x+2y)^2　　（※4）
のように、一つのピタゴラス数から、三つのピタゴラス数を導く式が得られる。

ピタゴラス数は、(3,4,5)を出発点とする三分木構造に埋め込むことができ、
「適切な方法」を定めれば、ピタゴラス数に、「順番」を与えることが可能。
あるピタゴラス数が示されれば、それが、何番目のピタゴラス数かを言うことも
逆に順番を指定し、それに対応するピタゴラス数を答えることも可能。

過去に　「ひたすらピタゴラス数を書くスレッド」のような掲示板があったので、
そこにたくさんのピタゴラス数を挙げたが、その時、ピタゴラス数発生の
アルゴリズムとして用いたのがこの方法。
502 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 00:31:06.05 ID:m2zTshdB.net]: ピタゴラス数を生み出す行列のはなしだよね
503 名前：１３２人目の素数さん [2015/09/21(月) 01:02:26.15 ID:zlQLS8Fa.net]: 原始ピタゴラス数が無数に存在する⇔単位円上に有利点が無数に存在する
504 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 01:30:18.15 ID:zebtZ9PG.net]: ピタゴラス数に順番を付けると(a/cを小さい順に並べると)a/cは1/√2に収束するのかな？
感覚的に
505 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 01:41:07.70 ID:zebtZ9PG.net]: 全ての原始ピタゴラス数(a,b,c) (a<b)から、a/cを小さい順に並べた数列をa_nとする。
ただしa_0=3/5とする。
lim(n→∞)と lim(n→-∞)をそれぞれ求めよ
506 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 02:16:00.42 ID:CDfCY14T.net]: ((3+4i)/5)^a.
507 名前：１３２人目の素数さん [2015/09/21(月) 02:54:59.56 ID:zlQLS8Fa.net]: ピタゴラス数は(m^2-n^2, 2mn, m^2+n^2)で表せる

n=1のときを考える
m≧3でm^2-2m-1>0⇔m^2-1>2m
よってm≧3では(a, b, c)=(2m, m^2-1, m^2+1)
さて、Q_m=a/c=2m/(m^2+1) (m≧3)とすると
m→+∞のときQ_m=2/(m+(1/m))→0

0に収束するよ（予想）
508 名前：１３２人目の素数さん [2015/09/21(月) 03:12:40.15 ID:zlQLS8Fa.net]: lim(n→-∞)a_n=0だよ（予想）

>>488はガバガバだったな
訂正
ピタゴラス数は自然数m, n (m>n)を用いて(m^2-n^2, 2mn, m^2+n^2)で表せる

m=n+1とおいてnを飛ばすとa/cの上限が見えるか？
509 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 03:31:03.55 ID:BwSfAQxg.net]: >>486
問題として成立していないように思えるが。
そんな数列は作れないでしょ。

言いたいのはこれか？

a^2+b^2=c^2，a<bを満たす互いに素な自然数の組(a,b,c)全ての集合をPとするとき、
{x | x=a/c, (a,b,c)∈P}の上限及び下限を求めよ。

>>486に言うような、小さい順に並べた数列が存在しえないことも証明したいところ。

上記集合Pの，異なる２つの要素を(a,b,c)，(d,e,f)（ただし a/c < d/f）とするとき，
あるPの要素(x,y,z)が存在し，a/c < x/z < d/fとなることを示せ。
510 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 03:43:38.48 ID:BwSfAQxg.net]: >>490
というか、これって、前半の問題で上限が1/√2、下限が0であることと
後半の問題の証明を合わせて、
単位円上に有理点が稠密に分布することを言ってるだけだな…
511 名前：486 mailto:sage [2015/09/21(月) 04:22:23.64 ID:zebtZ9PG.net]: 数列自体存在しないの？
単位円上の任意の2点の有理点の間には異なる有理点が存在するってこと？
高校数学までしかやってないので用語がわからん…
512 名前：486 mailto:sage [2015/09/21(月) 04:26:08.81 ID:zebtZ9PG.net]: 俺の予想ではa/cは0～1/√2の範囲でa<bの条件を外すと0～1になると思われる
513 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 05:01:19.05 ID:BwSfAQxg.net]: >>492
小さい順に並べた数列が存在しないというのは
例えば「全ての正の有理数を小さい方から並べた数列」が作れないことを考えてもらえば。
にもかかわらず、「全ての正の有理数を含む数列」は作れるというのが、
無限の数を扱う難しさなのですよ。

＞単位円上の任意の2点の有理点の間には異なる有理点が存在するってこと？
そゆことです
514 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 06:11:57.62 ID:fDJotWMa.net]: a^2+(a+1)^2が平方数となるような自然数aは無限に存在するか
515 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 11:39:04.22 ID:BwSfAQxg.net]: >>495
任意の自然数kについて、
(1+√2)^k = m+n√2 （m,nは自然数，mは奇数）と表せること、
さらに、そのm,nを用いて　(1-√2)^k = m-n√2と表せることは
数学的帰納法で容易に示せる

kが正の奇数のとき、(1+√2)^k × (1-√2)^k = -1となるので、
(m+n√2)(m-n√2) = -1　∴ m^2-2n^2 = -1
ここで，mは奇数なので、m=2a+1とおくと、4a^2+4a+1-2n^2 = -1
これを変形すると、a^2+(a+1)^2 = n^2が得られる
異なるkに対して、異なる(a,n)の組が得られるので、
a^2+(a+1)^2が平方数となるようなaは無限に存在する
516 名前：１３２人目の素数さん [2015/09/21(月) 12:31:37.12 ID:H+zc29yF.net]: テレンスタオの美しい解き方面白いよ。
回答者目線で数学オリンピックの問題を解く形式。

暇つぶしになる
517 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 13:52:24.45 ID:fDJotWMa.net]: ax^2+bx+c=y^2が無限個の整数解をもつような整数a,b,cの条件を求めよ
518 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 13:53:22.27 ID:bh279fIm.net]: >>495

x_{n}^2+y_{n}^2=z_{n}^2、　が成立するとき

x_{n+1}=2*x_{n}+1*y_{n}+2*z_{n}
y_{n+1}=1*x_{n}+2*y_{n}+2*z_{n}
z_{n+1}=2*x_{n}+2*y_{n}+3*z_{n}　とすると、(>>482 の※3 で、xとyを入れ替えたものに相当）

x_{n+1}^2+y_{n+1}^2=z_{n+1}^2　が成立する　

このとき、y_{n+1}-x_{n+1} = y_{n}-x_{n} なので、差が保存される。

3^2 + 4^2 = 5^2 というものが存在するので、a^2+(a+1)^2が平方数となるようなものは無数にある。
519 名前：１３２人目の素数さん [2015/09/21(月) 19:37:27.38 ID:mNqic+mi.net]: 中卒で分かりませんがツエータ関数というものがあるらしいです
φも分かりませんでもユークリッド正三角形なるものは
a点ｂ点交わるところのq点が有るのでしょうか
分かりませんごめんなさいでした割り込んで
520 名前： []: [ここ壊れてます]
521 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 19:48:26.68 ID:zlQLS8Fa.net]: ζ（ゼータ／ツェータ）関数？
何の問題かも分からんし
そもそもスレチでしょ

分らない問題はここに書いてね404 [転載禁止]©2ch.net
wc2014.2ch.net/test/read.cgi/math/1442617810/
522 名前：１３２人目の素数さん [2015/09/21(月) 21:17:29.58 ID:gtDqKY3a.net]: 正方形を直角三角形を除く8枚の鋭角三角形のみで分割できることを示し、それが最小枚数であることを証明せよ
523 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 21:52:18.63 ID:Z3V2IWKL.net]: 鋭角三角形は無理じゃね？
どこかしら鈍角になりそうな
524 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 22:07:19.88 ID:BwSfAQxg.net]: >>502
10枚ならできた。
８枚かあ…
525 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 22:38:44.71 ID:BwSfAQxg.net]: ８枚できた。
例：A(0,20)，B(0,0)，C(20,0)，D(20,20)，M(10,0)，N(10,20)，P(9,4)，Q(11,4)
PA,PB,QC,QD,PM,PN,QM,QN,PQを結ぶ
証明はまだ。
526 名前：１３２人目の素数さん mailto:sage [2015/09/21(月) 22:44:59.52 ID:BwSfAQxg.net]: ちなみに、P,Qを取る場所は，
AB，CD，BM，CM，AN，DNを直径とする６つの円のいずれにも含まれない
上下２箇所の領域の片方の中に，大体左右対称に取ればよい。
527 名前：１３２人目の素数さん mailto:sage [2015/09/22(火) 16:07:30.17 ID:ZLtLRDuu.net]: >>502
正方形ABCDを鋭角三角形で分割するとき、
A,B,C,Dからそれぞれ1本以上の辺が出ていなければならない。
仮に、辺BC上（Bを除く）に点EがあってAEを辺にもつ三角形があるとすると、
三角形ABEは直角三角形なので、AE上に頂点をとらなければ
鋭角三角形で分割できない。
点Eが辺CD上にある場合も同様。
よってAから出る辺は、正方形の内部にある頂点につながっている。
B,C,Dについても同じことがいえる。
仮に、正方形の内部に頂点が1個しかないとして、これを点Fとすると、
A,B,C,Dから出る辺はFにつながっていることになる。
∠AFB,∠BFC,∠CFD,∠DFAのいずれかは90°以上であるが、
どの場合も同様なので∠AFB≧90°とする。
このときFとAB上の点Gを結ぶ辺が無ければならない。
∠AGFか∠BGFのいずれかは90°以上なので、
Gから辺が出ていて、AFまたはBFと交わることになってしまい、
正方形の内部に頂点が1個しか無いという仮定に矛盾する。
よって正方形の内部には2個以上の頂点がある。
そのうちの2個をH,Iとする。
H,Iからそれぞれ5本以上の辺が出ていなければならず、
H,Iを頂点とする鋭角三角形は5個以上あることになる。
これらのうち重複するものがあるとすればHIを辺とするものであり、
その個数は最大2個である。
よって鋭角三角形の個数は少なくとも5+5-2=8個以上である。
528 名前：１３２人目の素数さん mailto:sage [2015/09/22(火) 21:03:47.21 ID:lhGzKtWu.net]: 内部の点には頂点しか集まらないことが前提になってない？
1つの辺と3つの頂点が集まっている場合もある。
例えば、ある内部点の回りが180°、60°、60°、60°で区切られている場合とか
529 名前：１３２人目の素数さん mailto:sage [2015/09/22(火) 21:18:16.16 ID:ZLtLRDuu.net]: >>508
そういうものも含めて頂点と呼んでいるので、問題ないはず。
530 名前：１３２人目の素数さん mailto:sage [2015/09/22(火) 22:13:30.88 ID:V9wMy4Aa.net]: >>509
＞H,Iからそれぞれ5本以上の辺が出ていなければならず、
＞H,Iを頂点とする鋭角三角形は5個以上あることになる。
のあたりで、H,Iが辺の途中にある可能性を無視していることを
指摘しているのだと思うが。

自分も、三角形の辺の途中に他の三角形の頂点があるケースがあるせいで
（つまり、グラフとしては四角形もしくはそれ以上で頂点にできる角が180°の物
の存在を排除できないため）
シンプルな場合分けができず面倒になってギブアップした。

正方形の４頂点以外に辺上に最低でも１点、内部に最低でも２点が存在することまでは
すぐ言えるのだが。
531 名前：１３２人目の素数さん mailto:sage [2015/09/22(火) 22:26:29.90 ID:ZLtLRDuu.net]: >>510
あー、なるほど。その可能性をおもいっきり見逃してた。
>>507を土台にうまく修正できるかどうか。
それとも、まるっきり考え方を変える必要があるのかな？
532 名前：１３２人目の素数さん mailto:sage [2015/09/24(木) 03:04:42.06 ID:VcRgqQ8I.net]: n個の鋭角三角形に分割できたとして
正方形の頂点以外の頂点の個数をvとすると
各頂点に集まる内角の個数に関して
3v+8≦3nよりv≦n-3
ここでn≦7とするとv≦4
よってv≦4かつn≦7となるような分割が存在しないことが示せればよい
あとは頼んだ
533 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 01:59:16.33 ID:KGE6XyvT.net]: この問題か

Acute Square Triangulation
https://www.ics.uci.edu/~eppstein/junkyard/acute-square/
534 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 01:59:41.85 ID:KGE6XyvT.net]: Survey of two-dimensional acute triangulations
Discrete Math. 313, Iss. 1 (2013) 35–49.
czamfirescu.tricube.de/CTZamfirescu-08.pdf

9頁

In the same busy year of 1960, Lindgren [54] described an acute triangulation of
the square (see Fig. 6), proving that it can be done with 8 triangles and that this is
optimal – Federico solved this independently in the same year. In 1966, Gardner also
gave a construction, which he reports in one of his mathematical columns (reprinted
in [35]), saying: “For days I was convinced that nine was the answer; then suddenly I
saw how to reduce it to eight”. We remark that, in fact, Gardner was trying to find
dissections of the square, and it happened that his configuration on eight triangles is a
triangulation. If he were looking for triangulations, this would have contradicted the
following matter.
Cassidy and Lord [15] continued the investigations of acutely triangulating the
square, publishing their results in 1980. They gave an alternative proof of the min-
imality (and combinatorial uniqueness) of the Federico-Lindgren construction on 8
triangles. They also showed that there is no triangulation consisting of exactly 9 tri-
angles, and proved that there exist acute triangulations of the square with k triangles
whenever k ≥ 10.

[54] H. Lindgren. A quadrilateral dissection. Austral. Math. Teacher 16 (1960) 64–65.
[15] Ch. Cassidy and G. Lord. A square acutely triangulated. J. Recr. Math. 13 (1980–
81) 263–268.
535 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 02:39:33.02 ID:MgrWGZzr.net]: Journal of Recreational Mathematicsが大学の図書館にあるか判らん
536 名前：513 mailto:sage [2015/09/26(土) 03:05:19.37 ID:MgrWGZzr.net]: あるっぽいな
537 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 04:08:58.11 ID:jeE3BpXh.net]: math.a.la9.jp/don.htm
正方形じゃなくて鈍角三角形バージョンの問題と解答を発見
538 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 10:46:23.47 ID:aSIv8JvA.net]: >>513
どうやって見つけたんだ？貴様は神か？
539 名前：513 mailto:sage [2015/09/26(土) 11:20:48.61 ID:smOIV1i/.net]: >>518
divide square into acute triangle
でググっただけです（小声）
540 名前：１３２人目の素数さん mailto:sage [2015/09/26(土) 19:43:56.60 ID:Jz1cA5oo.net]: よくわからんけど三角形分割ってことは
頂点が三角形の辺上にあるケースはそもそも考慮されて泣くね？
541 名前：１３２人目の素数さん mailto:sage [2015/09/27(日) 04:15:48.86 ID:qZeHHCLI.net]: >>514の[15]を上げるまでの暇潰しに

www.itmedia.co.jp/news/spv/1505/12/news088.html
この時計は全ての時刻を表現可能である
（証明はwc2014.2ch.net/test/read.cgi/math/1442617810/136-138）
この周辺で面白い問題を作ってよ
542 名前：１３２人目の素数さん mailto:sage [2015/09/27(日) 20:53:09.22 ID:ONZsfJnq.net]: 上の時計で全ての正方形が光る回数の最小値と最大値を求めよ
543 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 03:41:57.77 ID:NXSABs39.net]: >>522
12時は0と12のどちらを表示するのかによって話は変わるな。
544 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 04:11:24.95 ID:NXSABs39.net]: >>522
ちなみに、最大の方では、時と分を表す数字を足して12以上になる場合のうち、
全ての正方形がひかる可能性がないのは8と8（8時40分）の場合のみ。

最小の方では、時または分が12を表示する場合のみ必ず全ての正方形がひかる。
分は12を表示することはないようなので、
時が1から12ならば12時台のみ必ず全てひかる。
0から11ならば、1の正方形のうちの片方は使わなくてもよくなる。
（ということは、やっぱり12時は12を表示するのだろうな）

（正確に言うと、「ひかる」ではなく「色がつく」だな）
545 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 06:44:31.35 ID:VbfJNND9.net]: このスレでは未出題のようだから

n,n+2,n+4がいずれも素数になる自然数nを全て求めよ
546 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 07:59:34.04 ID:qwCqNxiY.net]: つまらなすぎ
547 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 09:45:45.18 ID:NCZ2EFYi.net]: ひねりがなんもないよな
548 名前：１３２人目の素数さん [2015/09/28(月) 10:02:28.23 ID:jlLelCrV.net]: 与えられた円の中心をコンパスのみで特定せよ
549 名前：１３２人目の素数さん mailto:sage [2015/09/28(月) 22:29:57.43 ID:NXSABs39.net]: >>528
円周上にAB=BCとなるような３点A,B,Cを適当にとって
AB=BC=a、CA=bとおくと、
円の半径はa^2/√(4a^2-b^2)なので、その長さを
ttps://www.shinko-keirin.co.jp/keirinkan/kosu/mathematics/kirinuki/kirinuki29.html
あたりを参考に作図すればいいよ
550 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 02:25:06.10 ID:nc3nLp6q.net]: >>528
弦の垂直２等分線どうしの交点を求めるだけだが、
もしかして、定規は使っちゃいけないのか？
551 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 03:19:11.03 ID:azN8533W.net]: コンパスだけでしょ
552 名前：１３２人目の素数さん mailto:答えは知らん　すまんな [2015/09/29(火) 04:16:04.08 ID:/gO4uSCx.net]: 方眼紙上で定木のみを用いて面積7の正方形を作図できるか？
方眼紙の1つの升目の面積を1とする
553 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 04:20:11.75 ID:/gO4uSCx.net]: つまり、面積が2平方数の和ではない正方形は作図できるか？
554 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 08:15:26.52 ID:2tetWzJ3.net]: >>532
1x6のマス目の対角線は√7
これで正方形を作る
555 名前：534 mailto:sage [2015/09/29(火) 08:17:23.37 ID:2tetWzJ3.net]: 間違ってた
上の無しで
556 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 16:03:39.90 ID:b0As/vwW.net]: >>532
まず、定木のみの作図で新たに作れる点は、
既に存在する２点間を結んだ２直線の交点だけなので、
最初に格子点のみが全て与えられている状態から作図できるのは有理数点のみ。
２つの有理数点間の距離が√7になるとすると
x^2+y^2=7（x,yは有理数）となり、
x=m/k、y=n/k（m,nは整数，kは自然数で，m,n,kの最大公約数は1）とおくと，
m^2+n^2=7k^2とおける
ここで、整数Nについて
N^2≡0,1,2,4（mod 7）であり、N^2≡0となるのはNが7
557 名前：の倍数のときだけなので、 m^2+n^2≡0（mod 7）より、mもnも7の倍数となるが、 その場合、kも7の倍数となり、m,n,kの最大公約数は1という条件に矛盾する よって、そのような有理数x,yは存在しないので、√7は作図できない。 √7の場合は、m,nの偶奇で場合分けしてmod 4で議論する手もあるが、 >>533のように一般化した議論では 2平方数の和ではない自然数の条件が、 n=a^2×b（a,bは自然数で、bは平方因子を持たず4k+3型の素数を因数として持つ） というものなので、bの素因数である4k+3型の素数をpとしてmod pで議論するのが より一般性がありそうだと考えた []: [ここ壊れてます]
558 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 23:19:15.07 ID:1WvbOcmu.net]: F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
のときΣ[k=0~∞]1/F(2^k)を求めよ
559 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 23:40:04.23 ID:MmwWCV56.net]: F(0)の値が定義されてないぞ
560 名前：１３２人目の素数さん mailto:sage [2015/09/29(火) 23:45:51.82 ID:sCkKbHjD.net]: それが何か？
561 名前：１３２人目の素数さん mailto:sage [2015/09/30(水) 01:12:56.07 ID:W4f7D5tC.net]: >>573
たまげたなあ

ネタバレ注意
imgur.com/OtJ8VUd.jpg
562 名前：１３２人目の素数さん mailto:sage [2015/09/30(水) 01:14:25.58 ID:W4f7D5tC.net]: >>540は>>537に
563 名前：１３２人目の素数さん mailto:sage [2015/09/30(水) 09:58:15.18 ID:dmcZQwC0.net]: >>540
kwsk
564 名前：１３２人目の素数さん mailto:sage [2015/09/30(水) 10:50:49.83 ID:lYRAE3q3.net]: >>542
ウルフなんとかにぶちこんだだけ
565 名前：１３２人目の素数さん mailto:sage [2015/09/30(水) 16:06:49.22 ID:P+qfF9ot.net]: >>537
F_{k-1}/F_{k} - F_{2k-1}/F_{2k} = ... = (-1)^k/F_{2k}
特に、kが偶数なら　F_{k-1}/F_{k} - F_{2k-1}/F_{2k} = 1/F_{2k}

Σ[k=0~n]1/F(2^k) = 1/F(1) + 1/F(2) + Σ[k=2~n]1/F(2^k)
= 2 + Σ[k=2~n][ F_{2^(k-1)-1}/F_{2^(k-1)} - F_{2^k-1}/F_{2^k} ]
= 2+ F_{1}/F_{2} - F_{2^n-1}/F_{2^n} → 3 - 2/(1+√5) = (1/2)(7-√5)　(n→∞)
566 名前：１３２人目の素数さん mailto:sage [2015/10/02(金) 16:20:22.89 ID:PIlMCyTn.net]: F_1=F_2=1
F_(n+2)=F_(n+1)+F_n
のとき
Σ[n=1,∞](10^(-n))F_n
を求めよ

すなわち
0.1+0.01+0.002+0.0003+0.00005+0.000008+0.0000013+0.00000021+...
を求めよ
567 名前：１３２人目の素数さん mailto:sage [2015/10/02(金) 19:05:28.58 ID:ibVc9iom.net]: F0=0として
G(x)= F0 + F1*x + F2*x^2 + F3*x^3 + ... + Fn* x^n + ...　とすると
x*G(x)= F0*x + F1*x^2 + F2*x^3 + ... + F(n-1)* x^n + ...
x^2*G(x)= F0*x^2 + F1*x^3 + ... + F(n-2)* x^n + ...
ここで、Fn=F(n-1)+F(n-2)をつかうと
G(x) - F0 -F1*x = (x*G(x) - F0*x) + x^2 G(x)
つまり、G(x)=x/(1-x-x^2)
G(1/10)=10/89
568 名前：１３２人目の素数さん mailto:sage [2015/10/03(土) 02:38:38.28 ID:YaYUqMJy.net]: F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
としてF(n)が2015の倍数となるような最小の正整数nは偶数かそれとも奇数か
569 名前：１３２人目の素数さん mailto:sage [2015/10/03(土) 09:36:33.30 ID:UXtZmLrn.net]: >>547
mod 5
570 名前：１３２人目の素数さん mailto:sage [2015/10/03(土) 14:23:35.96 ID:vbqVLgzq.net]: mod 31 でF(k)を考えると
01,01,02,03,05,08,13,21,03,24,
27,20,16,05,21,26,16,11,27,07,
03,10,13,23,05,28,02,30,01,00,
01,01,...
と周期30を持ち、F(30)≡0 (mod 31)
2015の倍数であるためには31の倍数である必要があるため、
f(n)が2015の倍数であるためには、nが30の倍数である必要がある
従って、>>547の解答は偶数

ちなみに、2015=5*13*31、
5|F(5r)、13|F(7s)、31|F(30t)
5,7,30の最小公倍数は210なので、2015|F(210u)
571 名前：１３２人目の素数さん mailto:sage [2015/10/03(土) 22:53:51.35 ID:YaYUqMJy.net]: じゃあ>>547の発展問題
素数pがp≡3(mod 4)を満たすとき
F(n)がpの倍数となるようなnは偶数であることを示せ
572 名前：１３２人目の素数さん mailto:sage [2015/10/05(月) 13:51:42.85 ID:363gcpru.net]: F(1)=F(2)=1
F(n+2)=F(n+1)+F(n)
のときΣ[k=1～n]F(4k-2)は平方数となることを示せ
573 名前：１３２人目の素数さん mailto:sage [2015/10/05(月) 21:26:56.98 ID:4FTwqx8Y.net]: >>550
奇数番目のフィボナッチ数は
F_{2n+1}=F_{n+1}^2+F
574 名前：_{n}^2 と変形できるが、互いに素な二つの数の平方の和は、4k+3型の素因数を持たない(※)。 従って、あるフィボナッチ数が4k+3型の素因数を持つとすれば、それは偶数番目の項に限られる。 >>551 F_{2n}^2-F_{2n-2}^2=(F_{2n}+F_{2n-2})*(F_{2n}-F_{2n-2})=...=F_{4n-2} Σ[k=1～n]F_{4k-2} = F_{2n}^2-F_{0}^2 = F_{2n}^2 ※　F_{n+1}^2+F_{n}^2　が合成数の場合、(ax+by)^2+(ay-bx)^2=(a^2+b^2)(x^2+y^2) という恒等式に対応する形で逐次、因数を取り出すことができる。 奇数の平方＋奇数の平方は4k+2型の数に、奇数の平方＋偶数の平方は4k+1型の数になる (ax+by)^2+(ay-bx)^2=(a^2+b^2)(x^2+y^2)　この式の中には三つの（平方＋平方）型の数があるが、 (4k+1型)=(4k+1型)×(4k+1型)　か、(4k+2型)=(4k+2型)×(4k+1型)　というパターンでの 登場に限られる。この中に、4k+3型の数は現れない。 []: [ここ壊れてます]
575 名前：１３２人目の素数さん mailto:sage [2015/10/05(月) 21:44:07.21 ID:nbzLSFra.net]: よく知っているなあ。(棒
576 名前：１３２人目の素数さん mailto:sage [2015/10/06(火) 18:24:25.73 ID:fsLNLxlt.net]: 鶴と亀の頭の数の合計がk個、足の数の合計がl本のとき、鶴はx羽、亀はy匹である
x,yがともに非負整数となるようなk,lの条件を求めよ
577 名前：１３２人目の素数さん mailto:sage [2015/10/06(火) 19:20:23.94 ID:REG7UsAr.net]: 三角形ABCの内部に点Pがある。

三角形BCPの面積をα
三角形ACPの面積をβ
三角形ABPの面積をγとする。

ベクトルPAをa
ベクトルPBをb
ベクトルPCをcとおくとき

αa+βb+γc=0を示せ

みたいな問題を昔見た気がするんだが記憶違いだったらすまん。
答えは忘れたｗ
578 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 04:46:25.83 ID:kiTgcolQ.net]: 3桁の自然数を引っくり返して、元の数との差の絶対値をとる。
得られた数の桁の数字の和は一定値であることを示せ。
579 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 08:59:57.27 ID:H50pZ5gt.net]: 九九の９の段
580 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 09:05:11.67 ID:+3sISOZm.net]: https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%97%E3%83%AC%E3%82%AB%E6%95%B0
カプレカ数
581 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 20:29:55.92 ID:bVIaakd/.net]: >>555

直線APと辺BCの交点をQとする

BQ:CQ=△ABQ:△ACQ=△ABP:△ACP=γ:β

また
AP:AQ=△ABP:△ABQ=△ABP:(△ABP+△PBQ)=△ABP:(△ABP+△PBC*BQ/BC)=γ:(γ+αγ/(γ+β))

よって
AP↑=(AP/AQ)AQ↑=1/(1+α/(β+γ))((β/(β+γ))AB↑+(γ/(β+γ))AC↑)=((β+γ)/(α+β+γ))(1/(β+γ))(βAB↑+γAC↑)=(1/(α+β+γ))(βAB↑+γAC↑)

αa+βb+γc=α(-AP↑)+β(AB↑-AP↑)+γ(AC↑-AP↑)=-(α+β+γ)AP↑+βAB↑+γAC↑=-(βAB↑+γAC↑)+βAB↑+γAC↑=0

mathtrain.jp/vector
これの逆

確認はしていないが
αa+βb+γc=0の左辺の係数を適宜負にすれば
Pが△ABCの外部にある場合にも拡張できるだろう
582 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 20:45:04.75 ID:bVIaakd/.net]: >>556
1つの値にはならない

|100-1|=99　9+9=18
|101-101|=0

0か18のいずれかになる
583 名前： ◆nxVhLK6vrE [2015/10/07(水) 22:51:00.01 ID:Xsw/4YgJ.net]: sin1°+2sin2°+3sin3°+...+90sin90°を計算せよ
答えはトリップ
584 名前：１３２人目の素数さん mailto:sage [2015/10/07(水) 22:57:18.15 ID:Xsw/4YgJ.net]: >>561はトリップ間違えました　
無かったことにしてください
585 名前：１３２人目の素数さん mailto:sage [2015/10/08(木) 18:28:59.15 ID:0srW166e.net]: imgur.com/f6Zz8w0.jpg
問題も間違ってるような
586 名前：１３２人目の素数さん mailto:sage [2015/10/08(木) 18:35:23.90 ID:hjzFehcS.net]: フィボナッチ数列をこねくり回してたら次の式が出てきた。
F(mn)/F(n)=Σ[0≦k＜m/2](-1)^{k(n+1)}*C(m-1-k,k)L(n)^(m-1-2k) (☆)
ただし L(n)=F(n+1)+F(n-1) とする。

(1) F(m+n+d)=F(
587 名前：m+d)F(n+d)+(-1)^(d+1)*F(m)F(n) を証明せよ。 (2) F(n+2d)=L(n)F(n+d)+(-1)^(d+1)*F(n) を証明せよ。 (3) (☆)を証明せよ。 []: [ここ壊れてます]
588 名前：１３２人目の素数さん mailto:sage [2015/10/08(木) 18:36:53.32 ID:hjzFehcS.net]: >>564
ただしC(m,n)=(m+n)!/(m!n!)とする。
589 名前：１３２人目の素数さん mailto:sage [2015/10/08(木) 18:44:03.48 ID:hjzFehcS.net]: >>564の(1)が間違ってた。申し訳ない。

(1) F(d)F(m+n+d)=F(m+d)F(n+d)+(-1)^(d+1)*F(m)F(n) を証明せよ。
590 名前：１３２人目の素数さん [2015/10/10(土) 10:24:56.14 ID:PeUyjTTt.net]: >>555
直線ABとCPの交点をQ, αPD↑=βBP↑, αPE↑=γCP↑となる2点D,Eをとる
BQ:AQ=△PBC:△PCA=α:βよりAD//EP, 同様にAE//DP
よってPA↑=PD↑+PE↑より示すべき式を得る
591 名前：１３２人目の素数さん [2015/10/10(土) 10:25:37.83 ID:PeUyjTTt.net]: a,b,cを与えられた正の整数とし, aとbは互いに素とする. このとき, aを法としてbに合同な正の整数であって, その全ての素因数がc以上であるようなものが無限個存在することを示せ.
592 名前：１３２人目の素数さん mailto:sage [2015/10/10(土) 23:48:04.25 ID:AWp5N1O6.net]: >>566の式の拡張したような式が作れた。
役立つかどうかしらんけど。

数列{a[n]},{b[n]}は
b[n+1]=b[n]-a[n]-a[n+1]
を満たすとして
s[n]=Σ[k=1..n]a[k]
とすると
F(s[n])F(s[n-1]+b[n])=Σ[k=1..n](-1)^s[k-1]*F(a[k])F(b[k])
が成り立つ。
この式でn=2の場合は>>566の式になる。

問題：この式を証明せよ。
593 名前：１３２人目の素数さん [2015/10/11(日) 19:30:16.51 ID:1lehTb7O.net]: >>568
a=1のときは素数の無限性より自明。a>1のとき、bを割り切らないc未満の素数全体の集合をPとし、Pのすべての元の積をmとする(Pが空のときはm=1とする)。このとき、a^k*m+b(k=1,2,...,)が条件を満たす。
証明は各自に任せる。
594 名前：１３２人目の素数さん mailto:sage [2015/10/14(水) 07:19:35.42 ID:m8TEiTt6.net]: ほ
595 名前：１３２人目の素数さん mailto:sage [2015/10/15(木) 08:02:39.75 ID:ShUHgYGn.net]: e^(1/e) - π^(1/π) < 1 を示せ。
596 名前：１３２人目の素数さん mailto:sage [2015/10/15(木) 20:29:10.95 ID:6VlkFHpA.net]: e^(1/e)-π^(1/π)<4^(1/2)-1=1
597 名前：１３２人目の素数さん mailto:sage [2015/10/15(木) 22:29:20.51 ID:6KJ0Q333.net]: ゆるい
598 名前：１３２人目の素数さん mailto:sage [2015/10/15(木) 22:33:15.97 ID:ShUHgYGn.net]: ぐぬぬ…

e^(1/e) - π^(1/π) < 1/100 を示せ。
599 名前：１３２人目の素数さん [2015/10/17(土) 00:55:05.00 ID:oJL6KLEm.net]: 半径1の円に内接する正n角形について、ある頂点から時計回りに1,2,...,nとそれぞれの頂点に番号を付ける. このとき、nと互いに素な番号とn番の頂点との距離の総積は自然数であることを証明せよ
600 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 02:15:57.96 ID:T+AEruC5.net]: >>576
ほんとかよウソくせー適当いってねぇ？
601 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 02:24:55.17 ID:MoaMy0B0.net]: 本当でしょ。
円分方程式の差積の絶対値。
602 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 04:28:19.06 ID:XxOr4UDp.net]: z(k)=cos(2kπ/n)+isin(2kπ/n)とおくと、
n次の円分多項式F_n(x)は
n以下でnと互いに素なφ(n)個の自然数kについての総積Π(x-z(k))で表され、
一方、F_n(x)は整数係数の多項式なので、F_n(1)は整数。
（1はF_n(x)の根ではないので、0ではない）
>>576で言ってる距離の総積はΠ|1-z(k)|=|F_n(1)|なので、これは自然数

って話ですよね。

円分多項式についての基本的な知見を既知とするなら、これでおしまい。
それを証明するというのなら、任せた。
603 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 04:44:29.85 ID:oJL6KLEm.net]: >>578
>>579
正解です
F_n(1)の具体的な値が分かればもっと面白い問題になると思うのですが
円分多項式に関する知識がないので自然数、とまでしか言えませんでした
604 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 12:12:19.15 ID:XxOr4UDp.net]: >>580
＞F_n(1)の具体的な値が分かれば

n次の円分多項式をF_n(x)とするとき、
nが素数ならF_n(1)=n
nが合成数なら|F_n(1)|=1となることを示せ
605 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 13:00:00.54 ID:u2Me ]: [ここ壊れてます]
606 名前：Bzbf.net mailto: 1->0.
p^k->p.

pq|n,p≠q.
n->1. []: [ここ壊れてます]
607 名前：１３２人目の素数さん [2015/10/17(土) 13:08:23.42 ID:uGe4tjBl.net]: >>581
nが素数ならx^(n-1)+x^(n-2)+...+1がQ上既約となるのでこれが円分多項式になってF_n(1)=n

nが合成数の場合
例えば4次の円分多項式はx^2+1より
F_4(1)=2になるので成り立たないと思うのですが...
608 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 22:42:46.53 ID:XxOr4UDp.net]: >>583
そうですね、すみません。
f_1(1)=0
nが素数pの冪のとき、F_n(1)=p
それ以外のとき、F_n(1)=1
であってますかね。
609 名前：１３２人目の素数さん mailto:sage [2015/10/17(土) 22:45:04.87 ID:XxOr4UDp.net]: （ということを、>>582さんが指摘してたようですね^^;）
610 名前：１３２人目の素数さん mailto:sage [2015/10/24(土) 13:56:14.38 ID:BAbl4apN.net]: ４×４の升目に1,2,3,4の数字を入れるとき、
(1) ラテン方陣は何通り作れるか？
(2) 数独は何通り作れるか？
611 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 10:27:38.50 ID:U2A2nlW9.net]: >>586
(1)ラテン方陣
1234
2XXX
3XXX
4XXX
となるのは

1234 1234 1234 1234
2143 2143 2341 2413
3412 3421 3412 3142
4321 4312 4123 4321　の4通り。
左端を固定すると、列の入れ替えのバリエーションが×3!
さらに、4つの数字の入れ替えで×4!なので、
4×3!×4! = 576通り

(2)数独
1234
34XX
2XXX
4XXX
となるのは

1234 1234 1234
3412 3412 3421
2143 2341 2143
4321 4123 4312　の3通り。
左上4マスを固定すると、右２列と下２行の入れ替えのバリエーションが×2×2
さらに、4つの数字の入れ替えで×4!なので、
3×2×2×4! = 288通り
612 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 10:58:05.90 ID:+qG/76bi.net]: >>587
正解です！
613 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 11:23:55.54 ID:+qG/76bi.net]: (2)の数独において、２本の対角線上にも同じ数字が並ばない場合はどうか？
614 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 11:47:40.29 ID:ftLSrIfJ.net]: 問題が何通りって意味じゃないのか。
615 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 12:00:01.40 ID:+qG/76bi.net]: (1)のラテン方陣で、２本の対角線上も同じ数字が入らない条件を持つものは何通りあるか？
条件を増やすと簡単になるなあ
616 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 12:11:23.38 ID:U2A2nlW9.net]: >>589
12XX
34XX
XXXX
XXXX
において対角線上にも同じ数字が並ばない数独の配置は
1234 1243
3412 3421
4321 2134
2143 4312　の2通りのみ
数字の入れ替えを考慮して、2×4! = 48通り
617 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 12:13:10.79 ID:U2A2nlW9.net]: >>590
ヒント数が４個の、別解のない４×４の数独の問題は
何通りあるか？
618 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 12:19:49.64 ID:+qG/76bi.net]: >>592
正解です！
619 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 13:47:25.43 ID:U2A2nlW9.net]: >>593
全てのヒントの数字が異なる場合を調べたら、唯一解となるのは

1x3x 1x3x 1x2x 1x2x 1x2x 1xxx
2xxx x2xx xxxx xxxx xxxx xx2x
xx4x xxx4 3xx4 x3x4 x3xx x3xx
xxxx xxxx xxxx xxxx xxx4 xxx4

の６タイプのみで、
それぞれの上下左右反転や、上２行、下２行、右２列、左２列の入れ替え、
数字の入れ替えによるバリエーションが、
左から順に
3072、3072、3072、768、1536、384　通りなので、
合計11904通り。

ヒントの数字には少なくとも３種類の数字が含まれる必要があるので、
あとは、ヒントがちょうど３種類の数字からなる場合を考えればよいが、
場合分けが発散しそうなので、人手でやるべき作業ではなさそう。
暇な人は、プログラムで調べてちょ
620 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 13:50:42.41 ID:U2A2nlW9.net]: ずれた。コピーして等幅フォントで。
621 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 14:06:38.28 ID:FeX0gcyy.net]: 別スレで見た問題だけど

wc2014.2ch.net/test/read.cgi/math/1443981226/738

738 １３２人目の素数さん sage 2015/10/24(土) 00:08:28.37 ID:mxQpNuML
次の性質を持つ実数全体で定義された連続関数y＝f(x)は存在しない事を（高校範囲で）示せ

xが有理数の時yは無理数
xが無理数の時yは有理数
622 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 16:23:51.60 ID:yazxyviR.net]: >>597
高校範囲では、「連続関数」を定義しないから、
623 名前： 極限の計算練習くらいはできても、証明は不可能。 高校範囲でなく、普通にやれば？ []: [ここ壊れてます]
624 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 16:29:51.70 ID:U2A2nlW9.net]: >>597
補題：実数a,bがa<bを満たすとき、a<q<bとなる有理数qが存在する。
a<bより、1/(b-a)は正の実数であり、N>1/(b-a)となる自然数Nが存在する。
このとき、Nb-Na>1なので、Nb<M<Naとなる整数Mが存在する。
q=M/Nとすると、a<q<bを満たす。

以下本題

条件を満たす関数f(x)が存在すると仮定する。
関数g(x)をg(x)=x+f(x)と定義すると、g(x)は連続関数であり、
xが有理数ならf(x)は無理数なのでg(x)は無理数
xが無理数ならf(x)は有理数なのでg(x)は無理数
よって、g(x)は任意の実数xに対して無理数となる。

g(x)が定数関数の場合、g(x)=kとおくと、f(-k)=2kとなり、
kが有理数ならば-kもf(-k)も有理数、kが無理数ならば-kもf(-k)も無理数となるので
条件と矛盾

g(x)が定数関数ではない場合、g(a)<g(b)となる実数a,bが存在する。
このとき、補題より、g(a)<q<g(b)となる有理数qが存在し、
g(x)は連続関数なので、中間値の定理より、g(c)=qとなるcがaとbの間に存在する。
ところが、g(c)は無理数なので、qが有理数であることと矛盾

以上より、いずれの場合も矛盾が生じるので、仮定は誤りであり
条件を満たす関数f(x)は存在しない。

# そもそも中間値の定理が実数の連続性から導かれるものなので、
# それを証明なしに勝手に使っていい高校数学は、結構ゆるゆる。
625 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 16:32:00.45 ID:U2A2nlW9.net]: >>598
数IIIに「関数の連続性」という章があるのですが…
626 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 17:35:12.41 ID:yazxyviR.net]: >>600
そこで、未定義の「lim」を使っているだろ。
627 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 18:10:59.01 ID:U2A2nlW9.net]: そんなことはわかっとるわい（苦笑）
高校数学で中間値の定理とか微積を使った証明問題がないわけではあるまいに。
高校数学の範囲で示せ、と言われたら、使っていいことになってることを使って示す
パズルだと思えばいいだろ。
厳密に定義されていないものは使えないなら、高校数学なんて全滅だろって…
628 名前：１３２人目の素数さん mailto:sage [2015/10/25(日) 20:44:52.80 ID:eQ55Oj7N.net]: >>601
高校の教科書にもちゃんと定義しているだろ

元の問題は高校の範囲超えてもいいのなら濃度を考えたら自明だろ
629 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 00:05:39.06 ID:YOaWhcc4.net]: 濃度を考えても自明とは思えないな
630 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 01:28:40.96 ID:RXHa2tRu.net]: >>603
定義したようなふりはしているけれど、
「ちゃんと定義」はしてないよ。

そっちの方針がいいね。
631 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 04:16:09.61 ID:slr0ql1P.net]: 確かに濃度を考えても自明とは思えないですね。
自明だという方々は、どのような流れで自明だと言うつもりなのか
教えて頂きたいものです。
632 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 04:22:08.47 ID:VswQofCi.net]: 定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり、矛盾
自明だろう
633 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 05:03:33.19 ID:slr0ql1P.net]: >>607
＞定数でない連続関数fの像は連続体濃度を持つけど、fの定義からfの像は高々可算集合であり
なるほど。「fの像は高々可算集合」ってとこに気付きませんでした。
（有理数の集合＋有理数の像、なんですね）
私のように気付かなかった奴からすると、その１行の説明でも立派な証明で、
自明って言葉のニュアンスとは違って感じたりもします。
634 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 08:20:47.83 ID:lA+MWMHJ.net]: >>608
数学の専門書読んで行間を埋めたこと事ないの？

著者が自明だと書いていても理解するのに数日かかったりする事はざらだよ
635 名前：１３２人目の素数さん mailto:sage [2015/10/26(月) 14:50:38.40 ID:j7RcQfYy.net]: >>595
いやすごいな。
636 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 15:55:03.83 ID:oUaeh8L4.net]: おまけ付きの菓子にはA、B、Cのどれか１つが、それぞれ確率a、b、cで入っている。
(1) a+b+c=1のとき、3種類が揃うまでに買う個数の期待値を求めよ。
(2) 0<a+b+c<1のとき、3種類が揃うまでに買う個数の期待値は変わるか？
　変わるならその値を求め、変わらないならそれを証明せよ。
637 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 16:31:21.02 ID:jlw7lTLW.net]: >>611

(1)
nは3以上の整数として
n個目にA,B,C全て揃う確率は

n-1個目までにAが出ず、n個目にAが出る確率
n-1個目までにBが出ず、n個目にBが出る確率
n-1個目までにCが出ず、n個目にCが出る確率

の和であり

(1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c

よって買う個数の期待値は

n((1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c) (個)

(2)
買う個数の期待値は(1)と同じ

n((1-a)^(n-1)*a+(1-b)^(n-1)*b+(1-c)^(n-1)*c) (個)

これは式の意味から明らか
638 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 16:36:34.14 ID:jlw7lTLW.net]: (2)のようにはずれがあるなら
買う個数の期待値は(1)より大きくなる
と思われる
639 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 16:40:55.08 ID:0j1dwPeS.net]: >>612
＞n-1個目までにAが出ず
ではBだけ出てCが出ていないかもしれない
640 名前：１３２人目の素数さん mailto:sage [2015/10/31(土) 16:45:45.73 ID:jlw7lTLW.net]: （n-1個目までにAが出ず、n個目にAが出る確率）
-（n-1個目までにBのみが出て、n個目にAが出る確率）
-（n-1個目までにCのみが出て、n個目にAが出る確率）

+（n-1個目までにBが出ず、n個目にBが出る確率）
-（n-1個目までにCのみが出て、n個目にBが出る確率）
-（n-1個目までにAのみが出て、n個目にBが出る確率）

+（n-1個目までにCが出ず、n個目にCが出る確率）
-（n-1個目までにAのみが出て、n個目にCが出る確率）
-（n-1個目までにBのみが出て、n個目にCが出る確率）

か
やめた
641 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 00:54:53.93 ID:AWAb936d.net]: >>615より
n個目にA,B,C全て揃う確率は
(1-a)^(n-1)*a-b^(n-1)*a-c^(n-1)*a
+(1-b)^(n-1)*b-c^(n-1)*b-a^(n-1)*b
+(1-c)^(n-1)*c-a^(n-1)*c-b^(n-1)*c
買う個数の期待値は
n((1-a)^(n-1)*a-b^(n-1)*a-c^(n-1)*a
+(1-b)^(n-1)*b-c^(n-1)*b-a^(n-1)*b
+(1-c)^(n-1)*c-a^(n-1)*c-b^(n-1)*c)個
642 名前：611 mailto:sage [2015/11/01(日) 10:36:50.24 ID:LvsYUQg2.net]: 正解者なし。
643 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 11:39:28.82 ID:BcQa9qVi.net]: 期待値の式にnが入ってる時点で明らかに不正解なのはわかる
644 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 13:06:20.55 ID:tOJjs8t9.net]: >>611
(2)は問い方がおかしいだろ。
(1)でa+b+c=1を前提に答えを式変形していたら、(2)で使えるわけがない。
(1),(2)で共通で使える表現は存在する。

(1)だけの答えなら
bc+ca+ab=X、abc=Yとおいて
期待値は 1+ X/Y - (1+X)/(X-Y)
(1)(2)共通の答えは
期待値は 1+ 1/a + 1/b + 1/c - 1/(b+c) - 1/(c+a) - 1/(a+b)

考え方は、n≧1として、n回後にまだ全部揃っていない確率は
P(n) = (1-a)^n + (1-b)^n + (1-c)^n - (1-b-c)^n - (1-c-a)^n - (1-a-b)^n
であり、期待値は
1+Σ[n=1,∞]P(n)
（P(n)の式にn=0を代入すると0になるので、Σは0から計算すると楽）
645 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 13:10:01.30 ID:4gDXr50m.net]: 買う個数の期待値ですけど
646 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 13:20:13.32 ID:tOJjs8t9.net]: >>620
そうですがなにか
647 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 13:31:08.00 ID:NRx06mRK.net]: なお、おまけのお菓子は廃棄してはいけないこととする
648 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 13:37:02.93 ID:tOJjs8t9.net]: ちょっと冷たかったな（汗）
一般に終了するまでの回数の期待値を考える場合、少しトリッキーな言い方だが、
「n回目が行われる回数」という確率変数をx(n)（x(n)は0か1の値をとる）とすると、
終了するまでの回数という確率変数Xは
X=Σ[n=1,∞]x(n)
となるので、Xの期待値は
E(X)=Σ[n=1,∞]E(x(n))
で、n回目までに終わってない確率をP(n)（n=0,1,…）とすると、
E(x(n))=P(n-1)となるので、結局
E(X)=Σ[n=0,∞]P(n)
と言える。今回の問題では、n≧1ではP(n)は示した通りで、P(0)=1。
649 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 15:05:08.43 ID:4gDXr50m.net]: >>623
普通n回目に揃う確率をp(n)とした場合に求める期待値は当然
lim(n→∞)E(n)=lim(n→∞)np(n)
ではないの？
その方法でどうその後計算ができるのか示してもらいたいもんだ。
650 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 15:06:23.21 ID:4gDXr50m.net]: ×lim(n→∞)E(n)=lim(n→∞)np(n)
○lim(n→∞)E(n)=lim(n→∞)Σ[j=1,n]kp(k)
651 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 15:15:08.77 ID:tOJjs8t9.net]: （さっきから示してるんですが…ま、いいや）
652 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 15:25:50.30 ID:tOJjs8t9.net]: 結局縦のものを横にして
653 名前：計算してるだけなんだがな。 あと、E(X+Y)=E(X)+E(Y)は理解してるよな？ []: [ここ壊れてます]
654 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 16:07:34.53 ID:4gDXr50m.net]: n回目まで終わっていない確率を足し合わせても回数の期待値にはならないと言っているだけだが？
655 名前：１３２人目の素数さん [2015/11/01(日) 22:14:45.26 ID:tOJjs8t9.net]: >>623の説明でわからなければ、私の手には負えません。
656 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 23:00:35.12 ID:4gDXr50m.net]: >>629
n回目まで終わっていない確率を足し合わせたところで、その極限は1にしかならない。以上。
657 名前：１３２人目の素数さん [2015/11/01(日) 23:11:13.81 ID:tOJjs8t9.net]: >>630
他のスレでの発言を見ていると、大学レベルの数学の知識をお持ちの方と
見受けられるのですが、
どうして自分の頭できちんと考えることを放棄されているのでしょうか？
658 名前：１３２人目の素数さん mailto:sage [2015/11/01(日) 23:18:30.47 ID:tOJjs8t9.net]: （下げ忘れました。スミマセン）
659 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 00:34:13.02 ID:FzT0ePp1.net]: 日付が変わる前に>>630の発言を引き出せたからよしとするか…
何を言ってるかと思えば、そんなレベルの話だったとは
660 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 02:34:02.14 ID:krCUW5Pu.net]: >>619は考え方は合ってるけど計算ミスしてるのでは。
661 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 05:33:21.12 ID:wY9be5wM.net]: >>631
>>625
662 名前：611 mailto:sage [2015/11/02(月) 06:19:14.52 ID:O2maGD3B.net]: >>619
> (1)(2)共通の答えは
> 期待値は 1+ 1/a + 1/b + 1/c - 1/(b+c) - 1/(c+a) - 1/(a+b)

(1)のみ正解。
(2)はa+b+c≠1なので、式の形は異なります。(2)の値にa+b+c=1を代入すると(1)に一致するけどね。私が間違っていたらゴメン。
663 名前：611 mailto:sage [2015/11/02(月) 07:49:59.21 ID:O2maGD3B.net]: (2)の問題文を「期待値を a, b, c で表せ」に変更します。
s=a+b+c、t=ab+bc+ca、u=abc とおいて、s, t, u で表してもいいです。
664 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 08:30:02.32 ID:udp++JuJ.net]: 1/a+1/b+1/c-1/(a+b)-1/(a+c)-1/(b+c)+1/(a+b+c).
665 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 10:26:01.27 ID:FzT0ePp1.net]: >>636
本当だ、ベン図の真ん中が(2)では存在するのを忘れてた。
（説明すると、n回終わってaが出ていない事象をA、bが出ていない事象をB、
cが出ていない事象をCとして、ベン図書いて考えてて、3つ重なった所に
最初に0を入れたまま忘れてた…基本的ミスですな）
>>638で両方共通の答えになるのかな。
666 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 10:36:33.87 ID:FzT0ePp1.net]: ところで、>>635は昨日の4gDXr50mさんですかね。
そろそろ「もしかしたら自分が勘違いしてるかも」と疑い始めてもいいころでしょうに。
その自信はどこから来るのか、ある意味うらやましい（嘘です）。

いや、誰も
lim(n→∞)E(n)=lim(n→∞)Σ[j=1,n]kp(k)
の考え方を間違いだと言ってるわけではないんですよ。
その考え方でうまく計算できないようなケースに、
>>623みたいな作戦が使えるという話をしているだけで。
どうして自分の頭で考えて人の言っていることを理解する努力をしないのかと
不思議に思っているわけです。
667 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 13:02:00.46 ID:wY9be5wM.net]: >>640
4gDXr50mです。

>>630で書いているとおりですが、理解しようがありません。
確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。
668 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 15:08:14.85 ID:1VvZixfA.net]: >>630,641
> n回目まで終わっていない確率を足し合わせたところで、その極限は1にしかならない。以上。
n回目までに終わっていない確率(=n+1回目が行われる確率)の和は、
0回目から1回目までの和ですでに2になる単調増加列だが？
P(0)=1
P(1)=1
P(2)=1
P(3)=1-6abc
669 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 16:20:04.75 ID:udp++JuJ.net]: a+2b+3c+4d+...
=(a+b+c+d+...)+(b+c+d+...)+(c+d+...)+(d+...)+....
670 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 16:30:52.95 ID:wY9be5wM.net]: >>642
回数の期待値と書いているのにも関わらず、回数を考慮していないからおかしい。
671 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 16:50:16.25 ID:1VvZixfA.net]: >>644
そんな関係ないレスしてないで
672 名前： > 確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。 が偽だということは理解できたか？ []: [ここ壊れてます]
673 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 17:48:34.69 ID:wY9be5wM.net]: >>645
＞確率を足しても、∞の試行回数までに試行が終わる確率＝1しか得られないと考えます。
それは誤解だった。
n回目で終わる確率をP(n)とした場合にはその極限が1になるということ間違った。

＞E(x(n))=P(n-1)
と書かれているのがまずおかしい。
x(n)は0か1だから、E(0)とかE(1)は何を意味するのか？
E(n)=nP(n-1)
の間違いではないのか？
674 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 20:26:17.36 ID:Cvr2y9Py.net]: 一般に、確率変数Xが与えられたときにその期待値のことをE(X)と書くのであって
E(0)とかE(1)とかE(n)っていうのはちょっと意味が分からないなあ
675 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 21:36:38.51 ID:1VvZixfA.net]: >>646
> ＞E(x(n))=P(n-1)
> と書かれているのがまずおかしい。
まず、「E(x(n))」という書き方は>>647の通り期待値の一般的な記法であって何もおかしくない

x(n)は>>623が書いている通り、「n回目が行われる回数」という確率変数で、
n-1回目までに全部そろっていなければ1を取り、 (確率P(n-1))
全部そろっていれば0を取る (確率1-P(n-1))
当然x(n)の期待値E(x(n))は
E(x(n))=1*P(n-1)+0*(1-P(n-1)=P(n-1)
になる
補足だが、このP(n)はｎ回目終了時点で終わっていない確率であって、n回目に最後の一つがそろい終了する確率ではない

> E(n)=nP(n-1)
> の間違いではないのか？
このE(n)、P(n)が何を意味するのか判りかねるが
>>624-625に倣ったもので、
E(n)=Σ[ｋ=1,n]kP(k)
の間違いならば、
P(n)は「n回目に最後の一つがそろい終了する確率」
E(n)は「『k回目に終了する時の買う個数kとP(ｋ)との積』のｋ=1からｎまでの和」
だろうから
> E(x(n))=P(n-1)
の「E(x(n))」、「P(n)」とは別のものだろう
676 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:28:55.42 ID:FzT0ePp1.net]: x(n)は確率変数だと書いたはずだが。
ネット上で添字は分かりにくくなることがあるので、関数風に書くことはあるだろう。
x_nなら理解できるか？
nに対応する確率変数が無限にあるんだよ。
（というか、ただのよくある期待値計算の手法なのだが、なんでこんなことになってるの？）
677 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:35:48.94 ID:FzT0ePp1.net]: E(x(n))ではなくE[x_n]と書けばよかったか？
丸カッコではなく角カッコの方が一般的だというなら、そう読み替えて下さい。
（高校の教科書では、残念ながら丸カッコを使っているが。）
678 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:41:46.19 ID:FzT0ePp1.net]: 最早難癖モードなのか、
本当に理解してないのかが計りにくいが、
ホントもうどうでもいい。

これでもまだ上から目線で議論できる神経にはある意味敬服する。（嘘です）
679 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:42:07.10 ID:Mg+fRVGR.net]: >>611
(2)
f(x)=x/(1-x) + x/(1-x)^2　として
a*f(b+c) + b*f(c+a) + c*f(a+b) - (a+b)*f(c) - (b+c)*f(a) - (c+a)*f(b)
展開したり、通分したりすると、複雑になるので、ここで止めておく

特にa+b+c=1 の時は、
a*f(1-a)-(1-a)*f(a)=1-2a+1/a-1/(1-a) 等から
1 + 1/a + 1/b + 1/c - 1/(1-a) - 1/(1-b) - 1/(1-c)
と>>619に一致
680 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:43:11.61 ID:wY9be5wM.net]: 全て了解しました
681 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 22:45:27.00 ID:wY9be5wM.net]: よく考えれば非常に簡単なことだった。間違っていると思ったから書いているだけで
別に上から目線だとは全然思っていない。
682 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 23:08:00.26 ID:d0E5e822.net]: >>652に補足
3c{(a+b)^2-a^2-b^2} + 4c{(a+b)^3-a^3-b^3} + 5c{(a+b)^4-a^4-b^4} + ... +　(cyclic項)
=Σ[k=2,∞](k+1)c{(a+b)^k-a^k-b^k} + cyc.
=Σ[k=1,∞](k+1)c{(a+b)^k-a^k-b^k} + cyc.

ここで
Σ[k=1,∞](k+1)x^k = Σ[k=1,∞](∂/∂x)x^(k+1) = ... = x/(1-x) + x/(1-x)^2 ≡f(x)
に注意して、書き直したのが>>652
683 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 23:15:13.34 ID:wY9be5wM.net]: >>651
そうですね、それは大変に失礼いたしました。

以前に私はこの計算を行った問題です。

レアカードはABCDEFGHの8種類あり、レアカードが出る確率は5%。
A～Fと比べて、GとHは出る確率が半分。
n回目にレアカードがコンプする確率とコンプする回数の期待値を求めよ。
684 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 23:15:58.38 ID:wY9be5wM.net]: ×以前に私はこの計算を行った問題です。
○以前に私が計算を行った問題です。
685 名前：１３２人目の素数さん mailto:sage [2015/11/02(月) 23:39:02.75 ID:R2z+EcrU.net]: あ、ミスった
>>652　>>655は無かったことに
686 名前：１３２人目の素数さん mailto:sage [2015/11/05(木) 07:18:20.80 ID:jjaZ4tUN.net]: 1から2n+1までの数字の書かれたカードが1枚ずつ2n+1枚ある。
この中から無作為に3枚を取り出す。
(1) 2数の差の最小値を得点とするとき、得点の期待値を求めよ。
(2) 2数の差の最大値を得点とするとき、得点の期待値を求めよ。
687 名前：１３２人目の素数さん mailto:sage [2015/11/08(日) 01:47:28.64 ID:Qs7YPP2X.net]: 任意の実数a,b,cに対して、不等式

|ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)|≦M（a^2+b^2+c^2）^2

が成り立つような最小の実数Mを求めよ
688 名前：１３２人目の素数さん mailto:sage [2015/11/08(日) 16:59:39.06 ID:f/sobXmt.net]: (9√2)/32
689 名前：１３２人目の素数さん mailto:sage [2015/11/08(日) 23:12:29.95 ID:Ra6N4a1N.net]: 過程も書け
690 名前：１３２人目の素数さん mailto:sage [2015/11/09(月) 21:15:51.58 ID:VgRTV7gt.net]: >>660
a^2+b^2+c^2=1 の球面上での極値問題と考える
a,b,c が対称だから (a,b,c)=(1,1,1)/√3 を軸とする極座標 (r,θ,φ) に変換すれば簡単になると予想
他の2軸を (√(2/3),-1/√6,-1/√6),(0,1/√2,-1/√2) として
a=(1/√3)r(√2cosφcosθ+sinφ)
b=r(-(1/√6)cosφcosθ+(1/√2)cosφsinθ+(1/√3)sinφ)
c=r(-(1/√6)cosφcosθ-(1/√2)cosφsinθ+(1/√3)sinφ)
とすれば
ab(a^2-b^2)+bc(b^2-c^2)+ca(c^2-a^2)=√(3/2)r^4 sinφ(cosφ)^3 (3sinθ-4(sinθ)^3)
sinφ(cosφ)^3 の最大値は 3√3/16 で 3sinθ-4(sinθ)^3 の最大値は 1 だから答は 9√2/32
691 名前：１３２人目の素数さん mailto:sage [2015/11/09(月) 21:45:24.58 ID:Uts8GNkz.net]: すごい
692 名前：１３２人目の素数さん mailto:sage [2015/11/09(月) 21:49:30.09 ID:wYVWaO80.net]: >>663
> a^2+b^2+c^2=1 の球面上での極値問題と考える

すでにココで何をやってるか分からない…
693 名前：１３２人目の素数さん mailto:sage [2015/11/09(月) 23:29:45.01 ID:2fj29AuI.net]: >>662
X=a-b,Y=b-c,R=√(a^2+b^2+c^2)とすると、(c-a)=-X-Y
X^2+Y^2+(X+Y)^2=2(a^2+b^2+c^2)-2(ab+bc+ca)=2R^2-2(ab+bc+ca)なので
(a+b+c)^2=a^2+b^2+c^2+2(ab+bc+ca)=R^2+2R^2-X^2-Y^2-(X+Y)^2

{左辺/(右辺/M)}^2={(a-b)(b-c)(c-a)(a+b+c)}^2/(a^2+b^2+c^2)^4
=X^2Y^2(X+Y)^2(3R^2-X^2-Y^2-(X+Y)^2)/R^8=...≦81/512

腕力に頼るなら、f(x,y)={xy(x^2-y^2)+y(y^2-1)+x(1-x^2)}/(x^2+y^2+1)^2
として、∂f/∂x=∂f/∂y=0を解いて極大の候補を見つける方法も
694 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 08:10:32.00 ID:ktIVqkZl.net]: 2015年度　釣塔大学理学部　入学試験問題　数学

2/29　9:00-15:00　（6時間）

問1　π>3.05を示せ。
問2　tan1゜は有理数か。
問3　一辺1の正二十面体の体積を求めよ。
問4　tan10°=(tan20°)(tan30°)(tan40°) を示せ。
問5　C[2015,n]が偶数となる最小の自然数nを求めよ。
問6　(2^n+1)/n^2 が整数となるような自然数nを全て求めよ。
695 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 11:46:09.81 ID:AkD0Xa0Q.net]: >>667
> 釣塔大学理学部

ネタも大概にしろ
696 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 13:38:57.41 ID:RSSjjlq7.net]: 同じ問題ばっかしコピペしてるなー
697 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 13:55:57.09 ID:eSJ4pj9H.net]: 解けない馬鹿ばかりだからね
698 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 14:04:37.53 ID:yjYWK9mN.net]: 調べればすぐ答え出てくる問題ばっかやな
699 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 15:03:31.81 ID:M07kpxaE.net]: 釣塔大の過去問ではファレイ数列を背景にしたものが面白かった
700 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 17:44:2 ]: [ここ壊れてます]
701 名前：0.54 ID:QKJlOMCa.net mailto: 釣塔大学　平成24年度入学試験問題
数学(文科)
http://www.choto.jp/wp-content/uploads/H24math_a.pdf
数学(理科)
http://www.choto.jp/wp-content/uploads/H24math_s.pdf

から一問

文科第4問
x^17+7x=1の
(1) 17個の解の17乗の総和
(2) 17個の解の逆数の総和 []: [ここ壊れてます]
702 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 20:38:49.07 ID:gneE9q0Y.net]: これ、釣塔大のオリジナル？
703 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 20:56:09.21 ID:ejzOfhBl.net]: そうわ問屋が卸さない。
704 名前：１３２人目の素数さん mailto:sage [2015/11/10(火) 22:21:57.83 ID:Yi1N+6jX.net]: 四面体の六辺の積をL、体積をVとおくとき
L/V^2の最小値を求めよ
705 名前：１３２人目の素数さん mailto:sage [2015/11/11(水) 00:02:10.60 ID:c02syTcL.net]: V/2=1/6abcsinαsinβ=1/6defsinγsinσ
(V^2)/4=1/36Lsinαsinβsinγsinσ
L/V^2=9/sinαsinβsinγsinσ

こうですかわかりません！
706 名前：１３２人目の素数さん mailto:sage [2015/11/11(水) 00:03:09.77 ID:c02syTcL.net]: ぜんぜん違うじゃねーか
707 名前：１３２人目の素数さん mailto:sage [2015/11/11(水) 00:13:50.85 ID:CD/W06rP.net]: 元ネタは何だろう
www.tcp-ip.or.jp/~n01/math/analysis/tetrahedron/Tetrahedron.pdf
708 名前：１３２人目の素数さん mailto:sage [2015/11/11(水) 14:22:22.47 ID:H4I4JOfA.net]: >>638
(2) この答え違うよな
709 名前：１３２人目の素数さん mailto:sage [2015/11/12(木) 23:45:42.55 ID:+ZNawg+o.net]: xy平面上で、不等式x^2＋y^2≦b^2で表される領域をDとする。
このとき、曲面Z=√(a^2－x^2－y^2)のDに対応する部分の面積を求めよ。
ただし、a.bは正の定数でa>bとする
710 名前：１３２人目の素数さん mailto:sage [2015/11/13(金) 12:58:10.36 ID:JTFtlSpL.net]: それは見飽きた
711 名前：１３２人目の素数さん mailto:sage [2015/11/13(金) 23:05:42.07 ID:woulzGdF.net]: 解けないくせに
712 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 03:12:10.96 ID:CUofgJxc.net]: 球を平面で切った面積だろ？
どこの参考書にでも、
丸々おな問が載っているぞ。
勉強したこと無いの？
713 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 05:03:08.80 ID:FqgeDLEi.net]: 何？また質の低い出題者がエレガントに出したの？
714 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 13:53:59.34 ID:2y7u5HhI.net]: 受験通った奴なら解ける問題
715 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 15:21:58.54 ID:MNaw2lGQ.net]: 口ばっかりで実際には解けていない連中
716 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 15:24:48.46 ID:MNaw2lGQ.net]: 文句しかつけられない屑ども
717 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 15:35:05.13 ID:rGriZ3WF.net]: 文句つけるしかしようがないからな
出直して来いってことだ
718 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 17:51:05.48 ID:WlTPgH8m.net]: ４種類のタイルがたくさんある。いずれも正多角形形で、一辺の長さが１である。
この四種類のタイル全てを一定の割合で使い、平面を規則的に覆い尽くすことができるという。
この４種類のタイルが、それぞれ正何角形か、そして、どのように配置するか。
719 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 17:55:47.72 ID:0i+c2SxP.net]: 全部正六角形で材質が違う
はい論破
720 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 18:43:53.07 ID:8/VySMOE.net]: 全部正方形で材(ry
721 名前：１３２人目の素数さん mailto:sage [2015/11/14(土) 22:20:06.93 ID:AGL93mt1.net]: 3,4,6,12.
722 名前：１３２人目の素数さん mailto:sage [2015/11/15(日) 01:45:23.04 ID:60GjeiIH.net]: >>693
どうやって？
723 名前：１３２人目の素数さん mailto:sage [2015/11/15(日) 06:09:13.20 ID:UyssNKsl.net]: >>694
693ではないが、
正十二角形と正三角形だけで平面が敷き詰められることと
正六角形の回りに正方形と正三角形を6つずつ並べると正十二角形になることを知ってれば
簡単だと思うが。

正十二角形と正三角形の敷き詰めパターンの中で
一部の正十二角形を規則的に選んで、他の正多角形の組合せに置き換えればいいだけ。
どういうルールで置き換える正十二面体を選ぶかはさじ加減次第でいかようにも。
724 名前：１３２人目の素数さん mailto:sage [2015/11/15(日) 06:10:25.43 ID:UyssNKsl.net]: 誤：正十二面体
正：正十二角形
725 名前：１３２人目の素数さん mailto:sage [2015/11/15(日) 07:20:01.98 ID:60GjeiIH.net]: >>695
なるへそ。さんくす。
726 名前：１３２人目の素数さん mailto:sage [2015/11/15(日) 22:04:33.00 ID:VhAV5WwG.net]: 次の条件を満たす関数f(x)が存在すればそれを求め，存在しなければそれを示せ．

(1) 実数全体で微分可能
(2) x≠0 なる任意の実数 x に対して x^2 f’(x)＝f(x)
(3) f(1)＝1
727 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 01:06:30.99 ID:iIs89nTI.net]: >>698
微分方程式知ってればただの問題だしなあ
(2)を解くと一般解はf(x)=Ce^(-1/x)で
(3)から特殊解はe^((x-1)/x)となるけど、
(1)の条件を満たさない（x=0が定義域に入らない）からそんな関数は存在しない。
728 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 01:13:40.85 ID:20I39tfO.net]: >>690の出題者です。wiki の「平面充填」のページの「複数種類のタイルによる平面充填」の「正多角形」
の所に、８つの種類が図を伴って載っているが、
・(3,4,6,4)型において、正六角形とその周りの正方形と正三角形をまとめ、一つの正十二角形にする
・(3,12,12)型において、正十二角形を、一つの正六角形と３つの正方形・三つの正三角形にする
・(4,6,12)型において、正六角形を六つの正三角形にする
それぞれの平面充填図に於いて、この三パターンを置き換えを規則的な位置で行ったものが、
解答にあたると考えています。
いずれも正3,4,6,12角形の四種類のタイルを使用することになります。
729 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 07:20:24.93 ID:dgMTjPk9.net]: >>699
地雷踏んでますな
間違ってるよ
730 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 09:48:09.42 ID:gF+qHZnf.net]: 型どおりの嵌め手だな。
lim[x→0]f(x)を
考えるといいんじゃない？
731 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 10:09:59.96 ID:lYzjmwv3.net]: 0(x<=0).
exp(1-1/x)(0<x).
732 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 11:42:47.39 ID:iIs89nTI.net]: なるほど嵌められた。
733 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 15:18:57.34 ID:NgBGszqz.net]: 中途半端な知識がある奴に限って
引っかかって涙目になる好例だな
734 名前：１３２人目の素数さん mailto:sage [2015/11/16(月) 23:49:12.75 ID:gF+qHZnf.net]: こういうのがあるから、実解析は厭らしい。
複素解析のように単純明快ではないから。
735 名前：１３２人目の素数さん mailto:sage [2015/11/17(火) 00:21:31.90 ID:B/WbhtGY.net]: そういう問題ではないだろw
736 名前：１３２人目の素数さん mailto:sage [2015/11/18(水) 08:07:35.28 ID:YfZeoSBZ.net]: Z:整数の集合　a,b:互いに素な整数　n:正の整数
A(n) = { ax^n+by^n | x,y∈Z }　とおく
ZにおけるA(n)の補集合をB(n)とする
n≧2のとき B(n)が無限集合であることを示せ
737 名前：１３２人目の素数さん mailto:sage [2015/11/20(金) 12:07:03.57 ID:XLNgk5Ci.net]: 算数の授業で「皆殺し」　18782（嫌なやつ）＋18782＝37564
daily.2ch.net/test/read.cgi/newsplus/1447975327/
藤沢市の女性教諭（４０）が４年生の算数の授業で電卓の使い方を教える際、
「嫌なやつ（１８７８２）と嫌なやつ（１８７８２）を足すと皆殺し（３７５６４）になる」
との語呂合わせを用いていたことが１９日、分かった。
738 名前：１３２人目の素数さん mailto:sage [2015/11/20(金) 14:10:47.87 ID:YC7UIon5.net]: >>709
内容の善し悪し以前に、
ネタをボキャブラ天国から
とたことが異常に浅薄だな。
739 名前：１３２人目の素数さん [2015/11/20(金) 21:20:39.64 ID:cGbJ ]: [ここ壊れてます]
740 名前：bMBr.net mailto: 【問題】
2015年現在、個人情報の管理の効率化や行政事務の簡素化・迅速化などを目的として、住民票を有する日本国民一人一人にマイナンバーが付与されている。
マイナンバーはいずれも12桁以下の自然数であり、その中にはシステム上マイナンバーとして使用されない数もあるが、ここではそのような例外の存在は考慮しないものとする。
東工大生のヒロシはマイナンバーが異なる9個の素数の積であり、その素因数の和は250以下である。
愚かなヒロシは、自分のマイナンバーを「A,B,C,D」と3桁ずつ4つの整数に区切ったとき、A+B+C+Dと-A+B-C+Dの値がともに41以上の素数であることに発狂・卒倒し、その驚愕的事実をあろうことか2chに書き込んでしまった.。
この際、ヒロシのマイナンバーを当てちゃえ。 []: [ここ壊れてます]
741 名前：１３２人目の素数さん mailto:sage [2015/11/20(金) 21:23:39.27 ID:yi/k0l6t.net]: これは難しいな
どこが面白いのかを理解するのが
742 名前：１３２人目の素数さん mailto:sage [2015/11/20(金) 21:41:16.13 ID:qwFw9WzJ.net]: たぶんヒロシの正体だろ？
743 名前：１３２人目の素数さん mailto:sage [2015/11/20(金) 22:51:15.90 ID:YC7UIon5.net]: >>710 について陳謝と訂正。
ボキャブラ天国ではなく
トリビアの泉だったようだ。
似たようなもんといえば
似たようなもんだが。
744 名前：１３２人目の素数さん mailto:sage [2015/11/21(土) 02:22:52.60 ID:sgarGLHU.net]: >>711
3通り
745 名前：１３２人目の素数さん mailto:sage [2015/11/21(土) 04:26:38.18 ID:gKgefaB2.net]: >>715
同じく三通り見つかった
その三通りの　A+B+C+D　の和は、5345でおｋ
746 名前：１３２人目の素数さん mailto:sage [2015/11/25(水) 06:31:23.75 ID:b4wpDMiG.net]: a^(bc)・b^(ca)・c^(ab)=2^(abc)をみたす自然数の組(a,b,c)をすべて求めよ。
747 名前：１３２人目の素数さん mailto:sage [2015/11/29(日) 04:11:41.47 ID:JA15tZsj.net]: a^(bc)*b^(ca)*c^(ab)の素因数は2のみだから
a=2^l, b=2^m, c=2^n　（l,m,nは非不整数）
とおける
(2^l)^(2^(m+n))*(2^m)^(2^(n+l))*(2^n)^(2^(l+m))=2^(2^(l+m+n))
⇔2^(m+n)*l+2^(n+l)*m+2^(l+m)*n=2^(l+m+n)　…★
⇔(l,m,n)=(3,3,4),(3,4,3),(4,3,3)　…☆

したがって
(a,b,c)=(8,8,16),(8,16,8),(16,8,8)

(l,m,n)の解（の一部？）☆は
l=m=nとしたとき
★⇔2^(2l)*3l=2^(3l)⇔2^l=3l
で3<l<4から当たりをつけた

☆以外にも解があるかもしれないが
★の両辺の大小関係から絞れるはず
例えば
(l,m,n)=(1,1,1),(1,2,3)では(左辺)>(右辺)
(l,m,n)=(4,5,6),(6,6,6)では(左辺)<(右辺)
748 名前：１３２人目の素数さん mailto:sage [2015/11/29(日) 10:10:01.03 ID:9sTwx4pn.net]: 1,2,2.
1,2,4.
1,4,4.
2,16,16.
4,16,16.
8,8,16.
749 名前：１３２人目の素数さん mailto:sage [2015/11/29(日) 10:27:06.20 ID:0eJS4rU2.net]: そんなあるのか
750 名前：１３２人目の素数さん mailto:sage [2015/11/29(日) 14:31:10.14 ID:jKzfN99j.net]: 京大特色入試
imgur.com/xuNxNDb.jpg
751 名前：１３２人目の素数さん mailto:sage [2015/11/29(日) 18:35:31.67 ID:Zlc4lq5j.net]: n個の変換ベクトルが互いに独立であれば良い
752 名前：１３２人目の素数さん mailto:sage [2015/12/17(木) 12:45:31.26 ID:bnNJ+6iW.net]: 別スレから

309 １３２人目の素数さん sage 2015/12/17(木) 12:03:29.97 ID:3RmDFSBV
問題変えたほうが良いな
a^2≡a(mod.p)を満たすaの個数がn個であるときR(p)=nとおく。
例えば、R(1)=1,R(2)=2,R(3)=2,R(4)=2
(1)R(10),R(20)を求めよ。
(2)R(p)を求めよ。
753 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 00:11:55.50 ID:NonrS9aL.net]: 因数分解せずに数える方法があるなら知りたい
754 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 04:00:36.74 ID:TFNLlafx.net]: rad(p)をpの異なる素因数の
755 名前：積としてR(p)=2^rad(p)かな 素因数分解は必須のような気がする []: [ここ壊れてます]
756 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 04:02:14.76 ID:TFNLlafx.net]: >>725
間違えた、rad(p)関係ない
f(p)をpの異なる素因数の個数としてR(p)=2^f(p)
757 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 05:57:20.01 ID:C7lNQQ2f.net]: これ意味ある問題？
aの個数？
もとの問題は？
758 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 06:03:42.22 ID:8+Iq0zwg.net]: 意味ある問題なんてないぞ
759 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 06:13:22.44 ID:C7lNQQ2f.net]: 問題として成り立つの？ってことだよ。
760 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 12:27:18.65 ID:TFNLlafx.net]: 元の問題は知らないけど>>726はaの値の範囲を0≦a≦p-1として考えた
761 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 21:30:27.61 ID:C7lNQQ2f.net]: 問題作るにはちょっと早いな。
762 名前：１３２人目の素数さん mailto:sage [2015/12/18(金) 22:06:34.90 ID:TFNLlafx.net]: どういう意味かな
763 名前：１３２人目の素数さん mailto:sage [2015/12/27(日) 17:41:26.69 ID:uzhfdEJQ.net]: 出来る人は３０秒で出来る問題を一つ
（>>597 とは別問題だよ）

【問】実数全体で微分可能で、以下の性質を満たす関数 f(x) が存在すれば例をあげ、存在しなければそれを示せ。

x が有理数のとき f(x) は有理数の値をとる
x が無理数のとき f(x) は無理数の値をとる
f’(x) は任意の区間で定数ではない
764 名前：１３２人目の素数さん mailto:sage [2015/12/27(日) 18:23:01.25 ID:yrBNFagd.net]: 1/(x-1) + 1 (x < 0)
1/(x+1) - 1 (x >= 0)
765 名前：１３２人目の素数さん [2015/12/30(水) 23:35:52.20 ID:dwu7uNBX.net]: 正の整数nは異なる正の整数a,bを用いてn=a^2+b^2と表せるとする.
aとbを3で割った余りが等しいならば,nは3つの0でない平方数の和としても表せることを示せ.
766 名前：１３２人目の素数さん mailto:sage [2015/12/31(木) 00:42:30.09 ID:5yG2/U0D.net]: (3a+k)^2+(3b+k)^2=...=(2a-2b)^2+(a+2b+k)^2+(2a+b+k)^2
767 名前：１３２人目の素数さん mailto:sage [2015/12/31(木) 10:58:17.26 ID:4isRYK2s.net]: >>735の「3で割った余り」のところを「mで割った余り」で置き換えても成立するようなmの条件は、
mがp≡1またはp≡3(mod 8)なる素因数pをもつことであると予想してみたがどうか
768 名前：１３２人目の素数さん mailto:sage [2015/12/31(木) 20:05:35.26 ID:yOpIKA8C.net]: >>737
((2n^2+1)a+k)^2 + ((2n^2+1)b+k)^2 = ... = (2n)^2 (a-b)^2 + (2n^2 a+b+k)^2 + (a+2n^2 b+k)^2
m = 2n^2+1 の時、>>735と同様の表し方が可能
769 名前：１３２人目の素数さん mailto:sage [2016/01/01(金) 15:25:04.88 ID:l8HQHaTT.net]: 一般に2n^2+m^2の素因数はmod 8で1または3
770 名前：１３２人目の素数さん mailto:sage [2016/01/01(金) 15:28:53.86 ID:l8HQHaTT.net]: >>739ミス
一般に2n^2+m^2はmod 8で1または3なる素因数をもつ
771 名前：１３２人目の素数さん mailto:sage [2016/01/02(土) 13:26:26.97 ID:ivVRndIw.net]: >>740
「(m,n)=1の時、2n^2+m^2　の奇素因数は、8k+1型と8k+3型のみ」
＝「(m,n)=1の時、2n^2+m^2　は、8k+5型と8k+7型の素因数を持たない」
という事だよね
772 名前：１３２人目の素数さん mailto:sage [2016/01/02(土) 19:22:52.35 ID:DyVpxaXV.net]: ((2n^2+m^2)a+k)^2 + ((2n^2+m^2)b+k)^2
=(2n^2 a + m^2 b + k)^2 + (m^2 a+ 2n^2 b+k)^2 + (2mn)^2(a- b)^2
773 名前：１３２人目の素数さん mailto:sage [2016/01/02(土) 22:57:05.36 ID:nzebj+zc.net]: >>741
そう言いたかった
さらに言えばmn≠0のとき2n^2+m^2は2の冪にはならないので必ず奇素因数をもつ
m,nの共通因数で括れば8k+1型または8k+3型の素因数をもつことがわかる
774 名前：１３２人目の素数さん [2016/01/03(日) 11:45:59.37 ID:pr/BgAgr.net]: 平面上にn個の点からなるAグループと、m個の点からなるBグループがある

Aグループのそれぞれの点について、Bグループにあるm個の点全てと線で結ぶ

線と線の交差点を無くすように線を結ぶことが可能な(n,m)の必要十分条件を求めよ
775 名前：１３２人目の素数さん mailto:sage [2016/01/03(日) 12:03:48.45 ID:Ndtu0gjX.net]: 完全二部グラフが平面グラフとなる条件…
776 名前：予言 [2016/01/03(日) 17:33:24.79 ID:5w915yXZ.net]: 予言　「今年もマジメな労働者が「過労死」するだろう・・・」

働きすぎの労働者が、鼻から血をだして・・たお
777 名前：れて死ぬだろう・・今年も・・ ユダヤの人類削減計画（じんるいさくげんけいかく）！！ 人類同士を争わせ、過労死させ・・・日本人の数が減らされるだろう・・ すべては・・ユダヤの陰謀！！ すべてフリーメーソン（悪魔崇拝者）の陰謀！！ 「フリーメーソン」と「韓国系カルト団体」が手を組んで・・・ 日本人全員に「獣の数字」をつけるだろう・・・ マイナンバー＝「獣の数字」 政治家も総理大臣も正体は・・・悪魔だ！！ 「世界制覇をもくろむカルト集団」フリーメーソンが、 政治家たちをあやつっている！！ 「安倍総理」も「小泉元総理」も「小泉進次郎」も正体は、「フリーメーソン」 カルト団体が、世界を支配し・・・人類は、悪魔に支配されるだろう・・ 「やさしげな笑みをうかべ・・友好的に近づいてくる 悪魔（フレンド・エネミー）にきをつけろ！！」 ミカエル []: [ここ壊れてます]
778 名前：１３２人目の素数さん mailto:sage [2016/01/06(水) 12:31:37.22 ID:BlYtndoR.net]: 引用すれば頭良くなった錯覚ってあるね
779 名前：１３２人目の素数さん [2016/01/08(金) 21:35:27.33 ID:KfibX6Ld.net]: どんな整数nについても、方程式 v^3+w^3+x^3+y^3+z^3=n は整数解を持つことを示せ
780 名前：１３２人目の素数さん mailto:sage [2016/01/08(金) 22:15:01.82 ID:+LoVeze2.net]: (a+1)^3+(a-1)^3+2(-a)^3=6a.
781 名前：１３２人目の素数さん mailto:sage [2016/01/09(土) 13:03:46.56 ID:HojI1yPI.net]: >>748
ほんまかいな
782 名前：１３２人目の素数さん mailto:sage [2016/01/09(土) 15:37:20.57 ID:KWqzf2XN.net]: >>749がほぼ答えっぽい
mod 6で考えるとnは6a,6a±1,6a±8,6a±27のいずれかの式で表せる
783 名前：１３２人目の素数さん mailto:sage [2016/01/09(土) 18:30:01.17 ID:VeR4YgtA.net]: n=n^3-(n-1)n(n+1).
784 名前：１３２人目の素数さん [2016/01/09(土) 20:07:30.82 ID:ahhfOA3Z.net]: 素晴らしいなあ
785 名前：１３２人目の素数さん mailto:sage [2016/01/09(土) 23:41:29.32 ID:KWqzf2XN.net]: 任意の整数nは18個の整数の5乗の和で表せることを示せ
ちなみに18個が上限かどうかは知らない
786 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 13:23:12.67 ID:/xlK0Zug.net]: 下限の間違いだろ
787 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 14:38:47.27 ID:tpDYgS5v.net]: >>754
下限の間違いだろ
788 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 14:50:19.76 ID:w/r+YeUk.net]: いや、下限の間違いじゃねこれ
789 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 15:18:15.30 ID:o98nGKNX.net]: 整数nをいくつかの5乗数の和で表すとき必要な個数を表す関数f(n)の上限という意味で書いたんだけど
違う意味に取られたみたいね
790 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 15:23:50.65 ID:tpDYgS5v.net]: やっぱり下限の間違いじゃね？
791 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 15:24:29.65 ID:o98nGKNX.net]: 問題として成立する範囲で「18」という数をさらに小さくできるかと考えると
下限と言ったほうが良かったかもしれない
792 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 15:34:31.30 ID:Ez+gNfz3.net]: 任意の整数nは18個の整数の5乗の和で表せることを示せ。
ちなみに整数nをいくつかの5乗数の和で表すとき必要な個数を
表す関数f(n)の上限が18個かどうかは知らない。

問題は出したが答え(以前に正しいかどうか)は知らないということ?
793 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 15:49:32.38 ID:tsDGMVN4.net]: 題意を満たす整数の個数の最小値よりも大きい数の整数では
題意は満たされるのだから下限と言った方が正しいと思われる
794 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 16:07:52.02 ID:o98nGKNX.net]: >>761
任意の整数が18個の5乗数の和で表せることは証明できたので出題してみた
f(n)の値は任意の整数nについて18以下になるということ

>>762
そのほうが正しいというか自然だったと思う
795 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 16:12:41.68 ID:tpDYgS5v.net]: やっぱり下限だよな。頭おかしいわ
796 名前：１３２人目の素数さん mailto:sage [2016/01/10(日) 16:22:40.09 ID:o98nGKNX.net]: どっちでもいいけど納得出来ない人は>>758を読んでね
797 名前：１３２人目の素数さん mailto:sage [2016/01/11(月) 11:56:45.89 ID:PTpdZCyq.net]: そこんとこの加減がわからない。
798 名前：１３２人目の素数さん mailto:sage [2016/01/17(日) 04:37:21.88 ID:F9usaSuM.net]: 地理の問題

赤道上において、
799 名前：その対蹠点と気温が等しい地点は存在するか？ []: [ここ壊れてます]
800 名前：１３２人目の素数さん mailto:sage [2016/01/17(日) 07:36:39.68 ID:NP2A8SJ4.net]: 厳密には、わからない、と言う回答が無難だな。

同一時刻の計測なんてのがまず至難の技だ。
赤道上とか地点とかを決められるのか、って問題もある。

愚問だな。
801 名前：１３２人目の素数さん mailto:sage [2016/01/17(日) 11:38:23.39 ID:JJ87gKrs.net]: 地理の問題としては、
「厳密にはわからない」だろうね。

数学の問題としては、
周期Tを持つ連続関数fにf(x)=f(x+T/2)となるxは
あるか？と言い換えられる。
g(x)=f(x)-f(x+T/2)と置くと、g(T/2)=-g(0)だから
中間値定理より、g(x)=0となるxは存在する。
802 名前： ◆BrMQ7vJgz6 [2016/01/26(火) 03:08:21.90 ID:SKHH2AHq.net]: Aさんは3日周期で、Bさんは5日周期で、Cさんは7日周期で学校に来ます

始業式の日、Aさんが学校に来ました
翌日Bさんが学校に来ました
さらに翌日Cさんが学校に来ました

始業式から何日後にはじめてAさん、Bさん、Cさんが揃って学校に来るでしょうか？

答えはトリップ
#～日
の形で
803 名前：１３２人目の素数さん mailto:sage [2016/01/26(火) 04:35:49.05 ID:UTH+2ssK.net]: >>770
小学生向けだな
804 名前： ◆BrMQ7vJgz6 mailto:sage [2016/01/26(火) 11:41:13.02 ID:vB7AoAcz.net]: 【解法1】
3k, 5l+1, 7m+2の最小公倍数nを求める問題に帰着する
N=n+9とおくと、Nは
10以上
かつ
3と5の公倍数、すなわち15の倍数
かつ
7で割ると4余る数
これらを満たす最小のNはN=60 (n=51)
よって、51日後

【解法2】
求める日数をxとおくと
x≡0 (mod 3), x≡1 (mod 5), x≡2 (mod 7)
x=3aとおくと
3a≡1 (mod 5)　∴6a≡2 (mod 5)　∴a≡2 (mod 5)
a=5b+2とおくと、x=15b+6であり
15b+6≡2 (mod 7)　∴15b≡3 (mod 7)　∴b≡3 (mod 7)
b=7c+3とおくと、x=105c+51であり
最小のxは、c=0のときx=51
よって、51日後
805 名前： ◆BrMQ7vJgz6 mailto:sage [2016/01/26(火) 12:02:08.18 ID:vB7AoAcz.net]: 【解法3】
3,5,7は互いに素であるから
(s,t)=(3,5*7),(5,7*3),(7,3*5)それぞれについて
sx+ty=1の整数解が存在する

3*12+35*(-1)=1, 5*(-4)+21*1=1, 7*(-2)+15*1=1
より
-35≡1 (mod 3), 21≡1 (mod 5), 15≡1 (mod 7)

x≡0 (mod 3), x≡1 (mod 5), x≡2 (mod 7)
より
x≡-35*0+21*1+15*2 (mod 3*5*7)、すなわちx≡51 (mod 105)
正で最小のxはx=51
よって、51日後

【解法4】（孫子算経の解法、百五減算）
0*70+1*21+2*15=51(<105)
よって、51日後
これは【解法3】において
-35≡1 (mod 3) の代わりに
70≡1 (mod 3) を用いたもの
806 名前：１３２人目の素数さん mailto:sage [2016/01/26(火) 12:10:22.62 ID:vB7AoAcz.net]: そんなことより
A,B,Cはダメ大学生か何か？
807 名前：１３２人目の素数さん mailto:sage [2016/01/26(火) 14:22:37.31 ID:Pf4dZoYr.net]: 三日周期って三日に一度しかこないのか？（笑
登校ー休みー休みー登校ー休みー…
これじゃ単位はだせないだろう？（笑

愚問だな
808 名前：１３２人目の素数さん mailto:sage [2016/01/26(火) 14:35:43.80 ID:E78So9JJ.net]: 日曜は、どうすんだろう？
809 名前：１３２人目の素数さん [2016/01/26(火) 14:37:12.76 ID:/hDBO2fo.net]: 学校に行くだけの話だから、日曜だろうが祝日だろうが別に問題なくね
810 名前：１３２人目の素数さん [2016/01/28(木) 05:16:02.06 ID:r+S1ez0V.net]: Σ[k=1, n]k=n(n+1)/2
Σ[k=1, n]k(k+1)=Σ[k=1, n](k^2+k)=(n(n+1)(2n+1)/6)+(n(n+1)/2)=n(n+1)(2n+4)/6=n(n+1)(n+2)/3
Σ[k=1, n]k(k+1)(k+2)=Σ[k=1, n](k^3+3k^2+2k)=(n(n+1)n(n+1)/4)+(n(n+1)(2n+1)/2)+(n(n+1))=n(n+1)(n^2+5n+6)/4=n(n+1)(n+2)(n+3)/4
より
2Σ[k=1, n]k=n(n+1)
3Σ[k=1, n]k(k+1)=n(n+1)(n+2)
4Σ[k=1, n]k(k+1)(k+2)=n(n+1)(n+2)(n+3)

以上より
(a+2)Σ[k=1, n](Π[j=k, k+a]j)=Π[l=n, n+(a+1)]l　…♯
という関係式が推測できる

これを用いれば任意の羃乗の和の公式を帰納的に求
811 名前：められ また、高次の多項式に繰り返し使うことで総和の計算を楽にすることができる 問 ＃を示せ []: [ここ壊れてます]
812 名前：１３２人目の素数さん mailto:sage [2016/01/28(木) 11:16:17.82 ID:0NAeCfq4.net]: >>778
(a+2)Π[j=k,k+a]j = {(k+a+1)-(k-1)}Π[j=k,k+a]j
= Π[j=k,k+a+1]j - Π[j=k-1,k+a]j

∴ (a+2)Σ[k=1,n](Π[j=k,k+a]j) = Σ[k=1,n](Π[j=k,k+a+1]j - Π[j=k-1,k+a]j)
= Σ[k=1,n]Π[j=k,k+a+1]j - Σ[k=1,n]Π[j=k-1,k+a]j
= Σ[k=1,n]Π[j=k,k+a+1]j - Σ[k=0,n-1]Π[j=k,k+a+1]j
= Π[j=n,n+a+1]j - Π[j=0,a+1]j
= Π[j=n,n+a+1]j
813 名前：１３２人目の素数さん [2016/01/28(木) 12:26:56.09 ID:+Dvk1k+O.net]: おお
814 名前：１３２人目の素数さん mailto:sage [2016/01/28(木) 12:39:07.87 ID:JoXwoiTx.net]: >>16
(N-1)C2

1,1,1,...,1というN個の、1の列を2つのしきりで分ければX,Y,Zが定まるため
815 名前：１３２人目の素数さん mailto:sage [2016/01/28(木) 13:46:22.97 ID:zCW6syeb.net]: >>778
1からn+a+1までの整数からa+2個選ぶ組合せは(n+a+1)!/{(a+2)!(n-1)!}通り
このうち選ばれる数の最大値がk+a+1となるのは(k+a)!/{(a+1)!(k-1)!}通り
よって(n+a+1)!/{(a+2)!(n-1)!}=Σ[k=1,n](k+a)!/{(a+1)!(k-1)!}
すなわち(n+a+1)!/(n-1)!=(a+2)Σ[k=1,n](k+a)!/(k-1)!
816 名前：１３２人目の素数さん mailto:sage [2016/01/28(木) 13:57:23.94 ID:4ttglcTk.net]: 両辺の階差をとって
帰納法
817 名前：１３２人目の素数さん mailto:sage [2016/01/28(木) 19:05:40.72 ID:Mmdmh8K/.net]: 帰納法なんて泥臭いね
818 名前：１３２人目の素数さん mailto:sage [2016/01/30(土) 03:36:14.81 ID:B02VPa1I.net]: 進研ゼミに載ってた問題。
x,y,z≧0とするとき、すべての自然数nに対して次の不等式が成り立つことを証明せよ。
①(x^n+y^n)/2≧{(x+y)/2}^n
某国立Ｓ大より
819 名前：１３２人目の素数さん mailto:sage [2016/01/30(土) 04:07:45.98 ID:KN+qiPYM.net]: >>778
Σ[j=0,n](1+x)^j　を展開した時のm次の係数はΣ[k=m,n]C[km]　(Cは二項係数)
Σ[j=0,n](1+x)^j={(1+x)^(n+1)-1}/{(1+x)-1}={(1+x)^(n+1)-1}/x
を展開した時のm次の係数はC[n+1,m+1]
Σ[k=m,n]C[km]=C[n+1,m+1]
820 名前：１３２人目の素数さん mailto:sage [2016/02/01(月) 02:37:13.32 ID:AgFwJLhN.net]: 50629を素因数分解せよ（気付けば簡単）
821 名前：１３２人目の素数さん mailto:sage [2016/02/01(月) 03:51:48.40 ID:EydN4Yw2.net]: 50629 = 50000 + 625 + 4
= 2^4 * 5^5 + 5^4 + 2^2
= 5^4(2^4 * 5 +1) + 2^2
= 5^4 * 81 + 2^2
= (3^2 * 5^2)^2 + 2^2
= (3^2 * 5^2 + 2)^2 - 2^2 * 3^2 * 5^2
= 227^2 - 30^2
= 197 * 257

というのが出題意図？
822 名前：１３２人目の素数さん mailto:sage [2016/02/01(月) 09:40:12.79 ID:AgFwJLhN.net]: >>788
正解！
50629に近い平方数を考えてみると50625=225^2=15^4より50629=15^4+4
x^4+4=(x^2-2x+2)(x^2+2x+2)でx=15の場合になる
823 名前：１３２人目の素数さん [2016/02/03(水) 17:42:21.09 ID:35vAMKni.net]: 81^100000の下6桁を求めよ
824 名前：１３２人目の素数さん mailto:sage [2016/02/03(水) 18:18:39.35 ID:5qehKVMd.net]: 3と1000000は互いに素だから
オイラーの定理より
3^φ(1000000)≡3^400000≡81^100000≡1 (mod 1000000)

φはオイラーの関数
φ(1000000)=φ(2^6*5^6)=φ(2^6)φ(5^6)=(2^6-2^5)(5^6-5^5)=2^5*6^5*4=400000
825 名前：１３２人目の素数さん [2016/02/03(水) 19:09:37.96 ID:670x/vqr.net]: >>791
せいかい
さすがに瞬殺か
826 名前：１３２人目の素数さん mailto:sage [2016/02/05(金) 10:22:48.50 ID:GvA6rjqo.net]: nを自然数とする。
n次元ユークリッド空間上にm個の異なるベクトルを、
・どの異なる２つのベクトルを取っても標準内積が(①0以下/②0未満)である
という条件を満たすように定めることができる最大のmを求めよ
827 名前：１３２人目の素数さん mailto:sage [2016/02/05(金) 13:06:07.27 ID:FHuziIgA.net]: >>793
①2n
②n+1
だと思うけど、証明はできてない。

①は各直交座標軸と平行な２つずつの単位ベクトル
②はたとえば原点を中心とする単位球に内接する正n+1胞体の各頂点の位置ベクトル

②の方はベクトルの選び方に自由度は高いけど、互いのな�
828 名前：ｷ角が鈍角に なるように原点を始点とするn個の単位ベクトルを選ぶと、それらのいずれとも 鈍角となる領域でどう２つの単位ベクトルを選んでもそのなす角は鋭角になるような。 []: [ここ壊れてます]
829 名前：１３２人目の素数さん mailto:sage [2016/02/05(金) 14:30:06.08 ID:SYQj5jIj.net]: ①2n+1（0ベクトル含む）
②n+1
①も②も考え方は同じ。
条件を満たすベクトルの集合Sがあるとして、その中から1つのベクトルaをとる。
他のベクトルそれぞれについてaとの直交成分をとったベクトルの集合Tを作る。
Tは、aと直交するn-1次元空間におけるベクトルの集合である。
Tはn-1次元の場合の条件を満たすことが計算によって示せる。
（Sのa以外のベクトルのaと平行な成分は全て同符号（または0）であることを用いる。）
Tを作るときにaとの直交成分が等しくなるようなベクトルの組がある可能性があるが、
それは0ベクトルおよびaと逆向きのベクトルがある場合に限られる。
この場合に限ってSの元の個数はTの元の個数より2個多く、そうでない場合は1個多い。
あとは1次元の場合を考え、数学的帰納法。
830 名前：１３２人目の素数さん mailto:sage [2016/02/06(土) 22:35:38.93 ID:vz5B8AoE.net]: >>795
正解。ちょっとした違いでここまで違ってくるのが不思議だなあと思い出題しました
831 名前：１３２人目の素数さん [2016/02/10(水) 21:54:50.93 ID:bCSmWEgO.net]: 13333を素因数分解せよ（10秒以内）
832 名前：１３２人目の素数さん [2016/02/10(水) 22:00:44.12 ID:221i87Xc.net]: ・ぐぐる
・それっぽいページを13333で検索

10秒以内なら回線速度と手際の良さが決め手かな
833 名前：１３２人目の素数さん [2016/02/10(水) 22:52:58.04 ID:+x2EAWD5.net]: >>797
x=13333
3x=39999
3x=40000-1=200^2-1^2
3x=199*201
x=199*67
834 名前：１３２人目の素数さん mailto:sage [2016/02/10(水) 23:15:21.24 ID:SlMsaVX8.net]: 正解。10秒は正直きつかったと思う。反省してる。
835 名前：１３２人目の素数さん [2016/02/10(水) 23:17:58.50 ID:M+2gbn5K.net]: で、どこが面白いの？
836 名前：１３２人目の素数さん mailto:sage [2016/02/10(水) 23:40:24.55 ID:SlMsaVX8.net]: じゃあ面白い問題おしえて
837 名前：１３２人目の素数さん [2016/02/10(水) 23:45:47.74 ID:nDc6EqG9.net]: 手頃な手持ちがないや
で、どこが面白いの？
838 名前：１３２人目の素数さん mailto:sage [2016/02/10(水) 23:53:50.56 ID:SlMsaVX8.net]: 察してくれ
839 名前：１３２人目の素数さん [2016/02/10(水) 23:55:44.92 ID:6lMHRCSp.net]: (x^2-y^2)^2-8(x^2+y^2-2)を因数分解せよ
840 名前：１３２人目の素数さん [2016/02/10(水) 23:56:01.33 ID:nDc6EqG9.net]: なんとなくわかりました
841 名前：１３２人目の素数さん [2016/02/11(木) 01:12:12.79 ID:bH5NLdGW.net]: >>805
前にも出てたな。
842 名前：１３２人目の素数さん [2016/02/11(木) 04:43:32.05 ID:lG4eYjeX.net]: (1)広義積分∫_0^∞ 1/(1+e^x) dxを求めよ.
(2)広義積分∫_0^∞ 1/(1+x^e) dxを求めよ.
843 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 08:10:14.92 ID:idTVTEhT.net]: ＞＞805
Maximaによると
(y-x-2)*(y-x+2)*(y+x-2)*(y+x+2)
844 名前：１３２人目の素数さん [2016/02/11(木) 11:22:14.04 ID:jFqGopu8.net]: 三角形のある頂点からn回辺を渡って元の頂点に戻る方法は何通りあるか

ただし同じ辺を何度でも渡ってよいものとする
845 名前：１３２人目の素数さん [2016/02/11(木) 11:32:44.64 ID:jFqGopu8.net]: 三角形のある頂点からn回辺を渡って右隣の頂点に行く方法は何通りあるか

ただし同じ辺を何度でも渡ってよいものとする
846 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 12:12:03.00 ID:ytlW8RBD.net]: 場合分けして漸化式的な？
847 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 12:36:26.49 ID:4Xq5zTR2.net]: >>798>>809
こんぷぅーたーが必ず正しい答えを出す保証はないのでその解法は不可
848 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 12:49:05.51 ID:+pDw+fcr.net]: >>811
行列
０１１
１０１
１１０
をｎ乗して、
非対角成分を見る。
849 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 12:58:14.10 ID:jS9+i2Cq.net]: スタートを頂点Aとする。
n回目にAにいるパタンをa(n)通りとする。
a(0)=1である。
n回目にA以外にいるのは2^n - a(n)通りで、これがa(n + 1) と一致するから
a(n + 1) = 2^n - a(n)
この漸化式をとくと
a(n) = (2^n + 2(-1)^n)/3
850 名前：１３２人目の素数さん [2016/02/11(木) 13:33:29.61 ID:lKFnBQ6m.net]: >>814,815
正解
想定してた解答は>>814だったけど
>>815のほうがスマートか
851 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 14:30:45.66 ID:vfZEdEaA.net]: >>805
(x^2-y^2)^2-8(x^2+y^2-2)
=(x^2-y^2-4)^2-16y^2
=(x^2-y^2-4+4y)(x^2-y^2-4-4y)
=(x+y-2)(x-y+2)(x+y+2)(x-y-2)
852 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 19:11:18.44 ID:2qxM1Agz.net]: >>814
サルにも分かるように解説キボンヌ！
853 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 20:02:44.38 ID:+pDw+fcr.net]: サルには解らない。
出題者>>816には解ったようだから、
今回は、もうおしまい。
854 名前：１３２人目の素数さん [2016/02/11(木) 20:13:17.57 ID:lKFnBQ6m.net]: >>818
隣接行列でググれ
855 名前：１３２人目の素数さん mailto:sage [2016/02/11(木) 21:20:06.87 ID:+pDw+fcr.net]: 点に番号をつける。
点ｉから点ｊへ１ステップで行けるとき１、
行けないとき０を第ｊ行ｉ列に置いた行列をＡ
とすると、Ａのｎ乗の第ｊ行ｉ列成分は
点ｉから点ｊへｎステップで行く経路数を表す。
なんでそうなるかは、行列積の成分計算を帰納法で。
856 名前：１３２人目の素数さん [2016/02/26(金) 15:59:46.93 ID:jw4SQ24a.net]: 帯状の紙をn回ひねり、端と端をくっつけてn回ひねりのメビウスの帯を作る
このメビウスの帯の中央をはさみで切断して得られる結び目はなにか？
857 名前：１３２人目の素数さん mailto:sage [2016/02/26(金) 16:18:18.25 ID:mbObA5VW.net]: メビウスじゃないし
858 名前：１３２人目の素数さん [2016/02/26(金) 17:00:35.10 ID:jw4SQ24a.net]: >>823
じゃあなんか変な帯ってことで
859 名前：１３２人目の素数さん mailto:sage [2016/02/26(金) 17:12:31.97 ID:HIAxjyuu.net]: 切断したらどうなるかよりもむしろ、n回ひねるという動作を数学的にどう表現すればいいのか気になる
860 名前：１３２人目の素数さん mailto:sage [2016/02/26(金) 17:29:48.42 ID:ibixH6Fp.net]: 180°=1回
861 名前：１３２人目の素数さん mailto:sage [2016/02/26(金) 17:34:01.76 ID:HIAxjyuu.net]: いや、そこを問題にしているのではないんだけど…
862 名前：１３２人目の素数さん mailto:sage [2016/02/26(金) 17:48:58.34 ID:HIAxjyuu.net]: ググってみたところ、「ファイバー束」で表現できるみたいね
863 名前：１３２人目の素数さん [2016/02/26(金) 17:52:46.53 ID:eHEahPMp.net]: 組みひもσ^nのザイフェルト曲面として考えればいいんでないか？
864 名前：１３２人目の素数さん mailto:sage [2016/02/27(土) 13:55:06.82 ID:VC9SoSyh.net]: そもそもメビウスは半ひねりだし
865 名前：１３２人目の素数さん mailto:sage [2016/02/27(土) 14:18:04.46 ID:5BhRbhc5.net]: n個の白いボールとm個の黒いボールをランダムに並べる
並べた時黒いボールが続く最大の個数をLとする
例えば
○●●○●であればL=2
Lの期待値をE(n,m)とする
lim[m→∞]E(n,m)/mを求めよ
866 名前：１３２人目の素数さん [2016/02/27(土) 14:22:47.26 ID:iL/7MhpH.net]: ランダムに並べて

●
　　　○
　　　　●　　　○

　　　　　　　　　　○

の場合のLっていくつ？
867 名前：１３２人目の素数さん mailto:sage [2016/02/27(土) 15:28:12.44 ID:HUQkI8eO.net]: 一直線というくくりの中でランダムに並べます
868 名前：１３２人目の素数さん [2016/02/28(日) 02:13:40.90 ID:BWhGgXn+.net]: 表面積が2016、全ての辺の長さの和が228の直方体がとりうる体積の範囲を求めよ

日を選んだので最大値、最小値は整数になる
869 名前：１３２人目の素数さん [2016/02/28(日) 02:33:05.19 ID:OARIlKQB.net]: 3次方程式の3実解存在条件。
良い数値を見つけたね。
870 名前：１３２人目の素数さん mailto:sage [2016/02/28(日) 10:09:44.49 ID:cNStj4eG.net]: 「正の」３実解。
871 名前：834 [2016/02/29(月) 00:42:20.88 ID:H7VcljiB.net]: 解答例

与えられた直方体の3辺の長さをそれぞれa,b,cとおく
表面積から
2ab+2bc+2ca=2016⇔ab+bc+ca=1008
全ての辺の長さの和から
4a+4b+4c=228⇔a+b+c=57
また、体積をVとおくと
V=abc(>0)

さて
(x-a)(x-b)(x-c)=0
i.e. x^3-(a+b+c)x^2+(ab+bc+ca)x-abc=0
i.e. x^3-57x^2+1008x-V=0
は、a,b,cを解にもつ
ここで
(a,b,cが全て正の実数)
⇔(x^3-57x^2+1008x-V=0が正の3実解（重解含む）をもつ)
⇔(
872 名前：y=x^3-57x^2+1008xとy=Vがx>0で2点以上で交わる) よって、下図より、5184≦V≦5684 （図略） 元ネタはどっかの大学入試の過去問 解の個数の問題に帰着すると簡単に解けるところが好き []: [ここ壊れてます]
873 名前：１３２人目の素数さん [2016/02/29(月) 00:52:05.44 ID:ZKgLLjis.net]: >>836
乙w

解いてみればわかる通り、3実解を持つとき、それは皆正の数になる。
だから、そのことを告げておけば十分。
874 名前：１３２人目の素数さん [2016/02/29(月) 14:54:14.92 ID:OIBhrA2Z.net]: 既出だったらすまんな

一辺1の正七角形において、対角線14本のそれぞれの長さの逆数和は？
875 名前：１３２人目の素数さん mailto:sage [2016/02/29(月) 19:15:25.22 ID:2/KiCOUd.net]: 次の方程式が表す図形を座標平面に図示せよ。（ただしひとつの平面に書き込むこと）

ｘ^2＋ｙ^2＝1

ｘ^2＋ｙ^2＝4

ｙ＝±ｘ　(－4≦ｘ≦－3,3≦ｘ≦4）

ｙ＝0　（－4≦ｘ≦－3,3≦ｘ≦4）

ｘ＝0
876 名前：１３２人目の素数さん mailto:sage [2016/02/29(月) 19:42:15.14 ID:qYUrVjOJ.net]: sssp://o.8ch.net/8j1n.png
877 名前：１３２人目の素数さん [2016/03/02(水) 22:26:19.91 ID:9dioLi+3.net]: >>839
2種類の対角線の長さをa,bとするとトレミーの定理より1/a+1/b=1であることを利用
878 名前：１３２人目の素数さん [2016/03/02(水) 22:27:00.87 ID:9dioLi+3.net]: 任意の2以上の整数nに対して
∑[k=1～n-1]1/(1+cos(kπ/n))=(n^2-1)/3
が成り立つことを示せ
879 名前：１３２人目の素数さん [2016/03/03(木) 01:22:01.15 ID:ZDD6mqO+.net]: 問
1～6までの目が描かれているサイコロを用意する。
1の裏には6、2の裏には5、3の裏には4の目が描いてある。
今、このサイコロが1の目を上にして平面に置いてある。
このサイコロを平面に接する4つ辺のうちの任意の1辺を軸に1回だけ転がすという操作を考える。
n-1回目までの操作で一度も1の目が上に来ずに、n回目の操作で1の目が再び上になる確率を求めよ。
880 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 04:36:49.00 ID:hv6zybMR.net]: 自然数n,mについて、
Σ(k=0,n-1) (cos(2πk/n))^2m =(n/4^m) Σ(j≡m mod n ,0 ≦j≦2m) 2m_C_j を証明せよ

ただしΣ(j≡m mod n ,0 ≦j≦2m) は 0から2mまでの整数jでj≡m mod nとなるjについてだけ足すという意味である
881 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 07:21:35.73 ID:FEpT+A7E.net]: >>844
p[n]=q[n-1] p[0]=1
q[n]=(p[n-1]+2q[n-1]+r[n])/4 q[0]=0
r[n]=q[n-1] r[0]=0
882 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 07:22:51.99 ID:FEpT+A7E.net]: 訂正
q[n]=(p[n-1]+2q[n-1]+r[n-1])/4
883 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 07:58:58.17 ID:FEpT+A7E.net]: q[n]=(1-(-1/2)^n)/6
p[n]=(1+2(-1/2)^n)/6、p[0]=1/2≠1となる？
884 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 09:00:01.28 ID:z5PJISrU.net]: （１＋２（－１／２）＾ｎ＋３・０＾ｎ）／６。
（１－（－１／２）＾ｎ）／６。
（１＋２（－１／２）＾ｎ－３・０＾ｎ）／６。

（１＋２（－１／２）＾０＋３・０＾０）／６＝１。
（１－（－１／２）＾０）／６＝０。
（１＋２（－１／２）＾０－３・０＾０）／６＝０。
885 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 12:00:46.24 ID:FEpT+A7E.net]: 848の？＝何故、p(n)は、n=0とn>0で式が一意に定まらないのか？
886 名前：１３２人目の素数さん [2016/03/03(木) 13:14:50.15 ID:QOHuAnUI.net]: x^{n-m}(x+1)^{2m}
887 名前：１３２人目の素数さん mailto:sage [2016/03/03(木) 15:29:18.88 ID:U+3HcEb3.net]: >>850
簡単な例で言うと、
p(0)=1, p(n+1)=xp(n)+y(1-p(n))
というような漸化式を解くと
p(n)=(y+(1-x)(x-y)^n)/(1-x+y)
となるが、x=yとすると
p(n)=x+(1-x)0^n（ただし、0^0=1と定める）
となり、これは
p(0)=1、p(n)=x（n≧1）と同じ。

初期状態だけ特別なのは別に当たり前のことだが、0^nの項が隠れていると
みなすこともできる。
888 名前：１３２人目の素数さん mailto:sage [2016/03/04(金) 10:02:53.07 ID:zvXcKLwr.net]: >>844
{(1+√5)^(n-1)-(1-√5)^(n-1)}/{2^(2n-1)*√5
889 名前：} []: [ここ壊れてます]
890 名前：１３２人目の素数さん mailto:sage [2016/03/04(金) 16:06:52.79 ID:ldcQblfg.net]: >>849
p[n]=r[n]=q[n-1]=(1-(-1/2)^(n-1))/6=(1+2(-1/2)^n)≠(1+2(-1/2)^n+3・0^n)
891 名前：１３２人目の素数さん mailto:sage [2016/03/04(金) 21:34:26.71 ID:8P72IH2y.net]: >>846
1=p[0]=q[-1]=r[0]=0
892 名前：１３２人目の素数さん mailto:sage [2016/03/04(金) 21:50:49.06 ID:ldcQblfg.net]: >>855
p[n]=r[n]=(1+2(-1/2)^n)/6だから
p[0]=r[0]=1/2≠1
893 名前：１３２人目の素数さん mailto:sage [2016/03/05(土) 00:00:48.08 ID:X/XR2Uo6.net]: 続けたまえ
894 名前：１３２人目の素数さん mailto:sage [2016/03/06(日) 13:44:12.23 ID:TcNreTvY.net]: >>845
誤字か勘違いかわからんが、それだとm=1,n=2のとき
左辺は2で右辺は1だな。多分cos(2πk/n)じゃなくてcos(πk/n)だろう。
考え方は変わらないのでそのままでやると
cos^(2m)(x)
=[{exp(ix)+exp(-ix)}/2]^(2m)
=(1/4^m)Σ[j=0,2m] 2m_C_j*exp{i(2m-2j)x}
x=2πk/nとして
Σ(k=0,n-1)exp{i(2m-2j)x}
=n (2m≡2j mod n　の時),0 (それ以外)
より
Σ(k=0,n-1) (cos(2πk/n))^2m =(n/4^m) Σ(2j≡2m mod n ,0 ≦j≦2m) 2m_C_j
895 名前：１３２人目の素数さん mailto:sage [2016/03/07(月) 08:05:23.43 ID:o0HG75jE.net]: 「n-1回目まで1が上に来ない」の部分は？
896 名前：１３２人目の素数さん mailto:sage [2016/03/07(月) 10:31:44.21 ID:zWU1/WlS.net]: >>859
p[n]=q[n-1]
q[n]=(2q[n-1]+r[n-1])/4 q[1]=1/4
r[n]=q[n-1]

q[n]=(2q[n-1]+q[n-2])/4
q[n]=√5/10*(((1+√5)/4)^n-((1-√5)/4)^n)
p[n]=((5-√5)((1+√5)/4)^n+(5+√5)((1-√5)/4)^n)/10
897 名前：１３２人目の素数さん mailto:sage [2016/03/08(火) 02:52:03.66 ID:Es7BHtVA.net]: 4^n+5の約数の十の位の数字は偶数であることを証明せよ
898 名前：１３２人目の素数さん [2016/03/08(火) 03:11:40.20 ID:gzhONgd3.net]: 4^n+5=ab, a≡10+j (mod 20) (a, bは正の奇数，jは1桁の奇数)
なる分解があると仮定すると
4^n+5≡(10+j)b≡10+bj
∴4^n≡b(a+j) (mod 20)
a+j≡0 (mod 2)なので2^(2n-1)≡b (mod 10)
左辺は偶数，右辺は奇数だから矛盾
899 名前：１３２人目の素数さん mailto:sage [2016/03/08(火) 03:25:25.26 ID:HyCV8LJj.net]: >>861
4^nの一の位の数は、1,4,6
a,b,cは整数、a>=0, b=2,4,6,8, c=1,6,9として
n=kのとき、4^k+5の十の位が偶数だと仮定すると
4^k+5=100a+10b+c
4^(k+1)+5=100(4a)+10(4b-2)+4c+5
となり、n=k+1のときにも十の位が偶数となる
900 名前：１３２人目の素数さん mailto:sage [2016/03/08(火) 03:27:47.73 ID:HyCV8LJj.net]: >>863
×b=2,4,6,8
○b=0,2,4,6,8
901 名前：１３２人目の素数さん mailto:sage [2016/03/08(火) 16:14:22.91 ID:Es7BHtVA.net]: 4^n≡b(a+j) (mod 20)
2^(2n-1)≡b (mod 10)
この2つの式の導出がよく分からない

>>863
2^n+5だけじゃなくて2^n+5の任意の約数について証明する問題だよ
902 名前：１３２人目の素数さん mailto:sage [2016/03/09(水) 13:38:46.18 ID:aadErqVs.net]: >>861
N^2+5が素因数pをもつ⇔N^2≡-5 (mod p)。
平方剰余の相互法則より、素数p(≠2,5)について、
ある整数aがあって a^2≡-5 (mod p)
⇔(p≡1 (mod 4) かつ p≡±1 (mod 5)) または (p≡-1 (mod 4) かつ p≡±2 (mod 5))
⇔p≡1,3,7,9 (mod 20)。
また、集合{n|n≡1,3,7,9 (mod 20)}は積について閉じている。
したがって、N^2+5の約数で10と互いに素であるものは、十の位の数字が偶数である。
4^n+5=(2^n)^2+5は10と互いに素であるから、約数もそうで、その十の位の数字は偶数である。
903 名前：１３２人目の素数さん [2016/03/09(水) 20:39:58.47 ID:bhQKruR9.net]: 自然数nをいくつかの自然数の和に分割する方法は何通りあるか？
ただし、足す順番は以下の例のように区別するものとする

例n=4のとき
(1)1+1+1+1
(2)1+1+2
(3)1+2+1
(4)2+1+1
(5)2+2
(6)1+3
(7)3+1
の7通り
904 名前：１３２人目の素数さん mailto:sage [2016/03/09(水) 20:59:06.92 ID:e/m5HQOY.net]: 2^(n-1)-1
905 名前：１３２人目の素数さん mailto:sage [2016/03/09(水) 23:54:40.55 ID:aadErqVs.net]: 10 = 1 + 9 = 1^2 + 3^2,
100 = 36 + 64 = 6^2 + 8^2,
1000 = 324 + 676 = 18^2 + 26^2, ...

1以上の整数nに対して、10^n = a^2 + b^2, a < b となる
10で割り切れない自然数a,bが存在してただ一組であることを示せ。

存在は易しいけど、唯一性�
906 名前：ﾍすこし難しい []: [ここ壊れてます]
907 名前：１３２人目の素数さん [2016/03/10(木) 01:04:13.09 ID:Sy7j4YuX.net]: >>865
×4^n≡b(a+j) (mod 20)
○2^(2n+1)≡b(a+j) (mod 20)
4^n+5=ab
4^n+5≡10+bj (mod 20)
の両辺を足す

だけどそのあとが不備あったorz
908 名前：１３２人目の素数さん [2016/03/10(木) 14:13:53.41 ID:Q2oLkhxZ.net]: >>867

【足す順番を区別する場合】
長さnの羊羮を用意する
端から1,2,3,…,n-1のところに切れ目を入れていく
このとき、それぞれの箇所で切る・切らないの2通りだから、
ノータッチの状態を引いて
2^(n-1)-1通り

【足す順番を区別しない場合】
分割数
ムズい
909 名前：１３２人目の素数さん [2016/03/23(水) 01:39:20.07 ID:9k15/f8F.net]: 有理数とcos1°との有限の四則演算でsin1°を作れることを証明せよ
910 名前：１３２人目の素数さん mailto:sage [2016/03/23(水) 03:32:07.35 ID:EtMo69Rl.net]: >>872
任意の自然数nに対して
cos(nθ)=f(cosθ)，sin(nθ)=g(cosθ)sinθ
　（ただし、f(x)，g(x)は整数係数の多項式）と表せることが
加法定理を用いて数学的帰納法で示せるので、
sin1°=cos89°=f(cos1°)
　（ただし、f(x)整数係数の多項式）と表せる。

各nに対応するf(x)は、チェビシェフの多項式ってやつ。
911 名前：１３２人目の素数さん mailto:sage [2016/03/23(水) 03:47:12.69 ID:dvcAvohL.net]: なるほろ
912 名前：１３２人目の素数さん mailto:sage [2016/03/26(土) 18:21:28.24 ID:40uJfR2p.net]: nを正の整数とするとき3^n-1が2^kの倍数となる最大の整数kを求めよ
913 名前：１３２人目の素数さん mailto:sage [2016/03/26(土) 20:41:25.49 ID:E+ea4Ryb.net]: >>875
n=a*2^b（aは奇数、bは0以上の整数）とおくと、
b=0（すなわちnが奇数）のとき　k=1
b≧1のとき　k=b+2

mを自然数とすると
3^(2m-1)-1≡2 (mod 8)
3^(2m-1)+1≡4 (mod 8)
3^(2m)+1≡2 (mod 8)
であることと、b≧1では
3^n-1=(3^a-1)(3^a+1)(3^(2a)+1)(3^(4a)+1)…(3^(2^(b-1))+1)
となることを利用。
914 名前：１３２人目の素数さん mailto:sage [2016/03/26(土) 20:44:41.74 ID:E+ea4Ryb.net]: 修正
誤：3^n-1=(3^a-1)(3^a+1)(3^(2a)+1)(3^(4a)+1)…(3^(2^(b-1))+1)
正：3^n-1=(3^a-1)(3^a+1)(3^(2a)+1)(3^(4a)+1)…(3^(2^(b-1)*a)+1)
915 名前：１３２人目の素数さん mailto:sage [2016/03/31(木) 19:11:44.45 ID:IpIPgDLZ.net]: Σ[k=0 to n] C[n-k,k] x^k を計算せよ。ここで C[n-k,k] は二項係数とする。
916 名前：１３２人目の素数さん [2016/04/01(金) 00:45:36.69 ID:4H12Do0+.net]: F[n](x)=Σ[k=0,n]C[n-k,k]x^k
F[0](x)=1, F[1](x)=1+x, F[n+1](x)=F[n](x)+xF[n-1](x)
までは分かった
917 名前：１３２人目の素数さん mailto:sage [2016/04/01(金) 01:22:46.51 ID:ces74IP7.net]: >>879
F[1](x)=1じゃないの？
918 名前：１３２人目の素数さん [2016/04/01(金) 01:31:04.64 ID:4H12Do0+.net]: >>880
あ、ずれてた
F[1](x)=1, F[2](x)=1+x
と書きたかった
919 名前：１３２人目の素数さん mailto:sage [2016/04/02(土) 01:13:13.35 ID:lgnK4vN7.net]: >>878
a = √(1+4x) とおくと、 Σ[k=0 to n] C[n-k,k] x^k = { ( (1+a)/2 )^(n+1) - ( (1-a)/2 )^(n+1) }/a
920 名前：１３２人目の素数さん mailto:sage [2016/04/03(日) 08:05:02.43 ID:5DW/lB1t.net]: どうやるんだよ
921 名前：１３２人目の素数さん mailto:sage [2016/04/03(日) 09:25:09.74 ID:nP/GCnBv.net]: 漸化式作ってフィボナッチ数を同じようにやればいい
922 名前：１３２人目の素数さん mailto:sage [2016/04/03(日) 10:15:52.29 ID:5DW/lB1t.net]: ぐぬぬ…
923 名前：１３２人目の素数さん mailto:sage [2016/04/03(日) 14:34:14.38 ID:cR/zEdvd.net]: まあ、 >>882の左辺と右辺どっちが簡単かは微妙だがな
>>878の問いも「計算せよ」ではなく「Σを用いずに表せ」ぐらいのほうがいいのかな
924 名前：１３２人目の素数さん mailto:sage [2016/04/03(日) 22:23:49.30 ID:5DW/lB1t.net]: >>882の右辺が導けませぬ・・・
925 名前：１３２人目の素数さん [2016/04/03(日) 23:15:34.55 ID:jd7HDkKh.net]: 形式冪級数Σ[n=0,∞]F[n](x)t^nを考えるとうまくいく
926 名前：１３２人目の素数さん mailto:sage [2016/04/04(月) 01:39:24.59 ID:yYQc9xiS.net]: >>887
単に>>879 >>881の３項間漸化式をxを定数だと思って解けばいいだけ。受験数学の範疇。
特性方程式を２次方程式の解の公式を使って解いた結果、√(1+4x)が出てくる。
927 名前：１３２人目の素数さん mailto:sage [2016/04/22(金) 20:59:10.19 ID:qfYR5MNf.net]: Σ[k=0 to n] (-1)^k * Binomial[n,k] * (n-k)^n = ？

wolfram先生に計算させたら、おかしな答えが出てくるが気にしない。ｳﾋｮｯ！
www.wolframalpha.com/input/?i=\sum_{k%3D0}^{n}+%28-1%29^k+*+Binomial[n,k]+*+%28n-k%29^n+%3D
928 名前：１３２人目の素数さん mailto:sage [2016/04/22(金) 23:22:03.83 ID:qfYR5MNf.net]: m!+1=n^2をみたす自然数の組(m,n)を全て求めよ。
929 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 00:30:17.64 ID:G3ej4Ep7.net]: >>891
ウルフラムアルファ先生に聞いたら(m,n)=(4,5)だって。
証明は知らん。
930 名前：１３２人目の素数さん [2016/04/23(土) 00:56:49.13 ID:accZlt44.net]: >>890
Σ[k=0,n] (-1)^k \binom{n,k} (n-k)^n
=Σ[k=0,n] (-1)^{n-k} \binom{n,k} k^n
はf(x)=x^nのニュートン級数のn次の係数と解釈できるので，n!に一致するのは当然ですぜ(´・ω・`)
931 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 08:53:35.07 ID:z7Yoslf4.net]: ＞＞891
「すべて」ということは、有限個しかないということですね。
有限個であるといる証明はできているのですか
932 名前：１３２人目の素数さん [2016/04/23(土) 09:54:51.61 ID:IuUNR02C.net]: >>894
> ＞＞891
> 「すべて」ということは、有限個しかないということですね。

「全て」にそんな意味はない。
933 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 13:32:37.66 ID:z7Yoslf4.net]: ＞895
「全てに」そんな意味はない

としても、この問題は答えが有限であることは証明されているのですか。
無限個あるならば、「全てを求めよ」というのは、無限の時間を要することに
なりませんか。
934 名前：１３２人目の素数さん [2016/04/23(土) 13:41:35.81 ID:IuUNR02C.net]: 例えばね、
3m-2n=1　を満たす自然数　ｍ、ｎ　をすべて求めよ、という問に答えてごらん。　
935 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 14:55:16.34 ID:iIo4nVsk.net]: >>896
仮に無限にあって、パラメータ表示で書けないものを出題すると思うか？
936 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 14:56:24.71 ID:l3lNAJMM.net]: ポエムかもしれないじゃん
937 名前：１３２人目の素数さん [2016/04/23(土) 17:54:50.27 ID:THUZ6rRp.net]: 1から2^nまでの数字が書かれたカードが左から昇順で並べられ、すべて伏せた状態で置いてある。
それをまず小さい方（左）から順に、１つ置きに開けていく。例えば、n=3のとき、この作業で開けるカードは2→4→6→8となる。
その次に、大きい方（右）から順に1つ置きに開けていく。n=3の場合、最初の作業で1, 3, 5, 7が残っているので、次の作業では5→1と開けられる。
これを繰り返し、最後に1枚カードが残る。n=3の場合は、3のカードが残る。
では、1から2^nまでの数字が書かれたカードの場合、最後に残るカードの番号は何か。
938 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 19:44:20.15 ID:lKzrVXQh.net]: >>891　>>892
他にも
4!+1=25=5^2
5!+1=121=11^2
7!+1=5041=71^2
がある
939 名前：１３２人目の素数さん mailto:sage [2016/04/23(土) 19:59:56.42 ID:qW4yMwk2.net]: ０００。
００１。
０１０。
０１１。
１００。
１０１。
１１０。
１１１。

０００。
０１０。
１００。
１１０。

０１０。
１１０。

０１０。
940 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 08:27:14.57 ID:pebV9WnK.net]: だから、パラメータ表示が出来る証明をお願いします。
あるいは、具体的にパラメータ表示式を提示してください。
941 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 11:51:44.00 ID:fT+PW3Gm.net]: >>891
答えはよ
942 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 12:46:33.68 ID:fT+PW3Gm.net]: 調べたら未解決問題だった
943 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 16:11:29.18 ID:pebV9WnK.net]: ＞＞891

７以降２０まではこの式をみたすｎは存在しないようです。
944 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 16:13:31.84 ID:sYEjk7+k.net]: あーわかっちゃったわ
わかっちゃったけど書くのめんどいからやめとく
945 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 16:14:23.51 ID:4/qsU/Wq ]: [ここ壊れてます]
946 名前：.net mailto: >>907
続けたまえ []: [ここ壊れてます]
947 名前：１３２人目の素数さん [2016/04/24(日) 17:30:43.88 ID:2wciXs0k.net]: ほら、スペースは100レス近く残ってるぞ
948 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 20:02:57.36 ID:sYEjk7+k.net]: >>909
100スレじゃ余裕で足りないんだわ
すまんな
949 名前：１３２人目の素数さん mailto:sage [2016/04/24(日) 20:57:38.30 ID:4/qsU/Wq.net]: >>910

　　いいぜヘ(^o^)ヘ
　　　　　　　　|∧
　　　　　　　 /

てめえが100レスで足りないってなら

　　　　　　　　　／
　　　　　 (^o^)／
　　　　　／(　)
　　　　／／＞

　　　(^o^) 三
　　　(＼＼　三
　　　＜　＼　三
`＼
(／o^)
( ／　　まずは、残り100レス書き込んで
／く　　次スレに続きを書くんだ。
　　　　そげぶ
950 名前：１３２人目の素数さん [2016/04/24(日) 22:50:29.31 ID:X30YToTh.net]: ワロス
951 名前：１３２人目の素数さん [2016/04/24(日) 23:48:57.99 ID:aswNEo2H.net]: すっかり寂れてしまったなあ
952 名前：１３２人目の素数さん mailto:sage [2016/04/27(水) 10:25:12.97 ID:5R16oTXo.net]: >>891

n=8～33までには、
n!+1=n^2
を満たすnはありません。
ちなみに、
33!=8683317618811886495518194401280000000
953 名前：１３２人目の素数さん [2016/04/27(水) 10:52:44.37 ID:jHmMfJ2g.net]: 左辺、右辺、同じ　n？
954 名前：１３２人目の素数さん mailto:sage [2016/04/27(水) 12:19:12.88 ID:5R16oTXo.net]: >>915
式から見て同じnですが、n!+1=m^2ならば、別の解があるかもしれませんね。
955 名前：１３２人目の素数さん mailto:sage [2016/04/27(水) 13:47:55.71 ID:KTkJvLoh.net]: それはまあ、階乗と二乗ではオーダーが異なるから当たり前だね
956 名前：１３２人目の素数さん mailto:sage [2016/04/27(水) 15:15:19.73 ID:qT92/6xQ.net]: >>901　を書くときに添えておけばよかったが、
n≦1000ではn=4,5,7しか見つかりませんでした。
957 名前：１３２人目の素数さん mailto:sage [2016/04/28(木) 00:18:34.87 ID:H4++mM6e.net]: >>918
７０００まで計算したけど新たなのは見つからなかった。
958 名前：１３２人目の素数さん [2016/04/29(金) 13:03:29.80 ID:1EjUODmc.net]: 2以上の任意の自然数は、平方因子を持たない2つの自然数の和で表せるか
959 名前：１３２人目の素数さん [2016/04/29(金) 19:55:52.93 ID:TGg/wwp1.net]: 2=1+1
3=1+2
4=1+3=2+2
5=2+3
6=1+5=3+3
7=1+6=2+5
8=1+7=2+6=3+5
9=2+7=3+6
10=3+7=5+5

（つづく）
960 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 20:53:07.33 ID:4X4p7Mxa.net]: 平方因子を持つ自然数は3個連続で存在するか
961 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 20:56:00.50 ID:4X4p7Mxa.net]: 上の問題は簡単だった．．．
962 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 21:36:09.75 ID:PCVxv37p.net]: 48,49,50が最小か

これを「mべき因子を持つ自然数はn個連続で存在するか」に
一般化したらどんなことが言えるか？
当然解答など用意していないが
963 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 21:38:24.92 ID:PCVxv37p.net]: mべき因子は変だな
→m乗数を因子に持つ数
もっとふさわしい呼び名があるのかな
964 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 21:40:00.80 ID:ADxtEF5J.net]: >>924
中国剰余定理だけ考えても、存在するのは自明だろ
965 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 22:01:48.53 ID:4tFeQEwu.net]: 平方因子4連続ですら意外と手計算でもきついことだけは分かった…
3174,3175,3176,3177
966 名前：１３２人目の素数さん mailto:sage [2016/04/29(金) 22:09:50.59 ID:4tFeQEwu.net]: >>926
確かに。
967 名前：１３２人目の素数さん [2016/05/01(日) 20:23:54.26 ID:fjAEoFtk.net]: 2以上の自然数nについて(2^n-1)/nは自然数にはならないことを証明せよ
968 名前：１３２人目の素数さん mailto:sage [2016/05/02(月) 00:10:46.51 ID:XNE5hDyv.net]: (1+1)^nとして二項定理で片付く
969 名前：１３２人目の素数さん mailto:sage [2016/05/02(月) 00:40:39.50 ID:FPOFtP0g.net]: 片づく？
nが素数ならいいけど。
970 名前：１３２人目の素数さん mailto:sage [2016/05/02(月) 00:42:06.04 ID:FPOFtP0g.net]: フェルマーの小定理で
n奇数のときが言えるな。
971 名前：１３２人目の素数さん [2016/05/02(月) 12:49:39.19 ID:WMC5u0rY.net]: >>920
n以下の自然数のうち平方因子を持たない整数が過半数であることを示せればほぼ明らか

評価が多少面倒
972 名前：だけど (n以下のsquare-freeの個数) ＞n(1-Σ1/p^2) ＞n(14-π^2)/8 ＞n/2 []: [ここ壊れてます]
973 名前：１３２人目の素数さん mailto:sage [2016/05/03(火) 23:48:35.57 ID:+kp+oyUm.net]: >>929
nが偶数のときは成立つ。（←分子は奇数）
nが奇数のとき、
　2は原始根、2の位数はφ(n)。
　nがφ(n)の倍数なら、2^n－1はnの倍数。
　しかしnは奇素因数から成り、オイラー関数φ(n)は偶数
　なのでnはφ(n)の倍数でない。
　2^n－1はnの倍数でない。

〔補題〕
aが原始根のとき、aの位数はφ(n)
a^m≡1　(mod n)　⇔　φ(n)｜m
ここでφ(n)はオイラーのφ関数。

なんか変だな…
974 名前：１３２人目の素数さん [2016/05/04(水) 00:46:44.00 ID:D0BPyBpa.net]: マスターデーモン兄貴オッスオッス！
975 名前：１３２人目の素数さん mailto:sage [2016/05/07(土) 21:21:00.45 ID:DYhIhXQ0.net]: (a+b)^4 + (a-b)^4 + (a+c)^4 + (a-c)^4 + (a+d)^4 + (a-d)^4 + (b+c)^4 + (b-c)^4 + (b+d)^4 + (b-d)^4 + (c+d)^4 + (c-d)^4 を因数分解せよ。

他にこんな感じの見かけない因数分解ある？
976 名前：１３２人目の素数さん [2016/05/07(土) 21:36:44.92 ID:VjFiZTMU.net]: x^4+x^2+1を因数分解せよ
977 名前：１３２人目の素数さん mailto:sage [2016/05/08(日) 17:41:52.34 ID:rNtLA5lb.net]: >>936
(a+b)^4+(a^b)^4=2(AA+6AB+BB), etc.
ここに A=aa, B=bb, C=cc, D=dd.
与式=6(A+B+C+D)^2.

>>937
与式=(xx+1)^2－x^2=(xx+x+1)(xx-x+1)
978 名前：１３２人目の素数さん [2016/05/08(日) 19:40:22.28 ID:yuoJE0k4.net]: a,b,cは実数とする。以下を示せ。等号条件も求めよ。
(1) a^2+b^2+c^2-2(ab+bc+ca)≧0
(2) a^2+b^2+c^2-(ab+bc+ca)≧0

下は「知識問題」（≒受験テクニック）
979 名前：１３２人目の素数さん mailto:sage [2016/05/08(日) 19:46:00.20 ID:1glUp2Ic.net]: a=b=c=1
980 名前：１３２人目の素数さん [2016/05/08(日) 19:58:37.79 ID:yuoJE0k4.net]: ごめんなさい
出題ミス

(1) a^2+b^2+c^2+2(ab+bc+ca)≧0

俺のケツ掘っていいよ
981 名前：１３２人目の素数さん [2016/05/08(日) 20:06:44.46 ID:sBc0clZf.net]: くさくさくさくさくさくさ
982 名前：１３２人目の素数さん mailto:sage [2016/05/08(日) 20:06:56.48 ID:aM1hdXDC.net]: どのへんに面白みがあるのかを問いたい
983 名前：１３２人目の素数さん [2016/05/08(日) 20:08:54.47 ID:usZgkkG0.net]: ほならね
984 名前：１３２人目の素数さん mailto:sage [2016/05/08(日) 22:55:56.95 ID:8Zqy3qsE.net]: ＧＷだからかなぁ、香ばしいですね
985 名前：１３２人目の素数さん mailto:sage [2016/05/08(日) 23:19:38.77 ID:7jJxq1Mz.net]: 高校生かな
986 名前：１３２人目の素数さん [2016/05/09(月) 02:54:27.05 ID:ZqUmALKq.net]: √(π)erf(1)/2= ∫_0^1 e^(-x^2) dxは無理数であることを証明せよ
987 名前：１３２人目の素数さん mailto:sage [2016/05/11(水) 00:01:17.43 ID:cHXI1ndC.net]: 無理っす
988 名前：１３２人目の素数さん mailto:sage [2016/05/11(水) 07:44:39.19 ID:V8Kk1cJe.net]: √(π)erf(1)/2= ∫_0^1 e^(-x^2) dxは無理数である(証明終)
989 名前：１３２人目の素数さん mailto:sage [2016/05/13(金) 05:35:42.76 ID:LsRX7drd.net]: pを素数とし、nを0からp-1の整数としたとき
2^n mod pが全て合同にならないpの条件を求めよ
990 名前：１３２人目の素数さん mailto:sage [2016/05/13(金) 08:52:29.56 ID:LsRX7drd.net]: 訂正 nを0からp-2の整数としたとき
991 名前：１３２人目の素数さん mailto:sage [2016/05/13(金) 09:00:14.76 ID:LsRX7drd.net]: 2,3,5,11,13,19,29…
992 名前：１３２人目の素数さん mailto:sage [2016/05/16(月) 02:40:57.14 ID:mIfL0IS4.net]: a*bマスのフィールドにm個の地雷があるマインスイーパーで最前手順をとった時のクリア率を求めよ。
ただし初手で開けたマスは必ず地雷の無いマスになり、残りのab-1マスにm個の地雷がランダムに配置されるものとする。
993 名前：１３２人目の素数さん mailto:sage [2016/05/16(月) 02:42:12.72 ID:mIfL0IS4.net]: ×最前
○最善
994 名前：１３２人目の素数さん [2016/05/18(水) 20:03:33.07 ID:0UHiF+Fs.net]: 面白い問題おしえて～な１１問目でネズミの問題をだしたものですが、
アレンジしてゲームにしてみました。
遊んでみてください。

www.vector.co.jp/soft/dl/winnt/game/se513226.html
995 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:57:40.22 ID:aEUwscPn.net]: ￥
996 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:58:00.60 ID:aEUwscPn.net]: ￥
997 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:58:20.95 ID:aEUwscPn.net]: ￥
998 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:58:40.15 ID:aEUwscPn.net]: ￥
999 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:59:05.07 ID:aEUwscPn.net]: ￥
1000 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:59:23.70 ID:aEUwscPn.net]: ￥
1001 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 22:59:46.67 ID:aEUwscPn.net]: ￥
1002 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 23:00:09.22 ID:aEUwscPn.net]: ￥
1003 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 23:00:31.99 ID:aEUwscPn.net]: ￥
1004 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/18(水) 23:00:57.69 ID:aEUwscPn.net]: ￥
1005 名前：１３２人目の素数さん mailto:sage [2016/05/19(木) 02:50:29.55 ID:5Smi0Rms.net]: >>955
とりあえず169手で捕まえられたけど、無駄な手が多かったからだいぶ縮められそう

あと、似たゲームがあったのを思い出した
www.gamedesign.jp/flash/chatnoir/chatnoir.html
1006 名前：955 mailto:sage [2016/05/19(木) 07:19:13.24 ID:PSTI5TlD.net]: >>966
おお、とけましたか。
作者の私以外の人にはかなり難しいと思ってましたが、
無理ゲーではないようで安心しました。
1007 名前：１３２人目の素数さん mailto:sage [2016/05/19(木) 21:54:29.21 ID:yzSues+w.net]: 「コンウェイの天使と悪魔」と同種の問題だね
https://en.wikipedia.org/wiki/Angel_problem
1008 名前：955 mailto:sage [2016/05/19(木) 22:15:56.98 ID:PSTI5TlD.net]: >>968
多分元ネタこれだわ。
俺は人から聞いてこの問題知ったんだけどコンウェイとは知らなかった。
1009 名前：１３２人目の素数さん mailto:sage [2016/05/19(木) 22:31:15.82 ID:yzSues+w.net]: 移動は縦横斜めで1歩分進める→悪魔が勝つ
移動は縦横斜めで2歩分進める→天使が勝つ
らしいけど
移動は縦横だけで2歩分進めるだとどっちが勝つんかな
1010 名前：１３２人目の素数さん mailto:sage [2016/05/19(木) 23:44:45.25 ID:PSTI5TlD.net]: ２歩で天使が勝つってなんか不思議だな。
悪魔が勝ちそうな気がするｗ
1011 名前：１３２人目の素数さん [2016/05/27(金) 23:18:35.43 ID:zaY753Gf.net]: 曲面2x^2+y^2+z^2+xy+yz+2xz=1で囲まれる領域の体積を求めよ
1012 名前：１３２人目の素数さん mailto:sage [2016/05/27(金) 23:34:33.68 ID:Se9f3cOm.net]: どんな曲面か想像つかんわ。
画像プリーズ。
1013 名前：１３２人目の素数さん [2016/05/27(金) 23:55:19.50 ID:zaY753Gf.net]: >>973
imgur.com/xcr1cUe.jpg
こんな感じの楕円体になります
1014 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 00:01:34.75 ID:aXDNM7P3.net]: 宝石みたいやな。
積分は苦手だな～。
1015 名前：１３２人目の素数さん [2016/05/28(土) 00:02:32.71 ID:7gUvtG49.net]: >>975
実はこの問題はほとんど積分する必要ないです
1016 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 00:09:52.81 ID:aXDNM7P3.net]: まじで
それは面白いかもな
1017 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 00:13:09.90 ID:aXDNM7P3.net]: むー
球の体積との比から求まるのかな？
1018 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/28(土) 01:12:05.08 ID:du71LUzg.net]: ￥

>性犯罪者の増田哲也（50歳・東京都足立区千住寿町）が
>8月4日にＪＲ牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性（21歳・専門学校生）の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反（痴漢行為）容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者　増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
1019 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 01:43:50.16 ID:xkZZSx0I.net]: 回転軸をx軸にもってきて輪切りにした面積を積分
1020 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 02:58:06.90 ID:1junVokc.net]: (8√3)π/9 かな

行列の対角化の理論使った
1021 名前：１３２人目の素数さん [2016/05/28(土) 03:40:35.73 ID:7gUvtG49.net]: >>981
正解です　
固有値自体を直接求めるのは厳しいですが解と係数の関係を使えば体積はすっきり求まるのがポイントでした
1022 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/05/28(土) 04:19:54.98 ID:du71LUzg.net]: ￥

>性犯罪者の増田哲也（50歳・東京都足立区千住寿町）が
>8月4日にＪＲ牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性（21歳・専門学校生）の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反（痴漢行為）容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者　増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
1023 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 11:26:48.01 ID:1junVokc.net]: >>982
まさにその思惑通り、ふつうに固有値求めようとして上手くいかなくて、それから行列式が使えることにに気づいた
一応固有値が３つとも正だってことも確かめたけど、こっちの方が面倒だった
1024 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 12:00:04.67 ID:6UE1Wn7V.net]: ｘ＾２＋（３／４）ｙ＾２＋（ｚ＋ｘ＋ｙ／２）＾２＝１。
1025 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 14:31:18.58 ID:h9wzs5VM.net]: 解と係数の関係もクソもねえな
ヤコビアン求めるだけだな
1026 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 17:22:43.85 ID:85q5CxNJ.net]: ( ﾟ∀ﾟ) ﾔｺﾋﾞｱｰﾝ
1027 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 17:51:36.61 ID:wQzHKXcc.net]: ∫[a=-1,1]C*S(a)da
1028 名前：１３２人目の素数さん mailto:sage [2016/05/28(土) 21:20:43.37 ID:wuCb038v.net]: |λI－A| = λ^3 -4λ^2 +(7/2)λ -(3/4)

= (λ-4/3)^3 -(11/6)(λ-4/3) -89/104,

∴λ = {4＋(√22)cosθ'}/3,
　0.325552891249641
　0.802034069909397
　2.872413038840962
1029 名前：１３２人目の素数さん mailto:sage [2016/05/29(日) 20:02:16.43 ID:Bgd/STsi.net]: 保守
1030 名前：１３２人目の素数さん mailto:sage [2016/05/29(日) 20:07:36.69 ID:GFgLsfoJ.net]: 誰か次スレ立てて～
1031 名前：１３２人目の素数さん mailto:sage [2016/05/29(日) 20:26:40.73 ID:Bgd/STsi.net]: んじゃ立ててみるね
1032 名前：１３２人目の素数さん mailto:sage [2016/05/29(日) 20:29:00.23 ID:Bgd/STsi.net]: はいよ

wc2014.2ch.net/test/read.cgi/math/1464521266/
1033 名前：１３２人目の素数さん mailto:sage [2016/05/29(日) 20:46:35.03 ID:GFgLsfoJ.net]: おつ
1034 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 16:55:29.38 ID:qdPA6Iw2.net]: 埋めましょん
1035 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 16:57:01.84 ID:phyo+yBt.net]: さっさと埋めろや、ダボが！
1036 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 18:53:14.81 ID:cP5tVtad.net]: 997
1037 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 18:53:37.34 ID:cP5tVtad.net]: 998
1038 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 18:53:58.96 ID:cP5tVtad.net]: 999
1039 名前：１３２人目の素数さん mailto:sage [2016/05/30(月) 18:54:20.07 ID:cP5tVtad.net]: 1000
1040 名前：1001 [Over 1000 Thread.net]: このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 374日 9時間 15分 45秒
1041 名前：過去ログ ★ [[過去ログ]]: ■ このスレッドは過去ログ倉庫に格納されています

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef