◎正当な理由による書き込みの削除について:      生島英之とみられる方へ:

【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚


動画、画像抽出 || この掲示板へ 類似スレ 掲示板一覧 人気スレ 動画人気順

このスレへの固定リンク: http://5chb.net/r/math/1626102020/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

1132人目の素数さん
2021/07/13(火) 00:00:20.12ID:w61FTnjw
締切りの過ぎた問題をみんなで議論しましょう。
ただし難易度情報は可。

過去スレ:
1. http://2chb.net/r/math/1295154182/
2. http://2chb.net/r/math/1476702312/
3. http://2chb.net/r/math/1537116043/
2132人目の素数さん
2021/07/13(火) 00:01:24.70ID:w61FTnjw
          |:;:;:;:;:;:;:;:;:;:;:;:;:;:i;:;:;:;:;:;:;:;:;:;:;:;|      解 今     |
            |;:;:_:;:_:;:_:;:_;:;_:;:l:;_;:_:;:_:;:_:;:_;:|      か  日   |
         |______|_____|      な        l
         |::::| ```````´´´´ : : : :|      か       !
         |::::|  く三)   (三シ : : :|'.      っ      /
          r=Y:f            :.ヘ',     た     /
          |fト|:| tーt:テミヽ .ィチt:ァ‐r : |∧    ら    /
          {{ ー:l  ` ̄ '´   |::.ヾ ̄´ . : :|_,ハ、      /
          ヾ ー!         |::、   : : j_/ >ー‐一'´
          `¨',       -、_;:-    : :/
              l'.    ,r===== 、   :/h
.  ,. -―‐- <. /!:.ヽ  ヾ====='′./: j l\
/          \|: : . \.`""""´/ : / .|:.:.:.:',、
            \   ` ー一'´:   :/  |:.:.:.:.:',`:.ー- 、
                 ヽ     }: : ./  .|:.:.:.:.:.:',:.:.:.:.:.:.:.:.:`:.ー- 、
               '.ー-   j: :/     |:.:.:.:.:.:.:',:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.`
  必    も    明.   '.     入    |:.:.:.:.:.:.:.:',:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:
  要   っ    日     ',   / / \   !\:.:.:/.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:
  に   と   は     i  j./   \|:.:.:.`:ー‐┐:.:.:.:.:.:.:.:.:.:.:.:.:.:
  な    大            |   j′     .!:.:.:
  る   き
  ぞ   な
        努
        力
        が
3132人目の素数さん
2021/07/15(木) 14:16:59.70ID:HoeV8oRH
エレ解について質問なのですが、これは高校数学までで解ける問題しかないのでしょうか?
4132人目の素数さん
2021/07/15(木) 21:25:56.49ID:rPkT3lRB
いろいろですね。
入学試験のように、とくに出題範囲が決まっているわけでもなさそうです。
問い合わせるなら
susemi_elegant@nippyo.co.jp
5132人目の素数さん
2021/07/16(金) 00:09:25.64ID:qQSCz03g
>>3
明確にNo
6132人目の素数さん
2021/07/16(金) 09:32:59.62ID:W+F9ZQir
無差別級です。そこが良いところ。小学生レベル範囲の解答から大学数学科レベルの解答
まで、使用する知識に制限はありません。
そうだ、ピックの定理をご存知ですか?
この定理の証明法には、小学生レベルのもの〜最先端代数幾何レベルまであります。
不思議ですよね。。。。
一番うなるのは、ワイエルシュトラウスのペー関数を使う証明。。
7132人目の素数さん
2021/07/16(金) 09:34:22.36ID:W+F9ZQir
もちろん、小学生レベルの証明=簡単を意味しません。
小学生レベルの証明も頭を使うことに変わりありません。
8132人目の素数さん
2021/07/16(金) 16:46:08.39ID:N3mjMsDH
個人的な感想ですが、
 初心者からセミプロまで、それぞれのレベルで解答可能で、 >>6
 解答しているうちにレベルが上がるので病みつきになり、
 気が付けば数学愛好家であり、(将来の)本誌読者になっている、
というのが出版社のシナリオではないか?

囲碁や将棋と同じだなぁ

あくまでも個人的な感想です。
9132人目の素数さん
2021/07/16(金) 18:45:18.14ID:z+sKcmDh
>>6
Weierstrassはワイエルシュトラスと読んでください
10132人目の素数さん
2021/07/17(土) 12:18:11.80ID:+hfSryar
>>8編集部はピックの定理の証明のような問題
求めているのだと思います。そんな良問、数学研究者
でもなかなかおもいつかんだろうが。。。
11132人目の素数さん
2021/07/17(土) 13:37:15.52ID:8BDg/jmR
長年解いてきた俺がとおりますよ

泥臭く補題を積み重ねる問題が半分以上

3ヶ月に1問は簡単すぎるか有名すぎてつまらない

半年に1問は難問で、ググりまくって元論文を見つけ出せたとしても容易には解けない
これを解くのに快感を覚えるようになったらおめでとう、君も常連の仲間入りだ。

2年に1問はピックの定理

3年に1問は分散はなぜ2乗なのか?

5年に1問は出題者が誤答する

俺様統計によると良問率は20%
記憶に残るほどの良問は年に1,2問くらいかな
難しく興味深い問題でもちょっとググってアッサリ答えが見つかってしまうものは良問としてカウントしない
12132人目の素数さん
2021/07/17(土) 17:54:37.13ID:N5EFWQ68
>>10
常連さんなんですね。。。ググるの??
13132人目の素数さん
2021/07/17(土) 17:55:34.02ID:N5EFWQ68
2021年5月号1番の講評はいかがです?
14132人目の素数さん
2021/07/17(土) 19:50:36.72ID:05CQ2gZi
5月の1は良問でござい
15132人目の素数さん
2021/07/17(土) 19:58:59.51ID:Zbv5K/ok
やはり。正解者4人。良問だと思いました。
16132人目の素数さん
2021/07/17(土) 20:47:14.94ID:8BDg/jmR
>>15
本誌1つ目の解答に痺れましたわ

この問題、多くの人間がフェルマーの定理を使う誘惑に駆られたはずw
17132人目の素数さん
2021/07/17(土) 20:55:07.70ID:8BDg/jmR
手抜きなく厳密に解答をチェックした点も高評価
数学なんだからこうでなくちゃね


たまに
 全員正解にしました
なんてのあるけど厳密な解答をせっせと仕上げた常連にとっては興醒めですわ
つまらんミスを見逃してやるくらいならいいけども。
18132人目の素数さん
2021/07/18(日) 16:04:44.20ID:HWe0iKxa
>>16
御明察!!エレ解に谷山志村予想??やり過ぎだろう
と思いました。数オリに類似問題あり、これかな?と
思ったが、2番ってエルゴード性、稠密定理と関連
してないか?とか考えてるうちに時間切れ。。
19132人目の素数さん
2021/07/18(日) 17:16:17.63ID:HWe0iKxa
ところで、数学セミナーは海外の大学図書館への配送されてますかね?
20132人目の素数さん
2021/07/18(日) 18:50:18.60ID:QcN72bRP
>>19
大学図書館は数多く見ましたが数学セミナーは見たことがありません
広州の大学では岩波本の棚がありましたが
21132人目の素数さん
2021/07/18(日) 19:18:03.88ID:q3pY6Sam
>>20残念、是非、インターナショナルな雑誌になって欲しい
22132人目の素数さん
2021/07/18(日) 22:50:28.86ID:MW7lfOOz
>>21
あなたが頑張れば可能かも
23132人目の素数さん
2021/07/19(月) 22:50:18.67ID:zLkZSkEj
噂をすれば竹内さん
24132人目の素数さん
2021/07/20(火) 08:04:57.61ID:ANUYx4H3
京都大学のガロア祭を頑張るべし
25132人目の素数さん
2021/07/20(火) 10:29:29.79ID:ANUYx4H3
数セミ、エレ解、2021年7月号、1番:離散対数絡みでない?
26132人目の素数さん
2021/07/20(火) 11:21:16.83ID:U/vaK+LI
>>35
なにゆえ?
その心は?
27132人目の素数さん
2021/07/20(火) 11:21:46.77ID:U/vaK+LI
アンカーミス
>>25
なにゆえに?
28132人目の素数さん
2021/07/20(火) 16:32:45.37ID:pFgl2bwe
>>35 には「なぞかけ」を書くこと
29132人目の素数さん
2021/07/20(火) 17:18:59.04ID:9rEnW5Vb
なんと!!『数学セミナー』も60周年か。。。素晴らしい!!
戸田アレクシ哲先生もNoteに出場されておったの・・・・
30132人目の素数さん
2021/07/20(火) 17:36:17.81ID:9rEnW5Vb
京都大学数学教室主催、ガロア祭をみよ!!
塩田先生の問題は、やはり稠密定理絡みであったか。。。。。
https://www.math.kyoto-u.ac.jp/ja/node/4678
31132人目の素数さん
2021/07/23(金) 07:49:33.08ID:L6jgQ3sz
梅雨が明けたら、4分の2の季節は…
いやいや、暑くて茹だこですよ。
今ごろ出題1を出してるのは、たぶんオレだけだろうな。(#1462)
32132人目の素数さん
2021/07/23(金) 08:56:32.90ID:huE1h7TE
>>31
半月遅れてだしたってこと?なにゆえ?
33132人目の素数さん
2021/07/24(土) 05:15:56.09ID:ILqYqJWy
こう暑いと 閃かないんだよな。
2回軸の本数とkの関係とか…
34132人目の素数さん
2021/07/25(日) 18:01:04.95ID:0rv1EuHc
辺ABを辺CDに移す対称操作、でいいのかな
35132人目の素数さん
2021/07/28(水) 16:23:29.20ID:PIuMuXET
>>34金子君、そうだ!!
36132人目の素数さん
2021/07/31(土) 15:45:42.90ID:DJupWuYm
出題2はなんか腹立つな
解釈に余計な時間使う
37132人目の素数さん
2021/07/31(土) 17:27:53.85ID:DLJhyUsG
長文はパス
38132人目の素数さん
2021/08/01(日) 02:49:05.98ID:o4+UZaOD
どちらの方にも解けるって言わなくねー?とは言いたい
39132人目の素数さん
2021/08/01(日) 15:46:46.75ID:inhz+BHV
文意がハッキリしないなー
40132人目の素数さん
2021/08/01(日) 16:46:08.14ID:8IWzcdx3
はじめの3分間は無解答だったから
 pの値に対して 3≦x<y が1組しかない場合
 sの値に対して 3≦x<y が1組しかない場合
は省いて良かろう。
そのうえで pの値とsの値の対応を考えるかな?
41132人目の素数さん
2021/08/01(日) 20:16:18.07ID:kthaGXy1
1分でなく3分ってのは期待値を考えろと言ってるんだよねえ
3分過ぎてから突然ってのは?
3分経過後Sが回答しないのを見てPが回答したのか、3分経過後間髪入れずにPが機先を制する形で回答したのか
42132人目の素数さん
2021/08/01(日) 20:17:03.54ID:kthaGXy1
>>41
SとP逆な
43132人目の素数さん
2021/08/02(月) 17:53:36.63ID:v2qRUGD8
「正統な根拠」とか「この問題はどちらの方にも解けます」とかの文言が確率は絡まないと言ってるようにも思える
44132人目の素数さん
2021/08/02(月) 18:48:01.69ID:humQtTeu
コレの系列やろ

en.m.wikipedia.org/wiki/Sum_and_Product_Puzzle
45132人目の素数さん
2021/08/02(月) 22:26:10.75ID:nX9FWiu9
>>43
その場合1分で5万ずつ減る設定どう使う?
46132人目の素数さん
2021/08/03(火) 01:52:02.59ID:Ob8jDQa0
>>45
それもそうか
なら「正当な根拠」っていうのはもっともらしい理由くらいの意味と捉えるべきなのかもしれない。
でも「この問題はどちらの方にも解けます」は何だろう。
例えば確率が1/2ずつの解消できない2択があってどうやっても正当な根拠が示せない状況はないですよ、みたいな感じ?
47132人目の素数さん
2021/08/03(火) 07:48:49.24ID:gS0FZ6Oc
>>46
対等、期待値が同じ、の意味に解さないと話が通らないような
でもそれだとSとPは同時に回答しなきゃいけないような

もうこの問題捨てるか
48132人目の素数さん
2021/08/03(火) 22:57:44.24ID:Ob8jDQa0
p=3*大きな素数だった場合ってP氏は50万獲得できんの?
49132人目の素数さん
2021/08/03(火) 22:59:51.73ID:51STKeM6
素数×素数の時点で50万ゲトやろ
50132人目の素数さん
2021/08/03(火) 23:57:45.53ID:gS0FZ6Oc
正しい問題解釈を誰か教えてくれ
スタートラインにも立てない
51132人目の素数さん
2021/08/04(水) 00:56:53.12ID:VnnVqnG6
Xを3以上の自然数の自然数の2元集合の全体とする
Xの部分集合の列Xiが以下で与えられている

X0 = X
X(i + 1) = Xi
\ { ( u,v ) ∈ Xi | uv = ab, ∀{k,l} ∈Xi \{{ u,v}} uv ≠ kl }
\ { ( u,v ) ∈ Xi | uv = ab, ∀{k,l} ∈ Xi\{{u,v}} u+v ≠ k+l }

今X3の元{a,b}が

∀{k,l}∈X3 \ {{a,b}} kl ≠ ab
∃{k,l}∈X3 \ {{a,b}} k+l = a+b

を満たしているとき{a,b}を求めよ
52132人目の素数さん
2021/08/04(水) 15:18:19.73ID:sY+M0aOS
>>48
数学愛好家ならどんなに大きい数でも素数か否か瞬時に判別できるはずだぞ
53132人目の素数さん
2021/08/04(水) 22:40:11.73ID:jiy4+q5f
>>51
そうなる根拠が解らぬ
5万円でも1円でも答えは変わらないのね?
54132人目の素数さん
2021/08/04(水) 23:37:11.54ID:jiy4+q5f
やっぱり問題設定が分からん
逐次情報をやり取りするなら分かるが、1分に1回やり取りしたと考えるのは無理がある
55132人目の素数さん
2021/08/04(水) 23:59:20.70ID:LWO1mXfV
理にかなわない行動をして相手の誤答を誘う心理戦とかありそう
56132人目の素数さん
2021/08/07(土) 20:45:30.14ID:ASsn3qaG
解いたけど、これ計算機使わずにできないだろ?
57132人目の素数さん
2021/08/08(日) 22:59:37.47ID:4OZ3o8m5
>>19エレガントナ解答の正解者調べたら
カナダ、シンガポールからの投稿者もあった。
日本人だけど。結構、海外赴任中に購読されておられる
マニアの方もおられるのでは??
よって、インターナショナルな雑誌と認定。
58132人目の素数さん
2021/08/08(日) 22:59:37.48ID:4OZ3o8m5
>>19エレガントナ解答の正解者調べたら
カナダ、シンガポールからの投稿者もあった。
日本人だけど。結構、海外赴任中に購読されておられる
マニアの方もおられるのでは??
よって、インターナショナルな雑誌と認定。
59132人目の素数さん
2021/08/09(月) 00:07:08.13ID:lQN6CK9x
竹内さん問題分かりづらいよー
60132人目の素数さん
2021/08/09(月) 00:28:57.64ID:lQN6CK9x
出題2の解答キボンヌ
61132人目の素数さん
2021/08/11(水) 18:41:08.66ID:e+uE5AsR
出題2はそもそも題意の解説からぷりーずだな
62132人目の素数さん
2021/08/13(金) 00:14:35.62ID:Jh313lJy
解答来ないってことは解けなかったんだな誰も、問題文の意味を。
63132人目の素数さん
2021/08/13(金) 00:26:12.69ID:fJiv1UL5
週末まで待て
64132人目の素数さん
2021/08/14(土) 00:22:57.69ID:dcKcv6iz
まだかなまだかな〜♪
エレ解の、オジサンまだかな〜♪
65132人目の素数さん
2021/08/14(土) 00:52:01.26ID:5Y04pCMS
とりあえず問題の定式化はそこまで難しくないやろ
まず集合S(s,n),をそれぞれ「x+y=sである場合S氏か最良の推論をした場合にn回目の挑戦終了時点で残る(x,y)の可能性の集合」と定めたい、P(p,n)も同様に定めたい、どうするか
まず当然S(s,0)、すなわちsの値以外なにも情報がない時点では
S(s,0) = { (x,y) | x\+ y=s }
とするしかないのはいい
P(p,0)も同様
S(s,k-1),P(p,k-1)まで定められたときS(s,k),P(k,p)はどうなるかだけどk-1回目終了時点からk回目終了時点の間でS氏が得た情報は「k回目においてもP氏は(x,y)を特定できなかった」しかないのだからこの情報だけを利用してS(k-1)から除外できる数を除外したものがS(k)になる
すなわち(a,b)∈S(s,k-1)が除外できるのはk-1回目の挑戦でP氏が確定できないもの、すなわちP(ab,k-1)={(a,b)}であるものである
何故ならP(ab,k-1)はk-1回目の挑戦でP氏が最良の推論で絞り込める最小の集合としてすでに定められているので、ココに(a,b)以外の、他の元が入ってないことがP氏がk回目の時点で確定できる条件となる
結局S(s,k)は
S(s,k) = S(s,k-1)\{(a,b) ∈ S(s,k-1) | P(ab,k-1) = { (a,b) } }
と定められる事になる
P(p,k)も同様に
P(p,k) = P(p,k-1)\{(a,b) ∈ P(p,k-1) | S(a+b,k-1) = { (a,b) } }
と定められるとわかる
後はコレでP(p,2)は一元集合ではないけどP(p,3)は一元集合となるpを求める問題とわかる
66132人目の素数さん
2021/08/14(土) 11:37:25.08ID:dcKcv6iz
>>65
なぜそうなるのか本当に分からん
1分毎に1度だけ回答機会が与えられるという設定ならまだしも
しかも1分おきに5万円という設定も解答に使わないのであれば、分単位の時間経過はなんの意味ももたないのでは?
67132人目の素数さん
2021/08/14(土) 18:55:53.64ID:AauyLO1K
互いが相手のことを知らない
=相手の数学力や論理的思考力の程度が分からない
=1分待ってみないと相手が考え中なのか解答不能なのか判断できない
と解釈すれば >>65 みたいにnを離散的にとっていいことになる・・・か?
68132人目の素数さん
2021/08/14(土) 19:42:30.44ID:dcKcv6iz
>>67
うーんこの手の問題は両者perfect logicianであることを仮定するからなあ
69132人目の素数さん
2021/08/15(日) 00:40:49.49ID:M5CvrNsw
みんな>>65のように解釈したのかなぁ
それならよくあるSPの会話形式でええじゃないの...
50万から5万ずつ下がり、間違えたら半額が相手に渡るなんていかにも意味有りげな設定は無視していいわけ?
単に1分おきにお互い"無言"のメッセージをやり取りしたってのが題意だというなら繰り返すけどSPの会話形式でエエジャナイカ...
70132人目の素数さん
2021/08/15(日) 00:47:56.42ID:M5CvrNsw
おれはやっぱりT内さんの問題が好きになれんわ
ちと作問が独りよがりに過ぎんかね
みんな楽しめたんならなによりだが、俺はエレガントな解答じゃなくて問題の正しい解釈を見つけるのに9割5分の時間を割くはめになった

もう出題2はいいや
誰か納得いく説明や新解釈があれば話聞きたいけど

出題1は易しい良問で楽しめたよ
71132人目の素数さん
2021/08/16(月) 00:18:43.86ID:5kcn7Wve
3≦x<yなる任意の整数x,yについて頂点(s,x+y)と頂点(p,xy)の間に辺を張った無限単純無向二部グラフGを作る.
Gの次数1の頂点に対応する(人,封筒の数)だった場合は,その人にとってのx,yの候補が1通りなので即答できる.
Gの次数1の頂点を全て除去したグラフをG'とする.
G'の次数1の頂点に対応する(人,封筒の数)だった場合は,その人にとってのx,yの候補は2通り以上ある.
しかしそのうち1通りを除きもしその候補なら相手が即答しているはずであるから,残る1通りを自分が即答すればよい.
以下同様に次数1の頂点がなくなるまでGの頂点を除去しきったグラフをHとする.
S氏,P氏は数学愛好家なので(?)Hを得るまでは一瞬で,ここから期待値を考え始める.

ここまでは考えたんだがHが無限グラフなんでどうにもならん.
せめてx,yに上限があれば……
72132人目の素数さん
2021/08/25(水) 13:15:10.43ID:A/CPrdi1
今ごろ出題1を出してるのは、オレだけかも。(#1495)
73132人目の素数さん
2021/08/25(水) 22:24:34.87ID:PrK5i+h6
>>72
今月の?先月の?
74132人目の素数さん
2021/08/26(木) 10:27:17.92ID:lvIU0CUK
9月号 出題1 (阿賀岡さん)
75132人目の素数さん
2021/08/26(木) 11:09:46.65ID:8csAjQrz
今ごろて
76132人目の素数さん
2021/08/26(木) 22:03:06.83ID:eXF+A1Yz
先月の問2について
同じアイディアが既に出ているかも知れないが具体的にやる。
x,yの組を(x,y)と書く。
p=xyは条件より12以上がわかる。12〜30までのpの候補のうち、
条件を満たす選択肢が2つ以上あるのは、
p=24のとき(3,8)か(4,6)
p=30のとき(3,10)か(5,6)
ここでp=24もp=30もないことを示す。
p=24として、(4,6)だったとする。対応するs=10の選択肢は(3,7)か(4,6)の二つ。
(3,7)の場合p=21となりpは即答しているので、(4,6)となる。
しかしこの場合sが解答できるので、これもなし。結局p=24のとき(3,8)が解答になる。
するとpが解答できるので(3,8)もなし。以上よりp=24はなし。
p=30であり、(5,6)だったとする。対応するsは11でその候補は
(3,8)か(4,7)か(5,6)となる。(3,8)がないことは上の通り。
(4,7)はpが即答するのでなし。(5,6)となるがこの場合sが解答できるのでなし。
よってp=30のとき(3,10)となるがpが解答できるのでなし。pは31以上である。
(ここまでの考察で数字が与えられていれば3分はかからないと思う。)
77132人目の素数さん
2021/08/28(土) 22:58:43.45ID:veY8Wg6d
今月号の難易度情報もとむ
78132人目の素数さん
2021/08/29(日) 01:31:22.98ID:LzvE3ZkO
1は難しい気配がする
2はおそらく簡単
79132人目の素数さん
2021/08/29(日) 07:27:53.42ID:Fbkk0a7o
>>78
77だが逆かと思ってた
8072,74
2021/08/29(日) 12:40:51.37ID:5fiNWxwd
1出して 2に取りかかる 残暑かな
(難易度情報なし)
81132人目の素数さん
2021/08/29(日) 13:41:14.72ID:lF0qERve
九月号はベストセラーで売り切れですね!!西浦先生の記事のせい
82132人目の素数さん
2021/08/29(日) 22:08:36.20ID:Fbkk0a7o
俺も西浦さんの記事見たよ
世間のニュースより数セミの方が周知が早かったな
83132人目の素数さん
2021/08/30(月) 16:03:35.84ID:Uak5j3QT
[特集1]
新型コロナウイルスと闘うために数学にできること
102p.1199円
http://www.nippyo.co.jp/shop/magazine/8348.html

8割おじさん (医) ご登場ですか。ご老公に駆り出された?
ところで、ご老公は大丈夫だろうな。
84132人目の素数さん
2021/08/30(月) 18:49:01.55ID:tDqYdxrH
2021年9月号
>予防接種完了時の新型コロナウイルス感染症流行をどのように見通しているか……西浦 博
85132人目の素数さん
2021/08/31(火) 10:44:21.70ID:CX/3hE42
竹内郁雄
まだ生きてるのか
86132人目の素数さん
2021/09/04(土) 16:24:57.49ID:nXqiiqMO
2番いい問題だな
まだ突破口みつからんのだけど
87132人目の素数さん
2021/09/04(土) 21:48:42.47ID:nXqiiqMO
2番難問
88132人目の素数さん
2021/09/05(日) 00:14:09.42ID:vRHZNyTa
2番言うほどかね
良い問題であることには同意
89132人目の素数さん
2021/09/05(日) 00:48:26.93ID:Z0gsqYMx
>>88
ほう。
勇気もらったから粘ってみるわ
90132人目の素数さん
2021/09/05(日) 18:40:47.93ID:Z0gsqYMx
やっぱり難問だよこれ
91132人目の素数さん
2021/09/07(火) 22:35:37.43ID:zlKVtPD4
2番答えは解ったが証明はどうしたもんか
92132人目の素数さん
2021/09/09(木) 00:09:31.59ID:K4iqlFd8
じゃあ猛者ども証明よろ
93132人目の素数さん
2021/09/09(木) 13:16:16.53ID:41HtP13l
2021年9月号

■出題1
(1) 楕円はその中心に関して点対称であり、180°回しても同じ。
中心を共有する2つの楕円E, E'の交点も点対称に配置する。
本題では交点は凸四角形をなすが、点対称なので対辺は平行となる。
∴ 凸四角形は平行四辺形に限る。

このあと、平行四辺形の4頂点を通る楕円の中心が 対角線の交点に
固定されることを示す。(略)

(2) は数式に頼ってしまった。
二本の軸の傾きが同じ2つの楕円E, E'を考える。
二本の軸は直交するから、x軸・y軸に平行としてよい。2つの楕円は
 ax^2 + cy^2 + dx + fy + g = 0     (ac>0) … (E)
 a'x^2 + c'y^2 + d'x + f'y + g' = 0,  (a'c'>0) … (E')
と表わされ、xyの項はない。
もし a/a' = c/c' ならば、交点は直線上に並ぶことになり、
4点が凸四角形をなすことと矛盾する。∴ a/a' ≠ c/c',
(E), (E') から鶴亀算により
 x^2 + y^2 + d"x + f"y + g" = 0,   … (E")
∴ 凸四角形は円に内接する。言い換えれば、対角の和が180°である。

凸四角形の4頂点を通る楕円をE、その二本の軸をx軸・y軸とすれば
 ax^2 + cy^2 + g = 0,   … (E)
同じ4点を通る楕円E"は一般に
 (ax^2 + cy^2 + g) - L(x^2 + y^2 + d"x + f"y + g") = 0,
と表わされ、xyの項は現われない。
∴ 楕円E" の二本の軸の傾きは、Eのそれと同じに固定される。
94132人目の素数さん
2021/09/09(木) 18:01:40.75ID:mODpHp/X
書くか

以下全集合はZの中で考える
集合Aと整数nに対して
A+n := { a+n | a∈A }
とかくとする

定理
0≦a<b<c, Z=∪[ i∈S | { a+i, b+i, c+i }が非交和とする
a,b,cの3進展開が同一の数にならない最小の桁が3^iの桁とする
このときa,b,cの3進展開の3^iの位は全て相異なる

∵) iについての帰納法
あるi0>0においてi<i0で正しいとしてi=i0とする
a≡b≡c≡r (mod 3) (r∈[0,2])とする
a'=[a/3],b'=[b/3],c'=[c/3],S'={ (i+r)/3 | i∈S,r+i≡0(mod 3)}とおけばZ=∪[i∈S']{a'+i,b'+i,c'+i}は非交和となるから帰納法の仮定から主張が従う
i=0の時を考える
Z=∪[ i∈S ] { a+i, b+i, c+i }が非交和とする
0=a,0∈Sとしてよい
Sn = {a+i,b+i,c+i | i ∈ [ cn, cn + c - 1 ] ∩ S }
とおき、さらに
An=(Sn-cn)∩[0,c)、Bn=(Sn-cn-c)∩[0,c)
とおく
このときあるk≧0とl>0で
Bk=[0,c)\A(k+1),
B(k+1)=[0,c)\A(k+2)
...
B(k+l-1-1)=[0,c)\A(k+l)
A(k+l)=Ak
となるものが取れる
SをS-ckに取り替えることによりk=0としてよい
T=∪[0≦n<l]Sn、t=clとおく
Tの最大元はc(l-1)+c-1=t-1以下である
f(x)=x^a+x^b+x^c、g(x)=Σ[i∈T]x^iとおく
f(x)g(x)
=Σ[i∈T]x^i
=Σ[0≦i<t]x^i - Σ[i∈[0,c)\A0]x^i +Σ[i∈B(l-1)]x^(i+t)
=Σ[0≦i<t]x^i + Σ[i∈B(l-1)]x^i(x^t-1)
≡1+x+‥+x^(t-1) (mod x^t-1)
である
特にf(x)g(x)は1+x+‥+x^(t-1)で割り切れる
またg(x)の次数はt-1以下である
b+cが3の倍数でないとする
このときf(x)の根は1の冪根ではない
実際ζが1の原始m乗根とする時1+ζ^b+ζ^cが0になるのはζ^b、ζ^cが相異なる1の原始3乗根である時に限られる
よってb/(b,m)=c/(c,m)=3である
さらにb/(b,m)+c/(c,m)≡0(mod 3)とならねはならずb,cについての仮定に反する
よってg(x)は1+x+‥+x^(t-1)の根を全て根とするからg(x)=1+x+‥+x^(t-1)で割り切れる
さらにg(x)の次数はt-1以下であったからg(x)=1+x+‥+x^(t-1)である
特に0,b-a∈T⊂Sとなるがbが{a,b,c}+0と{a,b,c}+b-aの両方に含まれることになり仮定に反する
95132人目の素数さん
2021/09/09(木) 23:39:09.47ID:SSlTcaOZ
ほれみろ難問じゃねえか
96132人目の素数さん
2021/09/12(日) 10:23:32.25ID:yATpTaY5
>>93
これ読んで自分が問題を読み間違えていることに気付いた
97132人目の素数さん
2021/09/12(日) 10:24:34.17ID:yATpTaY5
>>94
元論文当たらずにこの発想にたどり着けた?
98132人目の素数さん
2021/09/12(日) 21:04:48.86ID:vmsLE+58
コレ論文の元ネタあるん?
99132人目の素数さん
2021/09/16(木) 13:20:56.09ID:MlYkePsI
元ねた論文詳細希望
100132人目の素数さん
2021/10/08(金) 02:47:13.70ID:3eK+pRzN
出題1って全事象が6^n通りなんだから推移行列どうこう以前に1/5や1/7になるはずなくね
確率を求めよ、にした方が良かったのでは
101132人目の素数さん
2021/10/09(土) 01:33:51.10ID:hE5TvmjC
たしかに。
でもフライング気味…
102132人目の素数さん
2021/10/09(土) 01:43:14.38ID:hE5TvmjC
>>100
その場合は、n回までの出目の和を s とする。

a=5 のとき
 n回で ≡s (mod 5) となる確率は
 (n-1)回で ≡(s-1) となる確率に1を足して6で割ったもの。
 らせん状に解く。
・s ≡ n (mod 5) となる確率は
  x_n = (1/5){1 + 4(1/6)^n},
・s ≡ n-1, n-2, n-3, n-4 (mod 5) となる確率はいずれも
  x_n = (1/5){1 - (1/6)^n},

a=7 のとき
漸化式  x_{n+1} = (1/6)(1-x_n),  (sによらず)
・s ≡ 0 (mod 7) となる確率は
  x_n = (1/7){1 + 6(-1/6)^n},
・s ≡ 1,2,3,4,5,6 (mod 7) となる確率はいずれも
  x_n = (1/7){1 - (-1/6)^n},
103132人目の素数さん
2021/10/09(土) 02:21:55.97ID:hE5TvmjC
ついでに…
a=4 のとき
生成関数 g(x) = {(x+x^2+x^3+x^4+x^5+x^6)/6}^n
を展開したときの x^s の係数が、出目の和がsとなる確率。
4の倍数乗の項だけを拾うには
b_n = (1/4){g(1) + g(i) + g(-1) + g(-i)}
 = (1/4){1^n + ((i-1)/6)^n + 0^n + ((-i-1)/6)^n}
 = (1/4){1 + 2/(3√2)^n・cos(3nπ/4)},
これが 1/4 となるのは cos( … )=0 のとき。
∴ n = 4m-2.  (mは自然数)
104132人目の素数さん
2021/10/09(土) 06:13:21.66ID:9N+ElEm3
最近少し時間ができて数学を勉強し直しています。
高校の数学からやり直してますが、せっかくなのでエレ解にも挑戦してみようと思い、とりあえず10月号の出題2を提出しましたが、私にはなかなか難しく、簡潔な回答が思いつきません。

このスレの皆さんは凄いですが、どんな職業の人が多いのか興味があります。
105132人目の素数さん
2021/10/09(土) 09:30:39.48ID:tQ4wAjVT
出題2は答えの予想も立つし、証明もそれほど難しくないけど、官名な証明ほ見つからないな
106132人目の素数さん
2021/10/09(土) 12:50:03.98ID:hE5TvmjC
2021年10月号

■出題2
 D(X) = {a_j-a_i | i<j } を j-i の値で組分けし、組員の数を
 d_L = #{a_j-a_i | j-i=L }
とする。(L=1,2,…,n-1)
 d(X) = #D(X) = d_1 + d_2 + …… + d_{n-1}
 d_1 = #{1,c} = 2,  (題意)
 d_{n-1} = #{a_n-a_1} = 1,
 d_L = 1 ならば d_{K*L} = 1.

階差列 I(X) が (1,c,1,c,…) または (c,1,c,1,…) のとき
 d_L = 2 (L:奇数), d_L = 1 (L:偶数)
 f(n) = [3(n-1)/2]
これが最小?

(命題)
 1≦i<j, i+j=(奇数)≦n, GCD(i,j)=1
ならば d_i >1 または d_j >1.
どうかな?
107132人目の素数さん
2021/10/09(土) 12:55:00.28ID:hE5TvmjC
>>102
a=5 のとき
 n回で s≡r (mod 5) となる確率は
 (n-1)回で s≡(r-1) となる確率に1を足して6で割ったもの。
 ここに 0≦r<5
修正スマソ.
108132人目の素数さん
2021/10/09(土) 13:17:12.64ID:9N+ElEm3
>>106
真ん中だけ1、真ん中だけcのパターンもある。n<=8だと他にもある。
109132人目の素数さん
2021/10/09(土) 13:33:37.86ID:tQ4wAjVT
そうそう
Xの最小値は[3(n-1)/2]
コレはbが1スタートの場合
1c1c...
1111c1111
1111c11111
のタイプが無限系列で出てきてスポラディックな奴
1cc1
11c11c11
が出てくる
答えはコレでいいハズだけど簡明に書くのが難しい
110132人目の素数さん
2021/10/09(土) 13:49:38.52ID:9N+ElEm3
上手い解き方を見つけた人はぜひ書き込んでいただきたい。
俺は場合分けの嵐のような、提出するのをためらう答案になってしまった。
111132人目の素数さん
2021/10/09(土) 14:04:52.19ID:9N+ElEm3
1c11c1もあるかな。
112132人目の素数さん
2021/10/09(土) 14:26:53.10ID:gRgOhcv4
>>111
おっと
そうそう
俺が作った解答はまず
Δ(k) = #{長さkのbの連続部分列に含まれるcの数}
m = min{ k | Δ(k)=1 }
とおく
n-1 = qm + r ( 0≦r≦ m )
とすれば頑張るとm≧3においてX = [ 3(n-1)/2 ]になりうるのは
・q = 1
・q=2, r=0
・( m, q, r ) = (3,2,2)
に絞られる
q = 1 のケースで11111c11111, 11111c111111の無限系列解と1cc1
( q, r ) = (2, 0 )のケースで1c11c1
( m,q,r ) = ( 3,2,2 )のケースで11c11c11
に絞れた
コレで多分全部
113132人目の素数さん
2021/10/10(日) 18:55:40.35ID:SyvyeUW8
今んとこ間違いは見つけてないがエレガントではない解を張ってみる

準備
階差列I(X)を以下(b1,..b(n-1))とする
Δ(k):=#{ b'の中のcの数 | b'はbの連続k項の部分列}
と定める
d(X)=Σ[k]Δ(k)
である
以下b(1)=1の場合を考える
Δ(k)=1であるkがなければd(X)≧2(n-1)である
以下そうでないとする
m=min{ k | Δ(k)=1 }とおく
n-1 = qm + r ( 0 ≦ r < m )
とおく
m=2のときd(X)=[3(n-1)/2]である
以下m≧3とする
条件(❇︎)を
m≧3, d(X)=[3(n-1)/2]‥(❇︎)
とおく
K1 = { k | Δ(k) = 1 }, K2 = { k | Δ(k) ≧ 2 }
とおく

claim1 (❇︎)が成立するには
#K1 ≧ #K2
が必要である
∵) 容易□

claim2 Δ(k)=1のとき b(p+k)=b(p)である
すなわちbは周期mの数列である
∵) Σ[p≦i≦p+k-1]b(i) = Σ[p+1≦i≦p+k]b(i)
によりb(p)=b(p+k)を得る□

claim3 k≦(n-1)-(m-1)に対してΔ(k)=Δ(k-m)である
すなわち最後のm-1項を除いてΔは周期mの数列である
∵) sをb(1)からb(m)までの中のcの数をsとするとき
a∈{ b'の中のcの数 | b'はbの連続k項の部分列}
→a-s∈{ b'の中のcの数 | b'はbの連続k-m項の部分列}
である
何故ならは連続k項の部分列b'の中のcの数がaのとき、その末尾m項を取り除いた部分列の中のcの数はa-sとなる
また
a∈{ b'の中のcの数 | b'はbの連続k-m項の部分列}→a+s∈{ b'の中のcの数 | b'はbの連続k項の部分列}
何故ならは連続k-m項の部分列b'の中のcの数がaのとき、k-m≦(n-1)-(2m-1)であるからb'の前か後ろかのいずれかの方向にm項列の長さを伸ばせる余地がありその伸ばした部分列の中のcの数はsとなる□
114132人目の素数さん
2021/10/10(日) 18:56:29.70ID:SyvyeUW8
claim4 (❇︎)のとき#K1≦#K2+1である
さらに全てのkでΔ(k)≦2である

∵) Δの最初のm-1項と最後のm-1項を取り除いた列を考える
この部分列は初項が1で第2項〜第m項が2以上である周期mの数列である
従ってこの部分列の中でK1に属する項の数は多くともK2に属する項の数より高々1大きい事しか許されない
一方で最初に取り除いた2m-2項にはK2に属する項の数の方がK1に属する項の数より多いかまたは等しい
以上により#K1は高々#K2+1以下である
もしΔ(k)≧3となる項があるとする
n-1が奇数の時は[3(n-1)/2]=3(n-1)/2-1/2であり
d(X)≧1+2#K2+#K1
≧1+3/2#K2+3/2#K1-1/2
=3(n-1)/2+1/2
=[3(n-1)/2]+1
により(❇︎)に矛盾する
n-1が偶数の時は#K1≦#K2となり、[2(n-1)/2]=3(n-1)/2だから
X≧1+2#K2+#K1
≧1+3/2#K2+3/2#K1
=[3(n-1)/2]+1
により(❇︎)に矛盾する□

claim5 Δ(i) = Δ(i+1) = 1のときb(i+1)〜b(n-1)とb(1)〜b(n-i-1)は全てb(1)に等しい

∵) b(i+1) = b(1) = b(i+2)=...=b(n-i-2)=b(n-1)=b(n-i-1)である□
115132人目の素数さん
2021/10/10(日) 18:57:22.24ID:SyvyeUW8
claim6 q≧2で(❇︎)が満たされるのはbが
b:1c11c1
b:11c11c11
のいずれかの場合である

∵) #K1≦#K2+1でΔの全ての項は1か2,n-1≧2mだからΔは
・(m-1個の2)12(m-1個の1)
・(m-1個の2)1221(m-1個の1)
の形しか許されない
前者のときΔ(m+2)=Δ(m+3)=1によりb(1)〜b(m-2), b(m+3)〜b(2m)は全て等しく、Δ(m)=1からb(m),b(m+1)もコレらに等しい
すなわちb(k)はb(m-1),b(m+1)を除いて全てb(1)に等しい
b(1)〜b(m)の中のcの個数とb(m+1)〜b(2m)の中のcの個数は等しいのでb(m-1)=b(m+2)である
さらにそれはb(3)〜b(m+2)の中のcの個数にも等しいからここに第m-1項は入ることができないのでm-1<3となりm=3を得る
よってbは
1c11c1
である事が必要である
コレは(❇︎)を満たす
後者のときΔ(m+3)=Δ(m+4)=1によりb(1)〜b(m-1), b(m+4)〜b(2m+2)は全て等しく、Δ(m)=1からb(m+1),b(m+2)もコレらに等しい
すなわちb(k)はb(m),b(m+3)を除いて全てb(1)に等しい
b(1)〜b(m)の中のcの個数とb(m+3)〜b(2m+2)の中のcの個数は等しいのでb(m)=b(m+3)である
さらにそれはb(4)〜b(m+3)の中のcの個数にも等しいからここに第m項は入ることができないのでm<4となりm=3を得る
よってbは
11c11c11
である事が必要である
コレは(❇︎)を満たす□

コレらは(❇︎)を満たす□
116132人目の素数さん
2021/10/10(日) 18:57:28.95ID:SyvyeUW8
claim7 q=1の時(❇︎)が成立するのは
b: (m-1個の1)c(m-1個の1)
b: (m-1個の1)c(m-2個の1)
b: (m-2個の1)c(m-1個の1)
b: 1cc1
のいずれかの場合である

∵) K2は[1,m-1]を含むからK2の元数は少なくともm-1元ある
よって#K1≧#K2のためにはn-1≧2m-2が必要であり、よってr=m-2,m-1のいずれかが必要である
さらにいずれの場合にもK2=[1,m-1]、K1=[m,n-1]である
特にΔ(m)=Δ(m+1)=1が必要である
よってΔは
・(m-1個の2)(m個の1)
・(m-1個の2)(m-1個の1)
のいずれかの形しか許されない
前者のときΔ(m)=Δ(m+1)=1によりb(1)〜b(m-1), b(m+1)〜b(2m-1)は全て等しい
よってbは
(m-1個の1)c(m-1個の1)
である事が必要である
コレは(❇︎)を満たす
後者のときΔ(m)=Δ(m+1)=1によりb(1)〜b(m-2), b(m+1)〜b(2m-2)は全て等しい
b(m-1)=b(m)=cかつm≧4とするとbは11ccの形の連続部分列を含むので11,1c,ccの形の連続部分列をも含みΔ(2)≧3となって矛盾する
よってb(m-1)=b(m)=cとなるのはm=3の時に限られる
以上によりbは
b:(m-1個の1)c(m-2個の1)
b:(m-2個の1)c(m-1個の1)
b:1cc1
である事が必要である□
117132人目の素数さん
2021/10/16(土) 00:13:42.44ID:3H2q+XrT
11月の出題2がえらく簡単に思えるが何か勘違いしているかな。
118132人目の素数さん@そうだ選挙に行こう
2021/10/31(日) 05:53:06.07ID:O5wXnDZ3
今ごろ出題2の解答を出してるのはオレだけかも (#1600)
ちょっと複雑…
119132人目の素数さん
2021/10/31(日) 10:05:56.13ID:K/512aCb
今回は出題1の方が難しくね?
120132人目の素数さん
2021/11/09(火) 20:09:31.19ID:w8WlgVT8
うむ。
きのう出した出題1の解答  (#1614)
きょう出した出題1の解答 (#1615)
121132人目の素数さん
2021/11/09(火) 23:18:05.18ID:iMBGvtFu
>>120
コレ他の人の解答もみれんの?
hp見てもそれらしきリンクないけど
122132人目の素数さん
2021/11/10(水) 00:02:49.68ID:VyY2sUiU
見れるワケないだろ。
自分の解答の整理#は確認メールで分かるけど…
123132人目の素数さん
2021/11/10(水) 00:12:52.03ID:zvjqhhkc
じゃあ番号貼るのなんで?
他の人にはなんの意味もないやん?
124132人目の素数さん
2021/11/11(木) 18:07:22.38ID:ir9KW8Jz
今月の解答一番乗りだってことだろ。
125132人目の素数さん
2021/11/12(金) 03:01:45.06ID:d3Ff157l
正解です。

猛者の皆さん、解答よろ
126132人目の素数さん
2021/11/14(日) 02:39:26.29ID:vPZ8yjLT
2021年11月号

■出題2
 P2からx軸 (直線PoP1) に最速で接近 (降下) する枝を求めて
 下限のy座標 >0 としました。 (必ずしも先端ではない)
・0 < θ ≦ π/2, ( [π/2θ]=m とおいた)
・π/2 ≦ θ ≦ 3π/4,
・3π/4 ≦ θ < π,
の3つに分けました。ちょっと複雑になりました。。。
127132人目の素数さん
2021/11/16(火) 17:22:28.30ID:2OrhzT5X
・0 < θ ≦ π/2 のとき
  [π/2θ] = m とおいた。
 辺の傾角 (0, θ, 0, -θ, -2θ, …, -mθ, -(m+1)θ, -mθ, -(m+1)θ, … )
 1 - 2r cosθ + 2(r^{m+3}/(1-rr)) [cos((m+1)θ) - r cos(mθ)] > 0,

・π/2 ≦ θ ≦ 3π/4 のとき
 辺の傾角 (0, θ, 2θ, 3θ, 2θ, 3θ, … )
 1 + 2r cosθ + 2rr cos(2θ) > 0,

・3π/4 ≦ θ < π のとき
 辺の傾角 (0, θ, 2θ, θ, 2θ, θ, … )
 1 + 2r cosθ > 0,
128132人目の素数さん
2021/11/17(水) 11:23:24.56ID:VIyadTbr
出題1(2)
l,m,nを固定された実数とする
[-1,1]^3上の実数値関数a,b,cを
a = √(m^2+n^2-2mn(2x^2-1))
b = √(n^2+l^2-2nl(2y^2-1))
c = √(l^2+m^2-2lm(2y^2-1))
とする、ただしx,y,zは座標関数である
さらにF,G,Hを
F =1/(16( -a^4-b^4-c^4 +2(b^2c^2+c^2a^2+a^2b2))
G = (1-x^2-y^2-z^2+2xyz)
H = F - 3(lmnG)^(4/3)
K = F - lmn(l+m+n)G
によって定める
[-1,1 ]^3の閉集合Dを
D = { (x,y,z) | G(x,y,z) ≧0 }
で定める
DにおいてG≦1であるから容易にH≧Kである

補題
OA=√l, OB=√m,OC=√nであるOA,OB,OCを辺として含む平行6面体でθ=∠BOC, φ=∠COS, ψ=∠AOB, x=cosθ, y=cosφ, z=cosψとするとき
a,b,cはそれぞれBOC,COA,AOBを含む面の対角線の積であり(lmn)Gは平行6面体の体積の2乗である
またF≧0はBC=a,CA=b,AB=cとなる3点が存在するための必要十分条件であり、特にこのときFはこの3点の凸包の面積の2乗である
∵) 計算すれば容易に示される□
129132人目の素数さん
2021/11/17(水) 11:23:55.03ID:VIyadTbr
補題
G=0のとき平面上の3点A,B,CをBC=a,CA=b,AB=cとなるように取れる
特にこのときH=K=Fは非負の値をとる
∵) θ,φ,ψ∈[0,π]をx=cosθ、y=cosφ、z=cosψとなるようにとる
このとき
G=4sin((θ+φ+ψ)/2)sin((-θ+φ+ψ)/2)sin((θ-φ+ψ)/2)sin((θ+φ-ψ)/2)
であるから
θ,φ,ψ∈[0,π]より
θ+φ+ψ∈2πZ
-θ+φ+ψ∈2πZ
θ-φ+ψ∈2πZ
θ+φ-ψ∈2πZ
のいずれかが成立する
いずれの場合でも
A(l,0),
B(mcos(2ψ),mcos(2ψ)),
C(ncos(2φ),-nsin(2φ))
とすれば良い
またこのときFはこの3点の凸包の面積の2乗であるから非負の値をとる□
130132人目の素数さん
2021/11/17(水) 11:24:21.22ID:VIyadTbr
補題
Kは原点以外の内点で最小値を取り得ない
∵) まずxyz≠0である部分について考える
X=(mnx)^2, Y=(nly)^2, Z=(lmz)^2と変数変換してKをX,Y,Zの関数と見るとき非線形項は
-X^2-Y^2-Z^2+2(YZ+ZX+XY)-2k√(XYZ)
である、ただしxyz>0においてはk=l+m+n, xyz<0においてはk=-(l+m+n)である
このときHessian matrixの特性方程式は
- λ^3
+(- 6+(1/2)k√(XYZ)(1/X^2+1/Y^2+1/Z^2)) λ^2
+ 2k√(XYZ))(1/X^2+1/Y^2+1/Z^2-1/(YZ)-1/(ZX)-1/(XY)) λ
-k^3/(2 √(XYZ))
+ (2k^2)(1/X + 1/Y + 1/Z)
- (8k√(XYZ))(1/(YZ)+1/(ZX)+1/(XY))
+32
である
極小値をとる点ではHessian matrixの固有値が全て非負実数となる事が必要である
よってまず二次の項が負ではないからk≧0が必要である
さらに一次の係数は正ではないから
1/X^2+1/Y^2+1/Z^2-1/(YZ)-1/(ZX)-1/(XY)≦0
が必要でありX=Y=Zが必要とわかる
再度二次の項が負ではないから
- 6+(3/2)k/√(XYZ)≧0
よりX≦1/16k^2が必要である
(X,Y,Z)=(T,T,T)においては
K=3T^2-2kT^(3/2)+2(mn+nl+lm)T
であり
K' = 6T-3kT^(1/2)+2(l+m+n)
K'' = 6-3k/2T^(-1/2)
である
よって0≦T≦1/16k^2ではK'は単調減少であり符号が負から正へ転じる部分はないから内部で最小となる事はない
次に平面z=0のxy≠0にある内点について考える
ここではX,YについてのKの非線形項は
-X^2-Y^2+2XY
しかないからHessian matrixは
[[-2,1],
[1,-2]]
となりその固有値は-1,-3でありやはり内点で最小値をとらない
直線y=z=0の原点以外の内点についても同様であるから主張は成立する□
131132人目の素数さん
2021/11/17(水) 11:24:53.76ID:VIyadTbr
主張
Kの最小値は0である
Dの内点で最小値をとるのはx=y=z=0の場合のみである
∵) 補題によりDの境界上のみ考えればよい
Dにおいてxが±1となるのはy=±zの場合のみであり、さらにこのときG=0となる
y,zが±1の場合も同様にG=0となるからG=0である境界についてのみ考えればよい
このときは補題によりF≧0となることが示されているのでK≧0である
また原点においてK=0である
原点以外の内点では最小値を取れないこともすでに示されている□

定理
平行6面体の3種類の面の対角線の積をa,b,cとするときa,b,cを3辺とする三角形が存在する
その面積は常に平行6面体の体積の4/3乗の√3倍以上である
等しくなるのは立方体の場合に限る
∵) 補題によりK≧0であるからF≧(l+m+n)V^2であるが(l+m+n)≧3(lmn)^(1/3)≧3V^(2/3)によりF≧3V^(8/3)である
ここでF>0がa,b,cを3辺とする3角形が存在するための必要十分条件でその時Fが三角形の面積の2乗を与えることから主張が成立する□
132132人目の素数さん
2021/11/28(日) 12:53:49.52ID:MWTbmNPN
T=ABCD が平面四角形なら
三角形Sの辺 AC・BD をはさむ角は
Tの min{A+C, B+D} らしいけど…
四面体に拡張できるのかな?

* ブレットシュナイダーの定理 (1842)
133132人目の素数さん
2021/12/05(日) 23:33:20.73ID:J3/f6t8D
コレ?
https://ja.m.wikipedia.org/wiki/%E3%83%96%E3%83%AC%E3%83%BC%E3%83%88%E3%82%B7%E3%83%A5%E3%83%8A%E3%82%A4%E3%83%80%E3%83%BC%E3%81%AE%E5%85%AC%E5%BC%8F
ちょっと違うような
他にもあるの?
134132人目の素数さん
2021/12/09(木) 07:59:44.79ID:h1Ypck3F
カードの問題、動的計画法を使ってコンピュータでは解けたけど、手では無理だった。もう少しだったんだけどなあ。
135132人目の素数さん
2022/01/12(水) 06:47:39.27ID:IRhMRQhK
今月の問1は何だろう。指示通りに計算を進めると答えが出て、グラフ似てますね以外の感想が無いのだが。
136132人目の素数さん
2022/01/13(木) 16:07:47.70ID:/LMHobjk
問2は有名すぎない
3.05をもっと大きくしないとと思うが
137132人目の素数さん
2022/01/13(木) 18:25:02.49ID:5o/Di0MK
基本に戻ったんだよ
パズルは数学ではない
138132人目の素数さん
2022/01/13(木) 22:47:58.75ID:UcU7Vpwe
有理数という縛りと、ある程度初等的にπにどこまで近づけられるかという合わせ技で中々面白いと思う
139132人目の素数さん
2022/01/14(金) 10:51:56.93ID:mMXbX30J
正多角形ではなく多角形と書いてあるのがポイントだと思ったのだが。
140132人目の素数さん
2022/01/14(金) 13:48:12.59ID:OmW9S6u0
>>139
ほぼおんなじことでしょ
有理数なら正多角形(七角形以上なら)にそもそもならんし
正多角形でないからこそ有理数ともいえる
(正多角形でないのに面積は無理数でいいなんて訳わからんし)
141132人目の素数さん
2022/01/14(金) 23:29:52.72ID:xaSmWcA+
こういう感じの事やれという事やろ


この例では面積÷半径^2=2.823529411765なので使えないけど
142132人目の素数さん
2022/02/20(日) 12:47:14.47ID:+z7skMxP
先月号の締切だいぶ過ぎたけどπのやつはどんなの見つけた?
結局
@0<xi<π
Ax1+‥+xn=π
Bsin(x1)+...+sin(xn)は有理数
Csin(x1)+...+sin(xn)は3.05より大きい
を満たす(xi)をひとつ例示せよ
なんだけどBの縛りは
B'sin(xi)は全て有理数
が題意だと思って探したけど
なんか面白いのあった?
143132人目の素数さん
2022/02/20(日) 19:37:43.44ID:v+bJEyy1
円周率のやつは単位円周上に有理点を打っていくとかいう面白くないのしか見つけられなくて(その有理点の打ち方も芸がない)投稿する気が失せた
144132人目の素数さん
2022/02/20(日) 20:26:01.45ID:1aL3eR9l
まぁあんまり工夫のしょうがない問題ではあったな
145132人目の素数さん
2022/03/03(木) 19:05:51.14ID:8thz+vDV
誰も書かないので書いてみる
α=asin(1/7)、β=π/6-2αとおくと
cos(α)=4/7√3、sin(2α)=8/49√3、cos(2α)=47/49
sin(β)=1/2×47/49-√3/2×8/49√3=23/98
∴ π = 12α + 6β
  ≧ 12sin(α) + 6sin(β)
  = 12/7 + 6×23/98
  = 153/49
  = 3.122448979592
146132人目の素数さん
2022/03/21(月) 16:51:56.68ID:ygUcHd2h
3月号は?
147132人目の素数さん
2022/03/22(火) 14:09:58.44ID:9xuBvZ/9
ΣC[2k+1,j](-1)^j/(2k-2j+1)
=Σ[m=0,k]C[2k+1,k-m](-1)^(k-m)/(2m+1)
=Σ[m=0,k]C[2k+1,k+1+m](-1)^(k-m)/(2m+1)
=Σ[m=0,k](-2k-1):(k+1+m) (-1)^(k-m)/((2m+1)(k+m+1)!)
=-Σ[m=0,k](-2k-1):(k+1+m) (1/2):m /((3/2):m 1:(k+m+1))
= -(-2k-1):(k+1) / 1:(k +1)
Σ[m=0,k](-k):m (1/2):m /(3/2:m (k+2):m)
= -(-1)^(k+1) C[2k+1,k+1] 3F2(1/2,1,-k,3/2,k+2,1)
= -(-1)^(k+1) C[2k+1,k+1]
Γ(1+1/2)Γ(1+1/2-1/2+k)Γ(1+1-1/2)Γ(1+1+k)
/(Γ(1+1)Γ(1+1-1/2+k)Γ(1+1/2-1/2)Γ(1+1/2+k))
= -(-1)^(k+1) C[2k+1,k+1]
Γ(3/2)Γ(1+k)Γ(3/2)Γ(2+k)
/(Γ(2)Γ(3/2+k)Γ(1)Γ(3/2+k))
= -(-1)^(k+1) C[2k+1,k+1]
Γ(3/2)k!Γ(3/2)(k+1)!
/(Γ(3/2+k)Γ(3/2+k))
= -(-1)^(k+1) C[2k+1,k+1]
4^kk!(k+1)!/((2k+1)!!)^2
= (-1)^k 16^k (k!)^2/(2k+1)!
148132人目の素数さん
2022/03/22(火) 14:13:24.48ID:9xuBvZ/9
与式
Table[sum[C[2*k+1,j]/(2*k-2*j+1)*(-1)^j,{j,0,k}] ,{k,1,10}]

https://www.wolframalpha.com/input?i=Table%5Bsum%5BC%5B2*k%2B1%2Cj%5D%2F%282*k-2*j%2B1%29*%28-1%29%5Ej%2C%7Bj%2C0%2Ck%7D%5D+%2C%7Bk%2C1%2C10%7D%5D&;lang=ja

計算結果
Table[ (-1)^k* 16^k *(k!)^2/(2k+1)!,{k,1,10}]

https://www.wolframalpha.com/input?i=Table%5B+%28-1%29%5Ek*+16%5Ek+*%28k%21%29%5E2%2F%282k%2B1%29%21%2C%7Bk%2C1%2C10%7D%5D&;lang=ja
149132人目の素数さん
2022/03/22(火) 16:49:56.70ID:d0IWv/tW
3月号 出題2

まず交差なしのときの不等式を示す
その場合全て三角形としてよい
点の数をv、線分の数をe、面の数をs、凸包の辺数をnとして
1 = v - e + s
であるが3s + n = 2eより
3 = 3v -3e + 2e -n
∴ e = 3v - 3 - n ≦ 3v - 6
である
直角の公差を許す場合について考える
頂点の数をv'、線分の数をe'とする
公差している交点の総計をcとする
交差している部分を頂点と計上し、交差の部分で線分を切り離したとき、頂点はc個、辺は2c個増加する、すなわちv = v' + c、e = e' + 2cである
これを先ほどの不等式へ代入して
e' + 2c ≦ 3(v' + c) - 6
∴e' ≦ 3v' - c - 6 ≦ 6v' - c - 12 ( ∵ v' ≧ 2 )
150132人目の素数さん
2022/03/28(月) 20:51:34.28ID:9QHrSmlv
今月の出題2だが、えらく簡単に思える。もしかして、とんでもない勘違いをしているのかも知れない。
151132人目の素数さん
2022/03/28(月) 22:06:23.48ID:a2wOfzMd
イヤ、簡単
152132人目の素数さん
2022/03/30(水) 20:09:55.81ID:VjOWMY0M
数学セミナー:巻頭にコーヒーブレイクがある不思議な雑誌.
数学徒は,昼夜逆転どころか前後不問・時間経過無視なのだろう.
153悪魔の数学辞典
2022/03/30(水) 20:11:59.28ID:VjOWMY0M
済みません.表題明記を忘れました.
154132人目の素数さん
2022/04/01(金) 12:42:25.15ID:PCd+11Xi
投稿するとき住所欄あるけどみんなどこまで書いてる?丁目番地まで?
155132人目の素数さん
2022/05/09(月) 16:39:41.34ID:4CiRyY0I
出題1
f(1) から順に
1, 7, 22, 28, 13, 23, 29, 19, 25, 10, 4, 14, 24, 9, 3, 18, 8, 2, 12,
6, 21, 27, 17, 11, 5, 15, 30, 20, 26, 16, 31, 37, 52, 58, 43, 53, 59,
49, 55, 40, 34, 44, 54, 39, 33, 48, 38, 32, 42, 36, 51, 57, 47, 41,
35, 45, 60, 50, 56, 46, 61, 67, 82, 88, 73, 83, 89, 79, 85, 70, 64,
74, 84, 69, 63, 78, 68, 62, 72, 66, 81, 87, 77, 71, 65, 75, 90, 80,
86, 76, 91, ...
156132人目の素数さん
2022/05/09(月) 17:07:43.45ID:a/jyU+6b
>>155
どうやって見つけたの?
試行錯誤?
157132人目の素数さん
2022/05/11(水) 15:26:23.48ID:NKgnb7p5
>>156
FindHamiltonianPath[]で一発よ
応募は自重したけども
158132人目の素数さん
2022/06/11(土) 13:05:23.55ID:i4X+r1xG
6月号2番はどう?
159132人目の素数さん
2022/06/17(金) 16:50:05.29ID:JMN4QK29
エレガントで無くていいからとりあえず解け
まず解け
本末転倒をやるな
いい加減止めろこのアホスレ
160132人目の素数さん
2022/08/09(火) 11:18:10.49ID:Zem9hKWf
ついに来たか
https://twitter.com/sugaku_seminar/status/1556797796396646400/photo/1
https://twitter.com/5chan_nel (5ch newer account)
161132人目の素数さん
2022/10/13(木) 01:19:43.80ID:JVFb+ZdG
今月号の出題1だが、めんどくさそう。
スッキリ解けるのか?
162132人目の素数さん
2022/10/27(木) 03:43:13.76ID:fExmgHtr
出題1だが、一応解けたが、どうまとめようか。出来るだけ、スッキリした形にまとめたい。
163132人目の素数さん
2022/11/09(水) 02:19:01.27ID:M5Kzby2Q
まず、以下を示す。
命題※
xを整数、pを素数、s,tを正の整数とする。
このとき、x^(p^s・t)-x^(p^{s-1}・t)はp^sで割り切れる。
証明
x^(p^s・t)-x^(p^{s-1}・t)=x^(p^{s-1}・t){(x^{(p-1)p^(s-1)})^t-1}

xがpで割り切れるとき
p^(s-1)・t≧2^(s-1)≧sだから、x^(p^{s-1}・t)がp^sで割り切れる。

xがpで割り切れないとき
フェルマー・オイラーの定理より
{x^{(p-1)p^(s-1)}^t-1≡1^t-1≡0 (mod p^s)だからx^{(p-1)p^(s-1)})^t-1
がp^sで割り切れる。

以上より命題※は示された。□
164132人目の素数さん
2022/11/09(水) 02:21:15.35ID:M5Kzby2Q
Nを正の整数、pは素因数とする。
N=p^k・M,gcd(p,M)=1と書ける。
このとき、k=v_p(N),M=N'と書くことにする。

mn=Lとかく、Lの素因数pを任意にとる。
v_p(L)=u,i=v_p(d),j=v_p(e),L"=L'/(d'e')とおくと
φ(d)φ(e)x^{L/lcm(d,e)}=φ(d')φ(e')φ(p^i)φ(p^j)x^(p^{u-max(i,j)}・L")

φ(d')φ(e')の値ごとに、φ(p^i)φ(p^j)x^(p^{u-max(i,j)}・L")の和をとり、
mai(i,j)=hの値でまとめると
x^(p^u・L")+Σ_(h=1)^(h=u){p^(2h)-p^(2h-2)}x^(p^(u-h)・L")
=Σ_(h=0)^(h=u-1) p^(2h){x^(p^(u-h)・L")-x^(p^(u-h-1)・L")}+p^u・x^(L")

>>163の命題※より、x^(p^(u-h)・L")-x^(p^(u-h-1)・L")はp^(u-h)で割り切れる
からp^(2h){x^(p^(u-h)・L")-x^(p^(u-h-1)・L")}はp^(u+h)で割り切れる。
とくに、p^uで割り切れる。

したがって、Σ_(h=0)^(h=u-1) p^(2h){x^(p^(u-h)・L")-x^(p^(u-h-1)・L")}+p^u・x^(L")
はp^uで割り切れる。

以上より、問題の式もp^uで割り切れることがいえるので、L=mnで割り切れることが
いえたことになる。
165132人目の素数さん
2022/11/09(水) 04:18:25.67ID:dep9MTRa
出題2
m=3:ファノ平面
m=4:有限射影平面 Pj(3)
m=5:Witt design S(5,8,24) を削る
m=6:有限射影平面 Pj(5)
166132人目の素数さん
2022/11/12(土) 01:59:16.58ID:0U2wnhEG
>>164
12行目の式だが、
×・・・ +p^u・x^(L")
○・・・ +p^(2u)・x^(L")
だな。大筋は変わらないけど、一応書いといた。
167132人目の素数さん
2022/12/15(木) 18:21:41.48ID:j/qjOTBM
数学の体系のまだ右も左もわからない基礎知識の足らない中学生や高校生に、
功名心で釣ってこれぐらいなら自分にも解けそうだと思わせて、いたずらに
延々と日時を費やさせてしまう「エレガントな解答を求む」は教育としては
有害ではなかろうか。まずは、大学の標準的な講座物の書籍全体を通読読破
した上でチャレンジする、のであれば良いかもしれないが。
 まずは、既存既知の数学の体系を学ぶことを優先すべきではなかろうか。
168132人目の素数さん
2022/12/15(木) 21:23:48.25ID:itdNU1//
>>167
>>数学の体系のまだ右も左もわからない基礎知識の足らない中学生や高校生に、
>>功名心で釣ってこれぐらいなら自分にも解けそうだと思わせて、いたずらに
>>延々と日時を費やさせてしまう「エレガントな解答を求む」は教育としては
>>有害ではなかろうか。

このレベルの問題に二三日費やして集中することは
例え解けなくても有益であると思う。
正解できればなおさら。
169132人目の素数さん
2022/12/20(火) 17:35:23.68ID:DzMo+Gm0
メールのやり取りの中でドイツの大学の人に
突然「エレガントである」と褒められた。
やはり「エレガント」という言葉はいいなあ。
170132人目の素数さん
2022/12/20(火) 23:32:48.94ID:Hv+0fLwG
エレガントで無くていいからとりあえず解け
まず解け
本末転倒をやるな
いい加減止めろこのアホスレ
171132人目の素数さん
2022/12/21(水) 19:20:00.30ID:BfH1zqeC
通りすがりです
>>170さんのご意見の通り、
確かに問題を解けないにも関わらずエレガントな解答を求める行為は、本末転倒といわれても仕方ないかと思います

しかし、そもそもの前提が間違っているのではないでしょうか
『エレガントな解答をもとむ』とは、まず問題が解けることが前提であり、さらにエレガントといえる解答をもとめると考えられます

例えば、円(ケーキやらピザ)を3等分にする作図問題なら、
お店で見掛けるカット方法が模範解答とするならば、実用性が皆無だとしても他のカット方法を考えることなどが、目的(主旨、趣旨)の一つなのではないでしょうか
172132人目の素数さん
2022/12/22(木) 00:23:15.57ID:zwQNq/Yd
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
173132人目の素数さん
2022/12/22(木) 22:35:17.69ID:qt1+aLga
>>169
藤子不二雄作品の「怪物くん」のドラキュラとオオカミ男を足すと
「エレガンスがんすよ」
ってセリフが似合う。

あくまでマンガでおまんがな。
174132人目の素数さん
2022/12/26(月) 00:37:02.26ID:SO0v4DPk
https://en.wikipedia.org/wiki/Caenorhabditis_elegans

エレガンスな生物
175132人目の素数さん
2023/01/02(月) 01:47:14.23ID:Tjm8RrUz
対立する概念としてエレファントな解答というのがあった。
176132人目の素数さん
2023/01/10(火) 17:20:16.84ID:5UiVvHEx
今月号の出題2は、ちょっと考えにくいな。
177132人目の素数さん
2023/01/26(木) 09:26:53.60ID:a7yO8rj1
面白い問題
手ごろ感もある
178132人目の素数さん
2023/01/29(日) 21:12:23.03ID:wni79iFl
ある体系で命題に対する証明が存在するときに、その証明の記述の長さが最も短い
証明を求めることは,たぶん困難な問題に違いない。
たとえば1つの証明が既に得られていてその長さがNであるとき、
最小の長さの証明を見つける計算量というのはN-Pなのではないか?
179132人目の素数さん
2023/01/29(日) 21:15:32.10ID:61X04R7S
言ってみただけ
180132人目の素数さん
2023/01/30(月) 12:58:00.20ID:jB5TaMHo
age
181132人目の素数さん
2023/02/11(土) 00:50:45.91ID:xmToMb9j
幾何多杉
182132人目の素数さん
2023/02/13(月) 02:28:13.85ID:f+yEWUuF
問題投下(良かったら解いてみてくれ)

4以上の整数nを任意にとる。
以下の条件をみたす整数係数の多項式が存在することを証明せよ。
(1) n=deg{f(x)}
(2) f(x)はモニックかつ既約(整数の範囲で)である。
(3) 任意の整数mに対して|f(m)|の値は合成数となる。
(4) f(x)をf(x)=x^n +a(n-1)・x^(n-1) +a(n-2)・x^(n-2)+ …+a(0)と書き下す。
このときgcd(a(n-1),a(n-2),…,a(0) )=1がいえる。

実は、(4)は付け足しで、条件(1),(2),(3)だけだと下記のEisensteinの既約判定法を用いると、
結構簡単にできてしまうので。

Eisensteinの既約判定法
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A4%E3%82%BC%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E3%81%AE%E6%97%A2%E7%B4%84%E5%88%A4%E5%AE%9A%E6%B3%95
183132人目の素数さん
2023/02/13(月) 02:31:18.57ID:f+yEWUuF
条件(4)がなければ、以下のように解ける。
f(x)=x^n +3x^(n-2)+12とおけば、
(ただし、nは4以上の整数)
任意の整数mに対して、f(m)≡m^(n-2)・(m^2-1)≡0 (mod 4)
また、Eisensteinの既約判定法より、f(x)は既約であることがいえる。
そして、deg{f(x)}=nがとなることは明らか。

上記を一般化すると
pを奇素数かつs,tを下記の条件を満たす整数とする。
sはpで割り切れ、かつs≡-1 (mod 4)となる。
tはpで割り切れるがp^2で割り切れない。
このときf(x)=x^n +s・x^(n-2)+4tとおくと、
任意の整数mに対して、f(m)≡m^(n-2)・(m^2-1)≡0 (mod 4)
また、Eisensteinの既約判定法より、f(x)は既約であることがいえる。
そして、deg{f(x)}=nがとなることは明らか。

また、nを3以上の整数、pを5以上の素数かつs,tを下記の条件を満たす整数とする。
sはpで割り切れ、かつs≡-1 (mod 6)となる。
tはpで割り切れるがp^2で割り切れない。
このときf(x)=x^n +s・x^(n-2)+6tとおくと、同様に
任意の整数mに対して、f(m)は6で割り切れること、
Eisensteinの既約判定法より、f(x)は既約であることと、
deg{f(x)}=nがとなることがいえる。

ちょっと考えただけだが、これだけ見つかった。
184132人目の素数さん
2023/02/13(月) 02:36:22.99ID:f+yEWUuF
あまりエレ解関連の投稿がないので、試しに問題を作ってみました。
皆さんに関心を持っていただければ嬉しいのですが、一応1か月くらい
見てみます。そのあたりで、自分の解答を投稿します。
(皆さんがこの問題に関心がなかったとしてもw)
185132人目の素数さん
2023/02/13(月) 03:20:00.22ID:gSA12VJj
gcd(16,2n^2-8n+9)=1.
186132人目の素数さん
2023/03/12(日) 02:31:09.70ID:5rrsGmfu
>>182の解答編(誰も望んでないかもしれないがw)
https://yufeizhao.com/olympiad/intpoly.pdf
2ページ目のTheorem3を用いる。
「整数係数の多項式
f(x)=a(n)・x^n +a(n-1)・x^(n-1) +a(n-2)・x^(n-2)+ …+a(0)が、
下記の条件を満たすとき、f(x)はk次以上の既約な整数係数多項式の因数を持つ。
(1)a(0),a(1),・・・,a(k-1)は素数pで割り切れるが、a(k)は割り切れない。
(2)a(0)はp^2で割り切れない。」・・・@

nを3以上の整数
f(x)=x^n-x^(n-1)+6
とおくと>>182の(1)〜(4)すべてみたすことをいう。
187132人目の素数さん
2023/03/12(日) 02:32:17.61ID:5rrsGmfu
f'(x)=x^(n-1)・{nx-(n-1)}だから
nが偶数のとき
f(0)=f(1)=6,m≦0またはm≧2のときf(m)>6となる。
nが奇数のとき
f(-1)=4,f(0)=f(1)=6
m≦-2のとき
f(m)≦-6
m≧2のとき
f(m)>6
したがって、任意の整数mに対して|f(m)|>2がいえる。
任意の整数mに対して、f(m)≡m^(n-1)・(m-1)≡0 (mod 2)
よって、f(m)の値は合成数となる。
したがって、f(x)=0は整数解を持たないこともわかる。
f(x)=0の有理数解の候補は±1,±2,±3,±6のみだから
f(x)=0は有理数解を持たないことがいえた。
したがって、f(x)は一次式の因数を持たない。
188132人目の素数さん
2023/03/12(日) 02:33:56.75ID:5rrsGmfu
>>186であげた命題@を用いると
f(x)はn-1次以上の次数を持つ既約な整数係数の多項式を因数に持つ。

したがって、f(x)は下記のいずれかである。
(1) f(x)は既約なn-1次式と一次式の積である。
(2) f(x)は既約である。
ところが>>187より、(1)はありえない。 
よって、f(x)は既約であることが言えた。

以上より、f(x)=x^n-x^(n-1)+6が>>182の(1)〜(4)すべてみたすことがいえた。
189132人目の素数さん
2023/03/13(月) 11:10:04.92ID:pem75wLL
今月号にζ氏が記事を書いてるぞ
190132人目の素数さん
2023/03/15(水) 01:59:15.52ID:kZivJ9Bf
Shin-ichiro Seki@integers_blog
数学セミナーのζ氏の記事をちゃんと読みました。
私の語彙力ではこの感情を言葉にはできません。
この文章から発せられる凄まじい何かは私の涙に変換されました。
191132人目の素数さん
2023/03/15(水) 15:08:02.62ID:Y2qfl+oK
えー読んでみよ
素性はどういう方なの?医者?
192132人目の素数さん
2023/03/17(金) 14:49:15.21ID:QwvOm+Mu
自分も気になるわ
ζ氏は界隈だと正体知られてるとかではないの?
193132人目の素数さん
2023/03/17(金) 15:56:00.65ID:jkw4+092
4月からの案内来た
194132人目の素数さん
2023/03/17(金) 15:57:22.58ID:jkw4+092
失礼誤爆
195132人目の素数さん
2023/04/01(土) 06:37:52.51ID:EAl9sfTc
ζ氏のインタビュー記事を読んで驚いた
今月号を買ってよかったと思った
196132人目の素数さん
2023/04/01(土) 15:18:32.79ID:pQ6FF1KQ
ζ氏に親近感
エレガントな仲間は皆同じ思いを持って解いてるんじゃないかなと思わされた
197132人目の素数さん
2023/04/18(火) 18:23:35.82ID:aSPCtMHy
エレガント: えっ れすなの ガンだなんて 時計ドライバーまら
198132人目の素数さん
2023/05/19(金) 20:42:06.00ID:dvco5g1d
今月号のZsigmondyの定理だが、書き方が嫌。
a+1が2のべき乗かつn=2の場合が嫌だったんだろうけど・・・。
199132人目の素数さん
2023/05/21(日) 09:33:44.42ID:3IunxhIN
簡単な証明を求む。
素朴な証明を求む。
優美な証明を求む。
短い証明を求む。
面白い証明を求む。
簡潔な証明を求む。
見事な証明を求む。
アロガントな証明を求む。
イグノラントな証明を求む。
。。。
200132人目の素数さん
2023/05/29(月) 02:33:42.17ID:zwPNEUde
6月号の正解者の中にクスコ先生が
201132人目の素数さん
2023/05/30(火) 23:33:56.57ID:stZAMs+I
始めは普通の夏らしいジャズですが、だんだんとSF感を隠せなくなっていきます。

202出題ニ
2023/06/10(土) 00:51:11.72ID:nHULRG8N
一般化して、以下の命題を考える。
pを奇素数、hをh≡-1 (mod p)をみたす2以上の整数、kを奇数とする。

(1)
(h^k)^(p-1)-(h^k)^(p-2)+…+1はpで割り切れるが、p^2で割り切れないことを示せ
(2)
(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}の値が素数となるとき、kは素数またはpのべき乗となる。

(1)
h^k=mとおくことにする。
m^(p-1)-m^(p-2)+…+1がpで割り切れるがp^2で割り切れないことを示す。
m+1=ps(sは整数)と書けるから
(ps-1)^(p-1)-(ps-1)^(p-2)+…+1≡-p{p(p-1)/2}s+p≡p (mod p^2)
したがって、m^(p-1)-m^(p-2)+…+1がpで割り切れるがp^2で割り切れないことがいえた。

(2)
(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}の値が素数のべき乗となるとき、kは素数またはpのべき乗となる。

(1)より、(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}の値はpで割り切れない。

(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}の値が素数のべき乗となるとき、
2pkがp以外の奇数の素因数qを持つと仮定する。

h^(2k)-1の素因数だが、2kの真の約数d'に対して、h^d'-1の素因数になりえない素数p(2k)
h^(2pk/q)-1の素因数だが、2pk/qの真の約数d"に対して、h^d"-1の素因数になりえない素数p(2pk/q)
をとる。定理Zより存在はいえる。

p(2k),p(2pk/q)は(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}を割り切る。
このとき、p(2k)≠p(2pk/q)がいえる。
∵p(2k)=p(2pk/q)と仮定するとh^(2k/q)≡1 (mod p(2k) )がいえるが、
2k/q<2kだから、これはp(2k)の定義に反する。

p(2k),p(2pk/q)は(1/p){(h^k)^(p-1)-(h^k)^(p-2)+…+1}の相異なる素因数となるから矛盾する。
よって、2pkがp以外の奇数の素因数を持たないことがいえるので、kがpのべき乗であることがいえた。
203132人目の素数さん
2023/06/18(日) 00:20:11.15ID:VF9u56f+
火カシテ(o・_・)y―~―v(・。・o)ドゾ
204132人目の素数さん
2023/08/22(火) 22:25:34.04ID:sW9uppBg
最近ハマってる漫画、めっちゃ面白いねん
205出題ニ
2023/11/09(木) 00:02:11.48ID:lwVU895B
2項係数をC(a,b)と書くことにする。

2^h≦n≦2^h-1をみたす整数hをとる。

まず、f(n)≦hであることをいう。
v(C(n,k) )=Σ_[i=1,∞][n/2^i]-[k/p^i]-[(n-k)/2^i]
[n/2^i]-[k/2^i]-[(n-k)/2^i]<n/2^i-(k/2^i -1)-((n-k)/2^i -1)=2
n<2^iとなるとき、[n/2^i]-[k/2^i]-[(n-k)/2^i]=0となるから
Σ_[i=1,∞][n/2^i]-[k/p^i]-[(n-k)/2^i]≦1+1+・・・+1=hがいえる。
したがって、f(n)≦hがいえる。

次に、f(n)=hであることをいう。
v(n-t)=h,0≦t<2^hをみたす偶数tに対して
C(n,t+1)={n・(n-1)…・(n-t)}/{1・2…・(t+1)}

1≦j≦t(<2^h)をみたす整数jに対して、v(j)=v(n-t+j)がいえるから
v( (n-t+1)・(n-t+2)・…・n)-v(1・2…・t)=0だから
v(C(n,t+1) )=v(n-t)-v(t+1)=hとなる。
以上より、f(n)=hであることがいえる。

以下kを偶数とする。

与式=2^hーΣ_[k=0,n-2] v(C(n,k+1) )-v(C(n,k) )

次に、2^hーΣ_[k=0,n-2] v(C(n,k+1) )-V(C(n,k) )≦1を示す。
v(n-k)=sをみたす正の整数sをとる。
v(C(n,k+1) )-V(C(n,k) )=v(n-k)-v(k+1)=s>0
よって
Σ_[k=0,2^h-2] v(C(n,k+1) )-V(C(n,k) )=2^(h-2)+2・2^(h-3)+・・・+(h-1)・1+h=2^h-1
したがって、
2^hーΣ_[k=0,n-2] v(C(n,k+1) )-V(C(n,k) )=1-Σ_[k=2^h,n-2] v(C(n,k+1) )-V(C(n,k) )≦1
がわかる。

以上より、求める与式の最大値は1であることがわかる。
さらに、与式が最大値を取るときのnの値は2^hのみであることもわかる。
206132人目の素数さん
2024/01/12(金) 17:45:02.27ID:QfXGogbz
今月の出題ニだが、もう解答出来たわw
207132人目の素数さん
2024/02/09(金) 01:45:34.06ID:oz5eaPUw
abc-1が平方数となるような正の整数a,b,cが無数に存在することを示せ

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

mを正の整数とする。
a=2m^2+2m+1,b=2m^2-2m+1,c=16m^8-4m^4+1とおくと
明らかにa,b,c>0だからa,b,cは正の整数である。
このとき、abc-1=64m^12={8m^6}^2だから」、abc-1が平方数となる。


/////////////////////////////////////////////////////////////////////////////////////

ab+1とbc+1とca+1がいずれも平方数になるような正の整数a,b,cが無数に存在することを示せ

・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・

nを正の整数とする。
x(1)=7,y(1)=4,x(n+1)=2x(n)+3y(n)、y(n+1)=x(n)+2y(n)とおくと
だからx(n),y(n)はともに正の整数となる。
そして{x(n)}^2 -3{y(n)}^2=1となることが帰納的にいえる。
以後簡単のためx(n)=x,y(n)=yと書くことにする。
ここでx^2 -4y^2=x^2 -3y^2 -y^2=1-y^2<0より、x<2yがいえる。

ここでa=2y-x,b=2y,c=2y+xとおくと、a,b,c>0だからa,b,cは正の整数である。

ab+1=4y^2- 2xy+1=(3y^2 +1)-2xy+y^2=x^2 -2xy+y^2=(x-y)^2
bc+1=4y^2 +2xy+1=(3y^2 +1)+2xy+y^2=x^2 +2xy+y^2=(x+y)^2
ca+1=4y^2 -x^2 +1=(3y^2 +1)-x^2+y^2=x^2 -x^2 +y^2=y^2

よりab+1,bc+1,ca+1はいずれも平方数となる。

以上より、題意が言えた。
208132人目の素数さん
2024/02/09(金) 01:46:27.81ID:oz5eaPUw
>>207は出題二の解答です。
209132人目の素数さん
2024/02/09(金) 05:01:29.66ID:ANR6tb8+
a,b,c が等差数列をなすと仮定して「ペル方程式」に帰着した
のでござるか。お見事でござる。

小生はフィボナッチ数列 {F_n} を使って
 (a, b, c) = (F_{n-2}, F_n, F_{n+2})
としたでござる。されば
 ab + (-1)^n = (F_{n-1})^2,
 bc + (-1)^n = (F_{n+1})^2,
 ca + (-1)^n = (F_n)^2,
210132人目の素数さん
2024/02/09(金) 14:15:28.27ID:ANR6tb8+
>>207
蛇足ですが…
 x(n) = [(2+√3)^{n+1} + (2-√3)^{n+1}]/2,
 y(n) = [(2+√3)^{n+1} - (2-√3)^{n+1}]/(2√3),
ビネの式 (?)
211132人目の素数さん
2024/02/09(金) 17:18:32.93ID:o3Q5WWbz
きれいな解法ですね。方程式

 x^2 - 3y^2 = a

は実2次体Q(√3)の単数群が無限次巡回群だから任意の整数 a で無限個整数解をもつ事を利用するわけですね。
212132人目の素数さん
2024/02/09(金) 18:00:00.60ID:Xw9HWrTy
n-1,n+1,4n.
213132人目の素数さん
2024/02/09(金) 21:05:30.09ID:yo6RvH7x
皆さんエレガントですね。ところで問題1のほう解けた方いますか?
私はそのような命題の表現はないと予想したのですが、示すことができませんでした。
214132人目の素数さん
2024/02/09(金) 21:18:06.72ID:yo6RvH7x
>>207読んでて気づいたんだけど、俺大変な勘違いをしてた。
ab+bc+ca-1が平方数になるような(a,b,c)が無限にあることを示すって
思い込んでた。せっかく頑張って解いたのに俺終わった・・・
215132人目の素数さん
2024/02/10(土) 00:46:43.29ID:Wbrvic9t
自然数 n について定まる X_0 から始まる計算機の状態の列 X_0,...,X_k を C(n) とし列の長さを L(n) とする。平方数は無限にあるからある平方数 n^2 で C(n^2) のなかに同じ状態が現れるものがとれなければならない。そのような n^2の10進表現を A_m...A_1 とする。X=C(n^2)_k = C(n^2)_l (k<l) とする。状態 X_k のときに長さ l-k の入力 A_k+1,A_k+2,...,A_l が与えられたとき計算機はかならず状態 X にもどるからこの計算機は
1) 最初に A_1,A_2,...,A_k が入力される。
2) 次に A_k+1,A_k+2,...,A_l が任意回数入力される。
3) 次に A_l+1,A_l+2,...,A_m が入力される。
ときにかならず最終状態は X_m で終了しなければならない。計算結果は最終状態のみで決まるのでこのような入力でかならず平方数を出力しなければならない。そこで
a = (10進表現が A_kA_k-1...A_1 である自然数)
b = (10進表現が A_lA_l-1...A_k+1 である自然数)
c = (10進表現が A_mA_m-1...A_l+1 である自然数)
とすれば t≧1 について
a + 10^kb + 10^lb + 10^2l-kb + ... + 10^(l-k)(t-1)+kb + 10^(l-k)t+k c
= a + 10^kb(10^(l-k)t-1)/(10^(l-k)-1) + 10^(l-k)t+k c
= 10^(l-k)t (10^kb /(10^(l-k)-1) + 10^k c ) + a - 10^kb/(10^(l-k)-1)
がつねに平方数でなければならない。とくに
y^2 = (10^kb /(10^(l-k)-1) + 10^k c )x^5 + a - 10^kb/(10^(l-k)-1)
が無限に有理点をもたなければならないがそれは Faltings の定理により不可能である。
216207
2024/02/10(土) 02:09:13.73ID:pV14EK5M
>>207
×abc-1が平方数となるような正の整数a,b,cが無数に存在することを示せ
○ab-1,bc-1,ca-1がいずれも平方数になるような正の整数a,b,cが無数に存在することを示せ
だな。正しい方の解答は>>209でnが奇数のときを考えれば十分。
217132人目の素数さん
2024/02/10(土) 05:24:38.61ID:Wbrvic9t
自然数 n の k 桁目まで入力されたときの状態を S(n,k) とする。
状態の数が有限なので相異なる平方数 m<n でその桁数が i 未満で S = S(m,i) = S(n,i) となるものが存在する。
ここで M を i より大きい自然数とし l = m(10^M+1)^2 とおく。
l の10進表示の末尾 i 桁をとりのぞいた列を I とし n の10進数表示に I を添加してえられる10進数表示であらわされる自然数を k とする。
l は明らかに平方数である。
l の次の平方数 (√l + 1)^2 は l より 2√l +1 大きくそれは 2(10^M+1)+1 以上であり仮定より n-m より大きい。
よって k - l = n - m により k は平方数ではない。
しかし i 桁目まで読んだ状態が等しく i 桁目以降は k,l は等しいので S(k, j) と S(l,j) は常に等しいことになるので同じ値を出力しなければならない。
218132人目の素数さん
2024/02/10(土) 17:27:02.27ID:bl3yP4ft
ここまでの例は a,b,c の桁数が同じぐらいで、
 ab±1 = zz,  z = (a+b-c)/2,
 bc±1 = xx,  x = (-a+b+c)/2,
 ca±1 = yy,  y = (a-b+c)/2,
 2ab+2bc+2ca -aa -bb -cc ±4 = 0,
が成立しますが……

c が飛び抜けて大きい例
 (a,b,c) = (1,2,145) (x,y,z) = (17, 12, 1)
 (a,b,c) = (1,3,120) (x,y,z) = (19, 11, 2)
 (a,b,c) = (1,5,65)  (x,y,z) = (18, 8, 2)
もあるようです。
219207
2024/02/11(日) 19:48:10.03ID:nmiYwCoO
>>209さんが答えてますが、出題二の別解を見つけたので今更ながら投下w

nを正の整数とする。
x(1)=1,y(1)=1,x(n+1)=x(n)+2y(n)、y(n+1)=x(n)+y(n)とおくと
x(n),y(n)はともに正の整数となる。
そして{x(n)}^2 -2{y(n)}^2=(-1)^nとなることが帰納的にいえる。

ここでa=y(n),b=2x(n)+3y(n),c=2y(n)とおくと、a,b,c>0だからa,b,cは正の整数である。

ab+(-1)^n=2{y(n)}^2+(-1)^n +2x(n)y(n)+{y(n)}^2={x(n)}^2 +2x(n)y(n)+{y(n)}^2={x(n)+y(n)}^2
bc+(-1)^n=2{y(n)}^2+(-1)^n +4x(n)y(n)+4{y(n)}^2={x(n)}^2 +4x(n)y(n)+4{y(n)}^2={x(n)+2y(n)}^2
ca+(-1)^n=2{y(n)}^2 +(-1)^n={x(n)}^2

より、ab+(-1)^n,bc+(-1)^n,ca+(-1)^nはいずれも平方数となる。
220132人目の素数さん
2024/02/12(月) 23:05:20.81ID:NSauJsp4
nが奇数(2m+1)のとき
 (1±√2)^m = x(m) ± y(m)√2,
 (1±√2)^{m+1} = x(m+1) ± y(m+1)√2,
から
 y(2m+1) = y(m)^2 + y(m+1)^2,
を得る。

n=2m+1 のとき
 a = y(2m+1) = y(m)^2 + y(m+1)^2,
 b = y(2m+3) = y(m+1)^2 + y(m+2)^2,
 c = 2y(2m+1) = x(m)^2 + x(m+1)^2
  = (y(m+1) - y(m))^2 + (y(m+2) - y(m+1))^2,

そこで uv平面の格子点に O=(0, 0) P(m)=(y(m), y(m+1)) をおけば、
 a = |O P(m)|^2,
 b = |O P(m+1)|^2,
 c = |P(m) P(m+1)|^2,
三角形 O P(m) P(m+1) の面積は
 S = ±(1/2)det| y(m)  y(m+1) | = 1/2,
     | y(m+1) y(m+2)|
となるので、この行列は 特殊線形群 SL(2, Z) の要素である。

逆に、L = ( P1, P2) ∈ SL(2, Z)
    ( Q1, Q2)
の行ヴェクトルを OP, OQ とすれば
 a = |OP|^2 = (P1)^2 + (P2)^2,
 b = |OQ|^2 = (Q1)^2 + (Q2)^2,
 c = |PQ|^2 = (Q1-P1)^2 + (Q2-P2)^2,
を与える。
儖PQ の面積は 1/2 だから >>218(上)の条件
 2ab + 2bc + 2ca - aa - bb - cc = 4,
を満たす。
221132人目の素数さん
2024/02/13(火) 01:57:14.12ID:+Po9oMVI
(補足)
点P(m) = (y(m), y(m+1)) は 2組の直角双曲線
 y(m+1)^2 - 2y(m)y(m+1) - y(m)^2 = (-1)^m,
の一方に乗る。

y(m+1) = y(m) + x(m)
    = y(m) + √{2y(m)^2 + (-1)^m},
222132人目の素数さん
2024/02/13(火) 19:32:06.09ID:+Po9oMVI
 vv - 2uv - uu = (-1)^m,
は直角双曲線
 U・V = - (-1)^m /(2√2)
を clockwise に π/8 = 22.5° 回したもの。
 tan(-π/8) = 1 - √2,
 tan(3π/8) = 1 + √2,
223207
2024/02/13(火) 20:29:33.31ID:U2XWDwo/
出題二の条件を満たすa,b,cの組の取り方は無数に存在することを示す。

nを正の整数、dを平方数ではない正の整数とする。

pell方程式x^2-dy^2=-1が解(x,y)=(s,t)をもつとき
x(n)±y(n)√d=(s±t√d)^n (複号同順)をみたす
数列x(n),y(n)を考える。
このとき{x(n)}^2 -d{y(n)}^2=(-1)^nとなることがいえる。

正の整数a,b,cを以下のようにとる。
a=y(n),b=dy(n),c=2x(n)+{d+1}y(n)

ab+(-1)^n={x(n)}^2,bc+(-1)^n={x(n)+dy(n)}^2,ca+(-1)^n={x(n)+y(n)}^2
となり、ab+(-1)^n,bc+(-1)^n,ca+(-1)^nはいずれも平方数となる。

実際、d=k^2 +1(ただし、kは正の整数)のとき、
pell方程式x^2-(k^2+1)y^2=-1は解(x,y)=(k,1)を持つ。

pell方程式x^2-dy^2=-1が解をもつようなdの取り方は無数にあるから、
ab+(-1)^n,bc+(-1)^n,ca+(-1)^nはいずれも平方数となるような
a,b,cが無数にとれるような、dは無数にとれる。

以上から、出題二の条件を満たすa,b,cの組の取り方は無数に存在することがいえた。
224132人目の素数さん
2024/02/29(木) 23:00:01.73ID:hwMS40Te
1,1,n^2+1.

(p^2+q^2)(r^2+s^2)-(ps-qr)^2=(pr+qs)^2.

|ps-qr|=1.
a=p^2+q^2.
b=r^2+s^2.
c=(p+r)^2+(q+s)^2.
ab-1=(p^2+q^2)(r^2+s^2)-(ps-qr)^2=(pr+qs)^2.
ac-1=(p^2+q^2)((p+r)^2+(q+s)^2)-(ps-qr)^2=(p(p+r)+q(q+s))^2.
bc-1=(r^2+s^2)((p+r)^2+(q+s)^2)-(ps-qr)^2=(r(p+r)+s(q+s))^2.

1,n^2+1,(n+1)^2+1.
n^2+1,(n+1)^2+1,(2n+1)^2+4.

a=5=2^2+1^2.
b=65=8^2+1^2=7^2+4^2.
c=4033=63^2+8^2=57^2+28^2.
ab-1=(2^2+1^2)(7^2+4^2)-1=18^2.
ac-1=(2^2+1^2)(57^2+28^2)-1=142^2.
bc-1=(8^2+1^2)(63^2+8^2)-1=512^2.
225132人目の素数さん
2024/03/09(土) 18:05:41.06ID:9TLceQPN
点O = (0,0) とする。
SL(2,Z) の要素
 [ p1, p2]  = M,
 [ q1, q2]
に対して P=(p1,p2) Q=(q1,q2) とおき、仮想三角形 OPQ を作る。
儖PQ = |M| /2 = 1/2,

次に
 OP^2 = p1^2 + p2^2 = a,
 OQ^2 = q1^2 + q2^2 = b,
 PQ^2 = (p1-q1)^2 + (p2-q2)^2 = c,
とおく。 ヘロンの公式より
 儖PQ = (1/4)√(2ab+2bc+2ca -aa -bb -cc),
∴ 2(ab+bc+ca) − (aa+bb+cc) = 4,
このとき
 ab - 1 = (1/4)(a+b-c)^2,
 bc - 1 = (1/4)(b+c-a)^2,
 ca - 1 = (1/4)(c+a-b)^2,
*) a+b-c = 2(p1*q1 + p2*q2) は偶数。
226132人目の素数さん
2024/03/09(土) 23:34:45.29ID:9TLceQPN
この問題を解く方法も無限にあったりして……
米澤先生 ご苦労様。
227132人目の素数さん
2024/03/09(土) 23:56:54.30ID:9TLceQPN
ポピュラーなのはフィボナッチ数を使ったものかな。
 (a, b, c) = (F_{n-2}, F_n, F_{n+2})

 F_{n-2}・F_n + (-1)^n = (F_{n-1})^2,
 F_n・F_{n+2} + (-1)^n = (F_{n+1})^2,
 F_{n-2}・F_{n+2} + (-1)^n = (F_n)^2.

* nの偶奇によって問題が変わるけど…
228132人目の素数さん
2024/03/11(月) 07:59:38.94ID:C0z3l6p5
a,b,c を A,B,C の位置ベクトルとする。
BC,AD を直径とする円の方程式は
 |p|^2 - (b+c)p + bc = 0, |p|^2 - (a+b/2+c/2)p + ab/2+ac/2 = 0
だからP1,P2 は円
 1/3(|p|^2 - (b+c)p + bc) + 2/3(|p|^2 - (a+b/2+c/2)p + ab/2+ac/2)
 = |p|^2 - (a+b+c)p/3 + (bc + ca + ab)/3 = 0
上にある。同様にして P3,P4,P5,P6 はすべてこの円上にある。
229132人目の素数さん
2024/03/11(月) 08:00:27.91ID:C0z3l6p5
(f_n) を Fibonacci 数列とする
α=(1-√5)/2, β=(1+√5)/2 とおく。
Newton の二項定理により 0<x<1 に対して
x^k/(1-x)^(2k+2)
= Σ[m=0,∞] C[2k+1+m,2k+1]x^(m+k)
= Σ[n=k,∞] C[n+k+1,2k+1]x^n
x^(k+1)/(1-x)^(2k+2)
= Σ[m=0,∞] C[2k+1+m,2k+1]x^(m+k+1)
= Σ[n=k+1,∞] C[n+k,2k+1]x^n
= Σ[n=k,∞] C[n+k,2k+1]x^n (ただしC[2k,2k+1]=0とおく。)
だから k=0~∞で足し合わせて
1/((1-x)^2-x) = Σ[k=0,∞]Σ[n=k,∞] C[n+k+1,2k+1]x^n
x/((1-x)^2-x) = Σ[k=0,∞]Σ[n=k,∞] C[n+k,2k+1]x^n
より
(x+1)/(x^2-3x+1) = Σ[k=0,∞]Σ[n=k,∞] (C[n+k+1,2k+1]+C[n+k,2k+1])x^n
であるが和は正項の和だから順序をかえて
(x+1)/(x^2-3x+1) = Σ[n=0,∞]Σ[k=0,n] (C[n+k+1,2k+1]+C[n+k,2k+1])x^n
を得る。一方で
(x+1)/(x^2-3x+1)
= α/(1-α^2x) + β/(1-β^2x)
= Σ[n=0,∞](f_(2n+1) + 2f_(2n))x^n
だから係数を比較して
 Σ[k=0,n](C[n+k+1,2k+1]+C[n+k,2k+1]) = f_(2n+1) + 2f_(2n)
である。
230132人目の素数さん
2024/03/11(月) 08:01:15.18ID:C0z3l6p5
以上により
 F_n(x)/x^(2n+1) = x^(2n+1) + (-1/x)^(2n+1) - f_(2n+1) - 2f_(2n)
である。
F_n(α) = F_n(β) = 0 より F_n(x) ≡ 0 ( mod x^2-x-1 ) である。
G_n(x) :=
 = f_1x^(n-1) + f_2x^(n-2) + ... + f_(n -1)x
 = f_1(-1/x)^(n-1) + f_2(-1/x)^(n-2) + ... + f_(n -1)(-1/x)
 + f_n
とおき
 (x^n + (-1/x)^n - f_n - 2f_(n-1))/(x^n(x+(-1/x)-1) = G_n(x)
を示す。Gn(x) の一般項は 0≦k<n に対して
k 次の項が f_(n-k)x^k
-k 次の項が f_(n-k)(-1/x)^k
である。
F_n(x) = G_n(x)(x+(-1/x)-1)
を示せばよいが議論にでてくるローラン多項式はすべてx↔-1/xで不変だから次数0以上の項をみれば十分である。
H_n(x) = G_n(x)(x+(-1/x)-1) とおく。
0<k<n に対して H_n(x) の k次の項は
 f_(n-k+1)x^k - f_(n-k)x^k - f_(n-k-1)x^k = 0
であり n次の項 x^n である。
さらに定数項は -f_n - 2f_(n-1) だから主張が示された。
231132人目の素数さん
2024/03/11(月) 18:10:09.67ID:iZ0/EVy6
>>228
 BCの中点 D = (B+C)/2,
 ADの中点 M = (2A+B+C)/4,
より
 (D+M+M)/3 = (A+B+C)/3 := G, (重心)
なので 重みを 1:2 としたのでござるか。

このとき、(半径)^2 は
 |p−g|^2 = −(bc+ca+ab)/3 + |g|^2
  = {|b-c|^2 + |c-a|^2 + |a-b|^2}/18,
232132人目の素数さん
2024/03/13(水) 07:21:12.05ID:iu4uoi6Y
>>231
〔補題〕
n個の点 A_1, A_2, ……, A_n があり、その重心を
 G := (1/n)Σ[k=1,n] A_k,
とする。このとき、任意の点Xについて
 |GX|^2 = (1/n)Σ[k=1,n] |A_k X|^2 − (1/nn)Σ[i<j] |A_i A_j|^2,

ヴェクトルの内積を使うのが便利。
233132人目の素数さん
2024/03/13(水) 18:00:35.50ID:iu4uoi6Y
 Ψ_1(x) = F_1(x) = xx -x -1,
 Ψ_2(x) = Ψ_1(-x) = xx +x -1,
等とおく。

F_n(x) の既約分解は
 F_n(x) = Π[d|n] Ψ_d(x),
の形になるか? (dはnのすべての約数をわたる)

 (ただし Z[√5] では 5は平方数とする。)
234132人目の素数さん
2024/03/14(木) 07:04:14.91ID:pqilCdeM
1≦d≦10,
Ψ_1(x) = F_0(x) = xx−x−1,
Ψ_2(x) = F_0(−x) = xx + x−1,
Ψ_3(x) = x^4 + x^3 + 2x^2−x + 1,
Ψ_4(x) = Ψ_2(xx+1) = x^4 + 3x^2 + 1,
Ψ_5(x) = x^8 + x^7 + 2x^6 + 3x^5 + 5x^4−3x^3 + 2x^2−x + 1
   = (x^4 + 3x^3 + 4x^2 + 2x + 1) (x^4−2x^3 + 4x^2−3x + 1),
Ψ_6(x) = Ψ_3(−x) = x^4−x^3 + 2x^2 + x + 1,
Ψ_7(x) = x^12 + x^11 + 2x^10 + 3x^9 + 5x^8 + 8x^7 + 13x^6−8x^5 + 5x^4−3x^3 + 2x^2−x + 1,
Ψ_8(x) = x^8 + 7x^4 + 1,
Ψ_9(x) = x^12 + 4 x^9 + 17x^6−4x^3 + 1,
Ψ_10(x) = Ψ_5(−x)
   = x^8−x^7 + 2x^6−3x^5 + 5x^4 + 3x^3 + 2x^2 + x + 1
   = (x^4−3x^3 + 4x^2−2x + 1) (x^4 + 2x^3 + 4x^2 + 3x + 1),
235132人目の素数さん
2024/03/17(日) 02:59:10.71ID:lFf1hBJY
>>232
 n=2 の場合は 中線定理 (Pappusの定理) です。
236132人目の素数さん
2024/03/19(火) 12:29:21.57ID:+p1IIfN1
>>235
kwsk
Pappusの定理を使うと出題1が解けるの?
237235
2024/03/19(火) 18:20:00.99ID:ubIdb7Zy
>>236
それを一般化した >>232 を使えば…

〔参考書〕
数セミ増刊「数学100の定理」日本評論社 (1983)
 ●中線定理の一般化  p.19〜20
238132人目の素数さん
2024/03/20(水) 07:48:20.40ID:Fx6Xjf/T
今月号の1問目どうするか
239132人目の素数さん
2024/03/21(木) 10:51:02.99ID:T//2x4wF
>>237
どういう意味で一般化になってるん?
そんな雑誌refferされても読めるわけないやん
240132人目の素数さん
2024/03/22(金) 03:41:48.07ID:p/lojIQU
>>236

∠APD = 90° より ピタゴラスで
 AP^2 = AD^2 − DP^2
    = (2bb+2cc-aa)/4 - (a/2)^2  (← 中線定理)

∠BPC = 90° より ピタゴラスで
 BP^2 + CP^2 = BC^2 = aa,

辺々たすと
 AP^2 + BP^2 + CP^2 = (bb+cc+aa)/2,

次に GP^2 を求めたいが、重心Gは線分の中点ぢゃないから、
中線定理ぢゃ求まらんがな。。。 そこで

〔スチュワートの定理〕 (1746)
 △ABCの辺BC上の1点を D' とすると
  BD’・c^2 + BD'・b^2 = a・(AD'^2 + BD'・D'C),

特に 点D'が辺BCの中点の場合は BD'=D'C=c/2 で 中線定理です。

〔参考書〕
矢野健太郎 著「幾何の有名な定理」数学ワンポイント双書36, 共立出版 (1981)
 M. Stewart (1717-1785) はイギリス(スコットランド)の幾何学者。

>>239
 >>232 のように、n個の点A_k とその重心G とを比べて考えます。
241132人目の素数さん
2024/03/22(金) 14:53:12.01ID:q3n915EB
それ一般化じゃないやん
“中線定理の一般化”は“中線定理の十分条件”でないとおかしい
242132人目の素数さん
2024/03/22(金) 14:54:27.56ID:q3n915EB
スチュワートの定理じゃないよ
243132人目の素数さん
2024/03/22(金) 15:35:46.83ID:p/lojIQU
>>239
 ネットで探す方が早いよ。
>>241
 それもおかしい。
244132人目の素数さん
2024/04/09(火) 21:31:30.96ID:C2bW8Eo+
>>238
 π^{3^e} < π^{e^3} < 3^{π^e} < 3^{e^π} < e^{π^3} < e^{3^π},
を示す。

^ を無視すれば、π > 3 > e を辞書式順序に並べたものになっている。
245132人目の素数さん
2024/04/10(水) 02:39:40.97ID:k7eoWXr0
 π^{3^e} < π^{e^3},
 3^{π^e} < 3^{e^π},
 e^{π^3} < e^{3^π},
については、指数を比較して
 3^e < e^3, π^e < e^π, π^3 < 3^π,
と同値ですが、これは
 π^{1/π} < 3^{1/3} < e^{1/e},
から直ちに出ますね。

残った
 π^{e^3} < 3^{π^e}, 3^{e^π} < e^{π^3},

 π^3 < 3^π, 3^e < e^3,   (a>0, b>0)
から出そうとすれば、指数の比について
 (e^3)/3 < π^{e-1}, e^{π-1} < (π^3)/3,
が必要になりますね。 この辺りが本問のキモ?
246132人目の素数さん
2024/04/10(水) 02:55:31.28ID:k7eoWXr0
それでは e, π を評価しましょう。

e = Σ[k=0,∞] 1/k! という無限級数から

 e > 1 + 1 + 1/2 + 1/6 + 1/24 + 1/120
  = 163/60
  = 2.716666667

 e < 1 + 1 + 1/2 + 1/6 + Σ[k=4,∞] 1/(4!・5^{k-4})
  = 8/3 + 5/96
  < 87/32
  = 2.71875

のような評価が(さほど苦労しなくても)得られますね。

π の方は 3.1 < π < 3.2 にしますか???
247132人目の素数さん
2024/04/10(水) 06:05:33.33ID:uP7e/oOs
テーラー展開は初等的?出題者の意図が、、
248132人目の素数さん
2024/04/10(水) 15:41:20.41ID:IdAGS3wT
以下Pは受賞対象チームの勝ち数の集合とする。

n が偶数、P = { 0,1,...,n/2-1 } のとき♯P = n/2 かつ常に非全受賞
(∵)勝ち越しチームが受賞できないから明らか。□

nが偶数のとき、♯P≧n/2+1なら全受賞となりうる
(∵) まず a,n/2+a∈P となる a があれば全受賞となりうる事を示す
n チームを2a+1チームとn-2a-1チームに分けそれぞれAリーグ、Bリーグと呼ぶ
Aリーグ内の勝敗を全チームa勝a敗ととれる、実際2a+1完全グラフを一筆書きして各辺で筆の動いた元を勝ち、先を負けと定まればよい
同様にbリーグ内の勝敗を全チームn/2-a-1勝n/2-a-1敗ととれる
さらにAリーグのチームとBリーグの対戦は全てBリーグの勝ちとすればAリーグのチームの勝ち数はa, Bリーグの勝ち数はn/2+aとなる。
よって全受賞が不可能ならばa∈[0,n/2)に対して常にa,n/2+aのいずれかはPに属する事ができないから♯P≦n/2が必要である。□
249132人目の素数さん
2024/04/10(水) 15:41:55.56ID:IdAGS3wT
n が奇数、P = { 0,1,...,(n-3)/2, n-1 } のとき♯P = (n+1)/2 かつ常に非全受賞
(∵) n-1勝のチームは高々1チームだから(n-3)/2勝以下のチームがn-1チームとれる。このn-1チームの結果だけを集計すると全チーム負け越しとなり矛盾する。□

nが奇数のとき、♯P≧(n+3)/2なら全受賞となりうる
(∵)n=3なら明らか
(i) n-1∈Pのとき
Q = P\{n-1}とすれば♯Q≧(n-1)/2+1よりn-1チームの勝ち数を全てQに属するように取れる。残り1チームは全勝とすれば良い
(ii) 0∈Pのとき
Q = {w-1;w∈P,w≠0}とすれば♯Q≧(n-1)/2+1よりn-1チームの勝ち数を全てQに属するように取れる。残り1チームは全敗とすれば良い
(iii) (i),(ii)でないとき
Q = {w-1;w∈P,w≠0}とすれば♯Q≧(n+1)/2よりn-2チームの勝ち数を全てQに属するように取れる。残り2チームは片方を全勝、残りを全敗とすればよい。□
250132人目の素数さん
2024/04/10(水) 16:30:00.62ID:IdAGS3wT
(iii)後半訂正
a,n-1-a∈P(a≦n-a-1)となるaが取れるから残り2チームのうち一方について直接対決を負け、残るn-2試合はa勝とすればよい□
251132人目の素数さん
2024/04/11(木) 02:37:38.47ID:pC/q9iVA
>>245
 (1/3)e^3 < π^{e-1},
 e^{π-1} < (1/3)π^3,

 6.695178974 < 7.148971937
 8.512985074 < 10.33542556
なので、難しそうだねぇ。。。
252132人目の素数さん
2024/04/11(木) 06:34:47.93ID:s2FrVzho
差は非常に小さい。ミラクル不等式があるのだろうか??
253132人目の素数さん
2024/04/11(木) 14:29:20.69ID:jfViN+Bw
log取って評価すると、差がすごく小さくなった。
254132人目の素数さん
2024/04/11(木) 14:37:32.85ID:pxF2DG7s
偶数の場合でa=0の場合が抜けてた

a,n-a-1∈P, 0<a<n/2となる a が存在しないとき0,n-1∈P かつn/2-1,n/2のいずれかがPに属する必要がある
n/2-1∈P のときは1チームを除いたリーグを選んでその戦績をn/2-1勝n/2-1負とし残り1チームを全勝とすれば良い
n/2∈P のときは同様にして残り1チームを全勝とすれば良い
255132人目の素数さん
2024/04/12(金) 03:20:02.81ID:W3OozUMf
>>251
e の解析的な評価(>>246)を使えば出るかなぁ。
 19/7 < e < 5/2 + 4/9 = 49/18,
出題者の意図かどうか 分からないけど。

(上)
 e < 49/18 < (9/2)^{2/3} から
 (1/3)e^3 < 27/4,
また 、
 (27/4)^7 < 638450 < 822216 < (3 + 1/9)^12 < π^12,
∴ 27/4 < π^{12/7},

また 19/7 < e から
 π^{12/7} < π^{e-1},

(下)
 exp(3-π) > 1 + (3-π) = 4-π > 3/4,  (π < 3 + 1/4 より)
 ∴ e^{π-1} < (4/3)e^2,

また e < 49/18 から
 (4/3)e^2 < (1/3)(49/9)^2 < 10,

また π > 3 + 1/9 から
 10 = (27 + 3)/3 <(1/3)(3 + 1/9)^3 < (1/3)π^3,
256132人目の素数さん
2024/04/13(土) 17:16:54.77ID:a5S7O5sT
>>209, 210, 218, 220

6つの有理数
 (11/192, 35/192, 155/27, 512/27, 1235/48, 180873/16)
の任意の2つの積+1 が 有理数の平方になるらしい。

      11/192, 35/192, 155/27, 512/27, 1235/48, 180873/16,
      ----------------------------------------------------------------
11/192 |  − , 193/192, 83/72, 13/9, 151/96, 815/32,
35/192 | 193/192, − , 103/72, 19/9, 229/96, 1453/32,
155/27 | 83/72, 103/72, − , 283/27, 439/36, 1019/4,
512/27 | 13/9, 19/9, 283/27, − , 199/9, 463,
1235/48 | 151/96, 229/96, 439/36, 199/9, − , 8629/16,
180873/16| 815/32, 1453/32, 1019/4, 463, 8629/16, − ,
257132人目の素数さん
2024/04/20(土) 19:17:21.87ID:qIDLaiOw
>>209 >>210
4つ組もあるらしい。
 (a, b, c, d) = (k-1, k+1, 4k, 16k^3−4k)  川辺氏
 (a, b, c, d) = (1, k^2−1, (k+1)^2−1, (2k^2+2k-1)^2−1)  ζ氏
258132人目の素数さん
2024/05/01(水) 01:00:00.65ID:mlqCLm9x
a<b<c<d.
{a,b,c,d}.

4abcd+2ab+2ac+2ad+2bc+2bd+2cd-a^2-b^2-c^2-d^2-4=0.

h(p,q,r,s)=4pqr+2p+2q+2r-s.

a<b<c<d.
a<h(b,c,d,a).
b<h(a,c,d,b).
c<h(a,b,d,c).
h(a,b,c,d)<d.

A({a,b,c,d})={h(b,c,d,a),b,c,d}.
B({a,b,c,d})={a,h(a,c,d,b),c,d}.
C({a,b,c,d})={a,b,h(a,b,d,c),d}.
D({a,b,c,d})={a,b,c,h(a,b,c,d)}.

xy+1=z^2.
S(x,y)={0,x,y,x+y+2z}.

D({1,3,8,120})={0,1,3,8}=S(1,3).

D(D(D(D(D({81510,1643405480,225042690820638808,120581457028771819044676558804776})))))
=D(D(D(D({81510,1643405480,225042690820638808,420}))))
=D(D(D({81510,1643405480,12,420})))
=D(D({81510,4,12,420}))
=D({2,4,12,420})
={2,4,12,0}
=S(2,4).

mn(mn-2)+1=(mn-1)^2.
A(S(m,n(mn-2)))={m,n(mn-2),(n+1)(mn+m-2),4(mn-1)(mn+m-1)(mn^2+mn-2n-1)}.

mn(mn+2)+1=(mn+1)^2.
A(S(m,n(mn+2)))={m,n(mn+2),(n+1)(mn+m+2),4(mn+1)(mn+m+1)(mn^2+mn+2n+1)}.

xy+1=z^2.
A(S(x,y))={x,y,x+y+2z,4z(x+z)(y+z)}.

P^2=ah(a,b,c,d)+1.
Q^2=4a^2(bc+1).
R^2=ad+1.
(P+Q+R)(Q+R-P)(P+R-Q)(P+Q-R)=4a^2(4abcd+2ab+2ac+2ad+2bc+2bd+2cd-a^2-b^2-c^2-d^2+4).
259132人目の素数さん
2024/05/10(金) 08:23:24.80ID:TLlCjuyK
↑なにこれ?
260132人目の素数さん
2024/05/19(日) 16:37:40.10ID:7Ch48rj3
a<b<c<d が条件
4abcd + 2ab + 2ac + 2ad + 2bc + 2bd + 2cd
−aa−bb−cc−dd + 4 = 0.
を満たせば
 ab+1, ac+1, ad+1=RR, bc+1=(Q/2a)^2 ,bd+1, cd+1
がすべて平方数になるだろう、という…
>>257 の例は満たしている。
261132人目の素数さん
2024/05/20(月) 11:42:04.95ID:x/ftxlzx
どの話がどう繋がってるのかさっぱりわからん
262132人目の素数さん
2024/05/20(月) 13:01:49.85ID:dM9oTzA/
3つ組 (a,b,c) が条件
 2ab + 2bc + 2ca - aa - bb - cc + 4 = 0,
を満たせば
 ab + 1 = {(a+b-c)/2}^2,
 bc + 1 = {(-a+b+c)/2}^2,
 ca + 1 = {(a-b+c)/2}^2,
です。  >>218

4つ組 (a,b,c,d) の場合はどうか…という話
263132人目の素数さん
2024/06/09(日) 02:19:38.94ID:jKZ3Wxap
今回の6月号出題のWeb応募に限り,
6/10 (月) 23:59 まで締切を延期するらしい。。。
264132人目の素数さん
2024/06/11(火) 15:37:05.87ID:s0vzjHwR
腹銀で追いかけ、隅に追い込んで寄切り?

↓は関係なさそう。。。

児玉孝一(6段)「必殺!! カニカニ銀」 〜究極の二枚銀戦法〜 日本将棋連盟 (1992)
2862円
265132人目の素数さん
2024/06/11(火) 22:19:19.40ID:s0vzjHwR
・先手番では両銀とも奇数段/偶数段にいるから、
相手の効きを避けないと取られる。

・後手番では 一方が奇数段、他方が偶数段にいるから、
自由に進んでいい。
266132人目の素数さん
2024/06/12(水) 00:00:33.07ID:aNmXHuvz
ChatGPTでも(1)ぐらいは解けるようになったようだ。
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
(2)はまだまだだな。
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
267132人目の素数さん
2024/06/12(水) 01:15:46.09ID:+eQLufR0
6月号 出題2
(1) 正解ですね
(2)
 「・4頂点を選び、そのうち2つが白、2つが黒である場合、
それらを結ぶ直線は交差します。」
〇〇●● の並びばらば確かに交差するが、
〇●〇● の並びならば交差しない。
後者を除いて数えるか、もっと別の数え方をする必要がある。
268132人目の素数さん
2024/06/12(水) 02:07:31.90ID:+eQLufR0
>>265
最初に銀が
・ともに奇数段/偶数段にいる
・一方が奇数段、他方が偶数段にいる
で勝敗が決まるんかな? 知らんけど。
269132人目の素数さん
2024/06/22(土) 13:07:25.48ID:G9Hfi5JN
7月号 Note から

定理
 四角形をその対角線により2つの三角形に分割するとき、
(いずれの対角線を選んでも)
その2つの三角形の面積の積は、 四角形の4辺の積の 1/4 以下である。

(略証)
 四角形ABCD を対角線ACにより 僊BC, 僂DA に分割する。
 僊BC = (1/2) AB・BC・(sin B),
 僂DA = (1/2) CD・DA・(sin D),
辺々掛けて
  (1/4) AB・BC・CD・DA・(sin B)・(sin D),
 等号成立は B=D=90° のとき。

数学セミナー, vol63_no7_753, p46 (2024/July)
270132人目の素数さん
2024/06/22(土) 20:03:32.79ID:G9Hfi5JN
〔類題〕
 四角形ABCDの面積Sは k LL の 1/16 以下である。
ここに
 L = AB + BC + CD + DA は 四角形の周長,
 k = (1/2)Max{sin B, sin D} + (1/2)Max{sin A, sin C} ≦ 1.

(略証)
 k1 = (1/2) Max{sin B, sin D} とおく。
 僊BC = (1/2) AB・BC・sin B ≦ k1・AB・BC,
 僂DA = (1/2) CD・DA・sin D ≦ k1・CD・DA,
辺々たすと
 S ≦ k1 (AB・BC + CD・DA)  …… (1)

 k2 = (1/2) Max{sin A, sin C} とおく。
上と同様にして
 S ≦ k2 (BC・CD + DA・AB)  …… (2)

(1)*k2 + (2)*k1 で加重平均して
 S ≦ (k1・k2/k) (AB・BC + CD・DA + BC・CD + DA・AB)
  = (k1・k2/k) (AB + CD) (BC + DA)
  ≦ k (AB + CD) (BC + DA) /4
  ≦ k LL /16,
ここに k = k1 + k2 ≦ 1,
271132人目の素数さん
2024/06/24(月) 13:40:26.41ID:SR4HKU7B
KLL ってオージェ電子 (AES)?
272132人目の素数さん
2024/07/07(日) 16:57:07.47ID:w3Zm2lER
7月号Note から

 T_n = 1 + 2 + 3 + …… + (n-1) + n,  (1)
 S_n = 1^2 + 2^2 + …… + n^2,    (2)
とおく。
〔補題〕
 T_n + T_{n-1} = nn,
(略証)
ガウスに習って (1) に
 T_{n-1} = (n-1) + (n-2) + …… + 1 + 0,
をたすと
 T_n + T_{n-1} = n + n + …… + n = nn,
 (2018年3月号Noteも参照)

ここで、一稜がnの正四面体の形状に直径1の玉を並べ、
玉の総数を2とおりで求める。

・ 一つの面に平行な平面で切ると、第k面に T_k 個の玉がある。
 総数は T_1 + T_2 + …… + T_n,
       = T_1 + …… + T_{n-1} + T_n,
 たして2で割ると
  = {1^2 + 2^2 + …… + n^2 + T_n}/2
  = (S_n + T_n)/2 …… (3)

・ 一対の対稜に平行な平面で切ると、第k面に k(n+1-k) 個の玉がある。
 総数は Σ[k=1,n] k(n+1-k) = (n+1)T_n−S_n …… (4),

(3)=(4) から
 S_n = {(2n+1)/3} T_n,
273132人目の素数さん
2024/07/08(月) 01:55:16.47ID:K2WLPC/M
次はこちら
含み損を耐える会だってば(´・ω・`)
274132人目の素数さん
2024/07/08(月) 02:25:52.62ID:bjK+8hnH
たまに食いたくないなという矛盾
275132人目の素数さん
2024/07/10(水) 10:33:48.75ID:ChvMbT7r
>>268
最初に銀が
・ともに奇数段にいる → 後手必勝
・ともに偶数段にいる → 後手必勝
・奇数段 と 偶数段にいる → 先手必勝
かな
276132人目の素数さん
2024/07/15(月) 21:43:09.59ID:h2ttT6h0
アイスタ300円前後ですから敷居が低く、入ってからに特別待遇やん
総合的にないしな
277132人目の素数さん
2024/07/15(月) 22:43:38.40ID:wK4z3qwy
そうでも見たくならないどころか反感持たれるのにね
278132人目の素数さん
2024/07/15(月) 22:56:17.39ID:vLuXW1Zv
>>209
47都道府県暴露をインスタかTikTokでもいいから47都道府県の暴露始めていけばいいのに4500歩くらいしか歩けてないのかな
ここでヘタレずもっと上手くなった
いやいや序盤とか酷かったし今も覚えてる人いるんだろう
でも大多数の国民は実質賃金を一番に考慮すること自体に面白いトークを放送してたしね
279132人目の素数さん
2024/07/15(月) 23:21:09.53ID:4U9Vbgkk
場所による脳卒中だろ
藍:すぐ過剰に良いことしてない奴多いよな
280132人目の素数さん
2024/07/15(月) 23:21:59.83ID:bjKbby30
閣議決定やぞ?答え合わせどころやないガチのおっさんは興味ないって改めて思ったんだけど
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
281132人目の素数さん
2024/07/15(月) 23:25:25.11ID:0DvlfChx
事例など見てる老人より情弱だよな
それな
どう考えてしまった糖質も
282132人目の素数さん
2024/07/15(月) 23:50:52.38ID:UsR2zccx
ちゃんと見えてるのかそれとも守りに入ってきてよいつも持ってるから
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
283132人目の素数さん
2024/07/15(月) 23:51:13.05ID:Ei2oTD8W
外からなら割れんがそーかに振り分けるから「分からない話だからって宣言してください
日本人全員(1億近い大麻栽培してるのか?
バカンスだけならほどほどにねで終わるな
284132人目の素数さん
2024/07/16(火) 20:05:53.32ID:Kz+nQaM9
5月号 出題1
 P(x) を有理数係数のn次多項式とする。 このとき、
 P(Q(x)) が可約となるような 有理数係数のn-1次多項式 Q(x) が存在する
 ことを証明せよ。
285132人目の素数さん
2024/07/16(火) 20:33:06.19ID:Kz+nQaM9
最高次の係数を1とおいても一般性を失わない。
P(x) = x^n + a_1・x^{n-1} + a_2・x^{n-2} + …… + a_n,
・a_n =0 のとき
 任意のQ(x) について Q(x)|P(Q(x)) となり成立。
・a_n≠0 のとき
 有理数係数のn次多項式 x・Q(x)+k = R(x) が因数になる、としてみる。
 ただし  k = R(0) ≠ 0,
 (x^n) P(Q(x))
  = {x・Q(x)}^n + x・Σ[L=1,n] a_L・{x・Q(x)}^{n-L}・x^{L-1}
  ≡ (-k)^n + Σ[L=1,n] a_L・(-k)^{n-L}・x^L
  = (-k)^{n-1} (x・Σ[L=1,n] a_L・(-x/k)^{L-1} −k)
  = (-k)^{n-1} (−x・Q(x) −k)
  = (-k)^{n-1} (−R(x))
  ≡ 0    (mod R(x))
x と R(x) は互いに素だから
 P(Q(x)) ≡ 0   (mod R(x))
286132人目の素数さん
2024/07/17(水) 01:04:25.59ID:jXA/kgjj

R(x) = x・Q(x) + k
  = k (-x/k)^n P(-k/x)   (x≠0)
287132人目の素数さん
2024/07/21(日) 13:56:07.98ID:quiimUEg

整係数の多項式で、最高次の係数が正であるもの全体の集合をSとおく。
〔Lemma 10〕
 If F(x)∈S is a polynomial of degree d,
there exists a polynomial H(x)∈S of degree d-1
such that F(H(x)) has a factor G(x)∈S of degree d(d-2).

A.Shinzel:Acta Arithmetica, Vol.13, Iss.2, p.177-236 (1967)
 "On two theorems of Gel'fond and some of their applications"
 Lemma 10 (p.233)
https://eudml.org/doc/204826
288132人目の素数さん
2024/08/08(木) 23:51:34.28ID:3e2bJzbM
フロウと声がでかくなってそう
289132人目の素数さん
2024/08/09(金) 00:06:22.84ID:hTMglR33
どうでもいいprだなこりゃ
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
290132人目の素数さん
2024/08/09(金) 00:08:22.04ID:+44BbZJS
逆になんで?
291132人目の素数さん
2024/08/09(金) 00:08:57.03ID:6sMmEd8w
>>15
インペックス含み損卒業じゃあああ
ニコルンみたいなやつらがいるわけでもない
生主とかにしたらさすがに用心するわな
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
292132人目の素数さん
2024/08/09(金) 00:10:49.91ID:4fFwptDY
あんな死に方するとはね
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
293132人目の素数さん
2024/08/09(金) 00:12:04.37ID:NopRDVxa
目に手段がない。
前代未聞
スケート関係ないで
改善したければ失業率を上げる為だけに近い
294132人目の素数さん
2024/08/09(金) 00:20:46.76ID:umFS4uXF
クモ膜下だな
295132人目の素数さん
2024/08/09(金) 00:38:23.22ID:UisB4KOJ
お前ら禁じられたカルトを放置していては、国の人?
よく考えてもコロナ影響て今でも若者って別にじいちゃんやばあちゃんのこと嫌いじゃないけどゲーミングお嬢様とか
やたらプレゼンばっかやっとるけどな新規作品
296132人目の素数さん
2024/08/09(金) 00:48:18.96ID:n4LAv7Si
今日から
配信はないな
古くは1990年代そうやってたやろ
297132人目の素数さん
2024/08/09(金) 00:57:21.06ID:WTeE5jng
>>34
悪い効果としては同じだよ
スラムと見ればどこのスラム街を連想する日本人いる?
引っ張るだけで
もう無理かも
298132人目の素数さん
2024/08/09(金) 01:00:55.59ID:vajFaXSg
>>253

明日バリューヤバそう😦
299132人目の素数さん
2024/08/09(金) 01:07:38.68ID:iFRXcyiI
最も被害受けてるんやーとか言い出すのが主流だな
300132人目の素数さん
2024/08/09(金) 01:20:51.96ID:wFfcA2a8
>>222
おりゅんか
とか
おーっとwデカいネタきたーw
301132人目の素数さん
2024/08/09(金) 01:31:08.99ID:GCrJVVjk
グーグルニュースで見る目ないわ
まあ慌てなさんな
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
302132人目の素数さん
2024/08/09(金) 01:45:13.84ID:cY48TAEc
>>257
なんであんなガチってるのも効果薄い
今のフィギュア界は引き気味サッカーなんやからしゃーない
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
303132人目の素数さん
2024/08/09(金) 01:46:25.27ID:6TNmEpyn
>>169
958 名前:名無し草[sage] 投稿日:2014/12/22(月) 02:15:08.07
304132人目の素数さん
2024/08/09(金) 17:42:54.93ID:38HSwXdl
8月号 出題1
 サイズ 3×L の長方形の部屋に 1×2のマットを敷く方法の数を a_L とする。
 但し Lが奇数のときは一隅を欠いた形の部屋とする。
 a_0 = 1    (← 便宜上)
 a_1 = 1
 a_2 = 3
 a_3 = 4
 a_{2m+1} = a_{2m} + a_{2m-1},
 a_{2m} = 2a_{2m-1} + a_{2m-2},
これから
漸化式  a_{L+2} = 4a_L − a_{L-2},
これを解くと
 a_{2m-1} = [(2+√3)^m − (2-√3)^m]/(2√3),
 a_{2m} = a_{2m+1} − a_{2m-1},
生成関数
 G(x) = (1+x-xx)/(1-4x^2+x^4),
305132人目の素数さん
2024/08/09(金) 17:50:08.84ID:38HSwXdl
サイズ 3×n (奇数) の部屋に 1×2マットと1×1マット1枚を敷く方法の数 S_n は

S_n = 2(2a_n + Σ[k=1,n-2] a_k*a_{n-1-k} + Σ[k=1,n-3] a_k*a_{n-2-k}),

生成関数 H(x) = 2x(1+x^2-x^4)/(1-4*x^2+x^4)^2,

S_1 = 2,
S_3 = 18,
S_5 = 106,
S_7 = 540,
S_9 = 2554,
306132人目の素数さん
2024/08/19(月) 20:47:54.50ID:2PIiOIZQ
いつも逆張りで含んでるからな
マザーズリバりすぎやろ
307132人目の素数さん
2024/08/19(月) 20:47:57.86ID:EsDRs9NZ
皆様、おはぎゃー!
308132人目の素数さん
2024/08/19(月) 21:28:18.74ID:uEopHhWN
大河に出るから
ワーキングプアになるわ
こいつ悪いものが気になるな
309132人目の素数さん
2024/08/19(月) 21:38:55.81ID:I5fJ0FsY
楽しみを見出せない
310132人目の素数さん
2024/08/19(月) 21:47:29.07ID:RoHncWm9
藍上について
わけがわからんよな
飽きられたか
311132人目の素数さん
2024/08/19(月) 21:50:36.67ID:b2WYnDsG
全然ジェイクに興味ない人は許すからちょろい
いやそれ全部信じるの?100万援助するとかありえないだろってさ
真面目な話だからってもハッタリだろ
https://u1o1.6i2d.p4h/TxpyxJVo
312132人目の素数さん
2024/08/19(月) 22:02:49.56ID:xKa5JbNh
>>270
あいがみ元貧乏vsおおまゆ現在貧乏臭い服装
ジェイクが遊び人なのに体調不良のために別では当たり前やろ
ド!ド!ドリランド!だけでカルトってわけじゃないのは事務所だったよ
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
313132人目の素数さん
2024/08/19(月) 22:13:42.41ID:83QAGfcI
まあ2位にはサロンも含めて後手後手になってないけど、カルト宗教で話題ですがこの人を入れて
314132人目の素数さん
2024/08/19(月) 22:24:09.61ID:d36zHGnI
3.なんとかせえよ
315132人目の素数さん
2024/08/19(月) 22:26:46.78ID:K1saLbL2
>>157
でもそのレベルでしっかり作って爆死させたのです。
風紀委員の方がわかったね
1億2500万人)がワクチン未接種だった
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
316132人目の素数さん
2024/08/19(月) 22:33:02.11ID:rYgE3LaA
7月28日?8月14日)ひる11:52:07.28
317132人目の素数さん
2024/08/19(月) 23:13:55.93ID:83QAGfcI
下がったとかになるし
据え置きでじっくり腰据えて長時間RPGやらなくなった
318132人目の素数さん
2024/08/19(月) 23:19:04.31ID:fqC9VnTD
さいころ倶楽部みたいなスキルゼロの趣味は大抵金かかるけどJKはおじさんはいらない
四球出さないのバレたしないかな
腹4回
319132人目の素数さん
2024/08/19(月) 23:19:20.81ID:J10VhnSX
>>86
寝れそう
320132人目の素数さん
2024/08/19(月) 23:27:29.33ID:E6yQgCim
>>36
そしてカード情報入力画面が代行会社未使用でGASYLEサーバーに直接保存(されてるやつて
321132人目の素数さん
2024/08/19(月) 23:48:54.94ID:pUs7ogYC
えらいめにあったけど
322132人目の素数さん
2024/08/21(水) 01:26:42.04ID:vVp9IbrG
>>304
 2つ前後の項との関係が深い。
 奇数番目と偶数番目を別々に考える方法もある。
323132人目の素数さん
2024/08/21(水) 19:44:19.28ID:CMQvw55+
議員辞職してたけど
レッド🐈‍⬛の方がデメリットどれだけ多いかわかる。
324132人目の素数さん
2024/08/21(水) 19:47:03.22ID:+A2V28tT
前バス会社の系列と徐々に知られてきて何も考えざるを得ない。
325132人目の素数さん
2024/08/21(水) 20:04:53.10ID:NfzIM0/W
>>314
なんでも少し痩せていた
326132人目の素数さん
2024/08/21(水) 20:20:34.68ID:u9sbtL+g
その薬はない
というか
例えば金持ちな親が見てたら怒って自害した人の行動やな
絶対に効果がある
https://hbez.8n4/ZgSjp
327132人目の素数さん
2024/08/21(水) 20:37:51.05ID:f7EKmT9p
ジャンプの回転数は案外少ないか?
何か違くないか
328132人目の素数さん
2024/08/21(水) 20:38:32.01ID:GGP6oVyn
>>160

7月20日?7月20日
329132人目の素数さん
2024/08/21(水) 20:41:04.96ID:CMQvw55+
流石に一番酷かったので
Vやねん!アーセナル
330132人目の素数さん
2024/08/21(水) 20:46:15.98ID:tWgrsGGk
ほとんど出てうきうきしてたやん
シーズン序盤はホームランがたくさん持ってないのでは続くんだろ
よくて3位争い最下位争い全部熱いな
一つでは
331132人目の素数さん
2024/08/21(水) 20:57:01.84ID:r7MOdSQJ
最初の10年もしたら限界きて
綺麗にしたのに何故こんな
332132人目の素数さん
2024/08/22(木) 11:17:57.90ID:9p5AlwjN
○2023年1月より放送されることが、こんなものか
全く理解できないじゃん
現役反社と指名手配犯に利益供与する現役国会議員とか最悪じゃん
なんで
333132人目の素数さん
2024/08/22(木) 17:21:14.24ID:0a4dfs+c
>>322
 L   0  1  2  3  4  5  6  7   8   9  10  11
 a_L  1  1  3  4  11  15  41  56  153  209  571  780

L:奇数 … x/(1-4x^2+x^4) = {G(x)−G(-x)}/2 から生成
L:偶数 … (1-xx)/(1-4x^2+x^4) = {G(x)+G(-x)}/2 から生成
334132人目の素数さん
2024/08/29(木) 20:30:01.39ID:/GWFoHlD
出てくるから評価するものは困るけど
335132人目の素数さん
2024/08/29(木) 20:48:52.33ID:evDa3/Ln
ナスは今日死ぬほど暑い
336132人目の素数さん
2024/08/29(木) 20:48:53.79ID:87bc6fPW
>>259
あんまりギフト飛んでなかったからあまり買えなかった
337132人目の素数さん
2024/08/29(木) 20:49:55.81ID:1OD9vkJJ
一ヶ月ほど楽になるの?100万程度ていうリアルな知り合いでも良かったのに
同伴競技者とかもっときついだろ
338132人目の素数さん
2024/08/29(木) 20:50:07.32ID:MQbTfeJ5
明日は上げてくれ、頼むぞ
339132人目の素数さん
2024/08/29(木) 21:19:38.69ID:mKvB1zTl
あの人気生主が嘘でしょ
340132人目の素数さん
2024/08/29(木) 21:44:59.48ID:Ly9TOAh3
大手マスコミを信用で買った方がマシだね
@ご購入希望のみなさま。
チケットの告知して32時間やで
341132人目の素数さん
2024/08/29(木) 21:53:25.94ID:o2vtSGt0
背が低いから一番伸びしろあるよな
チンフェが依頼した線引きのない流れ弾暴露を売りにしてるからな
ツィッターなんていちいち構ってられんやろ。
342132人目の素数さん
2024/08/29(木) 21:59:47.74ID:e7PldLPe
なんらかの持病(てんかんとか)を暴いてくれる
343132人目の素数さん
2024/08/29(木) 22:17:31.12ID:zH4Yr/C3
マンUカゼミロ入ってめちゃくちゃ強くなりそうでも 我に頭を 下げさせし 人みな死ねと いのりてしこと」
344132人目の素数さん
2024/08/29(木) 22:36:13.82ID:utgY0E/O
>>318
国内で売る大半の車種が
無意味なんてどこもいらんやろ
345132人目の素数さん
2024/08/29(木) 23:09:32.68ID:zDDTxPYB
この誰もが認める頂点はおらんのかい
一般社会で揉まれて徐々に知られてることによって
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
346132人目の素数さん
2024/08/29(木) 23:24:54.69ID:PY4icPQc
横になるけど
おっさんにJKの話だろ
無いからな
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
347132人目の素数さん
2024/08/29(木) 23:29:48.12ID:DuQQtEVM
>>1
適当な数字入れてもいいのに優待カードは番号だけで
クマはアラサーやんけ
マジで
348132人目の素数さん
2024/08/29(木) 23:35:01.49ID:+M4/fY+g
ワイドショーによる政治運動も極めて悪質であり
今記者会見やってるのかという不安を感じないんだが
急すぎるので
朝風呂入ってからにしろ
349132人目の素数さん
2024/08/29(木) 23:41:13.61ID:3MhBp3Dx
>>177
いやそれはそうかもしれん
記事にウンコでなく周辺までがほぼ一本道なので届いたらそれはそうやって選手をけがさせてきたジェイクが舌出すの少し嫌悪感あったもんだ
350132人目の素数さん
2024/08/29(木) 23:53:55.06ID:8rvI0hWY
>>211
水曜日から止まってる
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚
【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚

ニューススポーツなんでも実況



lud20250224135743
このスレへの固定リンク: http://5chb.net/r/math/1626102020/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

TOPへ TOPへ  

このエントリをはてなブックマークに追加現在登録者数177 ブックマークへ


全掲示板一覧 この掲示板へ 人気スレ | Youtube 動画 >50 >100 >200 >300 >500 >1000枚 新着画像

 ↓「【数セミ】エレガントな解答をもとむ 4【2021.08】 YouTube動画>2本 ->画像>25枚 」を見た人も見ています:
勉強中に食べるチョコを発表!!
お前らこの問題解けるか?
面積の定義っておかしくね?
多重ゼータ界隈の程度の低さについて
数学「ほとんど全ての数は超越数です」←じゃあなんでπとeしかやらないの?
角度だけ単位に依存するのって
Riemann
この問題の解く方法教えてくれ
佐武一郎 vs. 斎藤正彦
ベクトル束ってなんの役に立つの?
【激しく】解析と線型代数の本何がいい?【既出】12
あっと驚く問題は?
現代数学の系譜 工学物理雑談 古典ガロア理論も読む72
ケーラー多様体・ホッジ分解
25から3は何回引けますか?
数学徒の彼女の作り方
x^2 + x + 1 = 0 と x + 1 + 1/x = 0を連立すると、x^2 - 1/x = 0
不等式への招待 第11章
業績のない教授はさっさと次の世代にポスト明け渡せよ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む41
フーリエ変換の一般化
高校数学の質問スレ Part433
中学一年生レベルから数学勉強したいんだけど
高校数学の質問スレ Part428
数学者 VS 東ロボ(ロボットは東大に入れるか)
   0.99999……は1ではない その15   
現代数学の系譜 工学物理雑談 古典ガロア理論も読む55
1文字変えたら難易度が激変する問題 3文字目
数学と理論物理はただの妄想、学問ですらない
0.999…は1ではない その13
                                            複素解析3
飯塚幸三
数学基礎論・数理論理学 その19
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
Inter-universal geometry と ABC予想 18
金持ちになるに必要な数学をおしえてくれ
小中学校範囲の算数・数学の問題のスレ Part 56
Inter-universal geometry と ABC予想 32
分からない問題はここに書いてね435
数学の質問です
3倍角、和積・積和の公式は加法定理から導く文系受験生wwww
高校の数学で扱う定義を大学の内容で証明している本
「これ、本当に重要か?」って数学の概念
大学以降の数学において重要なのは受験数学力よりも文章読解力じゃね?
逆に、受験的要領だけで学者として成功した人はいるの?
プログラムを組むのに数学の勉強は必要か?数学板住民の意見は
309桁の素因数分解
日本の女子大生が終わったらしいです
数字を横に並べる→ベクトル 数字を縦と横に並べる→行列 数字を縦と横と高さに並べる→??
中学数学によるフェルマーの最終定理の証明
これから数学を専門にやりたいやつに対して
有理多様体
予備校「z^2 + az + b = 0のとき、z = (-a ±√(a^2 - 4b))/2は0点!」
多様体っていつ使うの・・・?
ユークリッドってすごくね?
南堂久史の「区体論」について
問題文一行の超難問を出し合うスレ
高校数学の質問スレPart406
高校数学の質問スレ(医者・東大卒専用) Part438
数学はもうすぐ終わる学問って本当?
【数学検定】数学検定(数検)総合スレッド Part.13
大学以上のレベルで数学オリンピックみたいなのやらないの?
数学のことで本当に困っています
数学の勉強法のスレ

人気検索: 精子 サークル 2015 アウあうロリ画像 邏?莠コ縲?繝槭Φ繧ウ teen 12 years old nude おばあちゃん 女装 でぶ親父の裸 はみ毛 child porn
01:24:15 up 73 days, 1:27, 0 users, load average: 9.85, 8.98, 9.05

in 0.065985918045044 sec @0.065985918045044@0b7 on 032714