探検


【数セミ】エレガントな解答をもとむ 4【2021.08】

■ このスレッドは過去ログ倉庫に格納されています
2021/07/13(火) 00:00:20.12ID:w61FTnjw
締切りの過ぎた問題をみんなで議論しましょう。
ただし難易度情報は可。

過去スレ:
1. http://rio2016.5ch.net/test/read.cgi/math/1295154182/
2. http://rio2016.5ch.net/test/read.cgi/math/1476702312/
3. http://rio2016.5ch.net/test/read.cgi/math/1537116043/
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
エレ解について質問なのですが、これは高校数学までで解ける問題しかないのでしょうか?
2021/07/15(木) 21:25:56.49ID:rPkT3lRB
いろいろですね。
入学試験のように、とくに出題範囲が決まっているわけでもなさそうです。
問い合わせるなら
[email protected]
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
もちろん、小学生レベルの証明=簡単を意味しません。
小学生レベルの証明も頭を使うことに変わりありません。
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編集部はピックの定理の証明のような問題
求めているのだと思います。そんな良問、数学研究者
でもなかなかおもいつかんだろうが。。。
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番の講評はいかがです?
2021/07/17(土) 19:50:36.72ID:05CQ2gZi
5月の1は良問でござい
15132人目の素数さん
垢版 |
2021/07/17(土) 19:58:59.51ID:Zbv5K/ok
やはり。正解者4人。良問だと思いました。
2021/07/17(土) 20:47:14.94ID:8BDg/jmR
>>15
本誌1つ目の解答に痺れましたわ

