定义 通过假设对象存在，推导矛盾或求出参数，从而判断其是否存在的数学问题。
从哪来 本节为高三第1讲起点，无前置知识点记录，基于高中数学通用逻辑推理基础构建。
为什么 存在性问题本质是“真值判定”。直接证明“存在”往往困难，而“假设存在”能将未知转化为已知条件参与运算。若推导出矛盾，则否定假设（反证法逻辑）；若推导出具体参数，则验证该参数是否满足原约束（构造法逻辑）。这是将“定性判断”转化为“定量计算”的最优路径。
逻辑反证法路径
先假设存在，代入方程或不等式。若出现 $0=1$ 或 $x \in \emptyset$ 等矛盾，则不存在；若解出 $x$ 且符合定义域，则存在。
适合：逻辑严密、擅长代数变形、对“反证法”有良好直觉的学生。
参数分离与范围法
将存在性问题转化为“方程有解”或“不等式有解”问题。利用函数值域或判别式 $\Delta$ 判断参数范围。
适合：函数思维强、擅长图像分析、对“有解”与“恒成立”区别清晰的学生。
特值验证与构造法
对于选择题或填空题，先假设存在，尝试构造一个具体实例（如取特殊值）。若构造成功，则存在；若多次尝试失败且能证明一般情况矛盾，则不存在。
适合：直觉敏锐、计算速度快、善于从具体案例中发现规律的学生。