逻辑条件与含参范围

约 6391 字大约 21 分钟

先把语言要求转成逻辑关系，再求参数。解集的空与非空、端点能否取到、方程是否降次，以及两个命题允许哪些真假组合，都会改变最终范围；这些分支不能用一句口诀跳过。

一、知识点概念与依据

1. 先分清对象变量与参数

在 $\forall x\in M,P(x,a)$ 中，量词检查 $x$ ，待求的是参数 $a$ 。固定一个合法 $a$ 后，必须按题意检查全部或至少一个 $x$ ；求出的 $x$ 解集不等于参数范围。

先确认原参数域与每个表达式有意义的条件。 $p$ 真、 $p$ 假、 $\neg p$ 真、 $\neg p$ 假分别要求真、假、假、真，不能见到否定号就只反转内层不等号而保留原量词。真参数集确定后，假集取其在原合法参数域中的补集；使命题整体无意义的参数不能直接算“假”。

2. 条件关系转同域解集包含

以 $P,Q$ 分别表示条件 $p,q$ 的实际真集：充分是 $P\subseteq Q$ ，必要是 $Q\subseteq P$ ，充分不必要是 $P\subsetneq Q$ ，必要不充分是 $Q\subsetneq P$ ，充要是 $P=Q$ 。句式若为“ $p$ 的充分条件是 $q$ ”，先改为 $q\Rightarrow p$ ，再用 $Q\subseteq P$ 。

先求合法成员，不能把整数集合换成实数区间，不能把含参端点默认成已排好序的非空区间。方程最高次系数为零时先解降次分支；若一次项也零，再看常数是零还是非零，可能分别得到全部合法对象或空集。

真包含只要求至少多一员。例如 $p:-3\le x\le1$ 、 $q:x\le a$ ，若 $p$ 是 $q$ 的充分不必要条件，则 $[-3,1]\subsetneq(-\infty,a]$ 。由合法右端 $1$ 得必要 $a\ge1$ ；反向每个 $p$ 对象均 $x\le1\le a$ ，而 $-4$ 在外层不在内层，故真包含，完整范围 $a\ge1$ 。不能因“不必要”强改成 $a>1$ ，也不能只要求 $a\ge-3$ 。

3. 含参集合先分类，边界按成员核验

闭范围 $l(a)\le x\le r(a)$ 在左端大于右端时空，相等时为单点，小于时为非退化区间；有开端点时，相等可能为空。被包含集合空时，包含自动成立；要真包含还需外层非空。外层须包含一个已知非空集合时，则外层也必须非空。

例如 $A=[-2,5]$ ， $B=\{x\mid m+1\le x\le2m-1\}$ ，要求 $B\subsetneq A$ ：

$m<2$ 时 $B=\varnothing$ ，因 $A$ 非空，真包含成立。
$m\ge2$ 时，端点要求 $m+1\ge-2$ 、 $2m-1\le5$ ，合为 $2\le m\le3$ 。 $B$ 左端至少为 $3$ ，所以 $-2$ 仍是外层额外成员； $m=2$ 的 $B=\{3\}$ 也合法。

两支并得 $m\le3$ 。只收 $2\le m\le3$ 漏空支，只收 $2<m\le3$ 又漏单点。端点相等是否允许，须看该点是否是内层成员且被外层接纳，不能只凭括号外形。

4. 全称归属是包含，存在归属是交非空

\forall x\in A,x\in B\iff A\subseteq B,\qquad \exists x\in A,x\in B\iff A\cap B\ne\varnothing.

全称两向直接来自子集定义。存在为真时，见证同时在两边，故交非空；反过来取交集一个成员，就是合法见证。否定全称则有一个 $A$ 成员不在 $B$ ；在共同全集 $U$ 且 $A,B\subseteq U$ 下，等价于 $A\cap\complement_U B\ne\varnothing$ 。存在为假等价于 $A\cap B=\varnothing$ 。

$A=\varnothing$ 时全称真、存在假；另知 $A\ne\varnothing$ 且 $A\subseteq B$ ，才能推出存在公共成员。交集非空只需一个共同成员，不能加强成全体包含；两端恰接触须双方都取到才有见证。

分段外层有缺口时，连续内层不能跨过缺口。上述转换讨论同一个对象直接归属两集合；若题目是不同输入产生相同输出，应先求可实现的输出集合，再比较，不能直接把输入集合包含起来。