この問題、多くの人間がフェルマーの定理を使う誘惑に駆られたはずw
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
あなたが頑張れば可能かも
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番:離散対数絡みでない?
2021/07/20(火) 11:21:16.83ID:U/vaK+LI
>>35
なにゆえ?
その心は?
2021/07/20(火) 11:21:46.77ID:U/vaK+LI
アンカーミス
>>25
なにゆえに?
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
2021/07/23(金) 07:49:33.08ID:L6jgQ3sz
梅雨が明けたら、4分の2の季節は…
いやいや、暑くて茹だこですよ。
今ごろ出題1を出してるのは、たぶんオレだけだろうな。(#1462)
2021/07/23(金) 08:56:32.90ID:huE1h7TE
>>31
半月遅れてだしたってこと?なにゆえ?
2021/07/24(土) 05:15:56.09ID:ILqYqJWy
こう暑いと 閃かないんだよな。
2回軸の本数とkの関係とか…
2021/07/25(日) 18:01:04.95ID:0rv1EuHc
辺ABを辺CDに移す対称操作、でいいのかな
35132人目の素数さん
垢版 |
2021/07/28(水) 16:23:29.20ID:PIuMuXET
>>34金子君、そうだ!!
2021/07/31(土) 15:45:42.90ID:DJupWuYm
出題2はなんか腹立つな
解釈に余計な時間使う
37132人目の素数さん
垢版 |
2021/07/31(土) 17:27:53.85ID:DLJhyUsG
長文はパス
2021/08/01(日) 02:49:05.98ID:o4+UZaOD
どちらの方にも解けるって言わなくねー?とは言いたい
2021/08/01(日) 15:46:46.75ID:inhz+BHV
文意がハッキリしないなー
2021/08/01(日) 16:46:08.14ID:8IWzcdx3
はじめの3分間は無解答だったから
 pの値に対して 3≦x<y が1組しかない場合
 sの値に対して 3≦x<y が1組しかない場合
は省いて良かろう。
そのうえで pの値とsの値の対応を考えるかな?
2021/08/01(日) 20:16:18.07ID:kthaGXy1
1分でなく3分ってのは期待値を考えろと言ってるんだよねえ
3分過ぎてから突然ってのは?
3分経過後Sが回答しないのを見てPが回答したのか、3分経過後間髪入れずにPが機先を制する形で回答したのか
2021/08/01(日) 20:17:03.54ID:kthaGXy1
>>41
SとP逆な
2021/08/02(月) 17:53:36.63ID:v2qRUGD8
「正統な根拠」とか「この問題はどちらの方にも解けます」とかの文言が確率は絡まないと言ってるようにも思える
2021/08/02(月) 18:48:01.69ID:humQtTeu
コレの系列やろ

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

もうこの問題捨てるか
2021/08/03(火) 22:57:44.24ID:Ob8jDQa0
p=3*大きな素数だった場合ってP氏は50万獲得できんの?
2021/08/03(火) 22:59:51.73ID:51STKeM6
素数×素数の時点で50万ゲトやろ
2021/08/03(火) 23:57:45.53ID:gS0FZ6Oc
正しい問題解釈を誰か教えてくれ
スタートラインにも立てない
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}を求めよ
2021/08/04(水) 15:18:19.73ID:sY+M0aOS
>>48
数学愛好家ならどんなに大きい数でも素数か否か瞬時に判別できるはずだぞ
2021/08/04(水) 22:40:11.73ID:jiy4+q5f
>>51
そうなる根拠が解らぬ
5万円でも1円でも答えは変わらないのね?
2021/08/04(水) 23:37:11.54ID:jiy4+q5f
やっぱり問題設定が分からん
逐次情報をやり取りするなら分かるが、1分に1回やり取りしたと考えるのは無理がある
2021/08/04(水) 23:59:20.70ID:LWO1mXfV
理にかなわない行動をして相手の誤答を誘う心理戦とかありそう
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エレガントナ解答の正解者調べたら
カナダ、シンガポールからの投稿者もあった。
日本人だけど。結構、海外赴任中に購読されておられる
マニアの方もおられるのでは??
よって、インターナショナルな雑誌と認定。
2021/08/09(月) 00:07:08.13ID:lQN6CK9x
竹内さん問題分かりづらいよー
2021/08/09(月) 00:28:57.64ID:lQN6CK9x
出題2の解答キボンヌ
61132人目の素数さん
垢版 |
2021/08/11(水) 18:41:08.66ID:e+uE5AsR
出題2はそもそも題意の解説からぷりーずだな
2021/08/13(金) 00:14:35.62ID:Jh313lJy
解答来ないってことは解けなかったんだな誰も、問題文の意味を。
2021/08/13(金) 00:26:12.69ID:fJiv1UL5
週末まで待て
2021/08/14(土) 00:22:57.69ID:dcKcv6iz
まだかなまだかな〜♪
エレ解の、オジサンまだかな〜♪
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を求める問題とわかる
2021/08/14(土) 11:37:25.08ID:dcKcv6iz
>>65
なぜそうなるのか本当に分からん
1分毎に1度だけ回答機会が与えられるという設定ならまだしも
しかも1分おきに5万円という設定も解答に使わないのであれば、分単位の時間経過はなんの意味ももたないのでは?
2021/08/14(土) 18:55:53.64ID:AauyLO1K
互いが相手のことを知らない
=相手の数学力や論理的思考力の程度が分からない
=1分待ってみないと相手が考え中なのか解答不能なのか判断できない
と解釈すれば >>65 みたいにnを離散的にとっていいことになる・・・か?
2021/08/14(土) 19:42:30.44ID:dcKcv6iz
>>67
うーんこの手の問題は両者perfect logicianであることを仮定するからなあ
2021/08/15(日) 00:40:49.49ID:M5CvrNsw
みんな>>65のように解釈したのかなぁ
それならよくあるSPの会話形式でええじゃないの...
50万から5万ずつ下がり、間違えたら半額が相手に渡るなんていかにも意味有りげな設定は無視していいわけ?
単に1分おきにお互い"無言"のメッセージをやり取りしたってのが題意だというなら繰り返すけどSPの会話形式でエエジャナイカ...
2021/08/15(日) 00:47:56.42ID:M5CvrNsw
おれはやっぱりT内さんの問題が好きになれんわ
ちと作問が独りよがりに過ぎんかね
みんな楽しめたんならなによりだが、俺はエレガントな解答じゃなくて問題の正しい解釈を見つけるのに9割5分の時間を割くはめになった

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

