Question

【題目】設(shè)均為大于1的整數(shù), 為n個(gè)不超過m的互不相同的正整數(shù),且互素.證明:對(duì)任意實(shí)數(shù)x,均存在一個(gè)，使得,其中表示實(shí)數(shù)r到與其最近的整數(shù)的距離。

Answer 1

【答案】見解析

【解析】

先證明兩個(gè)引理，

引理1存在整數(shù)滿足，

且

引理1的證明由于由裴蜀定理,知存在整數(shù)滿足

①

下面證明：通過調(diào)整，存在一組滿足式①，且絕對(duì)值均不超過m.

記

若則存在

于是，

又均為正數(shù)，故由式①，知

令

則 ②

且

因?yàn)?/span>

且所以，

又及，故

若，則存在

因此，有一個(gè)

令

故式②成立，且

類似地，知

，

且

由于與均為非負(fù)整數(shù)，故通過有限次上述的調(diào)整，可得到一組使得式①成立，且

引理2 1.對(duì)實(shí)數(shù)a、b，均有

2.對(duì)任意整數(shù)u和實(shí)數(shù)y，均有

引理2的證明，由于對(duì)任意整數(shù)u和實(shí)數(shù)x，均有，于是，不妨設(shè)，此時(shí)，。

若，不妨設(shè)，則

故。

若ab>0,即a、b同號(hào)，

當(dāng)時(shí)，有，此時(shí)，

;

當(dāng)時(shí)，總有

則

故1得證。

由1及，知2成立，

引理1、2得證。

由引理1，知存在整數(shù)使得

且，于是

由引理2得

，

因此， ③

若，由式③知

若，則在中存在兩個(gè)相鄰正整數(shù)。不妨設(shè)相鄰，則

故與中有一個(gè)不小于

綜上，總存在一個(gè)，滿足。