问题重述 #

给定自然数 $x, y, z$ 满足：

• $x,y,z \in {2000, 2001, \dots, 2025}$
• $|y-z| \le 2$
• $\sqrt{1+x\sqrt{yz+1}}=2023$

需要证明 $x, y, z$ 中至少有一个等于2023。

提问者的尝试 #

我先假设 $x \le y \le z$，根据条件ii，$z - y$ 只能是0、1或2：

• 当 $z=y$ 时，方程变为 $\sqrt{1+x\sqrt{z^2+1}}=2023$，我认为 $\sqrt{z^2+1}$ 是无理数，导致左边为无理数，但右边2023是有理数，所以这个情况不可能；
• 但当 $z-y=1$ 或 $z-y=2$ 时，我就不知道该怎么继续了，希望得到帮助！

完整解题思路与推导 #

嗨，我来帮你梳理这个问题的核心推导逻辑，关键是把根式方程逐步转化为整式方程，再结合y和z的约束关系分析：

1. 第一步：消去外层根号
   先对条件iii的等式两边平方，去掉最外层的根号：
   $$1 + x\sqrt{yz + 1} = 2023^2$$
   整理后得到：
   $$x\sqrt{yz + 1} = 2023^2 - 1$$
   右边用平方差公式分解，计算更简便：
   $$2023^2 - 1 = (2023-1)(2023+1) = 2022 \times 2024$$
   所以方程简化为：
   $$x\sqrt{yz + 1} = 2022 \times 2024 \tag{1}$$

2. 分析根号内的数的性质
   因为左边是自然数$x$乘以一个数，结果是整数，所以$\sqrt{yz+1}$必须是有理数。而$yz+1$是自然数，有理数的平方根如果是有理数，那它一定是整数，所以我们设$\sqrt{yz+1}=k$（$k$为自然数），这样就有：
   $$yz + 1 = k^2 \tag{2}$$

3. 分情况讨论$|y-z|$的取值
   结合条件ii，我们已经排除了$z=y$的情况（你的判断完全正确，因为$y^2 < y^2+1 < (y+1)^{2$，$\sqrt{y}2+1}$是无理数，没法满足等式(1)），接下来分析另外两种情况：

情况1：$z = y+1$

把$z=y+1$代入等式(2)：
$$y(y+1) + 1 = k^2 \implies y^2 + y + 1 = k^2$$
两边乘以4变形，方便用平方差分解：
$$4k^2 = (2y+1)^2 + 3 \implies (2k)^2 - (2y+1)^2 = 3$$
左边分解后：
$$(2k - 2y - 1)(2k + 2y + 1) = 3$$
3的正整数因子对只有$(1,3)$，因此可以列出方程组：
$$\begin{cases}2k - 2y - 1 = 1 \ 2k + 2y + 1 = 3\end{cases}$$
解得$k=1$，$y=0$，但$y$必须在2000~2025之间，所以此情况无解。

情况2：$z = y+2$

把$z=y+2$代入等式(2)：
$$y(y+2) + 1 = k^2 \implies (y+1)^2 = k^2$$
因为$k$和$y$都是正整数，所以$k = y+1$。

把$k=y+1$代入等式(1)：
$$x(y+1) = 2022 \times 2024$$
注意到$2022 \times 2024 = (2023-1)(2023+1)$，且$x$、$y+1$都在2000~2026的范围内（因为$y \in [2000,2025]$，所以$y+1 \in [2001,2026]$），我们看这个乘积的有效因数对：

• 若$x=2022$，则$y+1=2024 \implies y=2023$，此时$z=y+2=2025$，这里$y=2023$；
• 若$x=2024$，则$y+1=2022 \implies y=2021$，此时$z=y+2=2023$，这里$z=2023$；
• 其他可能的因数对（比如$x$取其他值）都会超出2000~2025的范围，因此只有这两组有效解。

结论 #

所有满足条件的解中，$x$、$y$、$z$里必然有一个等于2023，原命题得证。

备注：内容来源于stack exchange，提问作者user1104319