[家里蹲大学数学杂志]第410期定积分难题

简介:   1. (1). 设 $x\geq 0$, $n$ 为自然数, 证明: $$\bex x^n\geq n(x-1)+1; \eex$$ (2). $\forall\ n$, 求证: $$\bex \int_0^{1+\frac{2}{\sqrt{n}}}x^n\rd x>2; \eex$$ (3).

 

 

1.

(1). 设 $x\geq 0$, $n$ 为自然数, 证明: $$\bex x^n\geq n(x-1)+1; \eex$$

(2). $\forall\ n$, 求证: $$\bex \int_0^{1+\frac{2}{\sqrt{n}}}x^n\rd x>2; \eex$$

(3). 设正数列 $\sed{a_n}$ 满足 $$\bex \vlm{n}\int_0^{a_n}x^n\rd x=2. \eex$$ 求证: $\dps{\vlm{n}a_n=1}$.

 

 

2. 设 $f\in C[0,1]$, $\dps{\int_0^1 f(x)x^k\rd x=0\ (k=0,1,\cdots,n-1)}$, 且 $\dps{\int_0^1 f(x)x^n\rd x=1}$, 求证: $\exists\ \xi\in [0,1]$ 使 $|f(\xi)|\geq 2^n(n+1)$.

 

 

3. 设 $f,g\in C[a,b]$, 并且 $f(x)$ 单调下降, $0\leq g(x)\leq 1$, 记 $\dps{\lm=\int_a^b g(x)\rd x}$. 求证: $$\bex \int_{b-\lm}^b f(t)\rd t\leq \int_a^b f(t)g(t)\rd t. \eex$$

 

 

4. 设 $f'\in C[0,1]$, 且满足 $0\leq f'(x)\leq 1, f(0)=0$, 求证: $$\bex \int_0^1 f^3(x)\rd x\leq \sex{\int_0^1 f(x)\rd x}^2. \eex$$

 

 

5. 设 $f(x)$ 在实轴上有界且可微, 并满足 $$\bex |f(x)+f'(x)|\leq 1,\quad x\in (-\infty,+\infty). \eex$$ 求证: $|f(x)|\leq 1$.

 

 

6. 设 $f(x)$ 在 $[0,+\infty)$ 上可微, 且 $0\leq f'(x)\leq f(x)$, $f(0)=0$. 求证: $f(x)\equiv 0$.

 

 

7. 设 $f\in C^2[0,1]$, $\dps{\forall\ \xi\in \sex{0,\frac{1}{3}},\ \eta\in \sex{\frac{2}{3},1}}$.

