定义 假设满足条件的对象存在，推导其参数值，最后必须验证该值是否确实满足原条件。
从哪来 本节为高三第1讲起点，无前置知识点记录，直接基于高中数学逻辑推理与方程函数基础构建。
为什么 存在性问题本质是“解集非空”问题。直接求解往往涉及高次方程或复杂不等式，难以处理。通过“假设存在→推导必要条件→验证充分条件”的逻辑闭环，将“是否存在”的定性判断转化为“求参数”的定量计算，最后通过回代验证排除增根，确保逻辑严密性。
代数推导法
设存在点 $P(x_0, y_0)$ 或参数 $k$，代入方程/不等式，解出 $k$ 或 $x_0$，最后将求得的值代回原式检验。
适合：逻辑基础扎实，擅长代数运算，对分类讨论不敏感的学生。
几何直观法
先画出函数图像或几何图形，观察交点、切线或区域范围，确定参数的大致范围，再用代数法精确求解并验证。
适合：空间想象力强，喜欢“数形结合”，容易在纯代数推导中迷失方向的学生。
反证法/极值法
假设不存在，推导出矛盾（如判别式 $\Delta < 0$ 但要求有解）；或求函数的最值，判断参数是否落在值域内。
适合：思维灵活，喜欢寻找边界条件，对逻辑悖论敏感的学生。