【ちらっ|д゚)】数学得意な奴来てくれ!!!!

理学 - 理工学 - 形式科学 数学 数学数学 (教科) 数学数学数学者の一覧 数学上の未解決問題 国際数学オリンピック Portal:数学 プロジェクト:数学/数学に関する記事 数秘学 Encyclopedia of Mathematics(英語) - 数学に関する約8…
26キロバイト (3,249 語) - 2023年10月15日 (日) 02:21

(出典 www.miyashiro.ed.jp)
コメント:数学は私の得意分野です!何か質問や説明が必要なことがあれば、お気軽にどうぞ。解りやすい例や図解を交えて説明します!

コメント:数学の問題について話し合いたい!数学は私の大好きな分野で、解法やアプローチの違いについて共有したり、新しい発見をしたりすることが好きです。一緒に学び合いましょう!

コメント:数学のトピックについて特に詳しいです!微分方程式、代数、確率論など、数学のさまざまな分野に精通しています。もし興味あるテーマや理解に困っている部分があれば、お手伝いできるかもしれません!

分かるか(;´・ω・)!、これをといたら株の上下が分かるかな。。


定番ソフト:オススメランキング

ランキング1位:Minecraft|オンラインコード版


人気の定番ソフト:YouTubeでも大人気、子供・大人でも誰でも楽しめる人気ゲーム


ランキング2位:リングフィット アドベンチャー -Switch


2019年発売ですがダイエット向けとして非常に人気、中古でもほとんどなく購入する人も多い、秋は食べ物がおいしくなるので今のうちに(;´・ω・)、冬になると価格が上がる。

ランキング3位:大乱闘スマッシュブラザーズ SPECIAL - Switch|オンラインコード版


子供・友達・キャンプなどみんなで楽しめる人気対戦アクションゲーム、2018年発売でも全然人気、飽きない工夫でいつでも購入可能!



1 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:12:15.011 ID:enLd/zud0.net
これってどうやって示すの???
「有限個の自然数からなる集合{a_1,a_2,…,a_N}があり、この集合の空でない部分集合の和は全て異なる.

(例: {1,2,4}
空でない部分集合は{1},{2},{4},{1,2},{1,4},{2,4},{1,2,4}で、それぞれ和が1,2,4,3,5,6,7で全て異なる.)

このとき、逆数和Σ_{k=1}^N (1/a_k)は2未満となることを示せ.」




4 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:12:54.630 ID:enLd/zud0.net
>>2
男だけどええか?

8 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:14:33.869 ID:UpZrIpc70.net
>>4
さっさとしろカス聞き返すな
文系かよ

13 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:16:58.756 ID:enLd/zud0.net
>>8
ちょっとまって*のコンディション最適化しないと恥ずかしい

3 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:12:44.262 ID:TUEpaXmN0.net
  ∧_∧
