面白い問題おしえて～な 26問目

**１３２人目の素数さん** · 2018/06/24(日) 23:13:08.47

>>721
ありがとうございました。
「 a≦n 」という条件を見落としてました。

**１３２人目の素数さん** · 2018/06/25(月) 05:53:45.42

>>670 >>680 >>684 >>717

面白い問題でした。最後はチェビシェフの不等式
　 Σ(乱順序積) ≧ Σ(逆順序積)
で決まりですね。

**１３２人目の素数さん** · 2018/06/26(火) 01:16:11.00

別スレでプロの数学者でもパズル系は苦手とする人もという話題がでてたのでちなんだ問題を。
Peter Winklerの数学パズルの本に載ってた問題、曰く、"Conway Immobilizer"。

----
１，２，３と表面に書かれたカードが１枚づつ、計３枚のカードとカードの山をおける三ヶ所の場所A、B、Cがある。
三ヶ所それぞれにカードを分けて表面を上にして山を作り配置した状態を考える。
たとえばAに下から順に１，２をおき、Bに３をおき、Cには何も置かないなどである。
あなたの仕事は機械をプログラムしてAの山に上から順に１，２，３という順でカードが置かれている状態（終了状態とよぶ）に移行させることである。
機械にできることは山の一番上に乗っているカードの数字を読み取り、その数字の組み合わせのみに応じていずれかの山の一番上のカードを別の山の一番上に乗せ変えることだけである。
機械には状態を記憶する能力はなく、常にその時の各山の一番上に見えているカードの組み合わせのみに応じてしか次に行う操作を決めることしかできない。
たとえば先の例の状態であれば各山に見えているカードはA:２、B:３、C:空であり、この状態においてあなたは例えば機械にA→CやB→Aのような形で行う操作を指定できる。
無論C→Aなどは指定できない。
山の見えている最上面の状態は２３通りあり得るので、あらかじめその２３通りそれぞれに対して可能な操作を一つずつ指定しておいて、いかなる状態からスタートしても機械が自動的に最終的に終了状態に到達できるようにしてほしい。
なお、機械は終了状態になれば自動的に終了する装置がついているので、操作を終了させる条件について考慮する必要はないとする。
----

このパズル問題を出題された著名な数学者 JOHN CONWAY が６時間（だったかな？）考え込んで思考の泥沼にはまってしまったという逸話つきの問題です。
ネットで検索すれば解答は出てくるとは思いますがよかったら考えてみて下さい。

**１３２人目の素数さん** · 2018/06/26(火) 03:10:01.84

>>724
なぜ23通り？
１つ見えている：3通り
２つ見えている：18通り
３つ見えている：6通り
で、計27通りではないの？
何か問題文読み間違ってる？

**１３２人目の素数さん** · 2018/06/26(火) 03:18:10.71

>>725
失礼しました。
１枚見えてる：３（＝どのカードが見えてるか）×３（＝どの山に見えてるか）＝９
２枚見えてる：３（＝どのカードが見えてるか）×６（＝どの山に見えてるか）＝１８
３枚見えてる：１（＝どのカードが見えてるか）×６（＝どの山に見えてるか）＝６
です。
多分正しく解釈されてると思います。

**１３２人目の素数さん** · 2018/06/26(火) 04:59:43.99

>>726
では、例えばこんな感じ？

左から順にＡ，Ｂ，Ｃとする。ただし、Ａの左隣はＣ，Ｃの右隣はＡと解釈する。
この設定で、以下のルールで処理すればよい。
(1) １枚のみ見えているときは、その１枚を左隣に移動する
(2) ３枚とも見えているときは、２のカードを左隣に移動する
(3) ２枚のみ見えているときは、２空１の場合を除き、
　　空いている場所の右隣のカードを空いている場所に移動する
(4) ２空１の場合、Ｃ→Ａ

(3)の例外と(4)がなければ、すべてのパターンから同じ無限ループに収束するが、
(4)のルールがループを切って、ゴールへの道が見える。
(4)のルールで分岐するケースは３の場所により２通りあるが、
どちらにせよゴールにたどり着く。

**１３２人目の素数さん** · 2018/06/26(火) 05:20:21.23

まあ、(1)のルールは、見えているカードをどこに移動しても構わないのだけど。

**１３２人目の素数さん** · 2018/06/26(火) 12:36:03.50

>>727

正解のようです。
http://codepad.org/BGh67AnT
この手の問題は結局コード組んでみないと正解かどうかわからないので組んでみました。
かなり遅いですが実用上問題なしということで。
可読性優先。

では発展でカードの枚数が n ではどうでしょうか？

**１３２人目の素数さん** · 2018/06/26(火) 14:21:00.09

>>727 >>729
ちょっと “プログラム” っぽく書き換えました。

http://codepad.org/d8BCopy3

>>727さんのルールが見えやすくなったと思います。
シンプルなルールでよいですね。

**１３２人目の素数さん** · 2018/06/26(火) 23:01:40.88

>>717
これもおながいします。

〔問題602〕
正整数nと、1より大きい正の実数xに対し、
　Σ(k=1,n) {kx}/[kx] < Σ(k=1,n) 1/(2k-1)
{x} = x - [x] を表し、[x] はxを超えない最大の整数を表すものとする。

不等式スレ９ - 602

**１３２人目の素数さん** · 2018/06/30(土) 12:49:32.17

xyz座標空間上の曲面P:z=x^2-y^2について
P上の二点を結ぶP上の曲線で長さが最短となるものはただ一つのみであることを示せ

**１３２人目の素数さん** · 2018/07/01(日) 05:28:33.10