出題1は易しい良問で楽しめたよ
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に上限があれば……
2021/08/25(水) 13:15:10.43ID:A/CPrdi1
今ごろ出題1を出してるのは、オレだけかも。(#1495)
2021/08/25(水) 22:24:34.87ID:PrK5i+h6
>>72
今月の?先月の?
2021/08/26(木) 10:27:17.92ID:lvIU0CUK
9月号 出題1 (阿賀岡さん)
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分はかからないと思う。)
2021/08/28(土) 22:58:43.45ID:veY8Wg6d
今月号の難易度情報もとむ
2021/08/29(日) 01:31:22.98ID:LzvE3ZkO
1は難しい気配がする
2はおそらく簡単
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
九月号はベストセラーで売り切れですね!!西浦先生の記事のせい
2021/08/29(日) 22:08:36.20ID:Fbkk0a7o
俺も西浦さんの記事見たよ
世間のニュースより数セミの方が周知が早かったな
2021/08/30(月) 16:03:35.84ID:Uak5j3QT
[特集1]
新型コロナウイルスと闘うために数学にできること
102p.1199円
http://www.nippyo.co.jp/shop/magazine/8348.html

8割おじさん (医) ご登場ですか。ご老公に駆り出された?
ところで、ご老公は大丈夫だろうな。
2021/08/30(月) 18:49:01.55ID:tDqYdxrH
2021年9月号
>予防接種完了時の新型コロナウイルス感染症流行をどのように見通しているか……西浦 博
2021/08/31(火) 10:44:21.70ID:CX/3hE42
竹内郁雄
まだ生きてるのか
2021/09/04(土) 16:24:57.49ID:nXqiiqMO
2番いい問題だな
まだ突破口みつからんのだけど
2021/09/04(土) 21:48:42.47ID:nXqiiqMO
2番難問
2021/09/05(日) 00:14:09.42ID:vRHZNyTa
2番言うほどかね
良い問題であることには同意
2021/09/05(日) 00:48:26.93ID:Z0gsqYMx
>>88
ほう。
勇気もらったから粘ってみるわ
2021/09/05(日) 18:40:47.93ID:Z0gsqYMx
やっぱり難問だよこれ
2021/09/07(火) 22:35:37.43ID:zlKVtPD4
2番答えは解ったが証明はどうしたもんか
2021/09/09(木) 00:09:31.59ID:K4iqlFd8
じゃあ猛者ども証明よろ
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のそれと同じに固定される。
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の両方に含まれることになり仮定に反する
2021/09/09(木) 23:39:09.47ID:SSlTcaOZ
ほれみろ難問じゃねえか
2021/09/12(日) 10:23:32.25ID:yATpTaY5
>>93
これ読んで自分が問題を読み間違えていることに気付いた
2021/09/12(日) 10:24:34.17ID:yATpTaY5
>>94
元論文当たらずにこの発想にたどり着けた?
2021/09/12(日) 21:04:48.86ID:vmsLE+58
コレ論文の元ネタあるん?
99132人目の素数さん
垢版 |
2021/09/16(木) 13:20:56.09ID:MlYkePsI
元ねた論文詳細希望
2021/10/08(金) 02:47:13.70ID:3eK+pRzN
出題1って全事象が6^n通りなんだから推移行列どうこう以前に1/5や1/7になるはずなくね
確率を求めよ、にした方が良かったのでは
2021/10/09(土) 01:33:51.10ID:hE5TvmjC
たしかに。
でもフライング気味…
■ このスレッドは過去ログ倉庫に格納されています

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