在 数学 研究 中 ， 证明 一个 方程 解 的 存在性 往往 需要 精妙 的 逻辑 技巧 。