>>731
でけたかも。
x>0においてf(x) = Σ(k=1,n) {kx+k}/[kx+k] ,g(x) = lim[e→+0] f(x-e) とおく。
このとき
g(x) = (kx+1+[-kx])/(k-1-[-kx])
である。
またf(x)≦g(x)で等号が成立するのはf(x)の連続点のみである。
さらに与式の右辺はg(1)に一致する。
よってg(x)がx=1においてまたその点においてのみ最大値を持つことを示せば良い。
またg(x)は右連続で連続点において単調増大だから1でない不連続点xにおいてg(x) < g(1)を示せば良い。
またg(x+1)<g(x)から0<x<1として良い。
よって0<b<a≦nである自然数a,bをもちいてx=b/aとおける。
r(k) = a[-bk/a] + bkとおくとき
g(b/a) = Σ(k=1,n) (a-r(k))/((a+b)k - (a-r(k)))
となる。
[-bn]≦c≦[-b]であるcを固定し[-bk]=cであるkの全体をl,l+1,…,mとおく。
l≦k≦mにおいてr(k) = px+qとなるp,qがとれる。
d(x) = 1/(2x-1) - (px+q)((a+b)k-(px+q))
とおく。
l,mのとり方からpl+q≦b, pm+q≦aがわかるから特にD((l+m)/2)≧0がわかる。
さらにl≦x≦mにおいてd(x)は単調減少、下に凸より任意のl≦m'≦mに対して
Σ(k=1,m') (a-r(k))/((a+b)k - (a-r(k)))≧0
がわかる。
等号が成立するにはl=m, pl+q = b,pm+q=aのすべてが成立しなければならないがb<aによりそれは不可である。

**１３２人目の素数さん** · 2018/07/03(火) 11:56:14.38

y年の大会では
　y≡2　(mod 8) のとき、1次リーグを2位で通過するもベスト16止まり
　y≡-2　(mod 8) のとき、1次リーグで敗退
という経験則がある。これを確率論で説明できるか？

**１３２人目の素数さん** · 2018/07/03(火) 14:23:52.46

>>732
ガウス・ボネの定理を認めるとあっさり解けますね。
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%82%A6%E3%82%B9%E3%83%BB%E3%83%9C%E3%83%8D%E3%81%AE%E5%AE%9A%E7%90%86
Pが測地２角形Mを持つとする。
Mの角∠A,∠Bはいずれも∠A,∠B<π。
z=x^2-y^2上の点(a,b,c)においてx=a,y=bでの切断の曲率が異符号だからガウス曲率Kは負。
∂Mは測地線からなるから∫[∂D]k_g=0。
よって
∫[D]KdA + ∫[∂D]k_g < ∠A + ∠B < 2π。
一方でMは一点とホモトピー同値だから
χ(M) = χ(pt) = 1。
よって
2πχ(M) = 2π。
以上はガウス・ボネの定理
∫[D]KdA + ∫[∂D]k_g = 2πχ(M)
に反する。

………ガウス・ボネの定理勉強せねばww

**１３２人目の素数さん** · 2018/07/04(水) 00:21:08.37

>>735
すごい正解
まさにこの定理を使ってほしかった

**１３２人目の素数さん** · 2018/07/05(木) 02:16:53.46

>>714

> 引き分けが1/3というのが妥当かも不明だし、

ワールドカップの892試合では、勝負あり 694、引分け 198 (22.2%) です。

日本代表の関係する21試合では、勝ち 5、負け 11、引分け 5 (23.8%) です。

**１３２人目の素数さん** · 2018/07/05(木) 02:24:34.45

>>737

http://www.worldfootball.net/alltime_table/wm/
のデータをエクセルに貼付けて SUM() を計算。なお、日本代表は #30

**１３２人目の素数さん** · 2018/07/05(木) 08:14:29.40

xyz座標空間上の曲面Q：z^2 = x^2 - y^2 -1について
　Q上の二点を結ぶQ上の曲線で長さが最短となるものが唯一つでない場合があることを示せ。

　K=0 らしい

**１３２人目の素数さん** · 2018/07/05(木) 13:41:31.03

>>739
これはまともに測地線求めるしかなさそうな……

**１３２人目の素数さん** · 2018/07/05(木) 15:50:30.03

>>739
z^2 = x^2 - y^2 -1を整理するとy^2+z^2 = x^2-1
これはx≧1の部分とx≦-1の部分に分かれる二葉双曲面

a>1として
x≧1の部分に２点A(a,√(a^2-1),0)，B((a,-√(a^2-1),0)をとる。
Qのz=0による断面に沿った曲線ABの長さをL_1
Qのz=a-xによる断面に沿った曲線ABの長さをL_2とすると、
lim_{a→∞}(L_1/a) = 2√2 = 2.828…
lim_{a→∞}(L_2/a) = √3+(1/√2)log(√2+√3) = 2.5425…

lim_{a→∞}(L_1/a) > lim_{a→∞}(L_2/a)より
あるaが存在してL_1 > L_2となる。
よって、そのようなaについては、L_1はQ上でABを結ぶ曲線の長さの最小値ではなく、
最小となる経路はQのz=0による断面以外の場所を通る。
その最小の経路の１つをCとすると、Cはz=0上にないので、z=0に対してCと対称な曲線をC'とすると
C'はCと異なるもう１つの最小経路となる。

lim_{a→∞}(L_2/a)の計算が少し不安…

**１３２人目の素数さん** · 2018/07/05(木) 15:56:41.37

>>739
ところでK=0って何の話？

**１３２人目の素数さん** · 2018/07/05(木) 16:18:09.19

>>741
x^2 = y^2+z^2+1のx=aに沿うAB間の距離はπ√(a^2-1)じゃないの？
切り口は半径=√(a^2-1)の円だから。
aで割って極限とってπ>2√2なのでこのルートはすてた。
もっと漸近線のなす角が小さければいけそうなんだけど。

**１３２人目の素数さん** · 2018/07/05(木) 16:21:57.29

あ、ごめん。x=aでなくてx+z=aか。すこし斜めにとるのね。
なるほど。ならL_2の計算は難しそうww
信じることとしよう！！

**１３２人目の素数さん** · 2018/07/05(木) 16:36:58.34

lim_{a→∞}(L_1/a)やlim_{a→∞}(L_2/a)の計算は実はそんなに真面目にやらなくても
Qを1/aに縮小した図形はa→∞とすると円錐面y^2+z^2=x^2に近づくので
それで計算しても多分大丈夫。
そうすると、lim_{a→∞}(L_1/a)=2√2は何も計算しなくてもわかるし、
lim_{a→∞}(L_1/a)については
放物線 x=(1+y^2)/2 かつ z=(1-y-2)/2 の -1≦y≦1 の長さ
∫_{-1～1}√(2y^2+1)dyとして求まる。

そのままやっても出来ない計算ではないがちょっと大変。

**１３２人目の素数さん** · 2018/07/05(木) 16:38:25.37

>>745
あ、まちがった
　　lim_{a→∞}(L_1/a)については
のところは
　　lim_{a→∞}(L_2/a)については
に修正

**１３２人目の素数さん** · 2018/07/05(木) 16:41:23.15

>>744
すこし斜め、というより、断面が放物線になるようにとっているので
そんなに無茶な計算をしているわけではないです。

**１３２人目の素数さん** · 2018/07/05(木) 17:39:19.05

某映画より（全編を観たわけではない）

表裏のある有限枚のカードが横一列に並んでいる。
「表面を向いているカードを選んでひっくり返し、その右隣のカードもひっくり返す」という操作をくり返す。
この操作はいつか終了する（高々有限回しか行えない）ことを示せ。

**１３２人目の素数さん** · 2018/07/05(木) 17:45:54.86

一番右のカードに１
右から2番目のカードに２
．．．
右からn番目のカードに２^(n-1)
というポイントを与える。
表になっているカードの合計を、．．．以下略

**１３２人目の素数さん** · 2018/07/05(木) 17:59:52.69

>>748
カードが1枚のときは自明。
カードがn枚のとき正しいとしてn+1枚のときを考える。
n枚のときに可能な操作の最大回数をNとする。
2N回+1回やっても全裏にならないと仮定する。
一番右カードは２回連続選べないので最初の2N回で一番右のカード以外を選択した回数は少なくともN回。
よってこの時点で裏裏裏…裏裏か裏裏裏…裏裏。
あと一回はできないと駄目だから前者。
しかしその最後の一回で全裏。矛盾。

で桶？

**１３２人目の素数さん** · 2018/07/05(木) 18:00:34.58

>>749
かぶった。そしてそちらの方が美しい。orz

**１３２人目の素数さん** · 2018/07/05(木) 18:42:42.13

映画では>>749の方法を取っていた（2進数で狭義単調減少）
高々2^n-1回の操作（出来るか解らないが全て111…1から1ずつ減少した場合）で成し遂げられる(>>750)

黒板での実演
https://www.youtube.com/watch?v=mYAahN1G8Y8

**１３２人目の素数さん** · 2018/07/05(木) 19:00:01.42

右からａ枚目にａを与えて表のカードの合計を考えればｎ枚のカードなら最大ｎ（ｎ＋１）／２回で終わる。
最大になるのはすべて表から始めて右が表じゃないカードを選び続けた場合。

**１３２人目の素数さん** · 2018/07/06(金) 01:29:11.26

長方形のテーブルに同じ大きさのｎ枚のコインが並べられています。
隙間はありますが重心をテーブル上からはみ出させないようにもう一枚コインを置こうとするといずれかのコインに重なってしまうとします。
さてこのとき、テーブルからすべてのコインを取り除き、改めて４ｎ枚のコインをうまく並べ直せばテーブル全体を覆い尽くせる事を示して下さい。

**１３２人目の素数さん** · 2018/07/06(金) 09:42:24.03

>>754
コインの半径をrとする。

もう１枚のコインの重心（中心）をテーブル上のどの点に置こうとしても
他のいずれかのコインと重なるので、テーブル上の任意の地点は、
いずれかのコインの中心から距離2r以内にある。
したがって、今置いてあるコインを全て（中心の位置は変えずに）
半径2rのサイズの円盤に置き換えると、テーブル上の全ての点は
その円盤で被覆される。

テーブルの長方形がn枚の半径2rの円盤で被覆された図を1/2に縮小すると、
テーブルの縦横半分のサイズの長方形がn枚の半径rの円盤で被覆された図となるので、
あらためてテーブルを４分割して、各パーツをその図と同様の配置でn枚ずつのコインで
覆えばよい。

**１３２人目の素数さん** · 2018/07/06(金) 12:37:14.13

>>741
これって最小となる経路が少なくとも1つは存在することを証明しないとなんじゃないの？

**１３２人目の素数さん** · 2018/07/06(金) 16:30:41.30

>>755
素晴らしい！正解‼︎

**１３２人目の素数さん** · 2018/07/06(金) 17:39:11.01

半径１のサッカーボールの黒い部分の面積は？

**１３２人目の素数さん** · 2018/07/06(金) 19:16:43.11

あ、計算間違いした。
>>758は逆三角関数使わないと答え出ないですね。
あまり面白くないかも。

**１３２人目の素数さん** · 2018/07/07(土) 00:13:12.37

>>758撤回します。どえらい値になる。
参考までに
c:(1+√5)/2
としてA(1,0,c), B(c,-1,0),C(c,1,0)は原点が重心の正２０面体のある面の３頂点。
AB,ACを1:2に内分する点をX,YとしてOA,OX,OYと単位球の交点をa,x,yとするとaxyを結ぶ球面三角形△axyは黒い部分の1/100。
∠xay = 2π/5、∠axy = ∠ayx = θとして△axyの面積は2π/5+2θ-π。
あとはθだけど

θ=acos(((sqrt(5)+1)^2/27+(2*((sqrt(5)+1)/2+2))/27)/(sqrt((4*((sqrt(5)+1)/2+2)^2)/81+(4*(sqrt(5)+1)^2)/81)*sqrt((((sqrt(5)+1)*((sqrt(5)+1)/2+2))/6－(sqrt(5)+1)/3)^2+(sqrt(5)+1)^2/36+1/9)))

….orz

イナ ◆/7jUdUKiSM · 2018/07/07(土) 02:27:38.43

>>758
半径1のサッカーボールの表面積は4π･1^2=4π
黒い部分一枚の面積:B
白い部分一枚の面積:W
とおくと、
12B+20W=4π――①
五角形および六角形の一辺をrとすると、
B=r^2･{√(25+10√5)}/4
W=r^2･(3√3)/2
BとWの値を①に代入すると、
3√(25+10√5)r^2+30√3･r^2=4π
r^2=4π/3{√(25+10√5)+10√3}
黒い部分の面積は、
12B=3r^2･{√(25+10√5)}
=4π√(25+10√5)/{√(25+10√5)+10√3}

通分はあるいは必要かと。

**１３２人目の素数さん** · 2018/07/07(土) 02:32:14.98

>>761
何勝手に問題よみかえてんの？球面三角形の面積の出し方わかってる？

イナ ◆/7jUdUKiSM · 2018/07/07(土) 03:27:26.25

前>>761
=86.4806266/24.2024177
≒3.57322263

黒い部分の面積には丸みがあって、一辺rの正五角形の面積を求めるやり方はおかしいと感じるが、正六角形にも同様に丸みがあり、表面積4πに対する黒い部分と白い部分の割合は球と三十二面体とでそんな変わらないと思う。

**１３２人目の素数さん** · 2018/07/07(土) 05:58:50.00

サッカーボールは多面体か
それとも文字通り球か
題意はどっちよ？

**１３２人目の素数さん** · 2018/07/07(土) 06:51:22.31

「そんな変わらない」で数学をやられてもなあ。
いい加減数学には向いてないことに気づいて欲しいものだ。

**１３２人目の素数さん** · 2018/07/07(土) 08:11:54.48

多面体の場合の計算ならこのスレのレベルに合わんでしょ？
ただ球面にすると手計算ではリ～ム～。

**１３２人目の素数さん** · 2018/07/07(土) 10:32:01.90

acos((9-r5)/12).

**１３２人目の素数さん** · 2018/07/07(土) 10:43:39.52

>>763のトンチンカンぶりを見て、
ずっと昔に某所で球のペーパークラフトを自作しようとしていた
Fラン大学生(本人が紹介ページにそう書いてた)を思い出した。

球を8枚だか16枚だかの同じ形のラグビーボール型のパーツに分解して
それを貼り合わせるという、ごく普通の方式。問題なのは、
そのパーツを自作するときにパーツの算出が全くできてなかったこと。
よく覚えてないが、

「パーツを構成する曲線を厳密に表現しようとしたが、自分の力では難しくて立式できない」

みたいな状況だったはず(この時点で失敗することが確定している)。

**１３２人目の素数さん** · 2018/07/07(土) 10:45:47.54

結局その人は、曲線の算出にある種の近似を使って、その人なりに
何とか計算しようとしていた。そして、出てきた積分を眺めて

「この積分を計算すると球の大円の周長が出てくるはずなのだが、数値計算すると合わない」

みたいなこと言ってた記憶がある。曲線の算出に近似を使ってる時点で、
大円の周長からはズレるに決まってるのだが、その人は理解していない。
また、そのことを俺が指摘しても本人は全く納得せず、

「ここに厳密な積分があるのに、大円の周長に一致しないのが納得いかない」

みたいな感じだった。
君が出した厳密な積分はデタラメな曲線に対する厳密な積分であって、
もともとの大円の曲線に対する厳密な積分ではないだろっていうね。

**１３２人目の素数さん** · 2018/07/07(土) 10:48:11.23

で、その近似曲線をもとにしてパーツを自作して貼り合わせたら、
やっぱり球にはならなくて、北極と南極が微妙に尖った、
ラグビーボール型のシロモノになってしまった。本人はそこで

「球になってねーじゃーーーん！」

みたいな愚痴を発して生放送を即座に切っていた。もはやギャグとしか思えない。

学力が低すぎると、自分の意思で選んだ趣味ですら
満足にこなせないんだなってかわいそうになったのを覚えている。

**１３２人目の素数さん** · 2018/07/07(土) 12:58:04.04

イナとかいうクソコテも大概だけどグチグチ言ってるやつも相当きめーな

サッカーボールという図形を数学的に厳密に定義してない以上どうとでも解釈出来るだろ

**１３２人目の素数さん** · 2018/07/07(土) 13:01:21.42

>>756
有界閉集合がコンパクトなら完備リーマン多様体

**１３２人目の素数さん** · 2018/07/07(土) 13:56:16.14

f(x)=x^4-2x^2+6とする。
素数pに対し次の条件(※)を考える。

(※) f(x)≡0 (mod p) は整数解を持たない。

p≦xを満たす素数の数をπ(x)，その中で(※)を満たすものの数をN(x)とする。
lim[x→∞]N(x)/π(x)を求めよ。

**１３２人目の素数さん** · 2018/07/08(日) 11:54:50.48

>>773

f(x) = (xx-1)^2 + 5　だから

(※)　　(xx-1)^2 ≡ -5 (mod p) は整数解をもたない。

(1)　-5が平方非剰余
または
(2)　｛1±√(-5)｝が平方非剰余

(1)　平方剰余の相互法則（と第1補充法則）から
((-5)/p) = ((-1)/p)･(5/p) = (-1)^((p-1)/2)･(p/5)

　p≡1 (mod 4)　かつ　p≡±2 (mod 5)
または
　p≡3 (mod 4)　かつ　p≡±1 (mod 5)
のとき、((-5)/p)=-1 となり、-5 は平方非剰余である。
　p=11,13,17,19,31,37,53,59,71,73,79,97,…

(2) はどうするか

p　　　x　　　　　　　√(-5)
-----------------------------
p=2　 0　　　　　　　　1
p=3 　0　　　　　　　　±1
p=5 　±1　　　　　　　0
p=7 　±2　　　　　　　±3　　　　　
p=23　　±3，±4　　　　±8
p=29　　なし　　　　　　±13
p=41　　±6　　　　　　　±6
p=43　　±11，±15　　　±9
p=47　　なし　　　　　　±18
p=61　　±9　　　　　　　±19
p=67　　±11，±22　　　±14
p=83　　±5　　　　　　　±24
p=89　　±44　　　　　　±23
p=101　　±37，±42　　　±46
p=103　　±24　　　　　　±43

**１３２人目の素数さん** · 2018/07/08(日) 20:46:41.23

考えてくれてる人いるので参考までに実際 mod p での解の個数を数えるプログラム組んでみました。
http://codepad.org/CkKjvyUS
上の方の
#define NPRIMES 3200
#define DEG 4
long coeffs[DEG+1] = {1,0,-2,0,6};
のあたりをいろいろ変えると数値実験できると思います。
この場合の結果は
1998 2 801 0 399

Exited: ExitFailure 10
？？？Exited: ExitFailure 10？？？なにこれ？
C言語よく知らないのでよくわかりませんが、一行目の数値はあっています。
計算量多いのでCでないと苦しいのでやってみましたが素人がやるとだめですね。
対処方法ご存知なら教えて下さい。

次数とか係数とか変えてみるとなんか見えてくるかも。
複２次式からなる４次式は大概これに近い比率になるはずです。
それ以外だと解０個の比率はもう少し減ることが多いはずです。

**１３２人目の素数さん** · 2018/07/08(日) 21:01:06.63

わかった！exit(0);で明示的に終わらないとダメみたいですね。
http://codepad.org/kzgDsy5v

**１３２人目の素数さん** · 2018/07/08(日) 23:31:55.79

>>774
　7以上の奇素数について

p≡1 (mod 4)，p≡±2 (mod 5)　　(13,17,37,53,73,97,…)
p≡3 (mod 4)，p≡±1 (mod 5)　　(11,19,31,59,71,…)
のとき、-5 は平方非剰余

p≡1 (mod 4)，p≡±1 (mod 5)　　(29,61,89,101,…)
p≡3 (mod 4)，p≡±2 (mod 5)　　(7,23,67,83,103,…)
のとき、-5 は平方剰余

(1)　-5 が平方非剰余となるpの割合は 1/2 に近いかな（?)

(2)　{1±√(-5)｝が平方非剰余となるpの割合は？

x　　π(x)　　N(x)
-----------------
2　　1　　　1　　
3　　2　　　2
5　　3　　　3
7 　　4　　　4
11　　5　　　4
13　　6　　　4
17　　7　　　4
19　　8　　　4
23　　9　　　5
29　　10　　　5
31　　11　　　5
37　　12　　　5
41　　13　　　6
43　　14　　　7
47　　15　　　7
53　　16　　　7
59　　17　　　7
61　　18　　　8
67　　19　　　9
71　　20　　　9
73　　21　　　9
79　　22　　　9
83　　23　　　10
89　　24　　　11
97　　25　　　11　　　
101　　26　　　12
103　　27　　　13

**１３２人目の素数さん** · 2018/07/09(月) 15:28:48.27

２つほど投稿。前者は息抜き程度、後者は自分ではまだ未解決なのでどなたか一緒に考えていただけたら嬉しいです

(1)qを正の奇数とする。この時、nがどんな整数であっても、qと互いに素な整数a,bを適切に定めることで a+b≡n (mod q) を成り立たせることは可能か。

(2)ユークリッド平面R^2の部分集合Aであって、どんな直線との共通部分も二点集合になるようなものは存在するか。

**１３２人目の素数さん** · 2018/07/09(月) 19:07:23.34

>>778 の(2)ですが、有限体で同じことはF_2以外不可能であることが以下の通りわかっています：
A⊂(F_q)^2 が条件を満たすとすると |A|=2qでなければならないから、
Aから異なる二点を選ぶ選び方は q(2q-1) 通り。
一方、(F_q)^2 上の直線は q(q+1) 本。
両者には自然な全単射が存在することから q=2 でなければならない。

**１３２人目の素数さん** · 2018/07/10(火) 11:30:55.37

>>763

正20面体の外接球の半径Roは
　Ro = (1/4)√(10+2√5)･(辺長)
　　 = 0.9510565163・(辺長)

各辺を長さ r：r'：r に3分割して、両側を捨てる。(切頂20面体)
正六角形が残るように３等分すると（r=r')
　Ro = 0.9510565163・(2r+r')
　　 = 2.8531695489 r
このときの外接球の半径Rは
　R = √{(Ro)^2 -r(r+r')}
　　= 2.478018659 r

R=1　とおくと　r = 0.4035482123

12B = 3√(25+10√5)・rr = 20.6457288 rr ≒ 3.36218088

**１３２人目の素数さん** · 2018/07/10(火) 12:22:30.13

>>780

フラーレン(Ｃ_60)分子では
　r = 0.1455 nm(2)，0.1458 nm，0.1464 nm
　r' = 0.1384 nm，0.1385 nm，0.1388 nm(1)，0.1391 nm(2)
　R = 0.355 nm
らしい。

(1)　J.M.Hawkins et al.: Science, ２５２, p.312-313 (1991)
　　　　"Crystal structure of Osmylated C_60：confirmation of the soccer ball framework"

(2)　W.F.David et al.: Nature, ３５３, p.147-149 (1991)
　　　　"Crystal structure and bonding of ordered C_60"

**１３２人目の素数さん** · 2018/07/10(火) 17:28:53.54

昔、何かの記事で読んだんだが、何に載っていたのかが思い出せないし、証明も覚えていない。

「素数の累乗で、n ! + k (n, kは自然数) の形に表わせるものが５つだけだったか存在する」

だれか情報を…

**１３２人目の素数さん** · 2018/07/10(火) 17:39:15.40

nとkに制限ないならなんでもできるやん
2=1!+1
3=1!+2
5=1!+4
‥‥

**１３２人目の素数さん** · 2018/07/10(火) 18:33:12.92

簡単な問題設定の割に難しい問題

長さLの一様な重い棒を、鉛直から角θ傾けて倒す。棒が地面に倒れたときの先端の速さを求めよ。
棒の根本は地面との摩擦によって動かないとする。

地面が滑らかな場合はどうか？

**１３２人目の素数さん** · 2018/07/10(火) 18:41:25.72

階乗で検索>階乗 - Wikipedia>ブロカールの問題

**１３２人目の素数さん** · 2018/07/10(火) 23:10:21.90

n^2+n+1は3で割って2余る数を約数としないことを示せ。

**１３２人目の素数さん** · 2018/07/11(水) 00:19:16.07

(m / p) を平方剰余記号として奇素数pに対し

(2n+1)^2+3≡0 (mod p)
⇒(-3 / p) = 1
⇒(p / 3) = 1
⇒p ≡ 1 (mod 3)

**１３２人目の素数さん** · 2018/07/11(水) 04:46:20.24

>>786
p=2 に対し
n(n+1) + 1≠ 0　(mod 2)
∴ 2を約数としない。

**１３２人目の素数さん** · 2018/07/11(水) 06:42:33.69

>>780

球の中心～六角形の中心の距離（垂線の長さ）
　{(3+√5)/(4√3)}(2r+r') = 0.794654472291766 Ro

球の中心～正五角形の中心の距離（垂線の長さ）
　Ro - {1/√(φ√5)}r = Ro - 0.5257311121191336 r,

r'/r = (1/2){√(3 + 6/√5) - 1} = 0.6919817084376
のとき、これらは一致し、
内接球の半径　2.03449563343785 r

**１３２人目の素数さん** · 2018/07/11(水) 07:21:29.64

>>784

・根本が動かないとき
(1/2)Iω^2 = (1/2)MgL(cosθ-cosφ),
I は端点のまわりの慣性モーメントで、I = (1/3)ML^2,
v_S = ωL,
v_S(90ﾟ) = √(3gLcosθ),

・地面が滑らかな場合
(1/2)I’ω^2 + (1/2)M(v_G)^2 = (1/2)MgL(cosθ-cosφ),
I’は中心のまわりの慣性モーメントで、I’= (1/12)ML^2
φ=90ﾟのとき、v_S = 2v_G = ωL,
v_S(90ﾟ) = √(3gLcosθ),

**１３２人目の素数さん** · 2018/07/11(水) 08:00:21.98

>>780 >>789

r'/r = (1/2){√(3+6/√5) -1} = 0.6919817084376 のとき

内接球の半径　　 0.794654472291766 Ro
外接球の半径 R = 0.861318645 Ro
比　　　1.0838907666

**１３２人目の素数さん** · 2018/07/11(水) 13:27:42.24

>>773
ヒントです。
というかこれ知らないと多分自力では解けません。
逆にこれ知ってたらあとはチョロチョロ工夫するだけです。
ほんとは以下の定理をさらに発展させた定理もあってそれを使うと一撃で解けるんですが、いい線いってる方針があがっててその方針で進めるなら以下の定理を使うのが筋だと思います。
よかったら挑戦してみて下さい。
-----
Kを代数体、Rをその整数環、vを素イデアル、v∩Z=pZとする。
L/KをGalois拡大、Sをその整数環、wをv=w∩Rを満たすSの素イデアル、F∈Gal((S/w)/(R/v))とする。
このときσ∈Gal(L/K)でσ(v) = vでありσの誘導するGal((S/w)/(R/v))の元がFに一致するものが存在する。
すなわち任意のx∈Sにたいして
σ(x) + w = F(x+w)
を満たすものが存在する。
またL/Kが不分岐のときこのσは唯一存在する。
またw'をv=w'∩Rを満たす他のSの素イデアルとし、同様のσ'を構成するときσとσ'は共役である。
すなわちこの条件をみたすσ∈Gal(L/K)の共役類はvにより一意に定まる。
この共役類をvのFrobenius共役類とよぶ。
-----
Gを有限群とするときGのC値表現ρ:G→GL(n,C)によってtr・ρ:G→Cとかける関数を指標と呼ぶ。
G上の関数fが類関数であるとは同じ共役類に属する元について常に等しい値をとる関数とする。
任意の類関数は指標の線形結合として一意にかける。
----
Kを代数体、Oをその整数環、L/Kを有限次Galois拡大とする。
vをL/Kで分岐しない素イデアル、p(v)をv∩Z=p(v)Zを満たす素数、Fr(v)をvのFrobenius共役類、x0を自明指標とする。
f:Gal(L/K)→Cを任意の類関数として、これを
f = Σ[x]c_x x
と分解するとき次が成立する。

lim[x→∞]Σ[p(v)≦x] f(Fr(v))/π(x) = c_x0

とくにfが自明でない指標のときは左辺は0となる。

**１３２人目の素数さん** · 2018/07/11(水) 13:34:57.73

>>792
π(x) = #{v | p(v) ≦ x }
です。

**１３２人目の素数さん** · 2018/07/11(水) 13:58:00.78

イメージしやすいように例を
K = Q、L=K(i)のときR=Z、S=Z[i]、Gal(L/K)={id,σ}
である。(ただしσは複素共役をとる写像でσ(i) = -i。)
――
v=3Rのとき
w=3Sとなる。
このとき
F(i + w) = i^3 + w = -i + w。
故にこのときはFr(v) = σ。

v=5Rのとき
w=(2+i)Sもしくは(2-i)Sのいずれか。
いずれにせよ、このとき
F(i + w) = i^5 + w = i + w。
故にこのときはFr(v) = id。
――
この例では Fr(v) = id ⇔ p(v)≡1 (mod 4) となります。(L/Qがアーベル拡大ならこのようにp(v)のmod ××の類で定まります。)

**１３２人目の素数さん** · 2018/07/11(水) 19:42:36.04

>>778
(2) は、

ttps://cybozushiki.cybozu.co.jp/articles/m000434.html

の中で全く同じ問題についての記述がある(解答そのものが載っているわけではない)。

記事によると、超限帰納法によって構成的に描けるとあるが、実際には
選択公理＆超限帰納法あるいは選択公理＆超限再帰のテクニックのことを
指していると思われる。

こちらでやってみたところ、確かに構成できたが、濃度・整列集合に関する
マニアックな知識が必要な上に、きちんと書くと面倒くさい。
しかも、超限再帰の知識が無い人には証明が理解できない。
超限再帰のかわりにツォルンの補題で書き直した証明も出来たが、
結局は濃度・整列集合に関するマニアックな知識が必要で
やることがほとんど同じで面倒くさかった。

選択公理を使わずに構成できるかは知らない。

**１３２人目の素数さん** · 2018/07/11(水) 23:13:11.73

なるほど、超限帰納法使うとできるね。
まぁマニアックかな？
全ての直線を連続体濃度の基数でラベルしといてあるラベル番目の直線の番が回ってきたときその直線より前の直線は高々連続体濃度未満しか無い事を利用するのね。
なるほど。
言われたらわかるんだけどなぁ。

**１３２人目の素数さん** · 2018/07/12(木) 01:18:11.20

>>792
F はフロベニウス写像？

**778** · 2018/07/12(木) 02:22:48.22

>>795 >>796
ありがとうごさいます。やはり選択公理が必要になりそうなんですね…
まだ自分では示せていないので、>>796をヒントにして考えてみようと思います。

有理数体のような可算無限な体で同様のことができるかどうかも気になっているのですが、同じ手法で示せるのでしょうか？

**１３２人目の素数さん** · 2018/07/12(木) 03:07:48.58

>>798
できる

**１３２人目の素数さん** · 2018/07/12(木) 12:42:01.87

>>797
Yes!

**１３２人目の素数さん** · 2018/07/12(木) 13:45:35.27

>>800
了解
ちょっと考えてみよう

あと>>792のことが載ってる文献とかある？

**１３２人目の素数さん** · 2018/07/12(木) 16:26:03.85

>>792
森田先生の東大出版の整数論とか
加藤先生の岩波出版の整数論Iとかには載ってると思う。
ただしどっちも証明完全にはのってなかった希ガス。
確実に証明まで含めてのってるのは
Lang の Algebraic number theory。
池原 Winner Landau の定理を使う証明で若干妙な証明だけどのってます。
まぁ森田先生のはLangの訳本に近い。
間違ってるとこもそのままちゃんと間違ってますwww

**１３２人目の素数さん** · 2018/07/12(木) 18:36:36.53

Σ[k=2 to n-1] n!/(n-k)! + n! の値を求めよ

**１３２人目の素数さん** · 2018/07/12(木) 19:51:18.89

>>803
これはムズい。見たことない。答え！とか出てくる？

**１３２人目の素数さん** · 2018/07/12(木) 20:33:04.82

てか
n!(1/(n-2)! + 1/(n-3)! + ... + 1/1! + 1)
=n!(1/0! + 1/1! + ... + 1/(n-2)!)
こんなんもたまらん希ガス。

**１３２人目の素数さん** · 2018/07/12(木) 20:34:18.22

二項定理で微分してみる？

**１３２人目の素数さん** · 2018/07/12(木) 20:57:58.27

>>805
+n!が完全蛇足になるとおかしいから分母にくるでしょ

**１３２人目の素数さん** · 2018/07/12(木) 21:36:53.55

>>807
分母なんぞに来た日には目も当てられんやん。

**１３２人目の素数さん** · 2018/07/12(木) 22:12:02.43

>>803 >>807
分母でやってみた
http://codepad.org/itx6rWET
6 % 7
612 % 325
453800 % 155001
3861634830 % 976314031
481961256261492 % 96969788815873
1054761729394054912664 % 176420776601977522329
9379220392541459116676859552 % 1342977541299460819153297325
6871627232977971685604791983162107670 % 860310167933842952793421619070619213
なんのルールも見えん。
ほんまに解けんのこれ？？？？

**１３２人目の素数さん** · 2018/07/12(木) 22:15:25.17

>>803
ガウス記号使えるなら [e･n!]-n-1 という表示は可能だけど、もしかしてこれが答え？

**１３２人目の素数さん** · 2018/07/12(木) 22:46:37.28

>>810
それか！

**１３２人目の素数さん** · 2018/07/13(金) 00:27:41.14

>>802
サンクス

>>773はのんびり考え中

**778** · 2018/07/13(金) 00:58:20.39

>>778 (2)ですが自己解決しました。ヒントくださった方ありがとうございました。

**１３２人目の素数さん** · 2018/07/13(金) 12:00:38.73

>>803
元ネタは、たまたま書庫で見た数学セミナーの連載記事「算私語録」で、答えは書いてなかったのだ。
続けたまえ！

**１３２人目の素数さん** · 2018/07/13(金) 14:19:55.91

ハゲのくせになまいきだぞ

**１３２人目の素数さん** · 2018/07/14(土) 00:32:30.12

半径1のn次元球D^nの体積はπ^[n/2]/(n/2)!
ただし半整数の階乗は1ずつ減らして1/2までの積
これを帰納法使わず証明して欲しい

**１３２人目の素数さん** · 2018/07/14(土) 02:32:04.17

>>816
半径rのn次元球の体積を　Vn*r^nとすると、
n次元球の表面積は、n*Vn*r^(n-1)　となる事を利用して、
次の積分は、Vnを使って、下のように書くことができる。

I_n=∫・・・∫exp[-(x1^2+x2^2+...+xn^2)]dx1・・・dxn　;　n次元空間全体での積分
=∫[0,∞]exp[-r^2]　n*Vn*r^(n-1)dr
=(n/2)*Vn*∫[0,∞]exp[-y]　y^((n/2)-1)dy
=(n/2)*Vn*Γ(n/2)

一方、I_n=(I_1)^n={∫[-∞,∞]exp(-x^2)dx}^n=(√π)^n　なので　
Vn=π^(n/2)/Γ(n/2+1)
あとはnの偶奇で分け、独自の階乗記号を使って書き下せば完了

**１３２人目の素数さん** · 2018/07/14(土) 03:43:23.92

>>817
この証明のdrって面積素、つまりはハウスドルフ測度のことだよね？だとしたらハウスドルフ測度の定義にはn次元球の体積が必要だから循環論法になるんじゃないの？

**１３２人目の素数さん** · 2018/07/14(土) 03:45:07.12

>>818
ごめんdrは半径か失礼しました
その前段階で表面積分してるよね？

**１３２人目の素数さん** · 2018/07/14(土) 05:21:45.18

>>817
漸化式も使わないではできない？

**１３２人目の素数さん** · 2018/07/14(土) 05:23:31.56

>>817
使ってないか失礼

**１３２人目の素数さん** · 2018/07/14(土) 09:09:04.02

△ABCはAB=3,BC=4,CA=5を満たすとする。
△ABCの外接円をO、内接円をIとする。
異なる3点P,Q,RがO上をPQ,PRがIと接するようにうごくとき、直線QRが通過しない部分の面積を求めよ。

**１３２人目の素数さん** · 2018/07/14(土) 14:38:08.75

>>773
5/8 と出た。自信は無い。

概略を書くと、
α=√(1+√(-5)), β=√(1-√(-5)) とおく。
f(x) の Q 上の最小分解体は L:=Q(α,β)
Gal(L/Q) は位数 8 の二面体群 D_8 に同型。
σ, τ∈Gal(L/Q) をそれぞれ
　σ(α)=β,σ(β)=-α
　τ(α)=β,τ(β)=α
を満たすものとする。

D_8 の既約表現は 5 つ。それらを ρ_0,...,ρ_4 とする。ただし ρ_0 は自明な表現。他は省略。
それぞれの表現に対応する指標を x_0,...,x_4 とおく。

有理素数 p に対し、f(x) を mod p で既約多項式に分解すると
(1) 4 つの 1 次式
(2) 2 つの 1 次式と 1 つの 2 次式
(3) 2 つの 2 次式
(4) 1 つの 4 次式
の 4 通りが考えられる。（式の形から (1次式)*(3次式) はあり得ない）

それぞれに対応する Frobenius 共役類は
(1) {id} (2) {στ,σ^3τ} (3) {σ^2} または {τ,σ^2τ} (4) {σ,σ^3}
整数解を持つのは (1),(2) のとき。
よって、類関数 f を
　f(ζ)=0　(ζ=id,στ,σ^3τ)
　f(ζ)=1　(otherwise)
で定めれば、求める値は
　lim[x→∞]Σ[p≦x] f(Fr(pZ))/π(x)
に一致する。なお、分岐する pZ は高々有限個なので無視できる。多分。

f を x_0,...,x_4 で表すと
　f=(5x_0+x_1+x_2-3x_3-2x_4)/8
が得られたので、>>792の定理より、求める値は 5/8

イナ ◆/7jUdUKiSM · 2018/07/14(土) 15:44:20.32

>>822
△ABCの外接円Oの半径:5/2
△ABCの内接円Iの半径:1
Pが円Oの周上を一回動くときQRは円Iに接しながら円Oの中かつ円Iの外の領域をくまなく動くので、QRが通らない部分は円Iの中と円Oの外である。
(円Iの面積)=π
(円Oの面積)=25π/4
(QRが通る部分の面積)=(円Oの面積)-(円Iの面積)
21π/4

(QRが通らない部分の面積)=∞+π
→∞

**１３２人目の素数さん** · 2018/07/14(土) 16:30:00.48

>>824
ほぼ正解。線分PRではなく直線PRね。
通らない部分は円Iの内部です。
直線QRがIに接して動く事に気付けば２秒で解ける問題でした。

**１３２人目の素数さん** · 2018/07/14(土) 16:47:55.75

難問です.
一般に、環A上の写像φ:A→Aが加法群の準同型であり、Leibniz rule(i.e.,φ(xy)=φ(x)y+xφ(y))を満たす時、φをA上の導分(微分)と云う.
今、A=ℝ[x] (実数体上の一変数多項式環)とする. 此の時、A上の導分φで、φ(ℝ)≠{0}なるものは存在するか？

**１３２人目の素数さん** · 2018/07/14(土) 17:15:23.44

>>826
φ(1) は0ちゃうん？

**１３２人目の素数さん** · 2018/07/14(土) 18:46:36.87

ヒントとしては、先ずℝ上の微分を考えて其れを応用します.

**１３２人目の素数さん** · 2018/07/14(土) 18:47:17.58

ℚの代数閉包までなら自明だから

**１３２人目の素数さん** · 2018/07/14(土) 19:07:11.95

>>827
それはそうw
しかしφは加法群の準同型というだけで環準同型ともℝ-加群の準同型とも限らないのでそれだけでは何も言えないw

**１３２人目の素数さん** · 2018/07/14(土) 21:23:25.61

Kを微分体とします(標数0)
K(x)をその純超越拡大とします
a∈K(x)を固定します

Kの導分DがK(x)上の導分でD(x)=aを満たすように一意拡張されますよね？

**１３２人目の素数さん** · 2018/07/14(土) 21:46:51.85

>>830
ああ、R射であることは要求されてないのね。
一般論はよくしらないけど以下の議論でGrand Field Kは標数0として

― 補題 ―
L/M/Kが拡大体、Mは超越拡大M = K(α)、φ:K→Lが導分のとき任意のx∈Lにたいしてφはφ(α) = xをみたす導分:M→Lに拡張される。

(∵) Σp_iα^i ∈ K[α]に対しては、φ(Σp_iα^i) = Σ( φ(p_i) α^i + i p_i α^(i-1) x ) 定め、p(α),q(α)∈ K[α]に対しては
φ(p(α)/q(α)) = (φ(p(α))q(α) - p(α)φ(q(α)/q(α))) / q(α)^2と定めればよい。
以下煩雑であるが初頭的ゆえ略。

― 補題 ―
L/M/Kが拡大体、Mは単項代数拡大M = K(α)、φ:K→Lが導分のとき任意のx∈Lにたいしてφはφ(α) = xをみたす導分:M→Lに拡張される。

(∵) F(x_0,x_1,…,x_n) ∈ K(x_0,x_1,…,x_n)とβ_1,…,β_nをF(x,β_1,…,β_n)がαの最小多項式となるようにとる。∂F/∂x_i = Fiとして
φ(α) = - ΣF_i(α,β_1,…,β_n)φ(β_i)/F_0(α,β_1,…,β_n)と定めれば良い.
以下煩雑であるが初頭的ゆえ略。

で結局
― 補題 ―
任意の導分 K→L は L→L に拡張される。

からQ[x] → Q[x] ⊂ R ⊂ R(x)の導分φをφ(x)≠0となるように定めておいてからR(x)まで拡張すればよい。

煩雑な計算を回避する方法がありそうでなさそうで………

**１３２人目の素数さん** · 2018/07/14(土) 22:14:40.55

>>823
すばらしい！正解！(ホントいうと f の展開のとこチェックしてませんが信じます。)
まさに期待通りの解答です！！
ちなみに>>792のヒントは>>774さんや>>777さんのカキコをみて後付けで思いついて作ったものです。
後日こちらが用意した解答もあげようと思いますけど……いや、すごい！！！

**１３２人目の素数さん** · 2018/07/14(土) 22:28:26.61

>>828
わざわざAを設定したからにはそれ使って示すことを想定してるんかな
ちょい気になるから書いて

**１３２人目の素数さん** · 2018/07/15(日) 00:06:50.68

書きたまえ

**１３２人目の素数さん** · 2018/07/15(日) 02:16:45.42

今日のことわざ
Ground Field にチャンスは落ちてない。
チャンスは Pitch に落ちている。それを全力で探そう。

**１３２人目の素数さん** · 2018/07/15(日) 09:14:23.66

>>833
お、あってたか。良かった。
>>777の結果が 5/8 にあまり近くなかったのが不安で……
こちらも勉強になった。
ちょうど自分の知識の少し先って感じだったんで楽しかった。

答えを出してから気づいたんだけど、直感的に考えて
　-5 が平方非剰余…1/2 の割合
　-5 が平方剰余かつ 1+√(-5), 1-√(-5) が共に平方非剰余…1/8 の割合
で、合わせて 5/8 っていう結果と一致するのね。

f の展開をチェックをしてないってことは、元々の解答では f の展開を使わないってことですかね。
楽しみです。

**１３２人目の素数さん** · 2018/07/15(日) 23:39:30.12

>>837
もうすでに解答が出てるのであれなんですが参考までに用意していた解答を紹介します。
一般にGal(L/K)の部分集合Sとその特性関数(すなわちf(x) = 1 iff x∈S,f(x) = 0 otherwise)についてf(x)が類関数であるものを取ります。

d = lim[x→∞] #{ p ≦x | Fr(p) ∈ S}

を計算したい、もちろんそれは>>792をみとめれば

f = Σ[x]c_x x

と展開するときのc_x0です。
ここで有限群の表現論から一般の類関数 f について得られる結果

c_x = (f,x) = 1/#G Σ[σ∈G] f(σ)x^(σ) 　(x^ はxの複素共役による指標)

(http://gauss.ms.u-tokyo.ac.jp/lecture/algebra3/representation-theory.pdf)
を用いれば今のfについては

c_x0 = (f,x0) = 1/#G Σ[σ∈G] f(σ)x0^(σ) = #S/#G

が得られます。結局この設定のもとにおいては

----定理( チェボタレフの密度定理)----
lim[x→∞] #{ p ≦x | Fr(p) ∈ S} = #S/#G
https://en.wikipedia.org/wiki/Chebotarev%27s_density_theorem

が得られます。
本文においてはGal(L/K) = D4、(4つの解への作用は４次２面体の４頂点に対するそれと同じ)
Z/pZで解がない⇔Fr(p) ∈ {(1234),(4321),(13)(24),(12)(34),(14)(23)} (= Sとおく）
なので結局

lim[x→∞] #{ p ≦x | Fr(p) ∈ S} = #S/#D4 = 5/8

となります。
別の例f(x) = x^4 - 2x+6の場合にするとガロア群はS_4で
解０個⇔Fr(p) ∈ {(1234)...} ← 9個
解１個⇔Fr(p) ∈ {(123)...} ← ８個
解２個⇔Fr(p) ∈ {(12)...}　 ← 6個
解４個⇔Fr(p) ∈ {e} 　　　 ← 1個
なのでmod pで解を０個、１個、２個、４個もつ比率は

9:8:6:1

となります。
http://codepad.org/c9fnjakx

**１３２人目の素数さん** · 2018/07/15(日) 23:43:37.83

>>816
半径rのn次元球の体積を　Vn*r^nとすると、
n次元球の表面積は、n*Vn*r^(n-1)　となる事を利用して、
次の積分は、Vnを使って、下のように書くことができる。

I_n=∫・・・∫exp[-(x1^2+x2^2+...+xn^2)]dx1・・・dxn　;　n次元空間全体での積分
=∫[0,∞]exp[-r^2]　n*Vn*r^(n-1)dr
=(n/2)*Vn*∫[0,∞]exp[-y]　y^((n/2)-1)dy
=(n/2)*Vn*Γ(n/2)

一方、I_n=(I_1)^n={∫[-∞,∞]exp(-x^2)dx}^n=(√π)^n　なので　
Vn=π^(n/2)/Γ(n/2+1)
あとはnの偶奇で分け、独自の階乗記号を使って書き下せば完了

**１３２人目の素数さん** · 2018/07/16(月) 22:42:48.81

>>838
乙です。
またゆっくり読もうと思います。

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

>>839
Γ(n/2+1)の値を求めるのに漸化式使うんでなくて？

**１３２人目の素数さん** · 2018/07/17(火) 08:14:11.22

問題文読んでから発言してね

**１３２人目の素数さん** · 2018/07/17(火) 10:48:14.93

1はできましたが誘導がわかりません A,B,CがD,E,Fに対応しているのはわかりますが
https://i.imgur.com/Ehih0jr.jpg

**１３２人目の素数さん** · 2018/07/17(火) 22:02:28.41

Peter Winklerのパズル本より
――
３つの非負整数の組(a,b,c)に対して次の操作を考える。

(※) (a,b,c)から２つの数 (x,y) (x≧y)を選び、その２数を(x-y,2y)に置き換える。

この操作を何回か繰り返すことにより３数のいずれかを0にできることを示せ。
――

**１３２人目の素数さん** · 2018/07/18(水) 15:15:11.43

>>844
任意の自然数nは、正の奇数aと非負整数bを用いてn=a*2^bの形でただ１通りに表せる。
このとき自然数nについての関数fをf(n)=bと定義する。
また、問題で与えられた操作を以下操作Xと呼ぶ。

非負整数の組(a,b,c)に対し操作Xを施してもa+b+cの値は不変であるので、
その値をSとおく。

証明の基本方針：まず以下の命題１，２を示す

命題１
a,b,cがいずれも0でないとき、
min(f(a),f(b),f(c))＜f(S)ならば、
操作Xを有限回数繰り返したものを(A,B,C)として
A,B,Cのいずれかを0とするか、min(f(A),f(B),f(C))=f(S)とすることができる。

命題２
a,b,cがいずれも0でなく、
f(a),f(b),f(c)を小さい方から順に並べたものをm,n,lとしてm=f(S)のとき、
操作Xを有限回数繰り返したものを(A,B,C)として
A,B,Cのいずれかを0とするか、
f(A),f(B),f(C)を小さい方から順に並べたものをM,N,LとしてM=f(S)かつN＞nとすることができる。

ここで、S≠0のとき、2^k≦S＜2^(k+1)を満たす非負整数kを考えて、
ある(a,b,c)に対し操作Xを繰り返して3数のいずれかを0にすることができないと仮定すると、
命題１，２より，(a,b,c)に対して操作Xを有限回数繰り返したものを(A,B,C)とし、
f(A),f(B),f(C)を小さい方から順に並べたものをM,N,LとしてN＞kとすることができる。
このときA,B,Cのうちの１つxが x＞Sを満たすこととなり、矛盾。
よって、仮定は誤りであり、
ある(a,b,c)に対し操作Xを繰り返して3数のいずれかを0にすることができる。

以下、命題１，命題２を証明する。

**１３２人目の素数さん** · 2018/07/18(水) 15:56:29.33

>>844
>>845の続き
命題１の証明

以下、a,b,cはいずれも0でなく、(a,b,c)に操作Xを有限回数繰り返しても0は
出現しないものとする。

f(S)=sとおく。
(x,y,z)は(a,b,c)を並べ替えたもので、f(x)≦f(y)≦f(z)、(m,n,l)=(f(x),f(y),f(z))とすると
p,q,rを奇数として
S=p*2^m + q*2^n + r*2^l = (p+q*2^(n-m)+r*2^(l-m))*2^m
ここで、m＜sのとき
m＜nとすると、p+q*2^(n-m)+r*2^(l-m)は奇数なのでf(S)=mとなり、矛盾
m=n=lとしても、やはりp+q*2^(n-m)+r*2^(l-m)は奇数なので矛盾。
よって、m＜sならば必ずm=n＜lとなる。
このとき、x,yを大きい方からx',y'とおくと、
f(x'-y')≧m+1，f(2y')=m+1となるので、
(a,b,c)を１回の操作Xにより(x'-y',2y',z)を並べ替えたものにすることができて、
このときmin(f(x'-y'),f(2y'),f(z))=m+1
このような操作を繰り返すことで、
min(f(a),f(b),f(c))＜sのとき、操作Xをs-min(f(a),f(b),f(c))回繰り返すことで、
操作後の組(A,B,C)についてmin(f(A),f(B),f(C))=sとすることができる。

以上より、操作の途中で0が出現するケースも含め、命題１が示された。

**１３２人目の素数さん** · 2018/07/18(水) 17:17:13.64

>>844
>>845，>>846の続き
補題３
非負整数の非順序対{a,b}について、操作ＹをＹ:{a,b}→{|a-b|,2*min(a,b)}とする。
いま、a,bがいずれも0でなく、M=min(f(a),f(b))，N=max(f(a),f(b))として
N≧M+2とすると、
{a,b}に操作Ｙを有限回施したものを{A,B}として、
min(f(A),f(B))=Mかつmax(f(A),f(B))=N-1とすることができる。

証明：Ｙ：{a,b}→{A,B}として、
a,bがともに0でなく、f(a)≠f(b)、min(f(a),f(b))=mのとき、
A,Bもともに0でなく、f(A)≠f(B)、min(f(A),f(B))=mとなることは容易に示される（略）。
よって、a,bがともに0でなく、f(a)≠f(b)、min(f(a),f(b))=mとなるような{a,b}から始めて、
操作Ｙにより、同じ条件を満たす非負整数の非順序対の列を無限に続けることができる。
一方、操作Ｙは２つの非負整数の和を変えないので、そのような非負整数の非順序対は
有限個しか存在しない。したがって、その列は必ず循環する。
ここで、a,bがともに0でなく、f(a)≠f(b)であるような非負整数の非順序対について、
操作Ｚを、以下のように定義する。
　　a,bを並べ替えたものをx,yとし、f(x)＜f(y)とするとき、Ｚ:{a,b}→{y/2，y/2+x}
このとき、
f(y)≧f(x)+2のとき、f(y/2)=f(y)-1，f(y/2+x)=f(x)より、f(y/2)＞f(y/2+x)=f(x)であり、
f(y)=f(x)+1のとき、f(y/2)=f(x)，f(y/2+x)≧f(x)+1より、f(y/2+x)＞f(y/2)=f(x)となるので、
明らかに操作Ｚは、a,bがともに0でなく、f(a)≠f(b)であるような非負整数の非順序対
の中で閉じた操作Ｙの逆操作となる。
逆操作が存在するため、前述の{a,b}から始まる無限列はその途中のどこから見ても
逆順に辿って出発点まで遡ることができ、循環節には必ず{a,b}が含まれる。

ここで、補題の設定の{a,b}について、Ｚ：{a,b}→{A,B}とすると、{A,B}は{a,b}から始まる
操作Ｙによる無限列の循環節に含まれることになるので、{a,b}から有限回の操作Ｙで
{A,B}にすることができる。このとき，明らかにmin(f(A),f(B))=Mかつmax(f(A),f(B))=N-1を
満たすので、補題３は成立する。

**１３２人目の素数さん** · 2018/07/18(水) 17:44:07.41

>>844
>>845，>>846，>>847の続き
命題２の証明

f(S)=sとおく。
(x,y,z)は(a,b,c)を並べ替えたもので、f(x)≦f(y)≦f(z)、(m,n,l)=(f(x),f(y),f(z))とする。
m=sのとき、s=m＜n≦lまたはs=m=n=lのいずれかとなる。

s=m＜n=lまたはs=m=n=lのとき、
(a,b,c)から１回の操作Ｘで(x,|y-z|,2*min(y,z))とすることができ、
このとき、|y-z|=0となるか、
f(x)=m=s，f(|y-z|)≧n+1＞n，2*min(y,z)=n+1＞nとなる。

s=m＜n＜lのとき、補題３より
{x,z}に対して操作Ｙを有限回繰り返すことで
f(x')=f(x)=m，f(z')=f(z)-1=l-1とすることができる、
すなわち、(a,b,c)に対して操作Ｘを有限回繰り返すことで
f(x')=m，f(y)=n，f(z')=l-1となる(x',y,z')を並べ替えたものにすることができる。
さらに、それを繰り返すことで、
f(x'')=m，f(y)=f(z'')=nとなる(x'',y,z'')を並べ替えたものにすることができる。
そこからさらに１回の操作で(x'',|y-z''|,2*min(y,z''))とすることができ、
このとき、|y-z''|=0となるか、
f(x'')=m=s，f(|y-z''|)≧n+1＞n，2*min(y,z'')=n+1＞nとなる。

以上より、命題２は示された。

**１３２人目の素数さん** · 2018/07/18(水) 22:16:47.18

手順としては
(1) まずmin(f(a),f(b),f(c))=sとなるまで、fの値の小さい2つを対象に操作Ｘを行う
(2) min(f(a),f(b),f(c))=sとなったら、fの値の大きい方から2つが一致してない場合は
　　fの値の一番大きいものと一番小さいものを対象に
　　fの値の大きい方から2つが一致するまで操作Ｘを繰り返す。
(3) fの値の大きい方から2つが一致していたら、
　　その2つを対象に操作Ｘを行う。この結果fの値の上から2番目が1増える。
(4) (2)(3)を繰り返す

この流れのどこかで、必ずa,b,cのいずれかが0になる。

たとえば、
(a,b,c)=(13,42,69)からスタートする。このとき
[f(a),f(b),f(c)]=[0,1,0]であり、
S=a+b+c=124、s=f(S)=2

手順(1)
　(13,42,69)[0,1,0]
→(26,42,56)[1,1,3]
→(52,16,56)[2,4,3]

手順(2)
→(36,32,56)[2,5,3]
→(4,64,56)[2,6,3]
→(8,60,56)[3,2,3]

手順(3)
→(16,60,48)[4,2,4]

手順(3)
→(32,60,32)[5,2,5]

手順(3)
→(64,60,0)[6,2,-]

**１３２人目の素数さん** · 2018/07/18(水) 23:06:36.41

パズル本だからもっとシンプルな証明があるんじゃないの？

**１３２人目の素数さん** · 2018/07/18(水) 23:55:04.71

うむ、そうだな

**１３２人目の素数さん** · 2018/07/18(水) 23:58:33.34

>>843やってくださいお願いします
面白い問題スレなので面白く思えるように問題を言うと、
半径1のリングを空間中に配置する
一辺の長さが十分に長い大立方体のある頂点Xを通る3辺がつねにリングに接するように立方体をゴリゴリ動かすこのときXの通過する面とリング面により囲まれる立体の体積を求めよ

**１３２人目の素数さん** · 2018/07/19(木) 01:32:19.16

>>844 です。>>845 さん。お見事！正解です。もちろん本に載ってる証明はもっと洗練されてますが解答用意する時間とか全然ちがいますからねぇ。
何より人の作ったエレ解より自力の解答です。
以下は本の解答です。
----
補題 (>>847の補題３に相当)
(a,b,c)がa:奇数、b:偶数のとき何回か操作をして(a+b/2,b/2,c)にできる。
(∵) a,bに対して操作を行い得られる列を(a1,b1),(a2,b2),…とする。
ただし(a1,b1)=(a,b)。
ai+biが不変で正の整数だから(ai,bi)=(aj,bj) (i<j)となるi,jがとれる。
iが最小となるものをとる。
i>1とすると操作によって(a(i-1),b(i-1)) → (ai,bi)、(a(j-1),b(j-1)) → (aj,bj)となったこととai+biが奇数であることと、(ai,bi) = (aj,bj)により(a(i-1),b(i-1)) = (a(j-1),b(j-1))となる。
これはiの最小性にはんするからi=1である。
よって(aj,bj)→(a1,b1)と変化したこおｔになるが、このとき(aj,bj) = (a1+b1/2,b1/2)である。□
----
これを用いて示します。
----
(a,b,c)からいかなる操作によっても0が作れないとする。
奇数が２つ以上あればそれに対して操作を行い奇数は１個以下としてよい。
全部偶数ならすべてを2でわってよい。
この作業を繰り返してa:奇数、b,c：偶数としてよい。
操作を繰り返して発生する最大の奇数をMとする。
a=Mとしてよい。
b,cがともに４の倍数でないならb,cに対して操作を行えば４の倍数となるので、bは４の倍数としてよい。
以上の設定ののち補題を適用すれば操作によって(a+b/2,b/2,c)が得られるが、仮定によりa+b/2は奇数。
これはMの最大性に矛盾。□

**１３２人目の素数さん** · 2018/07/19(木) 03:15:34.88

組み合わせ数学面白い
他の問題も見てみたいね

**１３２人目の素数さん** · 2018/07/19(木) 04:41:24.56

うむ、続けたまえ！

**１３２人目の素数さん** · 2018/07/19(木) 06:52:48.44

円Cに内接する四角形PQRSにおいてP,Q,R,SにおけるCの接線を結んで得られる四角形は円に内接している。
このとき四角形PQRSの４辺の中点は同一円周上にあることを示せ。

**１３２人目の素数さん** · 2018/07/19(木) 08:08:18.42

z^4 - 3 \bar{z} z^2 + \bar{z}^2 + 2z = 0 (z∈C) を解け

**１３２人目の素数さん** · 2018/07/19(木) 10:21:43.92

実数解は
z=－sqrt(5)－1/2,z=(sqrt(5)+1)/2,z=2,z=0
みたいだけどこれしかないのかな？

**１３２人目の素数さん** · 2018/07/19(木) 11:28:54.79

この4つしかないっぽいんだけどなぁ。
z≠0としてz'を複素共役として
Z^3-3zz'+z’^2/z+2=0
z=r cisθ としてrを固定してθを動かす。
r>>0 では原点周りを、大きく3回周り、r→+0で2に収束していくからその過程で原点を通る回数は高々3回っぽい。
うーん、しかし厳密には示めせてないなぁ？
輪っかが戻ってくる可能性あるしなぁ？
改めて因数定理の偉大さを感じる。

**１３２人目の素数さん** · 2018/07/19(木) 13:11:57.68

>>857
zの共役をz'とする。

zが実数のときは、z=z'なので、z^4-3z^3+z^2+2z=0、z(z-2)(z^2-z-1)=0より
z=0,2,(1±√5)/2
（>>858はちょっと違う）

zが虚数のときは、与方程式と、それの両辺の共役をとったものを(1)(2)として
(1)+(2)と(1)-(2)の２つの方程式を作る。
(1)-(2)はz-z'でくくれるが、z≠z'なので割って良い。
その結果、2つの左辺が対称式の方程式が得られるので、
z+z'=a，zz'=bとして、a,bについての連立方程式を作り、
それを実数の範囲で解けばよい。
（解けるかどうかはまだやってない）

**１３２人目の素数さん** · 2018/07/19(木) 14:04:13.48

>>860
aについての6次方程式が出てきた。
途中計算に全く自信はないが、
4a^6+12a^5-5a^4-48a^3-24a^2+20a+8=0
とかになったので
Wolfram先生に訊いてみたら実数解は４つ。
それぞれの実数解に対応するa,bのペアからは
それぞれzの虚数解（共役ペア）が得られるようなので、
実数解4つと虚数解8つ？

イナ ◆/7jUdUKiSM · 2018/07/19(木) 14:21:00.04

半径1の円を底面とする半球の表面積は、
π+4π/2=3π

おもしろいですね。

ちょうど球面が円盤の二倍の面積。

イナ ◆/7jUdUKiSM · 2018/07/19(木) 15:08:49.11

三点でしたね。訂正です。前>>862

>>852
半径1の円周上のある点から物体の頂点までの斜辺は、物体が半径1の円の中心の真上に来たとき、
√3/√2
半径1の円の中心からの頂点の高さは、三平方の定理より、
√{(3/2)-1}=1/√2
頂点の通過部分と半径1の円盤とで囲まれる部分の体積は、
(4π/3)(1/√2)(1/2)
=(π√2)/3

**１３２人目の素数さん** · 2018/07/19(木) 16:38:03.49

>>857-861

実根(2つ)
z = (1±√5)/2 = φ，-1/φ

虚数根(12個?)
z = (1+√5)(-1±i√3)/4 = φω，φω~,

z = (1-√5)(-1±i√3)/4 = (-1/φ)ω，(-1/φ)ω~

z = -1±i√3 = 2ω，2ω~

z = -0.7660444431189780352 ± 0.6427876096865393263 ｉ

z = -0.1736481776669303489 ± 0.9848077530122080594 ｉ

z = 0.9396926207859083841 ± 0.34202014332566873304 ｉ

ただし
　φ = (1+√5)/2 = 1.618034
　ω = (-1+i√3)/2 = e^(ｉ(2π/3)),
　ω~ = (-1-i√3)/2 = e^(-ｉ(2π/3)),

**１３２人目の素数さん** · 2018/07/19(木) 16:49:09.07

>>864 訂正

実根（4つ)
z = 0,
z = 2,
z = (1±√5)/2 = φ，-1/φ

**１３２人目の素数さん** · 2018/07/19(木) 16:57:10.91

へぇ、解16個になるのか。
4^2になる事となんか関係あるのかな？

**１３２人目の素数さん** · 2018/07/19(木) 16:59:29.95

なんか日本語変だけど察してチョンマゲ。
zとbar{z}の絡み方から解の個数パッと出せたりするのかな？

**１３２人目の素数さん** · 2018/07/19(木) 17:04:53.01

正n角形の各頂点に実数が配置されている。
負の頂点を選び、その数を辺でつながった2つの頂点に足し、それ自身の符号を反転する
（[…, p, q, r, …] -> […, p+q, -q, r+q, …]）という操作を、負の頂点がなくなるまで行う。

頂点上の数の総和が正である初期状態から始めたとき、次が成り立つことを示してほしい。
１．操作は有限回で終わる。
２．操作の回数は、初期状態のみに依り、途中の負の頂点の選び方に依らない。
３．最終状態も、初期状態のみに依り、途中の負の頂点の選び方に依らない。

また、以上のことは一般の有限グラフに自然に一般化されるが、
どのようなグラフが上記のような性質を持つだろうか？

パズルのようだけど、意外に深い数学につながっている問題です。

**１３２人目の素数さん** · 2018/07/19(木) 17:20:48.38

あれ？Winkler本の？これ答え知ってるからやめとこ。
ちょっと感動するよね。

**１３２人目の素数さん** · 2018/07/19(木) 17:28:32.54

Winklerの本は見たことないけど、>>844を見て思い出したから、書いてみた
ほとんど、ある論文の丸写し

**１３２人目の素数さん** · 2018/07/19(木) 17:37:14.65

正５角形の各頂点の１つずつ整数を割り当て、それら５つの整数の和が正になるようにする.
連続する３個の頂点に割り当てられた整数をそれぞれ x, y, z とする.
このとき y < 0 ならば次の操作を行う
「３つの数 x, y, z をそれぞれ x + y, −y, z + y で置き換える.」
５つの整数のうち少なくとも１つが負である限り、上述の操作を繰り返し実行する.
有限回の操作の後、この手続きが完了するか否か決定せよ.

数学オリンピックに似た問題あるね

**１３２人目の素数さん** · 2018/07/19(木) 18:27:11.49

数オリでも出てるんだ。有名なんやね。この解答は中々感動した。

**１３２人目の素数さん** · 2018/07/19(木) 20:53:20.77

>>868
一般のグラフのときはどういう操作をするんですか？やっぱり真ん中を-1倍して残りに同じ数加えるんですか？
それとも変化量の総和が0になるようにするんですか？

**１３２人目の素数さん** · 2018/07/19(木) 22:17:53.45

>>873
>真ん中を-1倍して残りに同じ数加える
です。そのため、総和が変化します。
また、初期状態の条件もグラフによって違ってきます。
例えば、
・―・―・―・―・
　　　　 |　（下の点は上の中央の点とつながっている）
　　　　・
の場合は、どんな実数を配置しても（総和が正でなくても）有限回の操作で終わります。

**１３２人目の素数さん** · 2018/07/19(木) 22:26:53.44

有限型‥‥なんか二次形式がらみなのか？？？

**１３２人目の素数さん** · 2018/07/19(木) 22:35:52.63

もしかして長さ2の枝が３またに分かれてると総和正からだと有限で終わりで、どこかの枝がも一つ長いと終わらないとかになったりします？

**１３２人目の素数さん** · 2018/07/19(木) 22:59:31.78

∫[0,2π]cos(mx)(cosx-1+2/n)(cosx-1+4/n)…(cosx-1+(2n-2)/n) dx≧0

**１３２人目の素数さん** · 2018/07/20(金) 00:31:50.12

>>874
>真ん中を-1倍して残りに同じ数加える
よく読んだら、なんか変？残り？
ちゃんと書くと、一般のグラフの場合も「負の頂点を選び、その数を辺でつながった各頂点に足し、それ自身の符号を反転する」です。

>>876
すごい。挙げた例から分かっちゃいましたか。専門分野によってはよく見かけるグラフですね。
だいたいあってますが、総和が正という条件は違います。

どんなグラフでも初期状態さえ制限すれば性質を満たすようにできるので、
論文は特別にうまくいくグラフのクラスを挙げるものです。

**１３２人目の素数さん** · 2018/07/20(金) 02:01:25.14

やっぱり >>861 の計算は間違ってた。
正しい６次方程式は
a^6+3a^5-2a^4-12a^3-6a^2+5a+2=0
因数分解すると
(a+2)(a^2+a-1)(a^3-3a-1)=0
これは６つの実数解を持ち
a=-2，(-1±√5)/2，2cos(π/9)，2cos(5π/9)，2cos(7π/9)
(a,b) = (-2,4)，((-1±√5)/2,(3∓√5)/2)，(2cos(π/9),1)，(2cos(5π/9),1)，(2cos(7π/9),1)
ここから出てくる12個の虚数解は、>>864と同じだけど、
後半のものは
cos(π/9)±isin(π/9)，cos(5π/9)±isin(5π/9)，cos(7π/9)±isin(7π/9)
と書ける。

**１３２人目の素数さん** · 2018/07/20(金) 02:17:37.41

>>857
z≠0 に対して
f(z) = z^3 - 3(z~)z + (1/z)(z~)^2 + 2,
とおくと、
f(zω) = f(zω~) = f(z),

3つ組×5個と {0} か？

**１３２人目の素数さん** · 2018/07/20(金) 03:36:25.83

>>864
・実数解（4個）
0，2，φ，-1/φ　……　z(z-2)(zz-z-1)

・虚数解（12個）
φω，φω~　　……　(zz +φz+φ^2)
(-1/φ)ω，(-1/φ)ω~　　……　(zz-(1/φ)z +1/φ^2)
　　　　　　これらの積：(z^4 +z^3 +2zz -z+1)
2ω，2ω~　……　(zz+2z+4)
残りの虚数解（6個）　……　(z^6-z^3+1)

**１３２人目の素数さん** · 2018/07/20(金) 03:59:51.98

>>857
やっと題意が見えた。
以下、zの共役をz'で表す。

z≠0のとき、r=|z|，z=rwとおくと、
w'=1/w，z'=r/w
与式をzで割って
z^3-3z'z+z'^2/z+2=0より
r^3・w^3 + rw'^3 - 3r^2+2 = 0

w^3が実数でないとき，r^3=r　∴ r=1
このとき、w^3 = αとおくと
α + 1/α -1 = 0
α^2 - α + 1 = 0
∴ α = e^(±πi/3)
∴ z = w = e^(±πi/9)，e^(±7πi/9)，e^(±13πi/9)

一方、w^3が実数のとき，w^3=±1

w^3=1のとき，r^3-3r^2+r+2 = 0
r＞0より，r=2,(1+√5)/2
w=1,ω,ω'
z = rw = …

w^3=-1のとき，-r^3-3r^2-r+2 = 0
r＞0より，r=(-1+√5)/2
w=-1,-ω,-ω'
z = rw = …

**１３２人目の素数さん** · 2018/07/20(金) 04:29:19.98

z'z^2とzが、ガウス平面上で0からみて同じ向きにあることに気づいて
4項あるようで実は3方向のベクトルの和が0というようなイメージから入れば
わりとすんなりたどり着いたんだろうな。

**１３２人目の素数さん** · 2018/07/20(金) 07:43:49.38

>>878
う～む、特別にうまくいくクラスはAn、Dn、E6、E7、E8？
long とか short とかの議論混じらないだろうし。
いわゆる “こういうグラフを含む→うまくいかない” となる “こういうグラフ” を列挙しといて
“そういうのを含まないのは××…” 的な攻め方するやつかな。
で、その “こういうグラフ” のリストが Dynkin Diagram 導く場合のやつと一致するんかな？
>>868 の前半は答え知ってるから後半考えてみる。
でも論文レベルの話だと流石に無理かな？

**１３２人目の素数さん** · 2018/07/20(金) 10:39:33.47

グラフ系でもう少しやさしいやつ。

周期n>0の実数列 ‥‥,a[(-1),a(0),a(1),‥‥に対して一斉に
a(i)を[a(I)/2]+[a(i-1)/2]に置き換える。ただし[]はガウス記号。
つまりふたつにわって端数は切り捨て片方を次の人に一斉に渡す。
この操作を有限回行えば定数列になる事を示めせ。

これも例のパズル本の問題です。

**１３２人目の素数さん** · 2018/07/20(金) 12:18:56.91

>>885
グラフで考えるのはよくわからないけど…

k回操作後（初期状態ではk=0）の
１周期の中でのa(i)の最大値をA_k，最小値をB_kとし，C_k=2*[B_k /2]とおく。
さらに、１周期の中でA_kと一致するa(i)の個数をN_kとすると
以下のことが言える。
・A_k≧C_k
・C_{k+1}≧C_k
・A_{k+1}≦A_k（A_kが奇数のときはA_{k+1}＜A_k）
・A_{k+1}=A_kとなるとき、{a(i)}が定数列でない限りN_{k+1}＜N_k
よって、C_kは減ることはなく、{a(i)}が定数列にならない限り
A_kは着実に減っていく（n回以下の操作で1以上減る）が、
A_kはC_kを下回ることはできないので、いつか必ず{a(i)}は（偶数の）定数列となる。

＞・A_{k+1}=A_kとなるとき、{a(i)}が定数列でない限りN_{k+1}＜N_k
のあたりの説明でグラフを使うのかな？

**１３２人目の素数さん** · 2018/07/20(金) 14:27:26.49

>>880-881

F(z) = z(z^3 -8)(z^6 -4z^3 -1)(z^6 -z^3 +1)
　= z(z^3 -8)(z^3 - φ^3)(z^3 + 1/φ^3)(z^3 +ω)(z^3 +ω~)

**１３２人目の素数さん** · 2018/07/20(金) 17:32:04.98

>>886
正解です。グラフはあんまり気にしないでください。
原題が周期列でなく円状に並んだ数列として出題されてただけです。
――本の解答――
必要なら最初の列の全てに同じ偶数を足して全て非負の実数としてよい。2番目の列以降は全て整数の列ゆえ、全て整数の列としてよい。
総和は各項を2で割った後、切り捨てを行なった分発生するが、非負の整数の列だから総和が無限に減少することはない。
よって十分大きい操作の後に現れる列は偶数の列であるので、列に奇数は現れないとしてよい。
よって置き換えはa(i)→a(i)+a(i-1)であるとしてよい。
k番目の列の1項からn項を縦に並べた列ベクトルをvk、Aをn次正方行列でA1nとA(i+1)iが1で残りは0の行列、Iをn次の単位行列とするとき v(k+1) = (1/2)(A + I)vkである。
ζを1の原始n乗根とするときA+Iの固有値は(1+ζ^m)/2の形であり、m=0の時を除いてその絶対値は1未満である。
よってvkはk→∞のときA+Iの1に対する固有ベクトルの定数倍に収束するが、それは全ての成分が同じ値からなるベクトルである。vkは整数値からなるベクトルゆえ主張は示された□

**１３２人目の素数さん** · 2018/07/20(金) 20:10:49.35

>>857のすべての答えを解とするn次方程式を後付けで作っても
意味ないと思うんだよな…
元の問題からなんらかの手続きによりその方程式が得られるという話ならわかるのだが。

**１３２人目の素数さん** · 2018/07/20(金) 23:44:33.17

またまたWinkler本から。囚人と看守のやつです。
----
あなたは他のn人と共にある牢獄に収監されている。
ある日看守からあるゲームに参加することを指示された。
勝てば全員釈放、負ければ全員死刑である。
ゲームの内容は以下のようなものである。
まず看守は秘密裏に囚人に順序付けを行う。
囚人は全員独居房に入れられた後、一人ずつ呼び出され、自分以外のn-1人の並びについて教えられる。
その情報のみに基づいて各囚人は赤か青の帽子を選択できる。
帽子を選択した後、囚人は独居房に戻される。
この作業を全員について行ったのち、囚人全員が集められ、先の決められた順に応じて整列させられる。
その際、囚人のかぶっている帽子の色が赤青交互になっていれば（一人目は赤でも青でもよい）囚人の勝ち、なっていなければ看守の勝ちである。
囚人に許されているのは、このルール説明の後、独居房に移される前に一度だけ全員が集まって選ぶ帽子の色についての取り決めをしておくことだけである。
それ以降には囚人は互いに情報を交換する機会は一切与えられない。
全員が釈放されるための取り決めを考えてほしい。
----
答え見て「へぇ、こんなシンプルな取り決めでうまくいくもんだなぁ」とちょっと感心しました。
取り決め自身はシンプルなんですが、その取り決めでうまくいく部分の証明がややてこずるかもしれません。
一つ解を見つければ正解です。
当方も別解があるのかどうか知りません。

**１３２人目の素数さん** · 2018/07/21(土) 00:02:23.48

>>890
訂正。問題文一行目
×：あなたは他のn人と共にある牢獄に収監されている。
○：あなたは他のn-1人と共にある牢獄に収監されている。

**１３２人目の素数さん** · 2018/07/21(土) 01:14:39.48

>>890
こんな感じ？

あらかじめ全員の仮の並び順（並び順Ａ）を決めておく。
各囚人は、看守に教えられた自分以外の並び順の最後尾に自分がいるような
並び順を考え（並び順Ｂ）、ＡをＢに並べかえる置換が偶置換か奇置換かを調べる。
偶置換なら赤、奇置換なら青をかぶる。

実際にはもう１つ正しい並び順Ｃが存在するので、ＡからＢへの置換は
Ａ→Ｃ→Ｂとみなすことができ、
Ａ→Ｃの置換は固定なので、Ｂ→Ｃの置換、すなわち
正しい並び順から自分自身を最後尾に回す並べ替えが偶置換か奇置換かにより
赤か青かが変わるからくりになっている。

パズルに出てくる囚人はみんな数学が得意だな

**１３２人目の素数さん** · 2018/07/21(土) 03:25:53.00

>>844

ピーター・ウィンクラー「とっておきの数学パズル」日本評論社（2011/July)
　296p．2592円　坂井・岩沢・小副川（訳)
http://www.nippyo.co.jp/shop/book/5638.html
（§4．9の問題が数セミ・エレ解に出題された：2018/Jan/出題1）

ピーター・ウィンクラー「続・とっておきの数学パズル」日本評論社（2012/July)
　256p．2160円
http://www.nippyo.co.jp/shop/book/5955.html

**１３２人目の素数さん** · 2018/07/21(土) 08:16:38.20

>>892
すばらしい！正解です。証明も用意してあった物とほぼ同じです。
看守の順でk番目、(k+1)番目の囚人をとり、Cのk番目の囚人をn番目に回した順列をBk、k+1番めの囚人のそれをB(k+1)とすれば
A→B(k+1)と写す置換hはA→B(k+1)と写す置換gに(k k+1)をつなげたものになるので
sgn(h) = sgn((k k+1) g) = (-1) sgn(g)
となることを利用すればよいというものです。
答え聞くと簡単なんですけどねぇ。

>>893
それです。
なかなか楽しい本です。
おすすめ。

**１３２人目の素数さん** · 2018/07/21(土) 09:21:56.27

>>868
とりあえずグラフがAn、Dn、E6、E7、E8の場合有限回で終わることはわかった。
―-
グラフGが上記のいずれかとする。
点vに対して>>868の操作をする変換をgvとする。
隣接する２点v、wについて(gw・gv)^3 = e、gv^2 = eからこれらの操作のなす群はワイル群の商群。
とくに各頂点に現れうる実数は有限個しかない。
端点に対する変換の回数が有限回しかなければ点数に対する帰納法の仮定に矛盾。
端点に対する変換の回数が無限回であるなら総和は無限に増大するが、各頂点に現れうる実数は有限個しかない事に矛盾。
―
あとは上記でないグラフでないもののうちの極小であるものそれぞれで無限回操作が続きうる事示せばいいはずだけどどんなグラフだったか忘れたorz。

**１３２人目の素数さん** · 2018/07/21(土) 13:06:12.95

整数k,nは 0≦k≦n を満たすとする。
A⊂(Z/2Z)^n が 2|A|>2^k を満たすならば |2A|≧2^k が成り立つことを示せ。
ただし、2A={a+a': a,a'∈A} とする。

**１３２人目の素数さん** · 2018/07/21(土) 13:14:22.58

2Aの定義がステキ

**１３２人目の素数さん** · 2018/07/21(土) 14:12:43.39

{2a|a∈A}ではないところがイイね

**１３２人目の素数さん** · 2018/07/21(土) 14:20:03.71

|A|の定義が分からん。

**１３２人目の素数さん** · 2018/07/21(土) 14:28:27.77

元の個数？

**１３２人目の素数さん** · 2018/07/21(土) 14:39:19.69

面白い問題といえば、和算の本にはいろいろと
面白そうというか難しい問題が掲載されていますよ。
もっともほとんどすべてが円に関する問題ですが。

**１３２人目の素数さん** · 2018/07/21(土) 14:59:08.89

>>896
Fを2元体とする。
Aは0を含むとしてよい。
この時2AはFベクトル空間となる。
|2A|＜2^kとする。
この時dim 2A＜kであるからF^nのベクトル空間の自己同型φをφ(2A)が第k成分以降が全て0の元からなる部分空間Vに含まれるようにとれる。
この時φ(A)もVに含まれるがVの元数は2^(k-1)であるので仮定に反する。

簡単に見えて案外難しい‥‥まぁもっと楽な方法もあるかもだけど。

**１３２人目の素数さん** · 2018/07/21(土) 15:30:02.92

あ、2A加法について閉じてない。orz.

**１３２人目の素数さん** · 2018/07/21(土) 17:13:05.39

>>899 >>900
言い忘れてた、そうです元の個数です

イナ ◆/7jUdUKiSM · 2018/07/21(土) 19:06:13.60

>>901関孝和？
縦9寸、横12寸の直角三角形に内接する同じ大きさの二個の円の直径を求める問題みつけた。
/＿/＿/_人＿/＿/＿/＿
/＿/＿（＿）/＿/＿/＿
/＿/_（＿＿)/＿/＿/＿
/＿/_（(^｡^)/＿/＿/＿
/＿/_（＿っ-┓_/＿/＿
/＿/_◎ﾞ┻υ◎ﾞ/＿/＿
/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/ｷｺｷｺ……/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/＿/なかなかやりおる。

**１３２人目の素数さん** · 2018/07/21(土) 23:30:10.14

>>905

3頂点を O(0,0)　A(0,9)　B(12,0)　とする。
(x,y) と直線ABの距離は (1/5)|36-3x-4y|

P（r，9-2r) を中心とする半径rの円pはOA，ABに接する。
Q（3(4-r)，r) を中心とする半径rの円qはOB，BAに接する
　PQ = 5(3-r),
また、2円p,qが外接する。
　PQ = 2r,
∴ r = 15/7

**１３２人目の素数さん** · 2018/07/21(土) 23:47:24.24

>>905

∴直径は　2r = 30/7

P(15/7, 33/7)　Q(39/7,15/7)

**１３２人目の素数さん** · 2018/07/22(日) 00:11:59.89

>>896
一応できたような気がするが、長い。

以下では、{ a＋a'｜a,a'∈A } のことを A＋A と書くことにする(個人的に 2A と書きたくないので)。
Fを2元体とする。次の定理を示せば十分である。

定理：Vは有限次元のFベクトル空間とする。k≧0 と A⊂V は｜A｜＞2^{k－1}を満たすとする。
このとき、｜A＋A｜≧2^k が成り立つ。

証明：n≧0に関する命題P(n)を以下のように定義する。

P(n)：Vはn次元のFベクトル空間とする。k≧0 と A⊂V は
｜A｜＞2^{k－1}を満たすとする。このとき、｜A＋A｜≧2^k が成り立つ。

任意のn≧0に対してP(n)が真であることを、nに関する数学的帰納法で示す。
P(0)について：Vは0次元のFベクトル空間とする(自動的にV＝{o}である)。
k≧0 と A⊂V は｜A｜＞2^{k－1}を満たすとする。示すべきは｜A＋A｜≧2^k である。
まず、1＝｜V｜≧｜A｜＞2^{k－1} より 1＞2^{k－1} となるので、自動的に k＝0 となる。
次に、｜A｜＞2^{k－1}＞0 より A≠φであり、よって A＋A≠φであり、よって
｜A＋A｜≧1＝2^0＝2^k である。よって、P(0)は真である。

次に、n≧1を任意に取る。P(n－1)は真とする。P(n)も真であることを示す。
Vはn次元のFベクトル空間とする。k≧0 と A⊂V は｜A｜＞2^{k－1}を満たすとする。
示すべきは｜A＋A｜≧2^k である。

**１３２人目の素数さん** · 2018/07/22(日) 00:14:30.08

簡単のため、B：＝A＋A と置く。示すべきは｜B｜≧2^k である。
まず、Fが2元体であることから｜V｜＝2^n となることが分かる。これと
｜V｜≧｜A｜＞2^{k－1} より 2^n＞2^{k－1} となるので、自動的に n≧k である。
次に、|A|＞2^{k－1}＞0よりA≠φである。よって、a∈A が1つ取れる。
このとき a＋a∈A＋A＝B すなわち o∈B である(Fは2元体なので a＋a＝o である)。

さて、｜B｜≧2^k を示したいのだった。もし V－B＝φ ならば、
V＝B となるので、｜B｜＝｜V｜＝2^n≧2^k である(n≧kに注意)。
よって、この場合は成立。以下では、V－B≠φ としてよい。
そこで、x∈V－B を1つ取る。o∈B だったから、自動的に x≠o である。
W：＝{λx｜λ∈F} (＝{o,x}) と置けば、W は V の部分空間である。
また、x≠o に注意して dim(W)＝1 である。

この W を利用して、s,t∈V に対して s～t ⇔ s－t∈W と定義すれば、～は V 上の同値関係になることが分かる。
s∈V の同値類を [s] と書くことにする。商集合 V/～：＝{ [s]｜s∈V } は自然な定義でFベクトル空間となる。
また、ベクトル空間の商空間の一般論から dim(V/～)＝dim(V)－dim(W) ＝ n－1 となることが分かる。

**１３２人目の素数さん** · 2018/07/22(日) 00:15:31.44

つまんな

**１３２人目の素数さん** · 2018/07/22(日) 00:17:45.51

さて、

A'：＝{ [a]｜a∈A } ⊂ V/～

と置くと、｜A'｜＝｜A｜である。実際、f：A→A' を f(a)：＝[a] で定義すれば、
これは明らかに well-defined かつ全射である。また、f は単射である。実際、
f(a_1)＝f(a_2), a_i∈A とすると、[a_1]＝[a_2] であるから a_1～a_2 となる。
よって、a_1－a_2∈W＝{o,x} すなわち a_1－a_2＝o,x である。a_1－a_2＝x のときは、
x＝a_1－a_2＝a_1＋a_2∈A＋A＝B となる(Fは2元体なので－a_2＝a_2 である)。
しかし、x∈V－B だったから矛盾する。よって、a_1－a_2＝o となるしかない。
よって、a_1＝a_2 となるので、f は単射である。よって、fは全単射となったので、
｜A｜＝｜A'｜である。｜A｜＞2^{k－1} だったから、｜A'｜＞2^{k－1} となる。

今の段階で、次が成り立っている。

・ V/～は(n－1)次元のFベクトル空間, k≧0, A' ⊂ V/～, ｜A'｜＞2^{k－1}.

よって、P(n－1)が真であることから、｜A'＋A'｜≧2^k である。

**１３２人目の素数さん** · 2018/07/22(日) 00:21:20.07

次に、｜B｜≧｜A'＋A'｜が成り立つことを示す。g：B → A'＋A' を g(b)：＝[b] で定義すると、
これは well-defined である。実際、b∈B を任意に取ると、b＝a_1＋a_2, a_i∈A と表せるので、
このような表示を何でもいいから1つ取れば

g(b)＝[b]＝[a_1＋a_2]＝[a_1]＋[a_2]∈A'＋A'

であり、よって well-defined である。また、g は全射である。実際、c∈A'＋A' を任意に取ると、
A' の定義から、c＝[a_1]＋[a_2] なる a_i∈A が取れる。このような a_1,a_2 を何でもいいから
1つずつ取って b：＝ a_1＋a_2∈B と置けば、g(b)が定義できて

g(b)＝[b]＝[a_1＋a_2]＝[a_1]＋[a_2]＝c

となるので、確かに g は全射である。g：B → A'＋A' だったから、以上より、｜B｜≧｜A'＋A'｜である。
｜A'＋A'｜≧2^k だったから、以上より、｜B｜≧2^k である。

よって、いずれの場合も｜B｜≧2^kとなったので、P(n)は真である。
数学的に帰納法により、任意のn≧0に対してP(n)は真である。よって、題意が成り立つ。

【ぴょん吉】 · 2018/07/22(日) 00:56:01.57

前>>905
三平方の定理より、
直角三角形の斜辺は、
√(9^2+12^2)=15(寸)
円の直径を2rとすると、
二つの円の中心間の距離も2rなので、直角三角形の辺の比は、
3:4:5=3(2r/5):4(2r/5):2r
=(6r/5):(8r/5):2r
直角三角形の斜辺は、
{9寸-(6r/5)-r}+2r+{12寸-(8r/5)-r}=15寸
6寸=14r/5
2r=30/7(寸)

**１３２人目の素数さん** · 2018/07/22(日) 01:38:28.55

>>912
正解です素晴らしい！実はより一般に
X,Y⊂F^n が空でない時、 |X|+|Y|>2^k ならば |X+Y|≧2^k
を示してからその系として導く解法を想定していたのですが、本質的にかなり簡単になっていて驚きました。V＼(A+A) から元をとる発想はなかったです。。

**１３２人目の素数さん** · 2018/07/22(日) 01:53:47.71

>>914
＞X,Y⊂F^n が空でない時、 |X|+|Y|>2^k ならば |X+Y|≧2^k

なんと、そんな定理も成り立つのか (＾o＾)

実は、>>896 の F_p バージョンである次の定理が、>>908 と同じやり方で証明できる。
―――――――――――――――――――――――――――――――
定理：p は素数とする。V は有限次元の F_p ベクトル空間とする。
k≧0 と A⊂V は｜A｜＞ p^{k－1} を満たすとする。このとき、

｜Σ[i＝1～p] A｜≧ p^k

が成り立つ。ただし、Σ[i＝1～p] A ：＝ { Σ[i＝1～p] a_i｜a_1,…,a_p∈A }
と定義する。
―――――――――――――――――――――――――――――――

この定理を

＞X,Y⊂F^n が空でない時、 |X|+|Y|>2^k ならば |X+Y|≧2^k

と見比べると、たぶん次の定理も成り立つのかな (＾o＾)
―――――――――――――――――――――――――――――――
定理(？)： p は素数とする。V は有限次元の F_p ベクトル空間とする。
k≧0 と空でない X_1,X_2,…,X_p⊂V は Σ[i＝1～p]｜X_i｜＞ p^k を
満たすとする。このとき、｜Σ[i＝1～p] X_i｜≧ p^k が成り立つ。
―――――――――――――――――――――――――――――――

**１３２人目の素数さん** · 2018/07/22(日) 07:30:28.29

>>856
誰かやってたも……

**１３２人目の素数さん** · 2018/07/22(日) 12:19:45.04

>>915
情報ありがとうございます。色々考えてみました。
上の定理(？)には、残念ながら反例があるようです。W⊂VをVのk次元部分空間として、
X_1=W∪{a} (ただしa∈VはWに属さない元)
X_i=W (i=2,…,p)

代わりに次の定理が成り立つようです。
（定理）pを素数、整数、 1≦mmp^k を満たすならば |X+Y|≧mp^k が成り立つ。□
折角なので証明の概略だけ置いときますね
～～～～～～～～
a∈V, S⊂V に対して a+S={a+s: s∈S} と定める。
適当な x∈X, y∈Y をとれば |-x+X|=|X|, |(-x+X)+(-y+Y)|=|X+Y| 等が成り立つので、 0∈X,Y の場合のみを考えればよい。
X∩(-y+Y)≠X が成り立つような y∈Y が存在する時、次の操作を考える。
（操作）「X'=X∩(-y+Y), Y'=X∪(-y+Y) とし、 XをX'に、YをY'に置き換える」
この操作により、|X|は減少し、|X|+|Y| は保たれる。
また、X'+Y'⊂X+(-y+Y) より、|X+Y| は非増加となる。新しいX,Yはどちらも0を元に持つ。
この操作は、|X|の狭義単調減少性により、有限回でできなくなる。
このような最終状態のX,YをそれぞれP,Qとおくと、操作ができないことから、任意のq∈Qについて P∩(-q+Q)=P が成り立つ。
ゆえに、q+P⊂Q より、 Q+P⊂Q.
したがって、Q+=Q. （ただし、はPが張るベクトル空間。）
これより、元を足すことによるのQへの作用を考えることができるが、この作用による任意の軌道は||個の元を持つので、|Q| は || の倍数。…[1]
また、|Q|+|P| = |X|+|Y| > mp^k より
|Q| > mp^k - || となる。 …[2]
|| ≦ p^k の場合、[1]と[2]より |Q| ≧ ([2]の右辺)+|| = mp^k.
|| ≧ p^(k+1) の場合、 ⊂Q より |Q|>mp^k.
したがって、いずれの場合も |P+Q| ≧ |Q| ≧ mp^k.
操作により|X+Y|は非増加であったから、 |X+Y| ≧ |P+Q| ≧ mp^k. □

**１３２人目の素数さん** · 2018/07/22(日) 16:50:21.14

和算の問題です。
一つの円があります。
その円の中に、大、中、小の円を内接させます。
條件は、大、中、小の円は、一番外側の円に内接します。

大円は、中円と小円に外接します。
中円は大円と小円に外接します。
小円は、大円と中円に外接します

この場合、この4つの円の関係を求めてください。

出典」三上義夫「日本数学史」（この本は、「科学図書館」という
サイトに全文がPDFファイルとしてアップされています）

イナ ◆/7jUdUKiSM · 2018/07/22(日) 20:03:51.82

>>918
外側の円の半径:Я
大円の半径:Ｒ
中円の半径:Ｒ㊥
小円の半径:r
とすると、
Я>Ｒ+Ｒ㊥>Ｒ>Ｒ㊥>r

**１３２人目の素数さん** · 2018/07/22(日) 20:53:32.75

大円の半径が3
中円の半径が2
小円の半径が1
のときの内側の円の半径は？
とかにしないと問題としては答えにくくね？
まぁこのケースはそんなに難しくないかもしれないけど。
この3円に外接するの方が難しいのかな？
数値もへぇって値になった記憶が

**１３２人目の素数さん** · 2018/07/22(日) 20:57:42.67

>>920
この3円が内接する円の間違い。
確かへぇって値になったような。