5. 极值必须在合法对象中实际取到

设 $M\ne\varnothing$ ，表达式 $f(x)$ 对全部 $x\in M$ 有意义。最小值 $m$ 不仅要求每个 $f(x)\ge m$ ，还须有合法对象使 $f(x)=m$ ；最大值 $L$ 同理。以下表中用到哪一个极值，就要求哪一个存在并取到，不要求两个同时存在。

要求	参数等价条件	用到的值
$\forall x\in M,f(x)\ge a$	$a\le m$	最小值
$\forall x\in M,f(x)>a$	$a<m$	最小值
$\forall x\in M,f(x)\le a$	$a\ge L$	最大值
$\forall x\in M,f(x)<a$	$a>L$	最大值
$\exists x\in M,f(x)\ge a$	$a\le L$	最大值
$\exists x\in M,f(x)>a$	$a<L$	最大值
$\exists x\in M,f(x)\le a$	$a\ge m$	最小值
$\exists x\in M,f(x)<a$	$a>m$	最小值

全称的两向依据：每个 $f(x)\ge a$ ，最小值处也通过，故 $m\ge a$ ；反向 $a\le m$ 时，每个 $f(x)\ge m\ge a$ 。每个 $f(x)\le a$ ，最大值处也通过，故 $L\le a$ ；反向每个 $f(x)\le L\le a$ 。严格时，取值处也须严格通过，分别得到 $a<m$ 、 $a>L$ ，反向同样接严格不等式链。

存在的两向依据：若某个 $f(x)\ge a$ ，则 $L\ge f(x)\ge a$ ；反向取最大值处作见证。若某个 $f(x)\le a$ ，则 $m\le f(x)\le a$ ；反向取最小值处作见证。严格时，必要关系为 $L\ge f(x)>a$ 或 $m\le f(x)<a$ ，反向仍取相应极值作见证。因此存在不是永远看最大值，要看所求比较方向。

原基础题 $\forall x\in\mathbb R,x^2+a-1\ge0$ ：代最不利对象 $x=0$ 得必要 $a\ge1$ ；满足时 $x^2\ge0$ 、 $a-1\ge0$ 对全部实数成立，故充分。答案 $[1,+\infty)$ ，既非反向范围，也不删 $a=1$ 。也可改成 $a\ge1-x^2$ ，右边最大 $1$ 在 $0$ 取到，两法同义。

6. 未取到界限、含参系数与空范围另查

$x\in[-2,3)$ 时平方全都小于 $9$ ，但无最大平方值，不能把 $9$ 当最大值套表；前一单元已给任意取值还能增大的证明。 $x\in(1,2]$ 时平方下界 $1$ 取不到，最大 $4$ 取到，存在 $x^2<a$ 与全称 $x^2<a$ 的边界不同，须分别证明可实现性。

二次式在全部实数上且二次系数正时可配方找最小值；最高次系数含参数时先分零、正、负。限制区间时，再看顶点是否在内、端点是否取到。方程有实根用 $\Delta\ge0$ 、两不同实根用 $\Delta>0$ 、无实根用 $\Delta<0$ ，前提都是真正二次方程。全实数上严格正不是“有实根”，不能混用判据。

空范围没有极值，存在假而全称真，不能代入极值表。若参数同时改变函数系数或对象范围，某一分支的极值不能直接用于其他分支。

7. 真参数集合求好，再合并真假组合

设合法参数域为 $U$ ， $p,q$ 真集为 $P,Q\subseteq U$ ，假集分别为 $P^c=\complement_U P$ 、 $Q^c=\complement_U Q$ 。这是参数集合，不是被量词检查的 $x$ 集合。

所需组合	参数集合
都真	$P\cap Q$
至少一个真，即或为真	$P\cup Q$
都假	$P^c\cap Q^c$
不全真	$(P\cap Q)^c=P^c\cup Q^c$
恰一个真	$(P\cap Q^c)\cup(P^c\cap Q)$
恰一个真为假	$(P\cap Q)\cup(P^c\cap Q^c)$

同一支的要求同时满足，取交；允许不同支，取并。两个都真恰是交集，因为同一参数须同时使两命题真；至少一个真恰是并集。恰一真的两支互不相容，两真和两假均不能混入；它为假则正好取剩下两支。这些规则既收齐全部允许组合，也排除不允许组合。

二、考点方法与例题

1. 条件句译成包含，先判形态再看端点

