Beatty 定理

\(\text{Beatty}\) 定理：
若 \(x,y \in \mathbb{R^+},x,y\notin\mathbb{Q}\)，且 \(\frac{1}{x}+\frac{1}{y} = 1\)，则集合 \(X = \{\lfloor ix\rfloor\ | i \in \mathbb{N_+} \}\) 和集合 \(Y = \{\lfloor iy\rfloor\ | i \in \mathbb{N_+} \}\) 满足：

• \(X\cap Y = \emptyset\)
• \(X\cup Y = \mathbb{N_+}\)

证明：

• \(X\cap Y = \emptyset\)：

  反证法。

  假设 \(k \in X \cap Y\)，则 \(\exists i,j\in\mathbb{N_+}\) 满足：

  \(k \le ix,jy < k + 1\)

  \(\because k,i,j\in\mathbb{N_+},x,y\notin\mathbb{Q}\)

  \(\therefore ix, jy \notin \mathbb{Q}\)

  \(\therefore k\not = ix,k \not = jy\)

  \(\therefore k < ix, jy < k + 1\)

  则有

  \(\frac{k}{x} < i < \frac{k + 1}{x}\)

  \(\frac{k}{y} < j < \frac{k + 1}{y}\)

  两式相加可得：\(k < i + j < k + 1\) 与 \(i,j,k\in\mathbb{N_+}\) 矛盾，则 \(X \cap Y = \emptyset\)

  证毕。

• \(X \cup Y = \mathbb{N_+}\)：

  由 \(\frac{1}{x}+\frac{1}{y} = 1\) 可得 \(x = \frac{y}{y-1}, y = \frac{x}{x-1}\)

  又 \(x, y > 0\) 则 \(x,y > 1\)

  则 \(\forall i \in \mathbb{N_+},ix,iy>1 \Rightarrow \lfloor ix\rfloor,\lfloor iy\rfloor\ge 1\)

  则 \(X\cup Y \subseteq \mathbb{N_+}\)

  反证法，设 \(k \in \mathbb{N_+}\) 且 \(k\notin X, k\notin Y\)

  \(\because x,y > 1 \therefore \forall i\in\mathbb{Z}, \lfloor (i-1)x\rfloor < \lfloor ix\rfloor,\lfloor (i-1)y\rfloor < \lfloor iy\rfloor\)

  \(k \notin X\)，则 \(\exists i\in{\mathbb{N_+}}\) 满足 \(\lfloor(i-1)x\rfloor < k < \lfloor ix\rfloor\)

  \(\Rightarrow (i-1)x < k < k + 1 < ix\)

  \(\Rightarrow i-1<\frac{k}{x}<\frac{k+1}{x}<i\)

  同理可得 \(\exists j\in\mathbb{N_+}, j-1<\frac{k}{y}<\frac{k+1}{y}<j\)

  两式相加得 \(i+j-2<k<k+1<i+j\)，与 \(i,j,k\in\mathbb{N_+}\) 矛盾，则 \(\mathbb{N_+}\subseteq X\cup Y\)

  综上有 \(X \cup Y = \mathbb{N_+}\)

  证毕。