【予想–Hypotheses】 ユークリッド除法において、漸化式q(n+1)=2q(n)+r(n)が成り立つとき、s(n)=q(n+1)-q(n)=q(n)+r(n) なお、このs(n)を「商余和」或いは「隣商差」と呼び、定義する。 【証明–Proof】 ユークリッド除法において、次のように式を定める。 q(…