每问先写箭头，再求实际集合。内层空时别删，非空时核闭端、开端及真包含的额外成员；整数集合则找需收入的成员和最近需排除的成员，证明更远成员也排除。

例题 01 谁被称为条件，就从谁出发

题目

已知 $p$ ： $-2\le x\le 5$ ， $q:2-2m\le x\le 2+m\left( m>0\right)$ ，若 $p$ 的充分不必要条件是 $q$ ，则实数 $m$ 的取值范围为（）

A． $m\le 3$ B． $0<m\le 3$

C． $m\ge 2$ D． $0<m\le 2$

答案与解析

解析

“ $p$ 的充分不必要条件是 $q$ ”指定 $q\Rightarrow p$ 且逆向失败。记 $P=[-2,5]$ ， $Q=[2-2m,2+m]$ ，要求 $Q\subsetneq P$ 。

题设 $m>0$ 保证区间长度 $3m>0$ ，不是空集。包含需两闭端进入 $P$ ：

2-2m\ge-2\iff m\le2,\qquad 2+m\le5\iff m\le3.

第一式除负数时反向。与 $m>0$ 取交得 $0<m\le2$ 。反向该范围保证包含，且 $Q$ 右端不超过 $4$ ， $5\in P\setminus Q$ ，确为真包含。

A 多收非正数和 $2<m\le3$ ；B 多收 $2<m\le3$ ；C 又多收 $m>2$ 且漏掉 $0<m<2$ 。 $m=2$ 时左端同为 $-2$ ，但右端只到 $4$ ，真包含仍成立，不能删去。

本题结论

D， $0<m\le2$ 。

例题 02 整数真集相等不要求实区间端点相等

题目

已知集合 $M=\left\{ 1,2,3\right\},N=\left\{ x\in Z\mid \left| x-2\right|\le a\right\}$ ，若 $x\in M$ 是 $x\in N$ 的充要条件，则整数 $a=$ （）

A．4 B．3 C．2 D．1

答案与解析

解析

充要意味着 $N=M=\{1,2,3\}$ 。要收入 $1,3$ ，它们到 $2$ 的距离为 $1$ ，需 $a\ge1$ ；要排除最近的外来整数 $0,4$ ，距离为 $2$ ，需 $a<2$ 。

反向若 $1\le a<2$ ， $1,2,3$ 的距离为 $1,0,1$ ，全部入选；任何其他整数不大于 $0$ 或不小于 $4$ ，距离至少为 $2>a$ ，全部排除。故该范围必要又充分。

再要求 $a$ 为整数，仅 $a=1$ 。其余候选 $2,3,4$ 均收进额外整数。若把实数端点强设为 $1,3$ ，会忽略整数之间的空档；这里先得到实参数范围，再取整数。

本题结论

D， $a=1$ 。

例题 03 同一对集合，三问的方向不同

题目

已知集合 $A=\left\{ \left. x\right|a-1\le x\le 3-2a\right\},B=\left\{ \left. x\right|{x}^{2}-2x-8\le 0\right\}$ ．

(1)若 $a=0$ ，求 $A\cap B$ ;

(2)若 $A\cup B=B$ ，求实数 $a$ 的取值范围；

(3)若 $x\in B$ 是 $x\in A$ 的充分不必要条件，求实数 $a$ 的取值范围．

答案与解析

解析

先求 $B$ ： $x^2-2x-8=(x-4)(x+2)$ ，积在两根间非正、两侧正，故 $B=[-2,4]$ 。

（1） $a=0$ 时 $A=[-1,3]\subseteq B$ ，所以交为 $[-1,3]$ 。

（2） $A\cup B=B$ 等价于 $A\subseteq B$ ：并集不添加 $B$ 外成员，正好要求全部 $A$ 成员已在 $B$ 。若 $a-1>3-2a$ ，即 $a>4/3$ ， $A$ 空，自动成立。非空时 $a\le4/3$ ，端点要求 $a-1\ge-2$ 、 $3-2a\le4$ ，给 $a\ge-1$ 、 $a\ge-1/2$ ，合为 $-1/2\le a\le4/3$ 。与空支取并，得 $a\ge-1/2$ 。 $a=4/3$ 是合法单点 $\{1/3\}$ 。