(1). 求证: $\dps{|f'(x)|\leq 3|f(\xi)-f(\eta)|+\int_0^1 |f''(x)|\rd x}$;

(2). 求证: $\dps{|f'(x)|\leq 9\int_0^1 |f(x)|\rd x+\int_0^1 |f''(x)|\rd x}$.

 

 

8. 设 $f\in C[1,\infty)$, $f(x)>0$, 并且 $$\bex F(x)=\int_1^x f(t)\rd t\leq [f(x)]^2,\quad \forall\ x\geq 1. \eex$$

(1). 求证: $F'(x)\geq \sqrt{F(x)}$;

(2). 求证: $\dps{f(x)\geq \frac{1}{2}(x-1)}$;

(3). 若 $\dps{\int_1^x f(t)\rd t\leq [f(x)]^3}$, 求证: $\dps{f(x)\geq\sqrt{\frac{2}{3}(x-1)}}$.

 

 

9. 设 $f\in C^2[a,b]$, $f(a)=f(b)=0$. 求证:

(1). $\forall\ x\in [a,b]$, 有 $$\bex \sev{f(x)\cdot \frac{b-a}{(x-a)(x-b)}}\leq \int_a^b |f''(x)|\rd x; \eex$$

(2). $\dps{\max_{a\leq x\leq b}|f(x)|\cdot \frac{4}{b-a}\leq \int_a^b |f''(x)|\rd x}$.

 

 

10.

(1). 设 $f(x)$ 单调上升, $f(0)>0$. 求证: $$\bex 1\leq \int_0^1 f(x)\rd x\cdot \int_0^1 \frac{1}{f(x)}\rd x\leq \frac{[f(0)+f(1)]^2}{4f(0)f(1)}; \eex$$

(2). 设 $a_i\geq 0$, $i=1,2,3$, $a_1+a_2+a_3=1$, $0<\lm_1<\lm_2<\lm_3$. 求证: $$\bex 1\leq \sex{\sum_{i=1}^3 a_i\lm_i}\cdot \sex{\sum_{i=1}^3 \frac{a_i}{\lm_i}}\leq \frac{(\lm_1+\lm_3)^2}{4\lm_1\lm_3}. \eex$$

 

 

11.

(1). 设 $f(x)$ 在 $(0,\infty)$ 上连续且单调递减. 求证: $$\bex \int_1^{n+1}f(x)\rd x\leq \sum_{k=1}^n f(k)\leq f(1)+\int_1^n f(x)\rd x; \eex$$

(2). 设 $\dps{S_n=\sum_{k=1}^n\frac{1}{\sqrt{k}}}$. 求 $$\bex \vlm{n}\frac{S_{2n}-S_n}{\sqrt{n}}; \eex$$

(3). 设 $\dps{a_n=\frac{1}{1+\frac{1}{1}} +\frac{1}{2+\frac{1}{2}}+\cdots+\frac{1}{n+\frac{1}{n}}-\ln\frac{n}{\sqrt{2}}}$. 求证: 序列 $a_n$ 存在极限, 并证明此极限在 $0$ 与 $\dps{\frac{1}{2}}$ 之间.

 

 

12. 设 $a_1\geq a_2\geq \cdots\geq a_n\geq 0$.

(1). 若 $f(0)=0$, $f'(0)\geq 0$, $f''(x)\geq 0$\ ($0\leq x<\infty)$. 求证: $$\bex \sum_{k=1}^n (-1)^{k+1}f(a_k)\geq f\sex{\sum_{i=1}^n (-1)^{k+1}a_k}; \eex$$

(2). 求证: 当 $p>1$ 时, $$\bex \sum_{k=1}^n (-1)^{k+1} a_k^p\geq \sex{\sum_{k=1}^n (-1)^{k+1} a_k}^p. \eex$$

 

 

13. 设 $g(x)$ 在 $[a,b]$ 上增加. 求证: $\forall\ c\in (a,b)$, 有 $$\bex f(x)=\int_c^x g(t)\rd t \eex$$ 是凸函数.

 

 

14. 设 $f(x)$ 在 $[a,b]$ 上是凸的. 求证: $\forall\ c,x\in [a,b]$, 有 $$\bex f(x)-f(c)=\int_c^x f'_-(t)\rd t=\int_c^x f'_+(t)\rd t. \eex$$

 

 

15. 求证: $$\bex \int_0^{\sqrt{2\pi}}\sin x^2\rd x>0. \eex$$

 

 

16. 请按下列提示的思路证明: 若 $f\in C[a,b]$, 单调增加, 则 $$\bex \int_a^b xf(x)\rd x\leq \frac{a+b}{2}\int_a^b f(x)\rd x. \eex$$

思路一: 对积分 $\dps{\int_a^b \sex{x-\frac{a+b}{2}}f(x)\rd x}$ 分段使用第一中值定理.

思路二: 对积分 $\dps{\int_a^b \sex{x-\frac{a+b}{2}}f(x)\rd x}$ 使用第二中值定理.

思路三: 从 $\dps{\int_a^b \sex{x-\frac{a+b}{2}}\sex{f(x)-f\sex{\frac{a+b}{2}}}\rd x\geq 0}$ 出发.

思路四: 从 $$\bex (t-x)(f(t)-f(x))\geq 0,\quad \forall\ t,x\in [a,b] \eex$$ 出发, 先固定住 $x$ 对 $t$ 积分, 将所得结果再对 $x$ 积分.

 

 

17. 设 $b>a>0$. 求证: $\dps{\ln \frac{b}{a}>\frac{2(b-a)}{a+b}}$.

 

所有习题选自北京大学数学系的数学分析习题集. 参考解答见第411期.

 

目录
相关文章
|
并行计算 Docker 容器
Mamba 环境安装:causal-conv1d和mamba-ssm报错解决办法
Mamba 环境安装:causal-conv1d和mamba-ssm报错解决办法
4613 0
|
Web App开发 前端开发 JavaScript
React 之 requestIdleCallback 来了解一下
React 之 requestIdleCallback 来了解一下
1272 0
|
JSON 算法 物联网
物联网中利用OTA技术升级的基本原理与方法
物联网中利用OTA技术升级的基本原理与方法
572 0
|
Linux 编译器 数据处理
探索Linux中的`ld`命令:链接器的奥秘
`ld`是Linux中的链接器,将编译后的目标文件链接成可执行或共享库。作为GNU Binutils的一部分,它处理符号引用、重定位,支持多种文件格式和库类型。常用参数包括`-o`指定输出文件,`-l`链接库,`-L`指定搜索路径。编译器驱动程序常用于简化链接过程。理解符号解析、选择静态/动态链接及管理库版本是使用`ld`的关键。使用`--verbose`调试链接问题,并考虑优化选项。
|
10月前
|
机器学习/深度学习 人工智能 前端开发
2024年软件开发新趋势:关键技术和实践
2024年软件开发迎来新趋势,涵盖AI/ML深度集成、微前端架构进展、单元测试最佳实践及CI/CD最新动态,推动产品质量、效率和创新的提升。
|
设计模式 运维 Java
Spring5深入浅出篇:Spring中静态代理与动态代理
Spring框架中的代理模式分为静态代理和动态代理。在JavaEE分层开发中,Service层最为重要,包含核心业务逻辑和额外功能。静态代理通过手动创建代理类来增加原始类的额外功能,但当代理类数量多时管理不便且不易于维护。动态代理则解决了这一问题,通过Spring的AOP(面向切面编程)实现,无需手动创建代理类,只需定义切点和增强(额外功能),在运行时动态生成代理对象,提高了代码的灵活性和可维护性。动态代理主要利用了JVM的字节码技术,在运行过程中创建代理类,执行完毕后随着虚拟机的结束而销毁,不会产生持久化的代理类。
|
前端开发 容器
css中弹性布局使用方法
css中弹性布局使用方法
178 0
|
图形学 异构计算
Unity3D学习笔记8——GPU实例化(3)
Unity3D学习笔记8——GPU实例化(3)
197 0
|
机器学习/深度学习 存储 人工智能
大白话讲清楚:什么是 Langchain 及其核心概念
大白话讲清楚:什么是 Langchain 及其核心概念
|
传感器 编解码 监控
线程池有哪些拒绝策略?
本文介绍了Java线程池的四种拒绝策略:AbortPolicy(默认策略,抛出异常)、CallerRunsPolicy(调用者运行任务)、DiscardPolicy(丢弃任务,不抛异常)和DiscardOldestPolicy(丢弃最旧任务,尝试提交当前任务)。每种策略都有其适用的业务场景,并通过代码示例进行了说明。选择合适的策略取决于具体的应用需求和对任务处理的优先级。
574 0