5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

【浜名湖】オズネックってどうよ【三ケ日】

1 :名無し会員さん:2008/06/15(日) 20:52:22 ID:raMK1FtR
利用してる人いる?

2 :名無し会員さん:2008/06/18(水) 00:28:16 ID:kLiPHWgu
まず a, b が互いに素なので、ある整数 p, q が存在して pa + qb = 1 と表せる(a > b と仮定)。
任意に 1 ≦ s < b を固定する。このとき、任意の整数 t に対して
(sp - tb)a + (sq + ta)b = s
が成り立つ。すると a, b > s から sp - tb, sq + ta は異符号となるはずであり、
ちょうどそれらの符号が反転する境の t = t0 が存在する。すなわち
sp - t0 b > 0, sq + t0 a < 0 かつ sp - (t0 + 1)b < 0, sq + (t0 + 1)a > 0
である。いま、n (> ab) を整数 k ≧ 0 を用いて n = (a + k)b + s と表せば
x = sp - t0 b
y = sq + (t0 + 1)a + k
は自然数であり ax + by = (a + k)b + s = n を満たす。

1 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)