（3）重新翻译：“属于 $B$ ”保证“属于 $A$ ”且逆向失败，是 $B\subsetneq A$ 。 $B$ 非空，因此 $A$ 非空，覆盖需 $a-1\le-2$ 、 $3-2a\ge4$ ，即 $a\le-1$ 、 $a\le-1/2$ ，合得 $a\le-1$ 。反向这些值使 $A$ 左端不高于 $-2$ 、右端至少 $5$ ，包含 $B$ 且多出 $5$ ，确为真包含。边界 $a=-1$ 仍保留。

本题结论

（1） $[-1,3]$ ；（2） $a\ge-1/2$ ；（3） $a\le-1$ 。

2. 量词归属转包含或交非空，保留空支与缺口

全称查全部成员，存在找公共成员；若问为假，否定完整命题。连续内层不能跨分段外层缺口，端点接触须两边都收。必要条件求出后，还要说明它确能保证包含或提供见证。

例题 04 外层是分离射线，内层不能跨过缺口

题目

已知集合 $A=\left\{ \left. x\right|a\le x\le a+3\right\}$ ，集合 $B=\left\{ \left. x\right|x<-1\right.$ 或 $\left. x>5\right\}$ ，全集 $U=R$ .

(1)若 $a=4$ ，求 $A\cap B$ ， $A\cup B$ ；

(2)若命题“ $\forall x\in A$ ，都有 $x\in B$ ”是真命题，求实数 $a$ 的取值范围.

答案与解析

解析

（1） $a=4$ 时 $A=[4,7]$ 。与左射线无交，与右射线交为 $(5,7]$ ；并集保留左射线，同时由 $A$ 补齐右侧到 $4$ ，得 $(-\infty,-1)\cup[4,+\infty)$ 。交不取 $5$ ，并取 $4$ ，分别由实际成员决定。

（2）全称归属要求 $A\subseteq B$ 。 $A=[a,a+3]$ 始终非空连续，若同时伸入左右射线，就会包含缺口 $[-1,5]$ 内的点，因此必须整体在一支。

左支要求闭右端 $a+3<-1$ ，即 $a<-4$ ；右支要求闭左端 $a>5$ 。任一条件满足时整个 $A$ 在相应射线，充分性成立。 $a=-4$ 的成员 $-1$ 、 $a=5$ 的成员 $5$ 都不在 $B$ ，边界删去。

本题结论

（1） $A\cap B=(5,7]$ ， $A\cup B=(-\infty,-1)\cup[4,+\infty)$ ；（2） $a<-4$ 或 $a>5$ 。

例题 05 开闭端点与全称归属的三问

题目

已知集合 $A=\left\{ x\left| 1<x<3\right.\right\}$ ，集合 $B=\left\{ x\left| 2m<x\le 1-m\right.\right\}$ ， $U=R$ ．

(1)若“ $x\in A$ ”是“ $x\in B$ ”的充分不必要条件，求实数 $m$ 的取值范围；

(2)若命题“ $\forall x\in B$ ，都有 $x\in A$ ”是真命题，求实数 $m$ 的取值范围;

(3)若 $A\cap B=\varnothing$ ，求实数 $m$ 的取值范围．

答案与解析

解析

（1）充分不必要为 $A\subsetneq B$ 。覆盖开区间 $(1,3)$ ，需 $2m\le1$ 、 $1-m\ge3$ ，给 $m\le1/2$ 、 $m\le-2$ ，合得 $m\le-2$ 。反向确覆盖，且 $3$ 被 $B$ 收入却不在 $A$ ，真包含，所以不必将闭右端要求加强为 $1-m>3$ 。

（2）全称是 $B\subseteq A$ 。当 $2m\ge1-m$ ，即 $m\ge1/3$ ，左开右闭范围为空，包括两端相等时也空，故全部合格。非空支 $m<1/3$ 若要包含，则左开端需 $2m\ge1$ ，右闭端需 $1-m<3$ ；其中 $m\ge1/2$ 已与非空条件矛盾，无解。因此最终只有 $m\ge1/3$ 。

（3）先收入空支 $m\ge1/3$ 。非空支 $m<1/3$ 要整体在 $A$ 左侧或右侧。左侧需 $1-m\le1$ ，即 $m\ge0$ ，合为 $0\le m<1/3$ ；右侧需 $2m\ge3$ ，即 $m\ge3/2$ ，与非空支矛盾。并得 $m\ge0$ 。边界 $m=0$ 时 $B=(0,1]$ ， $A$ 不取 $1$ ，仍无公共成员。

本题结论

