复旦大学 2023年强基第11题
📝 题目
对于函数 $f$ ,"$\exists b\gt 0, \exists c\gt 0, \forall|x|\lt c,|f(x)|\lt b$"的否命题是?
💡 答案解析
D 解析:$\displaystyle f(x)=f(-x) \Leftrightarrow \frac{1}{2} a b x+\log _{\frac{1}{5}}\left(5^{x}+1\right)=\frac{1}{2} a b(-x)+\log _{\frac{1}{5}}\left(5^{x}+1\right)$ $$ =-\frac{1}{2} a b x+\log _{\frac{1}{5}}\left(5^{x}+1\right)+x $$ $$ \begin{aligned} & \Leftrightarrow a b=1 \\ & g(x)=-g(-x) \Leftrightarrow 3^{x}+\frac{a+b}{3^{x}}+\frac{1}{3^{x}}+(a+b) 3^{x}=0 \\ & \Leftrightarrow a+b=1 \\ & \text { 故 } a=\omega, b=\varpi, \omega=e^{i \frac{\pi}{3}} \\ & \sum_{k=1}^{2023}\left(a^{k}+b^{k}\right)=0 \times 337+1 \quad \text { 选D。 } \\ & 2023=6 \times 337+1 \end{aligned} $$
📋 详细解题步骤
步骤 1/3
目标:理解原命题的结构
原命题为“存在b>0,存在c>0,对所有|x|
提示:注意量词的顺序:∃b>0, ∃c>0, ∀|x|
步骤 2/3
目标:应用否命题的规则
否命题需要将存在量词变为全称量词,全称量词变为存在量词,并否定结论。即:∀b>0, ∀c>0, ∃|x|
公式:¬(∃b>0, ∃c>0, ∀|x|0, ∀c>0, ∃|x|
提示:注意否定结论时,|f(x)|
步骤 3/3
目标:检查选项
根据否命题的形式,对比选项。注意选项中的量词顺序和不等号方向。
提示:常见错误:忘记改变量词或不等号方向。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。