逆元の話

はむこ @hamko_intel

整数論PDFを読んでるけど、拡張ユークリッドの互除法の時点でわからん

はむこ @hamko_intel

うーん、無限に才能がない（1時間かけて拡張ユークリッドの互除法もわからんとは）

夕叢霧香@競プロ @kirika_comp

すみません… (理解しやすい文章を書く能力が欠如しているので…)

はむこ @hamko_intel

@kirika_comp 僕の証明力の問題です

はむこ @hamko_intel

ユークリッドの互除法30%くらい理解した home.wakatabe.com/ryo/wiki/index…

はむこ @hamko_intel

整数論も数え上げも、勉強して何になるねんという気持ちがすごい強くてね

はむこ @hamko_intel

まあ多分役立つので勉強しますけど

はむこ @hamko_intel

n mod m (n, mは互いに素、mは素数ではない)の時、1/n mod mが存在するのはわかるけど一意なのかもどれくらい自由に演算して許されるのかもわからない

はむこ @hamko_intel

僕もZ/pZ体ライブラリを使ってるので全く意識したことない（のでこの勉強をしてもレートは上がらないんですが）

はむこ @hamko_intel

基礎固めるのはまあ大事だけど、解ける問題が本当に広がるのか？という感じある（modはpだ）

はむこ @hamko_intel

整数論PDF 基本: 分数の加減乗除 (Lv. 2)、既約分数に限定するとか、分数同士の計算に言及するとかしないとわからない気がする

はむこ @hamko_intel

2.3は初めて知ったテクだった

はむこ @hamko_intel

2.3項、1/2+1/3=5/6 mod pです、という情報すら、現状伝わらない

はむこ @hamko_intel

問題見てエスパーした

はむこ @hamko_intel

正直かなり非自明でびっくりした

けんちょん @drken1215

@hamko_intel 1/n mod. m が一意に存在することは、大学受験のときに誰もが教わることではあるのん。 「自由に演算していい」はちょっと考えると自明だけど、初めて触れると「おおっ」となるのはわかるのん。

はむこ @hamko_intel

@drken1215 余剰体の演算なんて大学受験で習いましたか？ うーん

けんちょん @drken1215

@hamko_intel a と b が互いに素なとき、ax + by = 1 となる (x, y) が存在することは、結構定番の話だった気がするのん。

hogeover30 @hogeover30

1/n mod. m が一意に存在することは、大学受験のときに誰もが教わることらしいけどオレの記憶が確かならば大学受験のときにそんなの教わってない

iray_tno@tanao @iray_tno

UT勢の大学受験とぼくたちの大学受験は違っていたらしい　知ってたけど

ぽかーん懐古DP@259家(桃音モモ) @259_Momone

mod Mで1/2+1/3=5/6が定義されるならば成立するのが非自明に見えるの、ちょっとだけわかる気もします...(でもやっぱり自明です)

iray_tno@tanao @iray_tno

ていうかなんで大学受験のときの話覚えてるのすごすぎでしょ

はむこ @hamko_intel

@drken1215 そこまではわかります

ぽかーん懐古DP@259家(桃音モモ) @259_Momone

@drken1215 @hamko_intel gcd(n, m)=1のときnx=1+myなる(x,y)は無数に存在しますが(x1, y1)と(x2, y2)がそれを満たすときかならずx1=x2 mod mであることは習いますか...?(証明は簡単ですけど)

(nは自然数) @n_vip

教わっていようといまいと、成り立つのでok