（1） $m\le-2$ ；（2） $m\ge1/3$ ；（3） $m\ge0$ 。

3. 独立求各命题真集，再按允许组合取交并

先化每个命题：真二次方程看判别式，有界范围不等式先求实际最值，系数为零另解。再在合法参数域取补、列全部真假支；支内交、支间并，最后逐个临界值回查原句。

例题 06 存在看可实现的有利值，不照搬全称

题目

已知命题 $p:\exists x\in \left[ 0,1\right],{x}^{2}-2x-2+a>0$ ；命题 $q:\forall x\in R,{x}^{2}-2x-a\ne 0$ ，若命题 $p,q$ 均为假命题，则实数 $a$ 的取值范围为（）

A． $\left[ -1,3\right]$ B． $\left[ -1,2\right]$ C． $\left[ 0,2\right]$ D． $\left( -\infty ,-1\right]$

答案与解析

解析

求 $p$ 真：移项为存在 $x\in[0,1]$ 使 $a>-x^2+2x+2$ 。右式配方为 $3-(x-1)^2$ ，而 $0\le(x-1)^2\le1$ ，故取值在 $[2,3]$ ，最小 $2$ 在 $x=0$ 取到。存在成立必要 $a>2$ ；满足时取 $x=0$ 即可，也充分。因此 $p$ 假为 $a\le2$ 。

$q$ 真要求真正二次方程 $x^2-2x-a=0$ 无实根，判别式 $4+4a<0$ ，故 $a<-1$ ； $q$ 假为 $a\ge-1$ 。

均假取交，得 $[-1,2]$ 。A 多收 $2<a\le3$ ，C 漏负部，D 给错方向。 $a=-1$ 的重根让 $q$ 假， $a=2$ 时严格存在不成立让 $p$ 假，两端都收入。

本题结论

B， $[-1,2]$ 。

例题 07 不全真不是全是假

题目

已知命题 $p:\forall x\in \left\{ x|1\le x\le 2\right\}$ ，都有 ${x}^{2}-a\ge 0$ ，命题 $q:$ 存在 ${x}_{0}\in R,{x}_{0}^{2}+2a{x}_{0}+2-a=0$ ，若 $p$ 与 $q$ 不全为真命题，则实数 $a$ 的取值范围是（）

A． $\left\{ a|a\le -2\right\}$ B． $\left\{ a|a\le 1\right\}$

C． $\left\{ a|a\le -2\text{或}a=1\right\}$ D． $\left\{ a|-2<a<1\text{或}a>1\right\}$

答案与解析

解析

$p$ 真要求 $a\le x^2$ 对全部 $x\in[1,2]$ 成立。最小平方 $1$ 在 $1$ 取到，因此恰为 $a\le1$ ；反向每个平方都至少 $1$ ，保证全称。

$q$ 的二次系数为 $1$ ，有实根等价于

\Delta=(2a)^2-4(2-a)=4a^2+4a-8=4(a+2)(a-1)\ge0,

故 $q$ 真为 $a\le-2$ 或 $a\ge1$ 。两者都真是与 $a\le1$ 取交，得到 $a\le-2$ 或 $a=1$ 。

“不全真”取这个全真集合在实数域中的补集，得 $-2<a<1$ 或 $a>1$ 。A 只是部分全真，B 只是 $p$ 真，C 正是全真范围，D 才正确。 $a=-2,1$ 均让两者真，要删去；不全真中的一真一假不能删除。

本题结论

D， $(-2,1)\cup(1,+\infty)$ 。

例题 08 否定的真值与恰一真的两支

题目

已知 $p$ ：关于 $x$ 的方程 ${x}^{2}-2ax+{a}^{2}+a-2=0$ 有实根， $q$ ：关于 $x$ 的方程 $x-2a+5=0$ 的解在 $\left[ -3,9\right]$ 内.

(1)若 $\neg q$ 是真命题，求 $a$ 的取值范围；

(2)若 $p$ 和 $q$ 中恰有一个是真命题，求 $a$ 的取值范围.

答案与解析

解析

（1） $q$ 的方程给 $x=2a-5$ 。要求根在闭区间，

-3\le2a-5\le9\iff2\le2a\le14\iff1\le a\le7.

每步加同数或除正数都可逆。 $\neg q$ 真即 $q$ 假，故 $a<1$ 或 $a>7$ ，端点不收。

（2） $p$ 的二次系数为 $1$ ，判别式

