20/10/27 22:06:09.62 L9jX0otm.net
いやmod7でいいのか
V6の基底として
h(x)=(x^3 mod 7)
をとる
ただし0,±1から代表を選ぶ
もし (x_1)^3 +…+(x_6)^3 = 0 なら、hの定義から
h(x_1) +…+ h(x_6) が7で割りきれることがわかる。
しかし代表の取り方からこれはゼロでなければならない
20/10/27 22:06:09.62 L9jX0otm.net
いやmod7でいいのか
V6の基底として
h(x)=(x^3 mod 7)
をとる
ただし0,±1から代表を選ぶ
もし (x_1)^3 +…+(x_6)^3 = 0 なら、hの定義から
h(x_1) +…+ h(x_6) が7で割りきれることがわかる。
しかし代表の取り方からこれはゼロでなければならない