Sabitlenmiş Tweet
penta
2.7K posts

penta
@penta_math
数学好きな東大院生。専門は連続最適化。たまにイラストを描きます。過去の自作問題や質問は以下のサイトから↓
日本 Katılım Haziran 2021
274 Takip Edilen1.9K Takipçiler

解答: 1938
mod 2026の世界では45が"虚数単位"になるという問題でした
正確には剰余環の同型を考えていることになります
「2乗して-1になる数は存在しない」という主張をよく見るので作ってみました

penta@penta_math
割と好みな問題ができた
日本語

その通りです
ご指摘ありがとうございます
また、解いていただきありがとうございます
今後もミスを発見したら教えてください
marshmallow-qa.com/messages/f83f3…
日本語

@NolmerPortion なるほど、そういう意味では、複素数だと代表元の取り方に標準的なものがあるかは分かりません
"周期"ごとに複素数平面を区切って、その1つを採用するという感じです
上の記事とは異なりますが、絶対値が最小のものをとるというのは1つのやり方だと思います
日本語

@penta_math このとき、mod自体は二つの元a,bをその差が法の整数倍であるときに同一視することですが、関数としてみると特に代表元の選び方が0に一番近い正の数になっているように思います。例えばmod(6,π)=6-π
このとき、実数については正であるかが定まりますが、複素数はそうでないので気になった次第です
日本語

@NolmerPortion ただ、a-nbが整数となるnが存在するとは限らない(例えばb=2+2i)ので、一般には代表元は整数にとるのではなく、bとbiの張る正方形の内部(あるいは周上)にある格子点にとると上手くいきます
また、modは不等号とは無関係に、z-wがbの"倍数"ならz≡w mod b と定義されます
日本語

@NolmerPortion だいたいそんな感じです
記事でやってることは、ガウス整数(x+yi,x,yは整数)に対して、4+iのガウス整数倍を法として同一視していて、
(4+i)(x+yi)=(4+i)x+(-1+4i)y
なので、4+iと-1+4iの張る正方形が"周期"として現れる、という感じです
日本語

解答: (a,b)=(-239,5)
いわゆるマチンの公式です
239という非自明な値が出てきますが、自力でも見つけられると思ったので問題にしてみました


penta@penta_math
円周率の日ですね
日本語

@fushicoscratch そうなんですね
2つを入れ替えるやり方はまだ分かってません
途中で1回その状態になりましたが、そのときは一旦バラバラに崩してから揃え直したらたまたま解消されててうまくいきました
どのパリティでも対応できるようにする方法はこれから考えようと思います
日本語

@penta_math すげえ...パリティの例としては、
・上面の手前側の細いやつ
・上面の左側の細いやつ
の2つだけ入れ替わってるとかが(Lパームと言われる)
有名です。
日本語

@fushicoscratch スクエア1できました(難しいパリティを引かなかった可能性はあります)
面白かったです
x.com/penta_math/sta…
penta@penta_math
できた!
日本語

@penta_math ・形が変化する
・上下の入れ替えの方法が1つしかない
・それさえも角のパーツの位置で制限される
・エッジパリティという状態は解くのが困難
というのが一般の評価です。完全攻略狙うなら覚悟して挑んで下さい。
あと趣向を変えて速解き競技とかも面白いです
日本語