\Delta=(-2a)^2-4(a^2+a-2)=8-4a.

$p$ 真为 $a\le2$ ，假为 $a>2$ 。恰一真分两支： $p$ 真 $q$ 假要求 $a\le2$ 且 $(a<1\text{或}a>7)$ ，只留 $a<1$ ； $p$ 假 $q$ 真要求 $a>2$ 且 $1\le a\le7$ ，得 $2<a\le7$ 。

两支取并。 $a=1,2$ 都真，排除； $a=7$ 只有 $q$ 真，收入。不能将两个真集简单取并，否则会误收两真。

本题结论

（1） $(-\infty,1)\cup(7,+\infty)$ ；（2） $(-\infty,1)\cup(2,7]$ 。

例题 09 同一范围里的全称、存在和降次

题目

已知集合 $A=\left\{ \left. x\right|1<x\le 2\right\}$ ，集合 $B=\left\{ \left. x\right|{x}^{2}-a<0\right\}$ ，命题 $p:\forall x\in A ,x\in B$ ，命题 $q:\exists x\in R ,a{x}^{2}+2x+1=0$ ，命题 $r:\exists x\in A ,x\in B$ ．

(1)若命题 $r$ 是真命题，求实数 $a$ 的取值范围；

(2)若命题“ $p$ 和 $q$ 有且仅有一个是真命题”是假命题，求实数 $a$ 的取值范围．

答案与解析

解析

（1） $r$ 真等价于在 $A=(1,2]$ 中存在 $x^2<a$ 。每个合法 $x$ 都使 $x^2>1$ ，所以必要 $a>1$ 。

若 $a>1$ ，令 $t=\min(2,\sqrt a)>1$ ，取 $x=(1+t)/2$ ，则 $1<x<t\le2$ ，又 $x<\sqrt a$ 且两者正，故 $x^2<a$ 。构造了真实见证，充分性成立。下界 $1$ 取不到，不能用 $x=1$ 把条件放宽到 $a\ge1$ 。

（2）先求 $p$ 真。 $x^2$ 在 $A$ 的最大值 $4$ 于 $x=2$ 取到，要求每个平方严格小于 $a$ ，必要 $a>4$ ；满足时 $x^2\le4<a$ ，也充分。

再求 $q$ 真。 $a=0$ 时方程降为 $2x+1=0$ ，有实解 $-1/2$ ； $a\ne0$ 时判别式 $4-4a\ge0$ ，得到 $a\le1$ 且 $a\ne0$ 。合并，恰为 $a\le1$ ，未漏零。

“恰一个真”为假，只剩两真或两假。两真需 $a>4$ 且 $a\le1$ ，不可能；两假需 $a\le4$ 且 $a>1$ ，故 $1<a\le4$ 。 $a=4$ 时 $p$ 在合法端点 $2$ 失败， $q$ 也假，应收入； $a=1$ 时 $q$ 有重根为真，应排除。

本题结论

（1） $a>1$ ；（2） $1<a\le4$ 。

三、坑点辨析与纠错

1. 存在为假不能先要求范围非空

原范围 $D(a)=\{x\mid-1-a\le x\le a-2\}$ ，空、单点与非退化三种形态不能混在一起。考虑归并后的线性条件：要求 $\forall x\in D(a),(2a+1)x+2a^2<0$ 。

$a<1/2$ 时 $D(a)$ 空，全称没有反例，成立。
$a=1/2$ 时唯一输入 $x=-3/2$ ，代入为 $-5/2<0$ ，成立。
$a>1/2$ 时区间非退化、系数 $2a+1>0$ ，最大值在右端，故需

(2a+1)(a-2)+2a^2=4a^2-3a-2<0.

两根为 $\alpha=(3-\sqrt{41})/8$ 、 $\beta=(3+\sqrt{41})/8$ ，且 $\alpha<1/2<\beta$ ，与此分支取交是 $1/2<a<\beta$ 。 $a=\beta$ 在右端取得零，不满足严格小于。

因此按字面集合口径，完整范围是 $a<\beta$ ；若另限范围非空，是 $[1/2,\beta)$ ；若另限非退化，才是 $(1/2,\beta)$ 。这些是不同附加前提下的结果，不能为符合某个既有答案而静默补条件。原来源的指数模型还混用了“存在”与“恒成立”，需要先澄清量词；这里归并保留其逻辑与端点计算，不把未澄清语句当成唯一确定题意。