.  ( ・ω・ ) いやどす
  ハ∨/~丶
  ノ[三ノ  |
 (L| く_ノ
.  |*  |
  ハ、__|
""~""""""~""~""~""

58 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:06:40.173 ID:426HQ/6Nd.net
>>5
2要素ならわかるが3要素のときに一致しそうじゃない?ぱっと見

59 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:20:17.417 ID:DhvqxADC0.net
>>58
{0, 1, 2, 4}つまり2進数で{000, 001, 010, 100}のときは3要素以上で見ても一致しないの分かるでしょ?
それぞれの数字が何ビット目を担当してるか決まってる感覚
そしてそれをビット反転した{111, 110, 101, 011}つまり10進数の{7, 6, 5, 3}もやってることは同じ

60 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:25:30.482 ID:426HQ/6Nd.net
>>59
なるほど?7×採用要素数-bitってことか

6 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:13:43.457 ID:i0mwGZGo0.net
この問題は、数学的帰納法を用いて証明できます。まず、N=1の場合を考えます。単一の自然数からなる集合{a_1}の場合、空でない部分集合は{a_1}自体しかないため、その和はa_1自体です。したがって、逆数和Σ_{k=1}^1 (1/a_k) = 1/a_1 です。逆数和が2未満であるためには、a_1 > 2 である必要があります。これは明らかです。

次に、N=kの場合を仮定し、N=k+1の場合にも逆数和Σ_{k=1}^{k+1} (1/a_k) が2未満であることを示します。

N=kの場合について、逆数和Σ_{k=1}^k (1/a_k) < 2 と仮定します。ここで、k+1番目の自然数a_{k+1}を考えます。新しい集合{a_1, a_2, ..., a_k, a_{k+1}}の空でない部分集合の和は、N=kの場合の部分集合の和にa_{k+1}を加えることになります。したがって、新しい逆数和Σ_{k=1}^{k+1} (1/a_k) は、N=kの場合の逆数和に1/a_{k+1}を加えたものになります。

Σ_{k=1}^{k+1} (1/a_k) = Σ_{k=1}^k (1/a_k) + 1/a_{k+1)

N=kの場合の逆数和が2未満であるため、Σ_{k=1}^k (1/a_k) < 2 です。また、a_{k+1}は自然数なので、1/a_{k+1)は正の値です。したがって、Σ_{k=1}^{k+1} (1/a_k) はΣ_{k=1}^k (1/a_k) + 1/a_{k+1) よりも小さい値になります。

Σ_{k=1}^{k+1} (1/a_k) < Σ_{k=1}^k (1/a_k) + 1/a_{k+1)

したがって、N=k+1の場合にも逆数和Σ_{k=1}^{k+1} (1/a_k) は2未満です。このことから、帰納法により、すべての自然数Nに対して逆数和Σ_{k=1}^N (1/a_k) は2未満であることが示されます。

10 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:15:27.891 ID:enLd/zud0.net
>>6
ありがとう
GPTかな?

でも
「逆数和が2未満であるためには、a_1 > 2 である必要があります。これは明らかです。」
の時点で間違ってるな

a_1=1でもいいので

7 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:14:18.440 ID:zAWiRjO4r.net
高校レベルならそれなりにできるから軽い気持ちで見たらガチの高等数学かよ
無理だわ

12 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:16:31.286 ID:enLd/zud0.net
>>7
ガチな高等数学なのかも分からんのよね
一応高校数学で理解できるからもしかしたら高校数学で解けるかもしれんし

9 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:15:20.806 ID:+l2PrQRva.net
最小の1個を固定したら貪欲に取っていくのが最適とかになる?

14 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:17:54.558 ID:enLd/zud0.net
>>9
うーん
それは微妙そう

というのも貪欲にとりすぎて
後の数字がデカくならざるえないとかありそう

11 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:16:17.244 ID:+l2PrQRva.net
なるなら何個か試して1/2^nが最善みたいになりそう

16 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:19:02.018 ID:enLd/zud0.net
>>11

例えば{3,5,6,7}はどの部分集合の和も異なるけど、
7≧2^(4-1)=8
は成り立たないからこの方針だとキツそうかな?

21 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:21:36.108 ID:+l2PrQRva.net
>>16
無限にとっていく時の値を評価することになるからそれだけできついとはならないとは思う

26 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:23:36.782 ID:enLd/zud0.net
>>21
確かに
無限なら2^nが最適かつ唯一が言えそうだね

うーーむ

15 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:17:59.407 ID:+l2PrQRva.net
いやむずいな

18 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:20:08.815 ID:enLd/zud0.net
>>15
アホむずい
元ネタはこのスレ

面白い数学の問題おしえて~な 43問目
https://rio2016.5ch.net/test/read.cgi/math/1696639819/

なんだけど何日も考えても分からん

17 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:20:00.869 ID:EwtjtZmsd.net
なにいってるかわからない

22 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:22:47.918 ID:enLd/zud0.net
>>17
なんか数の集まりがあります

その数の集まりからいくつかの数を取ってきて足し算をすると必ず今までの足し算と異なる値になります

例えば{1,2,4}って数の集まりを考えると

この集まりからの数の取り方は
{1},{2},{4},{1,2},{1,4},{2,4}だけど
それぞれの取り方の足し算は
1,2,4,3,5,6
で全部違います

ここまでおk?

25 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:23:26.246 ID:EwtjtZmsd.net
>>22
いやもう理解したthx

29 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:25:38.456 ID:enLd/zud0.net
>>25
おっけ

20 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:21:15.348 ID:EwtjtZmsd.net
これ各要素2^nで抑えられそうじゃね?

23 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:22:56.559 ID:EwtjtZmsd.net
だめか、というか{3,5,6,7}はなんで一致しないんだよ

27 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:24:33.586 ID:enLd/zud0.net
>>23
そうなんよ
気合いで部分集合全部計算すればわかるけどこういうキモい反例があるんよね

24 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:23:07.946 ID:+l2PrQRva.net
不等式スレ住人だったし解きたいんだけど…
土日に立てて

28 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:25:12.534 ID:enLd/zud0.net
>>24
おお! あの名スレ住人だったか!

土日までに解けたらまた立てる!

30 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:26:13.914 ID:1zr48ptu0.net
元数学科の俺が来たぞ!

31 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:26:39.417 ID:enLd/zud0.net
>>30
おおお!!
頼もしい!!!

32 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:28:47.421 ID:EwtjtZmsd.net
たとえば集合が4要素なのに最小の要素が4なら、どうやってもΣ1/akは2未満となる
みたいなアプローチ取れないかな

34 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:31:03.667 ID:enLd/zud0.net
>>32
なるほど…?
確かに問題を少し緩めて
要素数Nかつ最小の数がN<2^Mを満たす最小の2^M
とかなら解けそうかも

33 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:29:18.234 ID:jb+Gqtgn0.net
経験的に自明

35 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:32:35.471 ID:enLd/zud0.net
>>33
数学的帰納法=帰納法
の定理か

37 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:36:46.395 ID:jb+Gqtgn0.net
>>35
ちょっと何言ってるかわかんない

41 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:43:12.024 ID:enLd/zud0.net
>>37
おれも分からん

36 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:34:46.679 ID:EwtjtZmsd.net
要素1を採用するとΣ1/akは2未満確定、は言えるのか?
直感的には 1,2,4,… が最良ケースっぽく見えてしまう(ので2未満確定)が

38 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:38:51.264 ID:EwtjtZmsd.net
>>36
ちょっときついな

40 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:42:56.293 ID:enLd/zud0.net
>>36
最小値1ってことかな?
並行移動とかの議論で出来そうかも?

39 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:41:19.954 ID:XYusXDna0.net
Erdosの有名論文やな
Π[k=1,N] (1+x^a[k])<Σ[n=1,∞] x^n=1/(1-x)より

Σ[k=1,N]log(1+x^a[k])<-log(1-x)
Σ[k=1,N] ∫[0,1] log(1+x^a[k])/x dx <-∫[0,1] log(1-x)/x dx=π/12
左辺 x^a[k]=yとおけば

Σ[k=1,N] (1/a[k])∫[0,1] log(1+y)/y dy = (π^2/6)Σ[k=1,N] (1/a[k]) <π/12
より成立

42 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:43:46.765 ID:enLd/zud0.net
>>39
ちょっとまってね
2行目から分からんぞ

44 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:45:42.899 ID:6HKKQB8m0.net
>>39
ミス π/12→π^2/12
>>42
オイラーの分割恒等式とかでググれ

46 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:46:48.807 ID:enLd/zud0.net
>>44
ありがとう調べます

45 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:45:55.094 ID:oPSc7sdd0.net
ラマヌジャンなら夢の中で解いてるよ

47 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:47:54.922 ID:EwtjtZmsd.net
ぜんぜん分からん論文が来たぞ

48 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:49:57.142 ID:enLd/zud0.net
ああああああ!!ブリブリブリブリュリュリュリュリュリュ!!!!!!ブツチチブブブチチチチブリリイリブブブブゥゥゥゥッッッ!!!!!!!

なるほど!!!

49 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:50:15.779 ID:mxFYC/xk0.net
来たら来たでわかんないのかよ

50 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:50:23.361 ID:enLd/zud0.net
ヤバ鳥肌

おまえらすげーな!

51 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:53:27.625 ID:enLd/zud0.net
Π_{a∈S} (1+x^a)のx^nの係数は
「和がnになるSの部分集合の数」と一致するのか!!
(展開と指数法則を考えればおk)

今、{a_1,…,a_N}の部分集合の和は全部異なるから、
少なくともx^nの係数は1以下なんよね?

だから
Π_{k=1}^N (1+x^a_k)<Σ_{k=1}^∞ x^k = 1/(1-x)
が成り立つと

52 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:54:15.959 ID:enLd/zud0.net
であとは気合いでlogとったりして式変形すればいいんか
キモすぎワロタww

53 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:54:57.048 ID:jb+Gqtgn0.net
{3, 5, 6, 7}は2進数にすると{011, 101, 110, 111}だからそりゃそうだよねって思うけどなんでなのかはわからない

54 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:56:17.685 ID:EwtjtZmsd.net
>>53
ぜんぜんそうだよねにならない

55 以下、?ちゃんねるからVIPがお送りします :2023/10/16(月) 23:59:18.015 ID:jb+Gqtgn0.net
>>54
異なる組み合わせで和をとってもビット的に同じ演算が出てこないんだよ
うまく説明できないけど

56 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:02:51.450 ID:M/PD59jr0.net
ん?右辺はx/(1-x)じゃないか?
だとしたら以降の不等式成り立たなくね?

57 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:04:07.148 ID:M/PD59jr0.net
あいや1足してΣ_{k=0}^∞ x^k
にすればいいだけか

61 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:30:21.751 ID:ZijMhnV10.net
やっと証明追えたけどキモ過ぎて草
π^2/6 とか久々に見たわ

62 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:48:07.163 ID:M/PD59jr0.net
マジでキモすぎる
何食ったらこんな証明思い浮かぶんだ

63 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:51:59.010 ID:awvngmI+0.net
数学科の人ってこれが美しいとか言うんだよな
ちょっとついていけないレベルだわ

64 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:54:04.475 ID:ZijMhnV10.net
これ Σ1/n² の値が分からなくても、 ∫[0→1] log(1+x)/x dx がちょうど ∫[0→1] log(1-x)/x dx の半分になっていることはすぐわかるからそれで証明最後まで行けるってのもおもろいな

65 以下、?ちゃんねるからVIPがお送りします :2023/10/17(火) 00:56:13.287 ID:M/PD59jr0.net
>>64
あーなるほど足すと
∫_0^1 log(1-x^2)/x dx = 1/2∫_0^1 log(1-x)/x dx
だから真面目に計算しなくてもいいのか