- 1 名前：１３２人目の素数さん mailto:sage [2020/01/27(月) 20:12:01 ID:QSsw4R/8.net]
- 過去ログ置き場(1-16問目)
www3.tokai.or.jp/meta/gokudo-/omoshi-log/
まとめwiki
www6.atwiki.jp/omoshiro2ch/
1 cheese.5ch.net/test/read.cgi/math/970737952/
2 natto.5ch.net/test/read.cgi/math/1004839697/
3～6「datが存在しません。」
7 science2.5ch.net/test/read.cgi/math/1064941085/
8 science3.5ch.net/test/read.cgi/math/1074751156/
9 science3.5ch.net/test/read.cgi/math/1093676103/
10 science4.5ch.net/test/read.cgi/math/1117474512/
11 science4.5ch.net/test/read.cgi/math/1134352879/
12 science6.5ch.net/test/read.cgi/math/1157580000/
13 science6.5ch.net/test/read.cgi/math/1183680000/
14 science6.5ch.net/test/read.cgi/math/1209732803/
15 science6.5ch.net/test/read.cgi/math/1231110000/
16 science6.5ch.net/test/read.cgi/math/1254690000/
17 kamome.5ch.net/test/read.cgi/math/1284253640/
18 kamome.5ch.net/test/read.cgi/math/1307923546/
19 uni.5ch.net/test/read.cgi/math/1320246777/
20 wc2014.5ch.net/test/read.cgi/math/1356149858/
21 wc2014.5ch.net/test/read.cgi/math/1432255115/
22 rio2016.5ch.net/test/read.cgi/math/1464521266/
23 rio2016.5ch.net/test/read.cgi/math/1497416499/
24 rio2016.5ch.net/test/read.cgi/math/1502016223/
25 rio2016.5ch.net/test/read.cgi/math/1502032053/
26 rio2016.5ch.net/test/read.cgi/math/1518967270/
27 rio2016.5ch.net/test/read.cgi/math/1532793672/
28 rio2016.5ch.net/test/read.cgi/math/1540739963/
29 rio2016.5ch.net/test/read.cgi/math/1548267995/
なお、削除依頼は不要です。
※前スレ
面白い問題おしえて～な 30問目
https://rio2016.5ch.net/test/read.cgi/math/1572866819/
- 654 名前：１３２人目の素数さん mailto:sage [2020/03/02(月) 11:07:29.38 ID:pl+0uhr1.net]
- >>619
つまりn:mの間隔にある三点から、(n-m):mの間隔にある三点を作図することが可能という訳か
n:mが整数比なら、互除法使えば最終的に1:1にたどり着くから、
結果的にその直線上にある全ての有理（的な）点が作図できる
- 655 名前：１３２人目の素数さん [2020/03/02(月) 13:20:16.24 ID:hCgOeWjY.net]
- >>611
acに垂直な玄のうちdを通るものは直径で最長なので底辺acに対する高さがbよりも高いから
- 656 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/02(月) 14:49:02 ID:6RLywf+z.net]
- /∥;;∥∩∩］∥ |;;;;;
|∩∩|((-_-)｡∥ ∩∩;;
( (`)(っ/c) ∥(`) );
(￣￣)「￣￣]∥(_υ_)~
(_(__∩∩__□∥∩∩~ ~
~ ~~(___()~~~ (`)__)~ ~ ~~~ ~~~ ~~~ ~~~ ~~~~ ~~~ ~~~ ~ ~ ~ ~ ~~ ~~~ ~~~ ~~~>>590正方形の対角線の交点は辺の垂直二等分線が通る。前>>607あともう一点。一辺をのばした延長上の一点から最遠方の頂点まで定規で直線を引く。
この直線を引いたとき辺と交点ができる。この交点から頂点に向かって新たな直線がもう一つ引ける。この直線を引いたとき対角線と交点ができる。この交点に先にとった一辺の延長上の一点から半直線を引くと、この半直線はふたたび正方形の辺と交わり
(>>599チェバの定理より正方形の辺を二分する)、この交点と対角線の交点を通る直線を引けば、垂直二等分線が定規だけで引ける。
- 657 名前：１３２人目の素数さん mailto:sage [2020/03/02(月) 15:38:29.30 ID:pl+0uhr1.net]
- >>613 より少しだけ弱い問として
『何も作図されていない状態の平面から、定規だけを使って平行線を作図することは可能か』
というものが挙げられる。
弱いというのは、もし613が可能ならばこちらが可能であることも導ける、という意味。
しかし解決の方法はさっぱり
- 658 名前：わからん… []
- [ここ壊れてます]
- 659 名前：イナ mailto:sage [2020/03/02(月) 15:45:08.75 ID:6RLywf+z.net]
- 前>>624
>>625
一般に定規は平行な直線が一定の幅を保つように作られている。
∴平行な2直線を引くことは可能。
- 660 名前：１３２人目の素数さん mailto:sage [2020/03/02(月) 16:19:20 ID:0FXGIEti.net]
- 平行線と中点の定木のみ作図可能性はチェバの定理より同値では？
垂線の作図はどうんだろ
- 661 名前：１３２人目の素数さん mailto:sage [2020/03/02(月) 19:21:53.96 ID:pl+0uhr1.net]
- 平面上に直線だけが与えられているとして、定規だけで垂線作図するのは無理だろうね
最初に与えられてるのがx軸だけであれば、>>621の意味で作図可能な図形は、
ある開集合に属する任意の実数aについて、変換 f(x,y)=(x+ay,y) で不変でなければならない
- 662 名前：１３２人目の素数さん [2020/03/02(月) 19:27:22.86 ID:qc9vWQ77.net]
- >>608>>609
半分正解！
正当化の議論すれば間違ってはない
それで示せるのは「正三角形以外は最大値を与えない」という命題であって
「正三角形で最大値を取る」という事は直接言えない
これは「必ずある三角形が最大値を与える」という命題を認めなければならないということ
まあそれを確かめるのも大学数学の範疇では簡単なので、それ込みでそういう解き方もアリっちゃあり
でも一応初等幾何だけでも解けるんだよーって話
元ネタは京大入試の問題だかなんかで、「正三角形以外の三角形は不適を示すだけでは不正解になる」という話があって
模範解答は解析的に解いてたけど
ちょっと工夫すれば一応幾何だけで解けるな、と思ったので
- 663 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 01:15:42.77 ID:c1vEOOkk.net]
- >>629
一応できた。
二等辺三角形に限定していいのは既出の通り。
正三角形ABCの外接円をΓとする。
BCに関してAと対称である点をD、
CAに関してBと対称である点をE、
ABに関してCと対称である点をFとする。
B、Cから直線EFに下ろした垂線の足をG,Hとする。
ADに垂直な弦PQに対して△APQ≦△ABC、等号はPQとBCが一致するときを示せば良い。
直線PQとDB、DCの交点をRSとすれば△APQ≦△ARSで等号成立はBC=PQのときだから△ARS≦△ABCを示せば良い。
R,Sから直線EFに下ろした垂線の足をT,Uとする。
□BCGH=2△ABC、□RSTU=2△ARSだから□RSTU≦□BCGHを示せば良い。
以下EF方向に√3倍して議論する。(√3倍した点を定義していけばよいがめんどくさいだけなので手を抜く)
RSがBCよりDに近い側にある時は□RSTUが□BCGHの外側にはみ出してる部分は内に引っ込んでる部分と比較して同じ幅で長さの短い長方形になっているのでこの場合はよい。
反対側にRSがずれている時も同様である。
- 664 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 05:46:44.76 ID:KGTUQZbA.net]
- >>606
本問では △ABC の面積を
f(C, B-A)
とおくことが可能ですね。(何でもない事のようですが)
>>609 から
∠Cを固定して ∠A, ∠B を変えたとき、
面積は、二等辺三角形(B-A=0)のときに最大である。
Max[x] f(C,x) = f(C,0)
次に ∠C を変えたとき、
面積は、B=C (=π/3) のときに最大である。(正三角形)
Max[C] f(C,0) = f(π/3,0)
これらより、最大値は
Max[C,x] f(C,x) = f(π/3,0)
つまり「正三角形で最大値をとる」という事が言えます。(キッパリ)
周囲の長さが一定とか、うまくパラメータ付けできない時には >>629 のようになりますが････
>>623 も同様かと････
- 665 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 08:42:45.54 ID:5XjpMst2.net]
- >>630
□RSTU≦□BCGHを示せば良い。
ここ以降も少し簡単にできるな。
△DEFのうち□RSTUの外側の部分が内側の部分より大きいことを示せば良い。
RSがBCよりDに近い側にある時は△ERT、△FSUをそれぞれRT、SUで□RSTUの側に折り返して四角形を覆うとき、覆えない
- 666 名前：で残る部分はちょうど△DRSと合同な三角形だからよい。
RSがBCよりDに遠い側にある時は△DRSを□RSTUの側に折り返して四角形を覆うとき、覆えないで残る部分は△ERT、△FSUに合同な三角形二つを合わせたものだからよい。□ [] - [ここ壊れてます]
- 667 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 09:01:23.61 ID:KGTUQZbA.net]
- >>631
補足します。
C≠π/3 ⇒ f(C,0) < f(π/3,0)
(略証)
f(C,|A-B|) は |A-B| について単調減少なので
f(C,0) = f((π-C)/2, (3/2)|C-π/3|)
< f((π-C)/2, (1/2)|C-π/3|)
= f(π/3, |C-π/3|)
< f(π/3, 0)
= (正三角形の面積).
- 668 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 19:16:04 ID:c1vEOOkk.net]
- >>633
> f(C,0) = f((π-C)/2, (3/2)|C-π/3|)
コレは何故？
- 669 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 19:33:35.70 ID:KGTUQZbA.net]
- 内角が (π-C)/2, (π-C)/2, C の二等辺三角形だから。
- 670 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 19:41:15.55 ID:c1vEOOkk.net]
- >>635
fは外接円の半径固定されてるんですよね？
二つに割って貼り直すと思うんですが外接円の半径変わっちゃうのでは？
- 671 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 19:47:02.38 ID:c1vEOOkk.net]
- あ、失礼、貼りなおさなくてもいいのか。
頂角を取り直すだけね。
なるホロ。
- 672 名前：１３２人目の素数さん mailto:sage [2020/03/03(火) 23:13:37.44 ID:c1vEOOkk.net]
- >>633
さんの方法は中々いいな。
この方法で内接円の面積最大とか3辺の長さの和最大とかが正三角形のときとかも初等的に示せるね。
- 673 名前：１３２人目の素数さん mailto:sage [2020/03/04(水) 00:55:02 ID:3AxDkYqV.net]
- >>631 >>633 は、内角で表わせば
{A, B, C}
{(π-C)/2, (π-C)/2, C}
{(π-C)/2, π/6 + C/2, π/3}
{π/3, π/3, π/3}
の順に面積が拡大するということですが、
この計算じたいは高校数学の範囲内でしょう。
その他にも、
外接円の半径が一定の三角形の集合はどんな集合か？
なぜうまくパラメータ表示できるのか？
といった問題もありますが、そちらは大学数学の問題でしょう。
- 674 名前：１３２人目の素数さん mailto:sage [2020/03/04(水) 01:46:22.34 ID:ncIVK0Vr.net]
- >>633
を使って初等的に示してみるまとめ。
半径1の円に内接する三角形ABCをとる、
A≦B≦Cとしてよい。
優弧BC上にDEFを∠BCD=π/3、∠CBE=π/3、∠BCF=∠CBFとなるようにとる。
EもしくはFのいずれかが弧CF上にある方をXとする。
この時
△ABC≦△XBC‥(✳︎)
であり∠XBCか∠XCBのいずれかはπ/3である。
前者のときY,ZをそれぞれC,B、後者のときはY,ZをそれぞれB,Cとすれば
△ABC≦△XYZ
であり∠Z=π/3
である。
Wを∠WXY=π/3
とすれば
△XYZ≦XYW‥(✳︎)
であり△XYWは正三角形である。□
証明の(✳︎)のところは面積のかわりに内接円の半径や三辺の和にしても初等的に示せるので内接円、三辺の和最大も処理できるし、面積をその系で示すこともできて中々気分がいい。
- 675 名前：１３２人目の素数さん [2020/03/04(水) 03:30:36.65 ID:fel9VZKy.net]
- 正の整数nの任意の約数d<nに対し、ある正の整数mがあってmd+1<nがnと互いに素になるという。
nの必要十分条件を求めよ。
- 676 名前：１３２人目の素数さん mailto:sage [2020/03/04(水) 05:12:28.40 ID:3AxDkYqV.net]
- ・優弧BC上に
∠BCF = ∠CBF = (π-∠A)/2 ( >π/3),
となるように 点F をとる。
△ABC < △CBF,
∠BFC = ∠A < π/3,
・劣弧CF上に ∠EBF = π/3 となるように 点E をとる。
∠BEF = ∠BCF = (π-∠A)/2 > π/3,
すなわち
∠CBF > ∠EBF > (π-∠BEF)/2,
∴ △CBF < △EBF,
・優弧EF上に ∠DEF = ∠DFE = π/3 となるように 点D をとる。
△DEF は正三角形
△EBF < △DEF,
以上により
△ABC < △DEF,
- 677 名前：１３２人目の素数さん mailto:sage [2020/03/04(水) 06:35:55 ID:lpGYoEdj.net]
- >>641
n≡2(mod 4)とするときd=n/2に対してdm+1<nを満たすmは1しかないが、このときdm+1みnみ偶数だから条件は満たされない。
m≡1,3(mod4)とするとき任意のd|n (d<n)に対してd|n/pとなる素因子p>2がとれるが、このときnとn/p+1の共通素因子はpしかあり得ず、pが共通素因子なら2n/p+1とnは共通素因子を持ち得ず互いに素である、
m≡0 (mod 4)とするとき任意のd|n (d<n)に対してd|n/pとなる素因子pにた�
- 678 名前：｢しp>2であれば先と同じようにしてmを選べる。
p=2のときは(n,n/2+1)=1でよい。
以上により与えられた条件はn≡0,1,3(mod4)と同値である。 [] - [ここ壊れてます]
- 679 名前：イナ mailto:sage [2020/03/04(水) 17:36:59.43 ID:OGTmh3Cc.net]
- 前>>626
>>292名高い灘高。
OA・OB=1しか条件ない。
あとは直線PQで垂直二等分されるADをどう使うか。
△PBD∽△OBQを示すために、OについてQと点対称なQ'を取り、△PBA∽△OBQ'を示したらどうか。
OA・OB=1と△PBA∽△OBQ'
どうつなげるか。
相似比PD:OQ=PA:1
見るからに相似なんだけど、相似条件がわからない。
2辺の比とその間の角が等しい、かな？
OB=1/OA=OQ/OA=OQ/PD=1/PD
接弦定理かな？
考え中？ まだ出ない？
相似だけどだれにも証明されていない問題？
- 680 名前： mailto:sage [2020/03/05(木) 00:47:22.50 ID:0idrlik+.net]
- 前>>644
平面図形に複素数なんかあるわけない。
相似条件は3つ。
3組の辺の比が等しい。
2組の辺の比とその間の角が等しい。
2角が等しい。
この3つの条件を探してみつけられなかったとしても探した奴、探そうとした奴を合格にすべきだと思う。
- 681 名前：１３２人目の素数さん mailto:sage [2020/03/05(木) 08:34:31.13 ID:y1DklE5e.net]
- >>292
半直線OABを実軸とする複素平面上で考える。
O(0)
A(a) 0<a<1,
B(1/a)
P(e^(ip))
Q(e^(iq))
0 < p < q < 2π, 0 < q-p < π,
D(e^(ip) + e^(iq) - a･e^i(p+q))
とおくと
PD = e^(i(p+q)){e^(-ip) -a} = e^(i(p+q))AP~,
QD = e^(i(p+q)){e^(-iq) -a} = e^(i(p+q))AQ~,
|PD| = |AP|
|QD| = |AQ|
∴ Dは直線PQに関してAと線対称である。
OQ/OB = a･e^(iq) = PD/PB,
ゆえ相似だろうな。。。
- 682 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/05(Thu) 13:16:55 ID:0idrlik+.net]
- 前>>645
検索したら似たような問題があって、複素数で解いてあった。
複素数を使わない解き方をみつけないといけない。
△BPA∽△BOQ'
かつ△BDA∽△BQQ'
が言えれば、
△BDP∽△BQO
- 683 名前：イナ mailto:sage [2020/03/05(木) 13:31:58.08 ID:0idrlik+.net]
- PはADの中点、OはQQ'の中点だから、
△BPA∽△BOQ'
または△BDA∽△BQQ'
が言えれば、
△BDP∽△BQO
- 684 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/05(Thu) 15:50:14 ID:0idrlik+.net]
- 前>>648違うか。
AP=DPは言える。
AD⊥PQ
OA=t(0＜t＜1)とおくと、
OB=1/t
ADとPQの交点をR、BRとODの交点をSとすると、メネラウスの定理より、
(OB/BA)(AR/RD)(DS/SO)=1
{(1/t)(1/t-t)}(1/1)(DS/SO)=1
DS/SO=(1/t-t)/(1/t)=1-t^2
わからん。
- 685 名前：１３２人目の素数さん mailto:sage [2020/03/05(Thu) 17:15:01 ID:eeoU5lKD.net]
- >>292
ある人に初等幾何による解答を書いてもらったのでここに貼ります
仮定よりEACBが調和点列であり,円Oがアポロニウスの円であることに注意すると
∠APC=∠CPB=:z
∴A,DはPQに関して線対称なので
DP:PB=PA:PB=AC:CB=EO:OB(EACBが調和点列でOはECの中点だから)
=OQ:OB·····?
(補足 OA=a,OB=1/aとすると)
∠OQB=x,∠OBQ=yとすると
∠BOQ=180-x-y
円周角の定理,タレスの定理などから
∠EPC=∠ECQ=90°-∠QEO=90°-(180°∠EOQ)/2
=(x+y)/2
∠APC=∠CPB=,線対称から∠DPQ=∠QPAより
∠DPB=2∠QPC=180°-2∠EPQ=180°-x-y=∠QOB·····?
??より
2辺比夾角相等から
△PBD∽△OBQ∎
https://i.imgur.com/NwrNyyo.jpg
https://i.imgur.com/cOvLchw.jpg
- 686 名前：１３２人目の素数さん mailto:sage [2020/03/05(Thu) 17:33:40 ID:o68Yrcxc.net]
- >>650
> ∠BOQ=180-x-y
> 円周角の定理,タレスの定理などから
この辺りが問題文で明示されてない点の配置でめちゃ�
- 687 名前：ｭちゃ場合わけしないとダメで実質証明にならない。 []
- [ここ壊れてます]
- 688 名前：イナ mailto:sage [2020/03/05(木) 18:19:44.43 ID:0idrlik+.net]
- 前>>649
>>651
PQが半直線ABをまたぐようにQをとればいいのか。
なるほど、O,A,Bと同じ側は意外に広いね。
Pがつぶれて困ってた。
- 689 名前：１３２人目の素数さん mailto:sage [2020/03/05(木) 18:37:42.78 ID:eeoU5lKD.net]
- >>651
これを証明した人に教えたら「PQに関してOABは同じ側だから場合分けは
上図のような場合とPQがひっくり返ったもののみだと思います」とのこと
- 690 名前：１３２人目の素数さん mailto:sage [2020/03/05(木) 18:51:52.17 ID:pJ9pcxTu.net]
- >>653
そんなわけないやん。
そもそもOA・OB=1てOAとOBどっちが長いとか直線ABとPQの位置の配置とかで角度の計算とか全部影響する。
円周角の配置になったり縁に内接する四角形の対角の位置にきたり。
それぞれに対して全部どっちとどっちを出すのか、引くのか、とか、完全に一致したり捕角の関係になったり。
OAが長いか、OBが長いかに始まって証明を分けざるを得ない配置の場合わけが3回くらい必要で、各々について2通りか3通りの場合わけが必要で10通りを超えた。
OB<OAの時は一応全部潰したけど、残りのケース全部潰したとしてもとても書く気にはならないだろうからやめた。
図が問題に与えられてて配置が決まってないと初等幾何の証明はそうなる事が避けられない。
もちろん図がなくてもきちんと言葉で確定してればいいけど>>292は無理。
長さ、角度の足し引きが出る証明はその点の並んでる順番の不定性がある時は必ずそうなる。
- 691 名前：１３２人目の素数さん mailto:sage [2020/03/05(木) 18:57:52.75 ID:eeoU5lKD.net]
- >>654
Aは円Oの内部だからOA<OBとのことです
- 692 名前：１３２人目の素数さん mailto:sage [2020/03/05(木) 19:22:41.12 ID:pJ9pcxTu.net]
- >>655
そうなん？
でもそれだけじゃすまない。
>>292の文章だけでは確定しない点の配置がメチャメチャ出てくる。
そんな事ないというなら>>650 の証明で"などから"なんてごまかししないで全部書いてみてよ。
それがホントに>>653で言うように な2通りで済むのかどうか示してみてよ。
- 693 名前：イナ mailto:sage [2020/03/05(木) 21:35:24.20 ID:0idrlik+.net]
- 前>>652訂正。
>>650
PQが半直線BAをまたぐようにQをとればいいのか。
なるほど、O,A,Bに対して同じ側は意外に広いね。
Pがつぶれて困ってた。
- 694 名前：イナ mailto:sage [2020/03/06(金) 05:29:26.74 ID:PniBgS7R.net]
- 前>>657
>>650
∠EPC=∠ECQじゃないなぁ。
∠EPC=90°だから、移し間違いか文字化けか式が重なったか。
OA=tとおいてOB=1/tは同じだった。
∠APC=∠CPBは、たしかに見るからにそうなんだけど、すぐ言えるの？
どういうことだろう。
AC=1-t
CB=1/t-1=(1-t)/t
たしかに∠ACP=∠CPBに見えるんだけど。ここがこの問題の肝か。
- 695 名前：哀れな素人 [2020/03/06(金) 08:11:22.28 ID:kKV2t8Di.net]
- >>650の回答を読んだ感想。
アポロニウスの円や調和点列の知識がないと解けない。
仮に知識があっても、
>EACBが調和点列であり,円Oがアポロニウスの円である
>AC:CB=EO:OB(EACBが調和点列でOはECの中点だから)
これを見抜くのは難しい。
後半の説明は煩雑だが、要するに∠DPB=2∠QPC=∠QOB
x、yその他の説明は不要。
問題自身には何の不備もない。
- 696 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/06(金) 15:14:44 ID:PniBgS7R.net]
- 前>>658
>>659
AC:CB=1-t:1/t-1
=1-t:(1-t)/t
=1:1/t
=t:1
EO:OB=1:1/t
=t:1
たしかにAC:CB=EO:OBだけど、AC:CB=EO:OBが知りたいという必要性がどうなって出てきたか。
おそらく2組の辺の比が等しいことを言いたいからだと推察する。
もうちょっとでつながりそう。
- 697 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/06(金) 20:32:42 ID:PniBgS7R.net]
- 前>>660
>>292問題。
>>650を理解した。
半直線OAと円周の交点をC,
半直線BAと円周の交点をEとする。
OA=tとおくと、
OB=1/t
AC=1-t
CB=1/t-1=(1-t)/t
∠QOB=∠QOCは弧QCに対する中心角だから、
円周角∠QPCの2倍。
∠QOB=2∠QPC──?
線分PQは線分DAの垂直二等分線だから、
∠DPQ=∠QPA
△OPA∽△OBP(相似比t:1,相似条件2組とその間の角が等しいから)だから、
同一中心角を頂角とした二等辺三角形△OPCをはさむと、
∠APBはPCにより二等分され、
∠APC=∠CPB
4つの角を足した∠DPBと、内側2つを足した∠QPAで、
∠DPB=2∠QPC──?
??より∠DPB=∠QOB
△OBQにおいて、
OQ:OB=OE:OB=1:1/t=t:1──?
△PBDにおいて、
PD:PB=PA:PB=t:1──?
??よりPD:OQ=PB:OB
2組の辺の比とその間の角が等しいから、
△PBD∽△OBQ
- 698 名前：１３２人目の素数さん [2020/03/06(金) 21:50:30.67 ID:zFeFSDD3.net]
- なんか画像横になってるけどこれでしょ
https://i.imgur.com/BbwP4To.jpg
- 699 名前：１３２人目の素数さん mailto:sage [2020/03/06(金) 22:08:09 ID:kJFoYYVj.net]
- 二元体上の既約多項式であって自己相反であるものが無限に存在することを示せ。
ただし、n次多項式f∈F_2[x]が自己相反であるとは、f(x)=f(1/x)x^n を満たすことを言う。
- 700 名前：１３２人目の素数さん mailto:sage [2020/03/06(金) 23:02:31.70 ID:D66ej/ua.net]
- >>663
q>4を二冪として写像f:Fq＼{0}→Fqをf(x)=x+1/xで定める。
S=im(f)＼{0}の各元yについてf(x)=yを満たすFq＼{0,1}の元xが2個ずつ存在するから
2#S=q-2
であり、#S=q/2-1<q-3であるからSにみF4「も属さないb∈Fqがとれる。
bのF2上の最小多項式をP(y)とする。
Q(x)=P(x+1/x)x^n (n=degP)とおく。
代数閉体Ωの元aをf(x)=bの解とすればaはQ(x)の根である。
ここで[Fq(a):F2]はqまたは2qであるからd=[F2(a):F2]は2q,q,2,1のいずれかである。
d=qとなるのは方程式F(x)=bがFqに解を持つ時であり、それはbの取り方に反する。
d=1,2となるときF2(b)⊂F2(a)最小⊂F4上となりやはりbの取り方に反する。
よってF2(a):F2]=2qとなりQ(x)はaの最小多項式であり既約である。
さらにQ(x)の根はP(x)の根βに対して方程式x+1/x=βの解をとるときの全体だから自己相反である。□
- 701 名前：１３２人目の素数さん mailto:sage [2020/03/06(金) 23:17:34.90 ID:D66ej/ua.net]
- >>664
訂正q=2^eとしてeは素数にとるでした。
[Fq:F3]=eで以外それに応じてエスパーおながいします。
- 702 名前：１３２人目の素数さん mailto:sage [2020/03/07(土) 00:01:03.44 ID:Ytx6ZrcL.net]
- >>664
実際に構成したのか…お見事
想定してたのは、F2上n次既約多項式全体の集合をS_nとおいて、S_nの元の個数が
(1/n)Σ_(d|n)μ(n/d)2^d
になること、これが無限個のnについて奇数になること、
それを利用してS_n上の対合 φ(f)(x)=f(1/x)x^n が固定点を持つことを示す、という感じでした
- 703 名前：イナ mailto:sage [2020/03/07(土) 05:25:55.70 ID:zZMNS4lO.net]
- 前>>661
>>662(1)(2)(3)の誘導付きだったか。
どんなけ難しいんじゃ、さすがｼ難高思たけど。
- 704 名前：１３２人目の素数さん mailto:sage [2020/03/07(土) 06:39:41.04 ID:sSvThzV4.net]
- ゼロで割ったらアカンどあれほど
- 705 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 02:32:13 ID:V6IMEB5h.net]
- >>631 >>639
三辺の長さa,b,cの連続関数は、
2変数の連続関数の合成で表わせます。(アーノルド,1958)
→ ヒルベルト「数学の将来の問題」13番
しかし微分可能とは言えないので使えるかどうか････
>>652 >>653
0 < p,q < 2π
かつ
0 < |p-q| < π
です。
- 706 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 12:27:18.99 ID:3u+TSzyD.net]
- 縦n個、横n個のマス目のそれぞれに 1,2,3,...,n の数字を入れていく。このマス目の横の並びを行といい、縦の並びを列という。どの行にも、どの列にも、2つの対角線上にも同じ数字が1回しか現れない入れ方は何通りあるか求めよ。(2020京大文系 改)
この問題って普通に解けるのかな
- 707 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 12:36:26.83 ID:kig3pL/N.net]
- さすがにΣとか使いまくらないと無理じゃね？
- 708 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 15:38:37 ID:bYkUA0JQ.net]
- U+2026
- 709 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/09(月) 17:11:52 ID:otlyxJ1y.net]
- 前>>667
>>670
ルービックキューブの白の面に油性の黒で１,２,３のいずれかの数字を書きこむとすると、
コーナーキューブの白の面に黒で１と書いたとき、
これととなりあうエッジキューブの白の面2つあるうちの1つに２と書いたらもう1つは３。
∵コーナーキューブの白の面に３が2つ来たらだめだから。
これで縦に１,２,３、横に１,３,２と並んだとして、
白の面のセンターキューブは必然的に１となり、
一方の対角線は３,１,２ないしは２,１,３と並べられるのに対し、
もう一方の対角線が１,１,１となり、題意を満たさない。
∴3が2でも4でもnでも不可能である。
- 710 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 17:19:16 ID:N/3DceFI.net]
- ばかだなぁ
- 711 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 17:51:38.42 ID:E6UD7Wty.net]
- >>670
n=1～5について1,0,0,48,480
一般式つくれる？
- 712 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 18:30:15.06 ID:2IyRnfE2.net]
- 元の京大の問題はn=4で可能でちゃんと値は求められる
- 713 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 19:02:15.65 ID:0N1NTePA.net]
- >>670
０通り、じゃないかな？
- 714 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 19:07:42.46 ID:Wjh2UUFs.net]
- 対角線の要素を考えなければ計算しやすくなったりするだろうか？
1,2,12,576,…
- 715 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 19:55:12.97 ID:0N1NTePA.net]
- >>676
プログラムのバグを修正したら、n=4で48通りとカウントされた。
- 716 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 20:02:36.35 ID:0N1NTePA.net]
- >>679
プログラムに列挙させると、
> matrix(B[,counter[1]],n)
[,1] [,2] [,3] [,4]
[1,] 1 2 3 4
[2,] 3 4 1 2
[3,] 4 3 2 1
[4,] 2 1 4 3
> matrix(B[,counter[2]],n)
[,1] [,2] [,3] [,4]
[1,] 1 2 3 4
[2,] 4 3 2 1
[3,] 2 1 4 3
[4,] 3 4 1 2
から始まって
> matrix(B[,counter[48]],n)
[,1] [,2] [,3] [,4]
[1,] 4 3 2 1
[2,] 2 1 4 3
[3,] 1 2 3 4
[4,] 3 4 1 2
で終わり。
- 717 名前：１３２人目の素数さん [2020/03/09(月) 20:17:16.73 ID:kaHbC0fO.net]
- >>670
対角線めんどくせ
- 718 名前：イナ mailto:sage [2020/03/09(月) 20:28:15.42 ID:otlyxJ1y.net]
- 前>>673反省。
n=2,3のときは0通りだけど、
n=1のときが１の1通りとしたら、
n=4のとき対角線はクロスして、なんかやな感じがした。
縦に１,２,３,４、
横に１,２,４,３とすれば可能。
対角線は斜め下から、
４,１,２,３もしくは、
４,２,１,３の2通り。
最初が4通り。
縦の並びが6通りで24通り。
横に2通りで48通り。
n=1,2,3,……に対する通りの数ａ_nは、
ａ_n=1,0,0,48,……
=n^2(ａ_n-1)
縦と横をn通りずつ増やしたら必然的に斜めも増えるかな？
ａ_5はそんなに増えないか。
- 719 名前：イナ mailto:sage [2020/03/09(月) 20:33:49.52 ID:otlyxJ1y.net]
- 前>>682
ａ_5=480なら、
ａ_n=n^2(n-1)ａ_n-1
こうか？
480=5･5･4･48
- 720 名前：イナ mailto:sage [2020/03/09(月) 20:48:10.94 ID:otlyxJ1y.net]
- 前>>683
うまく掛けるか割るかして辺々足すと先頭と尻尾、
ａ_nとａ_4=48ら辺が残るんじゃないか？
ａ_n=(n^3ａ_n-1)-(n^2ａ_n-1)
ａ_n-1={(n-1)^3ａ_n-2}-{{(n-1)^2ａ_n-2}
ａ_n-2={(n-2)^3ａ_n-3}-{{(n-2)^2ａ_n-3}
……
- 721 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 21:04:26.54 ID:Wjh2UUFs.net]
- 対角線の条件を含まないものは、ラテン方格と呼ばれるらしい
https://ja.m.wikipedia.org/wiki/%E3%83%A9%E3%83%86%E3%83%B3%E6%96%B9%E6%A0%BC
ラテン方格の総数についての明示的な公式は、おそらく見つかってなさそう
https://oeis.org/A002860
対角線の条件を含むものは diagonal latin square とか呼ばれてるみたいだけど、
- 722 名前：こちらの方もますます研究されていなさそうだ []
- [ここ壊れてます]
- 723 名前：１３２人目の素数さん mailto:sage [2020/03/09(月) 22:29:30.36 ID:0N1NTePA.net]
- >>680
対角線条件を外すと５７６通り
> matrix(B[,counter[1]],n)
[,1] [,2] [,3] [,4]
[1,] 1 2 3 4
[2,] 2 1 4 3
[3,] 3 4 1 2
[4,] 4 3 2 1
> matrix(B[,counter[2]],n)
[,1] [,2] [,3] [,4]
[1,] 1 2 3 4
[2,] 2 1 4 3
[3,] 3 4 2 1
[4,] 4 3 1 2
で始まって
> matrix(B[,counter[m-1]],n)
[,1] [,2] [,3] [,4]
[1,] 4 3 2 1
[2,] 3 4 1 2
[3,] 2 1 3 4
[4,] 1 2 4 3
> matrix(B[,counter[m]],n)
[,1] [,2] [,3] [,4]
[1,] 4 3 2 1
[2,] 3 4 1 2
[3,] 2 1 4 3
[4,] 1 2 3 4
で終わり
- 724 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 13:55:01.52 ID:H1fx2jVB.net]
- シラミ潰しだとメモリ不足になった。
１億回シミュレーションしてようやく、1個みつかった。
[,1] [,2] [,3] [,4] [,5]
[1,] 2 5 4 3 1
[2,] 4 3 1 2 5
[3,] 1 2 5 4 3
[4,] 5 4 3 1 2
[5,] 3 1 2 5 4
- 725 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 16:03:21 ID:FoiTVu+g.net]
- 深さ優先探索でやれ
- 726 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 16:34:04 ID:BSnoL6Fw.net]
- n=5 で対角線も考える場合
□□□□□
□■□■□
□□■□□
□■□■□
□□□□□
上の黒四角のどこにも同じ数字は入らない。
よって次のように固定して良い（重複度120）
□□□□□
□?■?□
□■?■□
□?■?□
□□□□□
四つの黒四角のうちどこか二つに同じ数字が入ると仮定すると、
中央の3x3の正方形に、ある特定の数字が３つ入ることになるが、
その数字が入ることが可能な残る場所は5x5正方形の四隅しかあり得ず、矛盾。
すなわち四つの黒四角に入る数字は全て異なるため、次のように固定して良い（重複度2）
□■□■■
□???□
■???■
□???□
■■□■□
黒四角のどこを決めても他の黒四角も全て決まることがわかる。白四角も同様。
ゆえに重複度は2*2=4.
以上から120*2*4=960通りになる…はずなんだけど>>675はどうやって計算した？
- 727 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 18:57:05 ID:H1fx2jVB.net]
- >>687
一つ見つかったから1 2 3 4 5 を各々例えば5 4 2 1 3 に置き換えるとかすれば、120個作れるな。
例
[,1] [,2] [,3] [,4] [,5]
[1,] 4 5 3 1 2
[2,] 3 1 2 4 5
[3,] 2 4 5 3 1
[4,] 5 3 1 2 4
[5,] 1 2 4 5 3
[,1] [,2] [,3] [,4] [,5]
[1,] 5 2 3 4 1
[2,] 3 4 1 5 2
[3,] 1 5 2 3 4
[4,] 2 3 4 1 5
[5,] 4 1 5 2 3
[,1] [,2] [,3] [,4] [,5]
[1,] 2 4 1 3 5
[2,] 1 3 5 2 4
[3,] 5 2 4 1 3
[4,] 4 1 3 5 2
[5,] 3 5 2 4 1
などなど
- 728 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 19:28:10 ID:2VZd/7KV.net]
- サイコロを1が出るまで振って、振った回数を当てるギャンブルがある。何回目にかけるのがベストか？
- 729 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 20:03:41.17 ID:H1fx2jVB.net]
- >>691
直感だと１回
- 730 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 20:09:56.15 ID:H1fx2jVB.net]
- >>691
１０万回シミュレーションして頻度をグラフ化
https://i.imgur.com/DYbNCto.jpg
sim <- function(){
dice=0
i=0
while(dice!=1){
i=i+1
dice=sample(6,1)
}
return(i)
}
k=1e5
re=replicate(k,sim())
tbl=table(re) ; tbl
which.max(tbl)
plot(tbl/k,bty='l')
- 731 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 20:31:31.78 ID:vC568XMn.net]
- 霊感で一回
- 732 名前：１３２人目の素数さん [2020/03/10(火) 20:44:08.24 ID:xGpgpXvb.net]
- >>691
n+1回目に始めて1が出る確率は1/6(5/6)^nで減少関数だから1回がベスト
- 733 名前：イナ mailto:sage [2020/03/10(火) 20:45:37.39 ID:SgyDBxw5.net]
- 前>>683
>>691
出るまで引くよりベストがあるなら、
1/6+(5/6)(1/6)+(5/6)(5/6)(1/6)+(5/6)(5/6)(5/6)(1/6)=0.517746917……
5割超えんのは4回目。
∴4回目がベスト。
- 734 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 21:02:06.67 ID:2VZd/7KV.net]
- 幾何分布の問題でした。
正解は1回目
解答
https://bellcurve.jp/statistics/course/6988.html
- 735 名前：イナ mailto:sage [2020/03/10(火) 21:20:33.18 ID:SgyDBxw5.net]
- 前>>696
単勝１番は0.166……
一方４番は125/1296=0.09645……
千円賭けて9,645円もらえ
- 736 名前：るのかと思った。
n回目は5^(n-1)/6^n
下がる一方か。 [] - [ここ壊れてます]
- 737 名前：イナ mailto:sage [2020/03/10(火) 21:40:50.28 ID:SgyDBxw5.net]
- 前>>698
サイコロ振ってn回目までに1が出る確率は、
納n=1→n]5^(k-1)/6^k
ですか？
千人に1人が受賞する文学新人賞に応募するとき、何回目に受賞が期待(5割超え)できますか？
- 738 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 21:48:58.80 ID:YAq6/mFA.net]
- >>699
プログラム組めば解答でるけど、入試とかで出たら解答する方法はあるのだろうか？
- 739 名前：イナ mailto:sage [2020/03/10(火) 22:07:46.17 ID:SgyDBxw5.net]
- 前>>699
>>700
100回目までに1回も受賞しない確率は、
(99/100)^100
100回目までに受賞する確率は、
1-(99/100)^100=0.633967659……
69回目までに受賞する確率は、
1-(99/100)^69=0.50016297……
だめ押し70回目までに受賞する確率は、
1-(99/100)^69=0.50516134……
見とおしが立った！
- 740 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 22:17:33.64 ID:YAq6/mFA.net]
- ^69とかどうやって計算するのさ
まぁ出来ない事はないが
- 741 名前：イナ mailto:sage [2020/03/10(火) 22:22:10.66 ID:SgyDBxw5.net]
- 前>>701
693回目までに受賞する確率は、
1-(999/1000)^693=0.500099765……
年間7作。
100年要らない。99年で受賞する。
- 742 名前：１３２人目の素数さん [2020/03/10(火) 23:29:31.45 ID:IbQVYwum.net]
- 対数表が与えられていれば分かるだろ
- 743 名前：１３２人目の素数さん mailto:sage [2020/03/10(火) 23:32:59.02 ID:9ehLsruf.net]
- 自分で出題し自分で解くという新しい芸風
- 744 名前：イナ ◆/7jUdUKiSM mailto:sage [2020/03/11(水) 02:21:24 ID:LbRSBTGq.net]
- 前>>703
>>701訂正。
だめ押し70回目までに受賞する確率は、
1-(99/100)^70=0.50516134……
- 745 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 11:58:45 ID:t9boZF0q.net]
- 類題
1が累計二回出るまでサイコロを振って、振った回数を当てるギャンブルがある。
何回目に賭けるのがベストか？
- 746 名前：１３２人目の素数さん [2020/03/11(水) 12:15:54 ID:avK6eeO9.net]
- >>707
2回目
- 747 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 13:00:47 ID:t9boZF0q.net]
- >>708
残念
- 748 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 13:14:52 ID:1JNnQUXE.net]
- 6または7？
- 749 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 13:53:35.94 ID:t9boZF0q.net]
- >>710
正解
n回目に賭けて当たる確率は (n-1)(5/6)^(n-2)*(1/6)^2 で、
これが最大になるのはn=6,7の時。
- 750 名前：１３２人目の素数さん [2020/03/11(水) 15:17:40 ID:YQLdoe7U.net]
- EをR^N上のボレル集合、AをN×N行列、LをN次元ルベーグ測度とする このとき
L(A(E))=|detA|L(E)
が成立することを証明せよ
- 751 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 15:19:30 ID:3HNckciv.net]
- どちらかに賭けても勝率6.7%か
- 752 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 15:30:24 ID:hVKkfTiV.net]
- >>711
10万回シミュレーションしてみた。
https://i.imgur.com/Mv1Rkfa.jpg
"1が累計m(=2)回出るまでサイコロを振って、振った回数を当てるギャンブルがある。
何回目に賭けるのがベストか？"
sim <- function(m=2){
pip1=0 # １の目の出た回数
i=0 # サイコロを振った回数
while(pip1 < m){
i=i+1
pip1 = pip1 + (sample(6,1)==1)
}
return(i)
}
k=1e5
re=replicate(k,sim())
tbl=table(re) ; tbl
which.max(tbl)
plot(tbl/k,bty='l')
- 753 名前：１３２人目の素数さん mailto:sage [2020/03/11(水) 16:15:06 ID:hVKkfTiV.net]
- >>711
100回目までを計算してみた。
> sapply(1:100,bg)
[1] 1 6 12 18 24 30 36 42 48 54 60 66 72 78 84 90 96 102 108 114
[21] 120 126 132 138 144 150 156 162 168 174 180 186 192 198 204 210 216 222 228 234
[41] 240 246 252 258 264 270 276 282 288 294 300 306 312 318 324 330 336 342 348 354
[61] 360 366 372 378 384 390 396 402 408 414 420 426 432 438 444 450 456 462 468 474
[81] 480 486 492 498 504 510 516 522 528 534 540 546 552 558 564 570 576 582 588 594
bg <- function(x,print=FALSE){ # big gambling
f <- function(n,m=x,p=1/6) choose(n-1,m-1)*p^(m-1)*(1-p)^(n-m)*p
nn=1:
- 754 名前：(10*x)
y=optimize(function(n) f(n),nn,maximum=TRUE)$maximum
if(print){
plot(nn,sapply(nn,f),bty='l',pch=19)
yy=c(floor(y),ceiling(y))
cat(c(f(yy[1]),f(yy[2])),'\n')
}
return(floor(y))
}
sapply(1:100,bg) [] - [ここ壊れてます]
|
 |
