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

**１３２人目の素数さん** · 2021/07/13(火) 00:00:20.12

締切りの過ぎた問題をみんなで議論しましょう。
ただし難易度情報は可。

過去スレ：
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.70

　　　　　　　　 |:;:;:;:;:;:;:;:;:;:;:;:;:;:i;:;:;:;:;:;:;:;:;:;:;:;|　　　　　　解　今　　 |
　　　　　　 |;:;:_:;:_:;:_:;:_;:;_:;:l:;_;:_:;:_:;:_:;:_;:|　　　　　　か　日　　　|
　　　　　　　　 |＿＿＿＿＿_|＿＿＿＿_|　　　　　　な　　　　 l
　　　　　　　　　|::::| ｀｀｀｀｀｀｀´´´´　: : : :｜　　　　　か　　　　 !
　　　　　　　　　|::::|　　く三)　　　(三ｼ : : :|'.　　　　　っ　　　　 /
　　　　　　 r=Y:f　　　　　　　　　　　　:.ﾍ'，　　　　た　　　 /
　　　　　　 |ｆト|:|　tｰｔ:ﾃﾐヽ　.ｨチｔ:ｧ‐r　: |∧　　　　ら　　　 /
　　　　　　 {{ ｰ:l　｀￣ '´ 　 |::.ヾ￣´ . : :|_,ハ、　　　　　／
　　　　　　ヾｰ!　　　　　 |::、　　　: : j_／　＞ー‐一'´
　　　　　　　　｀¨', 　　　 -､_;:-　　　 : :/
　　　　　　　　 l'. 　　,r===== 、　 :/ｈ
.　 ,.　-―‐- ＜.　/!:.ヽ　ヾ====='′.／: j l＼
／　　　　　　＼|: : . ＼.｀""""´／　: / .|:.:.:.:',、
　　　　　　　　　　＼　　｀ｰ一'´: 　 :/　 |:.:.:.:.:',｀:.ー-　、
　　　　　　　　　ヽ　　　　 }: : .／　　.|:.:.:.:.:.:',:.:.:.:.:.:.:.:.:｀:.ｰ-　、
　　　　　　　　　　　　　 '.ｰ- 　 j: :/　　　 |:.:.:.:.:.:.:',:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.｀
　必　　も　　明.　　　'.　　　入　　　 |:.:.:.:.:.:.:.:',:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:
　要　　　っ　　日　　　 ',　　 / / ＼　 !＼:.:.:／.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:.:
　に　　　と　　　は　　　　ｉ　　j./　　　＼|:.:.:.｀:ー‐┐:.:.:.:.:.:.:.:.:.:.:.:.:.:
　な　　大　　　　　　 | 　 j′　　　 .!:.:.:
　る　　　き
　ぞ　　　な
　　　　努
　　　　力
　　　　が

**１３２人目の素数さん** · 2021/07/15(木) 14:16:59.70

エレ解について質問なのですが、これは高校数学までで解ける問題しかないのでしょうか？

**１３２人目の素数さん** · 2021/07/15(木) 21:25:56.49

いろいろですね。
入学試験のように、とくに出題範囲が決まっているわけでもなさそうです。
問い合わせるなら
susemi_elegant@nippyo.co.jp

**１３２人目の素数さん** · 2021/07/16(金) 00:09:25.64

>>3
明確にNo

**１３２人目の素数さん** · 2021/07/16(金) 09:32:59.62

無差別級です。そこが良いところ。小学生レベル範囲の解答から大学数学科レベルの解答
まで、使用する知識に制限はありません。
そうだ、ピックの定理をご存知ですか？
この定理の証明法には、小学生レベルのもの～最先端代数幾何レベルまであります。
不思議ですよね。。。。
一番うなるのは、ワイエルシュトラウスのペー関数を使う証明。。

**１３２人目の素数さん** · 2021/07/16(金) 09:34:22.36

もちろん、小学生レベルの証明＝簡単を意味しません。
小学生レベルの証明も頭を使うことに変わりありません。

**１３２人目の素数さん** · 2021/07/16(金) 16:46:08.39

個人的な感想ですが、
　初心者からセミプロまで、それぞれのレベルで解答可能で、　>>6
　解答しているうちにレベルが上がるので病みつきになり、
　気が付けば数学愛好家であり、(将来の)本誌読者になっている、
というのが出版社のシナリオではないか？

囲碁や将棋と同じだなぁ

あくまでも個人的な感想です。

**１３２人目の素数さん** · 2021/07/16(金) 18:45:18.14

>>6
Weierstrassはワイエルシュトラスと読んでください

**１３２人目の素数さん** · 2021/07/17(土) 12:18:11.80

>>8編集部はピックの定理の証明のような問題
求めているのだと思います。そんな良問、数学研究者
でもなかなかおもいつかんだろうが。。。

**１３２人目の素数さん** · 2021/07/17(土) 13:37:15.52

長年解いてきた俺がとおりますよ

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

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

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

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

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

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

俺様統計によると良問率は20%
記憶に残るほどの良問は年に1,2問くらいかな
難しく興味深い問題でもちょっとググってアッサリ答えが見つかってしまうものは良問としてカウントしない

**１３２人目の素数さん** · 2021/07/17(土) 17:54:37.13

>>10
常連さんなんですね。。。ググるの？？

**１３２人目の素数さん** · 2021/07/17(土) 17:55:34.02

２０２１年５月号１番の講評はいかがです？

**１３２人目の素数さん** · 2021/07/17(土) 19:50:36.72

5月の1は良問でござい

**１３２人目の素数さん** · 2021/07/17(土) 19:58:59.51

やはり。正解者4人。良問だと思いました。

**１３２人目の素数さん** · 2021/07/17(土) 20:47:14.94

>>15
本誌1つ目の解答に痺れましたわ

この問題、多くの人間がフェルマーの定理を使う誘惑に駆られたはずw

**１３２人目の素数さん** · 2021/07/17(土) 20:55:07.70

手抜きなく厳密に解答をチェックした点も高評価
数学なんだからこうでなくちゃね

たまに
　全員正解にしました
なんてのあるけど厳密な解答をせっせと仕上げた常連にとっては興醒めですわ
つまらんミスを見逃してやるくらいならいいけども。

**１３２人目の素数さん** · 2021/07/18(日) 16:04:44.20

>>16
御明察！！エレ解に谷山志村予想？？やり過ぎだろう
と思いました。数オリに類似問題あり、これかな？と
思ったが、２番ってエルゴード性、稠密定理と関連
してないか？とか考えてるうちに時間切れ。。

**１３２人目の素数さん** · 2021/07/18(日) 17:16:17.63

ところで、数学セミナーは海外の大学図書館への配送されてますかね？

**１３２人目の素数さん** · 2021/07/18(日) 18:50:18.60

>>19
大学図書館は数多く見ましたが数学セミナーは見たことがありません
広州の大学では岩波本の棚がありましたが

**１３２人目の素数さん** · 2021/07/18(日) 19:18:03.88

>>20残念、是非、インターナショナルな雑誌になって欲しい

**１３２人目の素数さん** · 2021/07/18(日) 22:50:28.86

>>21
あなたが頑張れば可能かも

**１３２人目の素数さん** · 2021/07/19(月) 22:50:18.67

噂をすれば竹内さん

**１３２人目の素数さん** · 2021/07/20(火) 08:04:57.61

京都大学のガロア祭を頑張るべし

**１３２人目の素数さん** · 2021/07/20(火) 10:29:29.79

数セミ、エレ解、2021年7月号、1番：離散対数絡みでない？

**１３２人目の素数さん** · 2021/07/20(火) 11:21:16.83

>>35
なにゆえ？
その心は？

**１３２人目の素数さん** · 2021/07/20(火) 11:21:46.77

アンカーミス
>>25
なにゆえに？

**１３２人目の素数さん** · 2021/07/20(火) 16:32:45.37

>>35 には「なぞかけ」を書くこと

**１３２人目の素数さん** · 2021/07/20(火) 17:18:59.04

なんと！！『数学セミナー』も60周年か。。。素晴らしい！！
戸田アレクシ哲先生もNoteに出場されておったの・・・・

**１３２人目の素数さん** · 2021/07/20(火) 17:36:17.81

京都大学数学教室主催、ガロア祭をみよ！！
塩田先生の問題は、やはり稠密定理絡みであったか。。。。。
https://www.math.kyoto-u.ac.jp/ja/node/4678

**１３２人目の素数さん** · 2021/07/23(金) 07:49:33.08

梅雨が明けたら、４分の２の季節は…
いやいや、暑くて茹だこですよ。
今ごろ出題１を出してるのは、たぶんオレだけだろうな。(#1462)

**１３２人目の素数さん** · 2021/07/23(金) 08:56:32.90

>>31
半月遅れてだしたってこと？なにゆえ？

**１３２人目の素数さん** · 2021/07/24(土) 05:15:56.09

こう暑いと閃かないんだよな。
2回軸の本数とkの関係とか…

**１３２人目の素数さん** · 2021/07/25(日) 18:01:04.95

辺ABを辺CDに移す対称操作、でいいのかな

**１３２人目の素数さん** · 2021/07/28(水) 16:23:29.20

>>34金子君、そうだ！！

**１３２人目の素数さん** · 2021/07/31(土) 15:45:42.90

出題2はなんか腹立つな
解釈に余計な時間使う

**１３２人目の素数さん** · 2021/07/31(土) 17:27:53.85

長文はパス

**１３２人目の素数さん** · 2021/08/01(日) 02:49:05.98

どちらの方にも解けるって言わなくねー？とは言いたい

**１３２人目の素数さん** · 2021/08/01(日) 15:46:46.75

文意がハッキリしないなー

**１３２人目の素数さん** · 2021/08/01(日) 16:46:08.14

はじめの3分間は無解答だったから
　pの値に対して 3≦x<y が１組しかない場合
　sの値に対して 3≦x<y が１組しかない場合
は省いて良かろう。
そのうえで pの値とsの値の対応を考えるかな？

**１３２人目の素数さん** · 2021/08/01(日) 20:16:18.07

1分でなく3分ってのは期待値を考えろと言ってるんだよねえ
3分過ぎてから突然ってのは？
3分経過後Sが回答しないのを見てPが回答したのか、3分経過後間髪入れずにPが機先を制する形で回答したのか

**１３２人目の素数さん** · 2021/08/01(日) 20:17:03.54

>>41
SとP逆な

**１３２人目の素数さん** · 2021/08/02(月) 17:53:36.63

「正統な根拠」とか「この問題はどちらの方にも解けます」とかの文言が確率は絡まないと言ってるようにも思える

**１３２人目の素数さん** · 2021/08/02(月) 18:48:01.69

コレの系列やろ

en.m.wikipedia.org/wiki/Sum_and_Product_Puzzle

**１３２人目の素数さん** · 2021/08/02(月) 22:26:10.75

>>43
その場合1分で5万ずつ減る設定どう使う？

**１３２人目の素数さん** · 2021/08/03(火) 01:52:02.59

>>45
それもそうか
なら「正当な根拠」っていうのはもっともらしい理由くらいの意味と捉えるべきなのかもしれない。
でも「この問題はどちらの方にも解けます」は何だろう。
例えば確率が1/2ずつの解消できない2択があってどうやっても正当な根拠が示せない状況はないですよ、みたいな感じ？

**１３２人目の素数さん** · 2021/08/03(火) 07:48:49.24

>>46
対等、期待値が同じ、の意味に解さないと話が通らないような
でもそれだとSとPは同時に回答しなきゃいけないような

もうこの問題捨てるか

**１３２人目の素数さん** · 2021/08/03(火) 22:57:44.24

p=3*大きな素数だった場合ってP氏は50万獲得できんの？

**１３２人目の素数さん** · 2021/08/03(火) 22:59:51.73

素数×素数の時点で50万ゲトやろ

**１３２人目の素数さん** · 2021/08/03(火) 23:57:45.53

正しい問題解釈を誰か教えてくれ
スタートラインにも立てない

**１３２人目の素数さん** · 2021/08/04(水) 00:56:53.12

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.73

>>48
数学愛好家ならどんなに大きい数でも素数か否か瞬時に判別できるはずだぞ

**１３２人目の素数さん** · 2021/08/04(水) 22:40:11.73

>>51
そうなる根拠が解らぬ
5万円でも1円でも答えは変わらないのね？

**１３２人目の素数さん** · 2021/08/04(水) 23:37:11.54

やっぱり問題設定が分からん
逐次情報をやり取りするなら分かるが、1分に1回やり取りしたと考えるのは無理がある

**１３２人目の素数さん** · 2021/08/04(水) 23:59:20.70

理にかなわない行動をして相手の誤答を誘う心理戦とかありそう

**１３２人目の素数さん** · 2021/08/07(土) 20:45:30.14

解いたけど、これ計算機使わずにできないだろ？

**１３２人目の素数さん** · 2021/08/08(日) 22:59:37.47

>>19エレガントナ解答の正解者調べたら
カナダ、シンガポールからの投稿者もあった。
日本人だけど。結構、海外赴任中に購読されておられる
マニアの方もおられるのでは？？
よって、インターナショナルな雑誌と認定。

**１３２人目の素数さん** · 2021/08/08(日) 22:59:37.48

>>19エレガントナ解答の正解者調べたら
カナダ、シンガポールからの投稿者もあった。
日本人だけど。結構、海外赴任中に購読されておられる
マニアの方もおられるのでは？？
よって、インターナショナルな雑誌と認定。

**１３２人目の素数さん** · 2021/08/09(月) 00:07:08.13

竹内さん問題分かりづらいよー

**１３２人目の素数さん** · 2021/08/09(月) 00:28:57.64

出題2の解答キボンヌ

**１３２人目の素数さん** · 2021/08/11(水) 18:41:08.66

出題2はそもそも題意の解説からぷりーずだな

**１３２人目の素数さん** · 2021/08/13(金) 00:14:35.62

解答来ないってことは解けなかったんだな誰も、問題文の意味を。

**１３２人目の素数さん** · 2021/08/13(金) 00:26:12.69

週末まで待て

**１３２人目の素数さん** · 2021/08/14(土) 00:22:57.69

まだかなまだかな～♪
エレ解の、オジサンまだかな～♪

**１３２人目の素数さん** · 2021/08/14(土) 00:52:01.26

とりあえず問題の定式化はそこまで難しくないやろ
まず集合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.08

>>65
なぜそうなるのか本当に分からん
1分毎に1度だけ回答機会が与えられるという設定ならまだしも
しかも1分おきに5万円という設定も解答に使わないのであれば、分単位の時間経過はなんの意味ももたないのでは？

**１３２人目の素数さん** · 2021/08/14(土) 18:55:53.64

互いが相手のことを知らない
＝相手の数学力や論理的思考力の程度が分からない
＝1分待ってみないと相手が考え中なのか解答不能なのか判断できない
と解釈すれば >>65 みたいにnを離散的にとっていいことになる・・・か？

**１３２人目の素数さん** · 2021/08/14(土) 19:42:30.44

>>67
うーんこの手の問題は両者perfect logicianであることを仮定するからなあ

**１３２人目の素数さん** · 2021/08/15(日) 00:40:49.49

みんな>>65のように解釈したのかなぁ
それならよくあるSPの会話形式でええじゃないの...
50万から5万ずつ下がり、間違えたら半額が相手に渡るなんていかにも意味有りげな設定は無視していいわけ？
単に1分おきにお互い"無言"のメッセージをやり取りしたってのが題意だというなら繰り返すけどSPの会話形式でエエジャナイカ...

**１３２人目の素数さん** · 2021/08/15(日) 00:47:56.42

おれはやっぱりT内さんの問題が好きになれんわ
ちと作問が独りよがりに過ぎんかね
みんな楽しめたんならなによりだが、俺はエレガントな解答じゃなくて問題の正しい解釈を見つけるのに9割5分の時間を割くはめになった

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

出題1は易しい良問で楽しめたよ

**１３２人目の素数さん** · 2021/08/16(月) 00:18:43.86

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.43

今ごろ出題１を出してるのは、オレだけかも。(#1495)

**１３２人目の素数さん** · 2021/08/25(水) 22:24:34.87

>>72
今月の？先月の？

**１３２人目の素数さん** · 2021/08/26(木) 10:27:17.92

9月号出題1 (阿賀岡さん)

**１３２人目の素数さん** · 2021/08/26(木) 11:09:46.65

今ごろて

**１３２人目の素数さん** · 2021/08/26(木) 22:03:06.83

先月の問２について
同じアイディアが既に出ているかも知れないが具体的にやる。
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となりｐは即答しているので、(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.45

今月号の難易度情報もとむ

**１３２人目の素数さん** · 2021/08/29(日) 01:31:22.98

1は難しい気配がする
2はおそらく簡単

**１３２人目の素数さん** · 2021/08/29(日) 07:27:53.42

>>78
77だが逆かと思ってた

**72,74** · 2021/08/29(日) 12:40:51.37

１出して　２に取りかかる　残暑かな
(難易度情報なし)

**１３２人目の素数さん** · 2021/08/29(日) 13:41:14.72

九月号はベストセラーで売り切れですね！！西浦先生の記事のせい

**１３２人目の素数さん** · 2021/08/29(日) 22:08:36.20

俺も西浦さんの記事見たよ
世間のニュースより数セミの方が周知が早かったな

**１３２人目の素数さん** · 2021/08/30(月) 16:03:35.84

[特集1]
新型コロナウイルスと闘うために数学にできること
102p．1199円
http://www.nippyo.co.jp/shop/magazine/8348.html

8割おじさん (医) ご登場ですか。ご老公に駆り出された？
ところで、ご老公は大丈夫だろうな。

**１３２人目の素数さん** · 2021/08/30(月) 18:49:01.55

2021年9月号
>予防接種完了時の新型コロナウイルス感染症流行をどのように見通しているか……西浦博

**１３２人目の素数さん** · 2021/08/31(火) 10:44:21.70

竹内郁雄
まだ生きてるのか

**１３２人目の素数さん** · 2021/09/04(土) 16:24:57.49

2番いい問題だな
まだ突破口みつからんのだけど

**１３２人目の素数さん** · 2021/09/04(土) 21:48:42.47

2番難問

**１３２人目の素数さん** · 2021/09/05(日) 00:14:09.42

2番言うほどかね
良い問題であることには同意

**１３２人目の素数さん** · 2021/09/05(日) 00:48:26.93

>>88
ほう。
勇気もらったから粘ってみるわ

**１３２人目の素数さん** · 2021/09/05(日) 18:40:47.93

やっぱり難問だよこれ

**１３２人目の素数さん** · 2021/09/07(火) 22:35:37.43

2番答えは解ったが証明はどうしたもんか

**１３２人目の素数さん** · 2021/09/09(木) 00:09:31.59

じゃあ猛者ども証明よろ

**１３２人目の素数さん** · 2021/09/09(木) 13:16:16.53

2021年9月号

■出題１
(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.75

書くか

以下全集合は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.47

ほれみろ難問じゃねえか

**１３２人目の素数さん** · 2021/09/12(日) 10:23:32.25

>>93
これ読んで自分が問題を読み間違えていることに気付いた

**１３２人目の素数さん** · 2021/09/12(日) 10:24:34.17

>>94
元論文当たらずにこの発想にたどり着けた？

**１３２人目の素数さん** · 2021/09/12(日) 21:04:48.86

コレ論文の元ネタあるん？

**１３２人目の素数さん** · 2021/09/16(木) 13:20:56.09

元ねた論文詳細希望

**１３２人目の素数さん** · 2021/10/08(金) 02:47:13.70

出題1って全事象が6^n通りなんだから推移行列どうこう以前に1/5や1/7になるはずなくね
確率を求めよ、にした方が良かったのでは

**１３２人目の素数さん** · 2021/10/09(土) 01:33:51.10

たしかに。
でもフライング気味…

**１３２人目の素数さん** · 2021/10/09(土) 01:43:14.38

>>100
その場合は、n回までの出目の和を s とする。

a=5 のとき
　n回で　≡s (mod 5) となる確率は
　(n-1)回で　≡(s-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},

**１３２人目の素数さん** · 2021/10/09(土) 02:21:55.97

ついでに…
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は自然数)

**１３２人目の素数さん** · 2021/10/09(土) 06:13:21.66

最近少し時間ができて数学を勉強し直しています。
高校の数学からやり直してますが、せっかくなのでエレ解にも挑戦してみようと思い、とりあえず10月号の出題2を提出しましたが、私にはなかなか難しく、簡潔な回答が思いつきません。

このスレの皆さんは凄いですが、どんな職業の人が多いのか興味があります。

**１３２人目の素数さん** · 2021/10/09(土) 09:30:39.48

出題2は答えの予想も立つし、証明もそれほど難しくないけど、官名な証明ほ見つからないな

**１３２人目の素数さん** · 2021/10/09(土) 12:50:03.98

2021年10月号

■出題２
　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.
どうかな？

**１３２人目の素数さん** · 2021/10/09(土) 12:55:00.28

>>102
a=5 のとき
　n回で s≡r (mod 5) となる確率は
　(n-1)回で s≡(r-1) となる確率に１を足して6で割ったもの。
　ここに 0≦r<5
修正ｽﾏｿ.

**１３２人目の素数さん** · 2021/10/09(土) 13:17:12.64

>>106
真ん中だけ1、真ん中だけcのパターンもある。n<=8だと他にもある。

**１３２人目の素数さん** · 2021/10/09(土) 13:33:37.86

そうそう
Xの最小値は[3(n-1)/2]
コレはbが1スタートの場合
1c1c...
1111c1111
1111c11111
のタイプが無限系列で出てきてスポラディックな奴
1cc1
11c11c11
が出てくる
答えはコレでいいハズだけど簡明に書くのが難しい

**１３２人目の素数さん** · 2021/10/09(土) 13:49:38.52

上手い解き方を見つけた人はぜひ書き込んでいただきたい。
俺は場合分けの嵐のような、提出するのをためらう答案になってしまった。

**１３２人目の素数さん** · 2021/10/09(土) 14:04:52.19

1c11c1もあるかな。

**１３２人目の素数さん** · 2021/10/09(土) 14:26:53.10

>>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
に絞れた
コレで多分全部

**１３２人目の素数さん** · 2021/10/10(日) 18:55:40.35

今んとこ間違いは見つけてないがエレガントではない解を張ってみる

準備
階差列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となる□

**１３２人目の素数さん** · 2021/10/10(日) 18:56:29.70

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)である□

**１３２人目の素数さん** · 2021/10/10(日) 18:57:22.24

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
である事が必要である
コレは(❇︎)を満たす□

コレらは(❇︎)を満たす□

**１３２人目の素数さん** · 2021/10/10(日) 18:57:28.95

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
である事が必要である□

**１３２人目の素数さん** · 2021/10/16(土) 00:13:42.44

11月の出題2がえらく簡単に思えるが何か勘違いしているかな。

**132人目の素数さん＠そうだ選挙に行こう** · 2021/10/31(日) 05:53:06.07

今ごろ出題2の解答を出してるのはオレだけかも (#1600)
ちょっと複雑…

**１３２人目の素数さん** · 2021/10/31(日) 10:05:56.13

今回は出題1の方が難しくね？

**１３２人目の素数さん** · 2021/11/09(火) 20:09:31.19

うむ。
きのう出した出題1の解答　 (#1614)
きょう出した出題1の解答　(#1615)

**１３２人目の素数さん** · 2021/11/09(火) 23:18:05.18

>>120
コレ他の人の解答もみれんの？
hp見てもそれらしきリンクないけど

**１３２人目の素数さん** · 2021/11/10(水) 00:02:49.68

見れるワケないだろ。
自分の解答の整理#は確認メールで分かるけど…

**１３２人目の素数さん** · 2021/11/10(水) 00:12:52.03

じゃあ番号貼るのなんで？
他の人にはなんの意味もないやん？

**１３２人目の素数さん** · 2021/11/11(木) 18:07:22.38

今月の解答一番乗りだってことだろ。

**１３２人目の素数さん** · 2021/11/12(金) 03:01:45.06

正解です。

猛者の皆さん、解答よろ

**１３２人目の素数さん** · 2021/11/14(日) 02:39:26.29

2021年11月号

■出題2
　P2からx軸 (直線PoP1) に最速で接近 (降下) する枝を求めて
　下限のy座標 >0 としました。　(必ずしも先端ではない)
・0 < θ ≦ π/2,　( [π/2θ]=m とおいた)
・π/2 ≦ θ ≦ 3π/4,
・3π/4 ≦ θ < π,
の3つに分けました。ちょっと複雑になりました。。。

**１３２人目の素数さん** · 2021/11/16(火) 17:22:28.30

・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,

**１３２人目の素数さん** · 2021/11/17(水) 11:23:24.56

出題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乗である
∵) 計算すれば容易に示される□

**１３２人目の素数さん** · 2021/11/17(水) 11:23:55.03

補題
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乗であるから非負の値をとる□

**１３２人目の素数さん** · 2021/11/17(水) 11:24:21.22

補題
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の原点以外の内点についても同様であるから主張は成立する□

**１３２人目の素数さん** · 2021/11/17(水) 11:24:53.76

主張
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乗を与えることから主張が成立する□

**１３２人目の素数さん** · 2021/11/28(日) 12:53:49.52

T=ABCD が平面四角形なら
三角形Sの辺 AC･BD をはさむ角は
Tの min{A+C, B+D} らしいけど…
四面体に拡張できるのかな？

* ブレットシュナイダーの定理 (1842)

**１３２人目の素数さん** · 2021/12/05(日) 23:33:20.73

コレ？
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
ちょっと違うような
他にもあるの？

**１３２人目の素数さん** · 2021/12/09(木) 07:59:44.79

カードの問題、動的計画法を使ってコンピュータでは解けたけど、手では無理だった。もう少しだったんだけどなあ。

**１３２人目の素数さん** · 2022/01/12(水) 06:47:39.27

今月の問1は何だろう。指示通りに計算を進めると答えが出て、グラフ似てますね以外の感想が無いのだが。

**１３２人目の素数さん** · 2022/01/13(木) 16:07:47.70

問２は有名すぎない
3.05をもっと大きくしないとと思うが

**１３２人目の素数さん** · 2022/01/13(木) 18:25:02.49

基本に戻ったんだよ
パズルは数学ではない

**１３２人目の素数さん** · 2022/01/13(木) 22:47:58.75

有理数という縛りと、ある程度初等的にπにどこまで近づけられるかという合わせ技で中々面白いと思う

**１３２人目の素数さん** · 2022/01/14(金) 10:51:56.93

正多角形ではなく多角形と書いてあるのがポイントだと思ったのだが。

**１３２人目の素数さん** · 2022/01/14(金) 13:48:12.59

>>139
ほぼおんなじことでしょ
有理数なら正多角形(七角形以上なら)にそもそもならんし
正多角形でないからこそ有理数ともいえる
(正多角形でないのに面積は無理数でいいなんて訳わからんし)

**１３２人目の素数さん** · 2022/01/14(金) 23:29:52.72

こういう感じの事やれという事やろ
https://youtu.be/FUDnpT17St4
この例では面積÷半径^2=2.823529411765なので使えないけど

**１３２人目の素数さん** · 2022/02/20(日) 12:47:14.47

先月号の締切だいぶ過ぎたけどπのやつはどんなの見つけた？
結局
①0<xi<π
②x1+‥+xn=π
③sin(x1)+...+sin(xn)は有理数
④sin(x1)+...+sin(xn)は3.05より大きい
を満たす(xi)をひとつ例示せよ
なんだけど③の縛りは
③'sin(xi)は全て有理数
が題意だと思って探したけど
なんか面白いのあった？

**１３２人目の素数さん** · 2022/02/20(日) 19:37:43.44

円周率のやつは単位円周上に有理点を打っていくとかいう面白くないのしか見つけられなくて(その有理点の打ち方も芸がない)投稿する気が失せた

**１３２人目の素数さん** · 2022/02/20(日) 20:26:01.45

まぁあんまり工夫のしょうがない問題ではあったな

**１３２人目の素数さん** · 2022/03/03(木) 19:05:51.14

誰も書かないので書いてみる
α=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

**１３２人目の素数さん** · 2022/03/21(月) 16:51:56.68

3月号は？

**１３２人目の素数さん** · 2022/03/22(火) 14:09:58.44

Σ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)!

**１３２人目の素数さん** · 2022/03/22(火) 14:13:24.48

与式
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

**１３２人目の素数さん** · 2022/03/22(火) 16:49:56.70

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 )

**１３２人目の素数さん** · 2022/03/28(月) 20:51:34.28

今月の出題2だが、えらく簡単に思える。もしかして、とんでもない勘違いをしているのかも知れない。

**１３２人目の素数さん** · 2022/03/28(月) 22:06:23.48

イヤ、簡単

**１３２人目の素数さん** · 2022/03/30(水) 20:09:55.81

数学セミナー：巻頭にコーヒーブレイクがある不思議な雑誌．
数学徒は，昼夜逆転どころか前後不問・時間経過無視なのだろう．

**悪魔の数学辞典** · 2022/03/30(水) 20:11:59.28

済みません．表題明記を忘れました．

**１３２人目の素数さん** · 2022/04/01(金) 12:42:25.15

投稿するとき住所欄あるけどみんなどこまで書いてる？丁目番地まで？

**１３２人目の素数さん** · 2022/05/09(月) 16:39:41.34

出題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, ...

**１３２人目の素数さん** · 2022/05/09(月) 17:07:43.45

>>155
どうやって見つけたの？
試行錯誤？

**１３２人目の素数さん** · 2022/05/11(水) 15:26:23.48

>>156
FindHamiltonianPath[]で一発よ
応募は自重したけども

**１３２人目の素数さん** · 2022/06/11(土) 13:05:23.55

6月号2番はどう？

**１３２人目の素数さん** · 2022/06/17(金) 16:50:05.29

エレガントで無くていいからとりあえず解け
まず解け
本末転倒をやるな
いい加減止めろこのアホスレ

**１３２人目の素数さん** · 2022/08/09(火) 11:18:10.49

ついに来たか
https://twitter.com/sugaku_seminar/status/1556797796396646400/photo/1
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2022/10/13(木) 01:19:43.80

今月号の出題1だが、めんどくさそう。
スッキリ解けるのか？

**１３２人目の素数さん** · 2022/10/27(木) 03:43:13.76

出題1だが、一応解けたが、どうまとめようか。出来るだけ、スッキリした形にまとめたい。

**１３２人目の素数さん** · 2022/11/09(水) 02:19:01.27

まず、以下を示す。
命題※
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で割り切れる。

以上より命題※は示された。□

**１３２人目の素数さん** · 2022/11/09(水) 02:21:15.35

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で割り切れることが
いえたことになる。

**１３２人目の素数さん** · 2022/11/09(水) 04:18:25.67

出題２
m=3：ファノ平面
m=4：有限射影平面 Pj(3)
m=5：Witt design S(5,8,24) を削る
m=6：有限射影平面 Pj(5)

**１３２人目の素数さん** · 2022/11/12(土) 01:59:16.58

>>164
12行目の式だが、
×・・・　+p^u・x^(L")
○・・・　+p^(2u)・x^(L")
だな。大筋は変わらないけど、一応書いといた。

**１３２人目の素数さん** · 2022/12/15(木) 18:21:41.48

数学の体系のまだ右も左もわからない基礎知識の足らない中学生や高校生に、
功名心で釣ってこれぐらいなら自分にも解けそうだと思わせて、いたずらに
延々と日時を費やさせてしまう「エレガントな解答を求む」は教育としては
有害ではなかろうか。まずは、大学の標準的な講座物の書籍全体を通読読破
した上でチャレンジする、のであれば良いかもしれないが。
　まずは、既存既知の数学の体系を学ぶことを優先すべきではなかろうか。

**１３２人目の素数さん** · 2022/12/15(木) 21:23:48.25

>>167
>>数学の体系のまだ右も左もわからない基礎知識の足らない中学生や高校生に、
>>功名心で釣ってこれぐらいなら自分にも解けそうだと思わせて、いたずらに
>>延々と日時を費やさせてしまう「エレガントな解答を求む」は教育としては
>>有害ではなかろうか。

このレベルの問題に二三日費やして集中することは
例え解けなくても有益であると思う。
正解できればなおさら。

**１３２人目の素数さん** · 2022/12/20(火) 17:35:23.68

メールのやり取りの中でドイツの大学の人に
突然「エレガントである」と褒められた。
やはり「エレガント」という言葉はいいなあ。

**１３２人目の素数さん** · 2022/12/20(火) 23:32:48.94

エレガントで無くていいからとりあえず解け
まず解け
本末転倒をやるな
いい加減止めろこのアホスレ

**１３２人目の素数さん** · 2022/12/21(水) 19:20:00.30

通りすがりです
>>170さんのご意見の通り、
確かに問題を解けないにも関わらずエレガントな解答を求める行為は、本末転倒といわれても仕方ないかと思います

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

例えば、円(ケーキやらピザ)を3等分にする作図問題なら、
お店で見掛けるカット方法が模範解答とするならば、実用性が皆無だとしても他のカット方法を考えることなどが、目的(主旨、趣旨)の一つなのではないでしょうか

**１３２人目の素数さん** · 2022/12/22(木) 00:23:15.57

https://i.imgur.com/nInzk1B.jpg
https://i.imgur.com/PBoRi2h.jpg
https://i.imgur.com/uOWc4SM.jpg
https://i.imgur.com/o2NnROY.jpg
https://i.imgur.com/AhCJn2E.jpg
https://i.imgur.com/7SMDIhl.jpg
https://i.imgur.com/i7aQ3a6.jpg
https://i.imgur.com/MrM0nfL.jpg
https://i.imgur.com/kDLJBHU.jpg
https://i.imgur.com/Z25abqH.jpg
https://i.imgur.com/vApmX8v.jpg
https://i.imgur.com/6lkwaRG.jpg

**１３２人目の素数さん** · 2022/12/22(木) 22:35:17.69

>>169
藤子不二雄作品の「怪物くん」のドラキュラとオオカミ男を足すと
「エレガンスがんすよ」
ってセリフが似合う。

あくまでマンガでおまんがな。

**１３２人目の素数さん** · 2022/12/26(月) 00:37:02.26

https://en.wikipedia.org/wiki/Caenorhabditis_elegans

エレガンスな生物

**１３２人目の素数さん** · 2023/01/02(月) 01:47:14.23

対立する概念としてエレファントな解答というのがあった。

**１３２人目の素数さん** · 2023/01/10(火) 17:20:16.84

今月号の出題2は、ちょっと考えにくいな。

**１３２人目の素数さん** · 2023/01/26(木) 09:26:53.60

面白い問題
手ごろ感もある

**１３２人目の素数さん** · 2023/01/29(日) 21:12:23.03

ある体系で命題に対する証明が存在するときに、その証明の記述の長さが最も短い
証明を求めることは，たぶん困難な問題に違いない。
たとえば1つの証明が既に得られていてその長さがNであるとき、
最小の長さの証明を見つける計算量というのはN-Pなのではないか？

**１３２人目の素数さん** · 2023/01/29(日) 21:15:32.10

言ってみただけ

**１３２人目の素数さん** · 2023/01/30(月) 12:58:00.20

age

**１３２人目の素数さん** · 2023/02/11(土) 00:50:45.91

幾何多杉

**１３２人目の素数さん** · 2023/02/13(月) 02:28:13.85

問題投下（良かったら解いてみてくれ）

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

**１３２人目の素数さん** · 2023/02/13(月) 02:31:18.57

条件(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がとなることがいえる。

ちょっと考えただけだが、これだけ見つかった。

**１３２人目の素数さん** · 2023/02/13(月) 02:36:22.99

あまりエレ解関連の投稿がないので、試しに問題を作ってみました。
皆さんに関心を持っていただければ嬉しいのですが、一応1か月くらい
見てみます。そのあたりで、自分の解答を投稿します。
(皆さんがこの問題に関心がなかったとしてもw)

**１３２人目の素数さん** · 2023/02/13(月) 03:20:00.22

gcd(16,2n^2-8n+9)=1.

**１３２人目の素数さん** · 2023/03/12(日) 02:31:09.70

>>182の解答編(誰も望んでないかもしれないがw)
https://yufeizhao.com/olympiad/intpoly.pdf
2ページ目のTheorem３を用いる。
「整数係数の多項式
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)すべてみたすことをいう。

**１３２人目の素数さん** · 2023/03/12(日) 02:32:17.61

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)は一次式の因数を持たない。

**１３２人目の素数さん** · 2023/03/12(日) 02:33:56.75

>>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)すべてみたすことがいえた。

**１３２人目の素数さん** · 2023/03/13(月) 11:10:04.92

今月号にζ氏が記事を書いてるぞ

**１３２人目の素数さん** · 2023/03/15(水) 01:59:15.52

Shin-ichiro Seki@integers_blog
数学セミナーのζ氏の記事をちゃんと読みました。
私の語彙力ではこの感情を言葉にはできません。
この文章から発せられる凄まじい何かは私の涙に変換されました。

**１３２人目の素数さん** · 2023/03/15(水) 15:08:02.62

えー読んでみよ
素性はどういう方なの？医者？

**１３２人目の素数さん** · 2023/03/17(金) 14:49:15.21

自分も気になるわ
ζ氏は界隈だと正体知られてるとかではないの？

**１３２人目の素数さん** · 2023/03/17(金) 15:56:00.65

4月からの案内来た

**１３２人目の素数さん** · 2023/03/17(金) 15:57:22.58

失礼誤爆

**１３２人目の素数さん** · 2023/04/01(土) 06:37:52.51

ζ氏のインタビュー記事を読んで驚いた
今月号を買ってよかったと思った

**１３２人目の素数さん** · 2023/04/01(土) 15:18:32.79

ζ氏に親近感
エレガントな仲間は皆同じ思いを持って解いてるんじゃないかなと思わされた

**１３２人目の素数さん** · 2023/04/18(火) 18:23:35.82

エレガント：　えっ　れすなの　ガンだなんて　時計ドライバーまら

**１３２人目の素数さん** · 2023/05/19(金) 20:42:06.00

今月号のZsigmondyの定理だが、書き方が嫌。
a+1が2のべき乗かつn=2の場合が嫌だったんだろうけど・・・。

**１３２人目の素数さん** · 2023/05/21(日) 09:33:44.42

簡単な証明を求む。
素朴な証明を求む。
優美な証明を求む。
短い証明を求む。
面白い証明を求む。
簡潔な証明を求む。
見事な証明を求む。
アロガントな証明を求む。
イグノラントな証明を求む。
。。。

**１３２人目の素数さん** · 2023/05/29(月) 02:33:42.17

6月号の正解者の中にクスコ先生が