嘿，这个问题确实很有意思——直观上看结论肯定成立，但要严谨证明得结合拓扑里的连通性性质，我来给你捋捋思路和完整证明：

问题重述 #

先把问题再明确下，方便后续讨论：

假设 $D \subseteq \mathbb{R}^2$ 是闭圆盘，$S$ 是它的边界圆周；$x,y \in S$ 是两个不同点，把 $S$ 分成了两个互不相交的弧段 $I$ 和 $J$。给定连续函数 $f:D \rightarrow \mathbb{R}$，满足 $f(x) < 0$，$f(y) > 0$。需要证明：存在点 $p \in I$、$q \in J$，以及一个连通集 $C \subseteq f^{-1}(0)$（也就是$f$的零点集合），使得 $p$ 和 $q$ 都在 $C$ 里。

证明步骤 #

我用反证法+连通性分析来证，逻辑会比较清晰：

1. 先找到弧段上的零点
   先看弧段 $I$：它是连通的，一端 $x$ 满足 $f(x)<0$，另一端 $y$ 满足 $f(y)>0$。因为 $f$ 连续，根据连通集上连续函数的值域必连通的性质，$f(I)$ 是包含负数和正数的区间，所以必然存在 $p \in I$ 使得 $f(p)=0$。同理，弧段 $J$ 上也存在 $q \in J$ 使得 $f(q)=0$。

2. 假设结论不成立，推出矛盾
   假设 $p$ 和 $q$ 不属于 $f^{-1}(0)$ 的同一个连通分支，记 $C_p$ 是包含 $p$ 的连通分支，$C_q$ 是包含 $q$ 的连通分支，那么 $C_p \cap C_q = \emptyset$。
   因为 $f^{-1}(0)$ 是闭集（连续函数的零点集必为闭集），所以 $C_p$ 和 $C_q$ 都是 $D$ 中的闭集。根据Urysohn引理，存在连续函数 $g:D \rightarrow [0,1]$，使得 $g(C_p)={0}$，$g(C_q)={1}$，且 $g(f^{-1}(0)) \subseteq {0,1}$。

   现在构造连续函数 $h:D \rightarrow \mathbb{R}^2$，定义为 $h(z)=(f(z), g(z))$。考虑边界圆周 $S$：

   • 对于弧 $I$，从 $x$（$f(x)<0$）到 $y$（$f(y)>0$），$f$ 的值从负变正，必然经过零点 $p$，对应 $h(p)=(0,0)$；
   • 对于弧 $J$，同样从 $x$ 到 $y$，$f$ 的值从负变正，必然经过零点 $q$，对应 $h(q)=(0,1)$。

   因为 $h$ 是连续的，$h(S)$ 应该是 $\mathbb{R}^2$ 中的连通集（连续映射保持连通性）。但观察 $h(S)$：

   • 所有 $f(z)<0$ 的点都在 $\mathbb{R}^2$ 的左半平面（$u<0$），$f(z)>0$ 的点都在右半平面（$u>0$）；
   • 零点处的点只能是 $(0,0)$ 或 $(0,1)$。
     这意味着 $h(S)$ 被分成了两部分：左半平面的点只能连接到 $(0,0)$，右半平面的点只能连接到 $(0,1)$，但 $(0,0)$ 和 $(0,1)$ 之间没有任何点连接它们——这就导致 $h(S)$ 是不连通的，和“连续映射保持连通性”矛盾。

   所以我们的假设不成立，$p$ 和 $q$ 必然属于 $f^{-1}(0)$ 的同一个连通分支，也就是存在连通集 $C \subseteq f^{-1}(0)$ 包含 $p$ 和 $q$。

更直观的理解 #

你可以把圆盘想象成一张橡皮膜，$f(z)$ 代表膜上每个点的“高度”——$x$ 点在“谷底”（负），$y$ 点在“山顶”（正）。零点集就是分隔谷底和山顶的“等高线”，因为圆盘是连通的，从 $x$ 到 $y$ 的两条路径（弧 $I$ 和 $J$）都必须穿过这条等高线，而且这两个穿过点不可能被等高线的“断裂”隔开——否则整个膜就会被分成互不连通的两部分，这显然和圆盘的连通性矛盾。

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