约束条件下不等式解存在性问询：判断指定不等式是否有解

让我们一步步拆解这个问题，验证你的猜想是否正确：

变量简化与转化 #

已知条件：

• α > 1
• 0 < β₁, β₂ < 2 且 β₁ + β₂ < 2

我们先令 ( s = \beta_1 + \beta_2 )，根据条件可知 ( 0 < s < 2 )，同时因为 ( \beta_2 = s - \beta_1 > 0 )，所以 ( 0 < \beta_1 < s )。

原不等式可以改写为：
$$2\beta_1(\alpha-1)(2-s) \geq \alpha^2$$

分析左边的最大值 #

观察左边的表达式：( 2(\alpha-1)(2-s) ) 是一个正数（因为 α>1，2-s>0），所以左边是关于 ( \beta_1 ) 的单调递增一次函数。这意味着当 ( \beta_1 ) 取到最大值时，左边的值最大。

由于 ( \beta_1 < s )，当 ( \beta_1 ) 无限接近 ( s ) 时，左边的最大值趋近于：
$$2s(\alpha-1)(2-s)$$

二次函数的最值分析 #

现在看 ( 2s(2-s) ) 这个部分，这是一个关于 ( s ) 的二次函数，定义域为 ( 0 < s < 2 )。它的开口向下，顶点在 ( s=1 ) 处，此时取得最大值：
$$2 \times 1 \times (2-1) = 2$$

也就是说，( 2s(2-s) \leq 2 )，等号仅在 ( s=1 ) 时成立。

最终推导 #

将这个最大值代入左边的上限，可得左边的最大可能值为 ( 2(\alpha-1) )。现在我们需要判断是否存在 α>1 使得：
$$2(\alpha-1) \geq \alpha^2$$

整理这个不等式：
$$\alpha^2 - 2\alpha + 2 \leq 0$$

观察二次函数 ( f(\alpha) = \alpha^2 - 2\alpha + 2 )，其判别式 ( \Delta = (-2)^2 - 4 \times 1 \times 2 = -4 < 0 )，且二次项系数为正，所以 ( f(\alpha) ) 恒大于 0，即：
$$2(\alpha-1) < \alpha^2 \quad \forall \alpha \in \mathbb{R}$$

这说明左边的最大值都严格小于右边的 ( \alpha^2 )，因此原不等式不可能成立，确实无解。

内容的提问来源于stack exchange，提问作者Abhinav Jha