「荒原之梦考研数学」文章

峰说 | 为什么地球上除了人之外的其他动物没有发展出“智能”?

由于本文的主题是“智能”,所以,「荒原之梦」首先给出“智能”的定义(这个定义是「荒原之梦」在本文中首先提出的):

所谓“智能”,就是一种具有“各向完备性”的认知能力。这里的“各向完备性”指的是在某种认知范围内,具有“智能”的对象能够认知,或者具有认知的潜能。

上面有关“智能”的定义,实际上隐含了两个含义:

  1. “认知”或者说“智能”有边界的,不存在没有边界,或者说不受限制的智能;
  2. “认知”或者说“智能”是相对的,因为我们需要在某个“认知范围内”对智能做出评价与衡量。

基于上面对“智能”的定义,我们可以用如图 01 所示的封闭图形表示一种“智能”:

峰说 | 为什么地球上除了人之外其他动物为什么没有发展出高级智能?| 荒原之梦 | 图 01.
图 01.

为了进行后面的解释,「荒原之梦」在这里还要提出一个假说(猜想),即:智能决定论。

所谓“智能决定论”说的是,一个对象的物质意义,以及这个对象所观察和影响到的世界等一切能够决定这个对象的事物与存在,本质上都源自于这个对象所具有的“智能”。

因此,从这个意义上来说,假如图 02 中的绿色封闭图形所代表的智能,能够兼容和完全理解图 02 中灰色封闭图形所代表的智能,那么,这两个智能映射出来的对象就是完全一致的。换句话说,从智能决定论的角度来说,世界上并不存在一种被绿色封闭图形智能内含的灰色封闭图形智能,因为,一旦出现这种情况,那么,这两种智能就是完全一样的智能,对应的封闭图形也是完全一致的:

峰说 | 为什么地球上除了人之外其他动物为什么没有发展出高级智能?| 荒原之梦 | 图 02.
图 02.

基于上面的分析,我们就可以回答“为什么地球上除了人之外其他动物为什么没有发展出高级智能?”这一问题,因为,并不是其他动物,甚至植物等对象没有智能,而是,不同的智能之间或许存在某种“隔绝性”,也就是说,A 种群的智能完全不可能或者部分不可能理解 B 种群的智能。

如图 03 所示,绿色和橙色的封闭图形对应的智能只存在部分交集,那么,对于拥有绿色封闭图形的智能对象而言,橙色封闭图形对应的对象就不具有智能,反之,橙色封闭图形对应的智能对象也不认为绿色封闭图形对应的对象有智能:

峰说 | 为什么地球上除了人之外其他动物为什么没有发展出高级智能?| 荒原之梦 | 图 03.
图 03.

换句话说,图 03 中所示的情况就导致 A 种群不能确定 B 种群是否存在智能,B 种群也不能确定 A 种群是否存在智能。

当然,如图 04 所示,在自然世界中,还可能存在一些互相完全没有交集的智能对象(封闭图形),如果这一猜想成立,那么,“一块石头是否也是某种智能体”,就成为了一个需要讨论并严肃对待的论题了:

峰说 | 为什么地球上除了人之外其他动物为什么没有发展出高级智能?| 荒原之梦 | 图 04.
图 04.

2022考研数二第09题解析:线性方程组、范德蒙行列式

一、题目

二、解析

本题中的方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 是一个非齐次线性方程组,对于非齐次线性方程组解的判断,需要用到该方程组 $n$ 阶系数矩阵 $\boldsymbol{A}$ 的秩 $\mathbf{r} \left( \boldsymbol{A} \right)$, 以及该方程组增广矩阵(或称“扩展矩阵”)的秩 $\mathbf{r} \left( \boldsymbol{A}, \boldsymbol{b} \right)$:

  1. 当 $\mathbf{r} \left( \boldsymbol{A} \right) = \mathbf{r} \left( \boldsymbol{A}, \boldsymbol{b} \right) = n$ 的时候,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 有唯一的解;
  2. 当 $\mathbf{r} \left( \boldsymbol{A} \right) = \mathbf{r} \left( \boldsymbol{A}, \boldsymbol{b} \right) < n$ 的时候,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 有无穷多解;
  3. 当 $\mathbf{r} \left( \boldsymbol{A} \right) < \mathbf{r} \left( \boldsymbol{A}, \boldsymbol{b} \right)$ 的时候,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 没有解.

于是——

观察可知,本题中的非线性方程组系数矩阵 $\boldsymbol{A}$ 其实对应于一个范德蒙行列式:

$$
\begin{pmatrix} 1 & 1 & 1 \\ 1 & a & a^{2} \\ 1 & b & b^{2} \end{pmatrix}^{\top} = \begin{pmatrix}
1 & 1 & 1 \\
1 & a & b \\
1 & a^{2} & b^{2}
\end{pmatrix}
$$

又因为,矩阵的转置操作不会改变行列式的值,即:

$$
\begin{vmatrix}
\boldsymbol{A}
\end{vmatrix} = \begin{vmatrix}
\boldsymbol{A}^{\top}
\end{vmatrix} = \begin{vmatrix}
1 & 1 & 1 \\
1 & a & b \\
1 & a^{2} & b^{2}
\end{vmatrix}
$$

因此,由范德蒙行列式的计算公式,直接可得:

$$
\begin{aligned}
\begin{vmatrix} \boldsymbol{A} \end{vmatrix} & = \begin{vmatrix}
1 & 1 & 1 \\ 1 & a & a^{2} \\ 1 & b & b^{2}
\end{vmatrix} = \begin{vmatrix}
1 & 1 & 1 \\
1 & a & b \\
1 & a^{2} & b^{2}
\end{vmatrix} \\ \\
& = \left(a – 1\right) \cdot \left(b – 1\right) \cdot \left(b – a\right)
\end{aligned}
$$

又因为题目所给的方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 的增广矩阵为:

$$
\left(\boldsymbol{A}, \boldsymbol{b}\right) = \begin{pmatrix}
1 & 1 & 1 & 1 \\ 1 & a & a^{2} & 2 \\ 1 & b & b^{2} & 4
\end{pmatrix}
$$

所以:

  1. 当 $\begin{vmatrix} \boldsymbol{A} \end{vmatrix} \neq 0$ 的时候,有:

$$
\begin{aligned}
& \ \left(a – 1\right) \cdot \left(b – 1\right) \cdot \left(b – a\right) \neq 0 \\ \\
\textcolor{lightgreen}{ \leadsto } & \ \begin{cases}
\begin{rcases}
a \neq 1 \\
b \neq 1
\end{rcases} \leadsto \begin{cases}
\textcolor{lightgreen}{ a \neq a^{2} } \\
\textcolor{lightgreen}{ b \neq b^{2} }
\end{cases} \\
a \neq b \leadsto \textcolor{lightgreen}{ a^{2} \neq b^{2} }
\end{cases}
\end{aligned}
$$

所以:

$$
r\left(\boldsymbol{A}\right) = r\left(\boldsymbol{A}, \boldsymbol{b}\right) = 3
$$

因此,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 此时有唯一解.

  1. 当 $\begin{vmatrix} \boldsymbol{A} \end{vmatrix} = 0$ 的时候,有:

$$
\left(a – 1\right) \cdot \left(b – 1\right) \cdot \left(b – a\right) = 0
$$

也就是:

$a = 1$ 或者 $b = 1$ 或者 $a = b$

换句话说,就是:

$a = 1$ 或者 $b = 1$ 或者 $a=b=1$

以 $a=b=1$ 为例可知:

$$
\mathbf{r} \left( \boldsymbol{A} \right) = \mathbf{r} \begin{pmatrix}
1 & 1 & 1 \\
1 & 1 & 1 \\
1 & 1 & 1
\end{pmatrix} = \mathbf{r} \begin{pmatrix}
1 & 0 & 0 \\
0 & 0 & 0 \\
0 & 0 & 0
\end{pmatrix} = 1
$$

$$
\mathbf{r} \left( \boldsymbol{A}, \boldsymbol{b} \right) = \mathbf{r} \begin{pmatrix}
1 & 1 & 1 & 1 \\
1 & 1 & 1 & 2 \\
1 & 1 & 1 & 4
\end{pmatrix} = \mathbf{r} \begin{pmatrix}
1 & 0 & 0 & 1 \\
0 & 0 & 0 & 2 \\
0 & 0 & 0 & 4
\end{pmatrix} \neq 1
$$

所以:

$$
\mathbf{r} \left(\boldsymbol{A}\right) \neq \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)
$$

因此,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 此时无解.

综上可知,方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 有唯一解,或者无解,»D« 选项 正确 .

直接对方程组 $\boldsymbol{A}\boldsymbol{x} = \boldsymbol{b}$ 的增广矩阵 $\left(\boldsymbol{A}, \boldsymbol{b}\right)$ 作初等行变换:

$$
\left(\boldsymbol{A}, \boldsymbol{b}\right)= \begin{pmatrix}
1 & 1 & 1 & 1 \\
1 & a & a^{2} & 2 \\
1 & b & b^{2} & 4
\end{pmatrix} \textcolor{lightgreen}{ \leadsto } \begin{pmatrix}
1 & 1 & 1 & 1 \\
0 & a-1 & a^{2}-1 & 1 \\
0 & b-1 & b^{2}-1 & 3
\end{pmatrix}
$$

于是,分情况讨论可知:

  1. 当 $a=1$, $b=1$ 时,$\mathbf{r} \left(\boldsymbol{A}\right)=1$, $\mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)=2$, $\mathbf{r} \left(\boldsymbol{A}\right) \neq \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)$, 该方程组无解;
  2. 当 $a=1$, $b \neq 1$ 时,$\mathbf{r} \left(\boldsymbol{A}\right)=2$, $\mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)=3$, $\mathbf{r} \left(\boldsymbol{A}\right) < \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)$ 该方程组无解;
  3. 当 $a\neq 1$, $b=1$ 时,$\mathbf{r} \left(\boldsymbol{A}\right)=2$, $\mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)=3$, $\mathbf{r} \left(\boldsymbol{A}\right) < \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)$ 该方程组无解;
  4. 当 $a=b \neq 1$ 时,$\mathbf{r} \left(\boldsymbol{A}\right)=2$, $\mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)=3$, $\mathbf{r} \left(\boldsymbol{A}\right) < \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)$ 该方程组无解;
  5. 当 $a \neq 1$, $b \neq 1$, 且 $a \neq b$ 时,$\mathbf{r} \left(\boldsymbol{A}\right) = \mathbf{r} \left(\boldsymbol{A}, \boldsymbol{b}\right)=3$, 该方程组有唯一解.

综上所述,方程组 $\boldsymbol{A}\boldsymbol{x}=\boldsymbol{b}$ 的解的情况只有两种可能,即:有唯一解或无解,所以,»D« 选项 正确 .


高等数学箭头 - 荒原之梦

涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。

线性代数箭头 - 荒原之梦

以独特的视角解析线性代数,让繁复的知识变得直观明了。

特别专题箭头 - 荒原之梦

通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。

荒原之梦-zhaokaifeng.com

2022考研数二第08题解析:相似矩阵、相似对角化、特征值

一、题目

二、解析

根据《线性代数中“对角化”相关概念与性质的联合讲解》这篇讲义可知,只有相似对角化和正交对角化可以保证矩阵的特征值不发生变化,因此,»A« 选项和 »D« 选项 错误 .

又因为正交对角化只是相似对角化的特例或者说子集,由于“前充分,后必要;小充分,大必要”的性质,所以,»C« 选项的必要性不成立,»C« 选项 错误 .

于是可知,矩阵 $\boldsymbol{A}$ 必须是可以相似对角化,而 »B« 选项中给出的 $\boldsymbol{A} = \boldsymbol{P}\boldsymbol{\Lambda}\boldsymbol{P}^{-1}$ 刚好可以推导出 $\boldsymbol{P}^{-1} \boldsymbol{A} \boldsymbol{P} = \boldsymbol{\Lambda}$, 从而证明矩阵 $\boldsymbol{A}$ 可以相似对角化,必要性成立.

同时,由题干中给出的三个互不相等的特征值 $1$,$-1$,$0$, 也可以推导出矩阵 $\boldsymbol{A}$ 可以相似对角化的结论,充分性成立.

综上可知,题干的充分必要条件是 »B« 选项.


高等数学箭头 - 荒原之梦

涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。

线性代数箭头 - 荒原之梦

以独特的视角解析线性代数,让繁复的知识变得直观明了。

特别专题箭头 - 荒原之梦

通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。

荒原之梦-zhaokaifeng.com

线性代数中“对角化”相关概念与性质的联合讲解

一、前言

在本文中,「荒原之梦考研数学」将对线性代数中的四种“对角化”给出全面的对比讲解:

  • 相似对角化
  • 合同对角化
  • 正交对角化
  • 一般对角化

二、正文

$\textcolor{lightgreen}{\blacktriangleright}$ 对于一个方阵 $\boldsymbol{A}$, 如果存在可逆矩阵 $\boldsymbol{P}$, 使得下式成立:

$$
\boldsymbol{P}^{-1} \boldsymbol{A} \boldsymbol{P} = \boldsymbol{\Lambda}
$$

其中,$\boldsymbol{\Lambda}$ 是对角矩阵,则称矩阵 $\boldsymbol{A}$ 可以相似对角化,且 $\boldsymbol{A}$ 与 $\boldsymbol{\Lambda}$ 互为相似矩阵.

  1. 对于 $n$ 阶矩阵 $\boldsymbol{A}$, 当且仅当 $\boldsymbol{A}$ 有 $n$ 个线性无关的特征向量时,矩阵 $\boldsymbol{A}$ 才可以相似对角化;
  2. 在实数数域内,如果 $n$ 阶矩阵 $\boldsymbol{A}$ 有 $n$ 个互不相等的特征值(此时,特征值不能为虚数)的时候,矩阵 $\boldsymbol{A}$ 一定可以相似对角化;
  3. 在实数数域内,可以相似对角化的 $n$ 阶矩阵 $\boldsymbol{A}$ 不一定必须有 $n$ 个不相等的实特征值,例如,单位矩阵 $\boldsymbol{E}$ 只有一个特征值 $1$, 但是,很显然,单位矩阵 $\boldsymbol{E}$ 可以相似对角化:$\boldsymbol{P}^{-1} \boldsymbol{E} \boldsymbol{P} = \boldsymbol{E} = \boldsymbol{\Lambda}$.
  4. 对矩阵 $\boldsymbol{A}$ 的相似对角化过程 保证矩阵 $\boldsymbol{A}$ 的不发生变化;
  5. 对矩阵 $\boldsymbol{A}$ 的相似对角化过程 保证矩阵 $\boldsymbol{A}$ 的不发生变化;
  6. 对矩阵 $\boldsymbol{A}$ 的相似对角化过程 保证矩阵 $\boldsymbol{A}$ 的特征值不发生变化;
  7. 对矩阵 $\boldsymbol{A}$ 的相似对角化过程 保证矩阵 $\boldsymbol{A}$ 的特征向量不发生变化;

$\textcolor{lightgreen}{\blacktriangleright}$ 对于一个实对称矩阵 $\boldsymbol{A}$, 如果存在可逆矩阵 $\boldsymbol{P}$, 使得下式成立:

$$
\boldsymbol{P}^{\top} \boldsymbol{A} \boldsymbol{P} = \boldsymbol{\Lambda}
$$

其中,$\boldsymbol{\Lambda}$ 是对角矩阵,则称矩阵 $\boldsymbol{A}$ 可以合同对角化,且 $\boldsymbol{A}$ 与 $\boldsymbol{\Lambda}$ 互为合同矩阵.

  1. 当 $\boldsymbol{A}$ 是一个关于主对角线对称的实对称矩阵的时候(即 $\boldsymbol{A}^{\top} = \boldsymbol{A}$)一定可以合同对角化,因为实对称矩阵一定可以正交对角化
  2. 合同对角化一般 不能 保持矩阵 $\boldsymbol{A}$ 的特征值不变;
  3. 合同对角化一般 保持矩阵 $\boldsymbol{A}$ 的不变;
  4. 合同对角化一般用于二次型的化简.

$\textcolor{lightgreen}{\blacktriangleright}$ 对于一个方阵 $\boldsymbol{A}$, 如果存在正交矩阵 $\boldsymbol{Q}$, 使得下式成立:

$$
\boldsymbol{Q}^{\top} \boldsymbol{A} \boldsymbol{Q} = \boldsymbol{\Lambda}
$$

其中,$\boldsymbol{\Lambda}$ 是对角矩阵,则称矩阵 $\boldsymbol{A}$ 可以正交对角化,或者说,矩阵 $\boldsymbol{A}$ 与矩阵 $\boldsymbol{\Lambda}$ 正交相似.

根据《相似变换、合同变换和正交变换三者之间的包含关系》可知,正交对角化可以看作是相似对角化与合同对角化共同的特殊情况,因此,正交对角化同时具有相似对角化与合同对角化的部分性质(不是全部性质):

  1. 对矩阵 $\boldsymbol{A}$ 进行正交对角化, 保持矩阵 $\boldsymbol{A}$ 的特征值不变;
  2. 实对称矩阵 $\boldsymbol{A}$ 既可以相似对角化,也可以合同对角化,还可以正交对角化,因为,存在正交矩阵 $\boldsymbol{Q}$, 使得 $\boldsymbol{Q}^{-1} \boldsymbol{A} \boldsymbol{Q} = \boldsymbol{Q}^{\top} \boldsymbol{A} \boldsymbol{Q} = \boldsymbol{\Lambda}$;
  3. 能正交对角化的矩阵一定是实对称矩阵.

$\textcolor{lightgreen}{\blacktriangleright}$ 一般的对角化就是存在可逆矩阵 $\boldsymbol{P}$ 和 $\boldsymbol{Q}$, 使得下式成立:

$$
\boldsymbol{P} \boldsymbol{A} \boldsymbol{Q} = \boldsymbol{\Lambda}
$$

其中,$\boldsymbol{\Lambda}$ 为关于主对角线对称的对角矩阵.

  1. 对矩阵 $\boldsymbol{A}$ 进行的一般的对角化一般 不能 保持矩阵 $\boldsymbol{A}$ 的特征值不变;
  2. 对矩阵 $\boldsymbol{A}$ 进行的一般的对角化一般 不能 保持矩阵 $\boldsymbol{A}$ 的特征向量不变;
  3. 对矩阵 $\boldsymbol{A}$ 进行的一般的对角化一般 不能 保持矩阵 $\boldsymbol{A}$ 的不变;
  4. 对矩阵 $\boldsymbol{A}$ 进行的一般的对角化一般 保持矩阵 $\boldsymbol{A}$ 的不变;
  5. 前面提到的相似对角化、合同对角化、正交对角化都是一般的对角化的特殊情况.

三、补充

[1]. 《“只有”、“只有当”和“当且仅当”的逻辑区别


高等数学箭头 - 荒原之梦

涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。

线性代数箭头 - 荒原之梦

以独特的视角解析线性代数,让繁复的知识变得直观明了。

特别专题箭头 - 荒原之梦

通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。

荒原之梦-zhaokaifeng.com

“只有”、“只有当”和“当且仅当”的逻辑区别

一、前言

在数学和逻辑表达中,条件关系通常分为三类:充分条件、必要条件和充要条件. 而在具体描述这些条件关系的时候,我们通常会使用诸如“只有”、“只有当”和“当且仅当”等词语,理解这些词语的准确而含义,有助于我们准确判断命题之间的逻辑关系.

在本文中,「荒原之梦考研数学」就给同学们详细讲解一下这些常用的条件关系词语的含义.

继续阅读““只有”、“只有当”和“当且仅当”的逻辑区别”

2022考研数二第07题解析:定积分比大小

一、题目

难度评级:

继续阅读“2022考研数二第07题解析:定积分比大小”

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数

一、题目

二、解析

当前解法的计算过程需要用到:《常用三角函数的取值对照表

$\textcolor{lightgreen}{\blacktriangleright}$ 首先,令:

$$
x_{n} = \left(-1\right)^{n} \cdot \frac{\pi}{4}
$$

则可知,数列 $\left\{x_{n}\right\}$ 发散.

在本题中,可以令 $x_{n} = \left(-1\right)^{n} \cdot \frac{\pi}{2}$, 计算方式和逻辑与令 $x_{n} = \left(-1\right)^{n} \cdot \frac{\pi}{4}$ 是一样的.

$\textcolor{lightgreen}{\blacktriangleright}$ 此时,$\lim\limits_{n \to \infty} \cos \left(\sin x_{n}\right)$ 收敛(极限存在):

$$
\lim_{n \to \infty} \cos \left(\sin x_{n}\right) = \cos \frac{\sqrt{2}}{2}
$$

所以,»A« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 又因为,此时 $\lim\limits_{n \to \infty} \sin \left(\cos x_{n}\right)$ 收敛(极限存在):

$$
\lim_{n \to \infty} \sin \left(\cos x_{n}\right) = \sin \frac{\sqrt{2}}{2}
$$

所以,»B« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 又因为,$\sin \left( \frac{\pi}{4} \right) \neq \sin \left( \frac{-\pi}{4} \right)$, 即 $\lim\limits_{n \to \infty} \sin \left(\left(-1\right)^{n} \cdot \frac{\pi}{4}\right)$ 发散(极限不存在):

$$
\lim_{n \to \infty} \sin \left(\left(-1\right)^{n} \cdot \frac{\pi}{4}\right)
$$

所以,»C« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 又因为,$\cos \left( \frac{\pi}{4} \right) = \cos \left( \frac{- \pi}{4} \right)$, 即 $\lim\limits_{x \to \infty} \cos \left( \left( -1 \right)^{n} \cdot \frac{\pi}{4} \right)$ 收敛(极限存在

所以,»D« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 对于 »A« 选项和 »B« 选项:

令 $x_{n} = \begin{cases} 1, & n \text{ 为奇数} \\ -1, & n \text{ 为偶数} \end{cases}$, 则:

  1. 在 $\lim_{n \to \infty} \cos \left( \sin x_{n} \right)$ 中,若设 $\sin \left( 1 \right) = z$, 则 $\sin \left( -1 \right) = -z$, 同时,$\cos \left( z \right) = \cos \left( -z \right)$, 所以,此时,$\lim_{n \to \infty} \cos \left( \sin x_{n} \right)$ 的极限存在;
  2. 在 $\lim_{n \to \infty} \sin \left( \cos x_{n} \right)$ 中,若设 $\cos \left( 1 \right) = k$, 则 $\cos \left( -1 \right) = k$, 同时,$\sin \left( k \right) = \sin \left( k \right)$, 所以,此时,$\lim_{n \to \infty} \sin \left( \cos x_{n} \right)$ 的极限存在.

但是,当 $x_{n} = \begin{cases} 1, & n \text{ 为奇数} \\ -1, & n \text{ 为偶数} \end{cases}$ 时,$\lim\limits_{n \to \infty} x_{n}$ 不存在,因此,»A« 选项和 »B« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 对于 »C« 选项:

由于函数 $y = \sin x$ 在区间 $\left[ – \frac{\pi}{2}, \frac{\pi}{2} \right]$ 上单调增加且连续,所以,当 $\lim\limits_{n \to \infty} \sin x_{n}$ 存在时,$\lim\limits_{n \to \infty} x_{n}$ 一定存在,因此,»C« .

在本解法中,如果令 $x_{n} = \begin{cases} -1, & n \text{ 为奇数} \\ 1, & n \text{ 为偶数} \end{cases}$, 即令 $x_{n} = \left( -1 \right)^{n}$, 对应的解析步骤与上面基本一致.

考虑到 $\cos x$ 在区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 上是一个偶函数,$\sin x$ 在区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 上是一个奇函数,所以,我们在设 $x_{n}$ 的特例的时候,只要满足下面的形式就可以:

$$x_{n} = \left( -1 \right)^{n} \cdot a, \ a \in \left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$$

综上可知,»D« 选项 .

$\textcolor{lightgreen}{\blacktriangleright}$ 观察可知,本题中极限存在性的判定,实际上涉及 $y = \cos \left( \sin \left( x_{n} \right) \right)$, $y = \sin \left( \cos \left( x_{n} \right) \right)$, $y=\sin x_{n}$ 和 $y = \cos x_{n}$ 四个函数,对应的函数图象示意图如图 01、02、03、04 所示(在稿纸上手绘的时候,只需要能绘制出这些函数图象的大致走向和一些关键点,如交点、拐点等即可):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 01.
图 01. $y = \cos \left( \sin \left( x_{n} \right) \right)$.
峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 02.
图 02. $y = \sin \left( \cos \left( x_{n} \right) \right)$.
峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 03.
图 03. $y = \cos \left( \sin \left( x_{n} \right) \right)$ 和 $y = \sin x_{n}$.
峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 04.
图 04. $y = \sin \left( \cos \left( x_{n} \right) \right)$ 和 $y = \cos x_{n}$.

$\textcolor{lightgreen}{\blacktriangleright}$ 在本题中,「荒原之梦考研数学」就会结合上面的函数图象,以及“十字”极限判定法来判断本题中四个选项的对错——

根据函数图象的性质可知,函数的极限存在,就是在某一个极限过程中,函数值都位于一条定义域内的水平直线上,如图 05 所示的每条水平直线都代表函数的一个极限(但如果这两个水平直线同时存在,则这个函数此时就不存在极限):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 05.
图 05.

同样,根据函数图象的性质可知,函数自变量的极限存在,就是在某一个极限过程中,自变量的取值都位于一条定义域内的竖直直线上,如图 06 所示的每条竖直直线都代表函数自变量的一个极限(但如果这两个竖直直线同时存在,则这个函数自变量此时就不存在极限):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 06.
图 06.

在本题中,作为函数自变量的数列 $\left\{x_{n}\right\}$ 的极限过程 $n \to \infty$ 并不是说数列 $\left\{x_{n}\right\}$ 的取值就要一直向横坐标的左右两侧无限延伸——$n \to \infty$ 只是说数列 $\left\{x_{n}\right\}$ 的下标 $n$ 一直在“变大”,但下标“变大”并不意味着数列 $\left\{x_{n}\right\}$ 本身“变大”或者“变小”,数列 $\left\{x_{n}\right\}$ 本身的取值可以是任意的,也可以是遵循其他的某种特定规律,就像前面的解法 1 和解法 2 中的 $\left\{x_{n}\right\}$ 所遵循的规律一样.

于是可知,如果一个函数和函数自变量的极限取值如图 07 所示,那么,这个函数的极限就是不存在的(因为不止一条横线),自变量的极限也是不存在的(因为不止一条竖线):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 07.
图 07.

如果一个函数和函数自变量的极限取值如图 08 所示,那么,这个函数的极限就是存在的(因为只有一条直线),自变量的极限则是不存在的(因为不止一条竖线):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 08.
图 08.

当然,根据函数的定义可知,一个自变量只能对应一个函数值,但是,如果图 09 中的两条横线对应两个函数的极限,那么,就说明这两个函数的极限是存在的(因为每个函数都只有一条直线),函数自变量的极限也是存在的(因为只有一条竖线):

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 09.
图 09.

对于一个函数而言,如果函数的极限和函数自变量的极限都是存在的,那么,对应的图形就是如图 10 所示的“十字”,这也是“十字”极限判定法名称的来源:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 10.
图 10.

当然,“十字”极限判定法中的“横线”和“竖线”可以是某个确定位置的横线和竖线,也可以只是某个极限位置的横线和竖线.

接下来,我们就使用「荒原之梦考研数学」在上面构建的这个“十字”极限判定法对题目中的四个选项做逐一的判定——

$\textcolor{lightgreen}{\blacktriangleright}$ »A« 当 $\lim\limits_{n \to \infty} \cos \left(\sin x_{n}\right)$ 存在时,$\lim\limits_{n \to \infty} x_{n}$ 存在

如图 11 所示,我们用位于区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 内的横线表示 $y = \cos \left(\sin x_{n}\right)$ 的极限存在,但此时从该横线与 $y = \cos \left(\sin x_{n}\right)$ 的函数图象的交点可以引出两条竖线,因此,该函数的自变量 $x_{n}$ 的极限不存在,»A«

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 11.
图 11.

在上面的图 11,以及接下来的图 12 到图 18 中,示意图中的位于坐标轴 $Y$ 轴左侧的灰色虚线竖线表示 $x = \frac{-\pi}{2}$; 示意图中的位于坐标轴 $Y$ 轴左右侧的灰色虚线竖线表示 $x = \frac{\pi}{2}$.

$\textcolor{lightgreen}{\blacktriangleright}$ »B« 当 $\lim\limits_{n \to \infty} \sin \left(\cos x_{n}\right)$ 存在时,$\lim\limits_{n \to \infty} x_{n}$ 存在

如图 12 所示,我们用位于区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 内的横线表示 $y = \sin \left(\cos x_{n}\right)$ 的极限存在,但此时从该横线与 $y = \sin \left(\cos x_{n}\right)$ 的函数图象的交点可以引出两条竖线,因此,该函数的自变量 $x_{n}$ 的极限不存在,»B«

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 12.
图 12.

$\textcolor{lightgreen}{\blacktriangleright}$ »C« 当 $\lim\limits_{n \to \infty} \cos \left(\sin x_{n}\right)$ 存在时,$\lim\limits_{n \to \infty} \sin x_{n}$ 存在,但 $\lim\limits_{n \to \infty} x_{n}$ 不一定存在

如图 13 所示,在区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 内,我们绘制一条横线,表示极限 $\lim\limits_{n \to \infty} \cos \left(\sin x_{n}\right)$ 存在:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 13.
图 13.

图 13 中的横线,与函数 $y = \cos \left(\sin x_{n}\right)$ 的图象产生了两个交点,对应两条竖线,所以极限 $\lim\limits_{n \to \infty} x_{n}$ 此时不存在,如图 14 所示:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 14.
图 14.

但是,如果我们将横线画在函数 $y = \cos \left(\sin x_{n}\right)$ 与 $y = \sin x_{n}$ 图象的交点,就会产生“十字”,此时,极限 $\lim\limits_{n \to \infty} \cos \left(\sin x_{n}\right)$, $\lim\limits_{n \to \infty} \sin x_{n}$ 和 $\lim\limits_{n \to \infty} x_{n}$ 都存在,如图 15 所示:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 15.
图 15.

综合来看,»C« ,因为极限 $\lim\limits_{n \to \infty} \sin x_{n}$ 不一定存在.

“不一定存在”包含“一定不存在”和“可能存在”,但不包含“一定存在”.

$\textcolor{lightgreen}{\blacktriangleright}$ »D« 当 $\lim\limits_{n \to \infty} \sin \left(\cos x_{n}\right)$ 存在时,$\lim\limits_{n \to \infty} \cos x_{n}$ 存在,但 $\lim\limits_{n \to \infty} x_{n}$ 不一定存在

如图 16 所示,在区间 $\left[ \frac{-\pi}{2}, \frac{\pi}{2} \right]$ 内,我们绘制一条横线,表示极限 $\lim\limits_{n \to \infty} \sin \left(\cos x_{n}\right)$ 存在:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 16.
图 16.

图 16 中的横线,与函数 $y = \sin \left(\cos x_{n}\right)$ 的图象产生了两个交点,对应两条竖线,所以极限 $\lim\limits_{n \to \infty} x_{n}$ 此时不存在,如图 17 所示:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 17.
图 17.

接着,图 17 中的两条竖线与 $y = \cos x_{n}$ 的图象产生了两个交点,对应一条横线,因此,极限 $\lim\limits_{n \to \infty} \cos x_{n}$ 存在,如图 18 所示:

峰图 | 2022考研数二第06题解析:数列的极限、三角函数的性质、复合函数 | 荒原之梦考研数学 | 图 18.
图 18.

综上可知,»D« 选项 .


高等数学箭头 - 荒原之梦

涵盖高等数学基础概念、解题技巧等内容,图文并茂,计算过程清晰严谨。

线性代数箭头 - 荒原之梦

以独特的视角解析线性代数,让繁复的知识变得直观明了。

特别专题箭头 - 荒原之梦

通过专题的形式对数学知识结构做必要的补充,使所学知识更加连贯坚实。

荒原之梦-zhaokaifeng.com

常用三角函数的取值对照表

00^{\circ}3030^{\circ}4545^{\circ}6060^{\circ}9090^{\circ}120120^{\circ}135135^{\circ}150150^{\circ}180180^{\circ}
00π6\frac{\pi}{6}π4\frac{\pi}{4}π3\frac{\pi}{3}π2\frac{\pi}{2}2π3\frac{2 \pi}{3}3π4\frac{3 \pi}{4}5π6\frac{5 \pi}{6}π\pi
sinα\sin \alpha0012\frac{1}{2}22\frac{\sqrt{2}}{2}32\frac{\sqrt{3}}{2}1132\frac{\sqrt{3}}{2}22\frac{\sqrt{2}}{2}12\frac{1}{2}00
cosα\cos \alpha1132\frac{\sqrt{3}}{2}22\frac{\sqrt{2}}{2}12\frac{1}{2}0012\frac{-1}{2}22\frac{-\sqrt{2}}{2}32\frac{-\sqrt{3}}{2}1-1
tanα\tan \alpha0033\frac{\sqrt{3}}{3}113\sqrt{3}未定义3-\sqrt{3}1-133\frac{-\sqrt{3}}{3}00
cotα\cot \alpha未定义3\sqrt{3}1133\frac{\sqrt{3}}{3}0033\frac{-\sqrt{3}}{3}1-13-\sqrt{3}未定义

峰式 | 用数字和排列组合探究逆矩阵乘法运算的特性

一、题目

难度评级:

继续阅读“峰式 | 用数字和排列组合探究逆矩阵乘法运算的特性”

2022考研数二第05题解析:反常积分敛散性、敛散性的比值判别法

一、题目

难度评级:

继续阅读“2022考研数二第05题解析:反常积分敛散性、敛散性的比值判别法”

反常积分敛散性三个常用公式中第二个公式的推论公式

一、前言

由《反常积分敛散性的三个常用公式及推导证明》可知,判断反常积分敛散性三个常用公式中的第二个公式为:

$$
a > 0 \textcolor{lightgreen}{ \leadsto } \int_{a}^{+\infty} \frac{1}{x^{p}} \mathrm{~d} x \begin{cases}
\text{收敛}, & p > 1 \\
\text{发散}, & p \leqslant 1
\end{cases}
$$

在本文中,「荒原之梦考研数学」将基于上面的公式,推导出另一个判断反常积分敛散性的常用公式.

继续阅读“反常积分敛散性三个常用公式中第二个公式的推论公式”

峰图 | 任意正次幂 $x^{a}$ 趋于 $0$ 的速度快于 $\ln ⁡x$ 趋于 $- \infty$ 的速度

一、前言

在本文中,「荒原之梦考研数学」将通过推导计算证明,当 $a > 0$ 的时候,任意正次幂 $x^{a}$ 趋于 $0$ 的速度快于 $\ln ⁡x$ 趋于 $- \infty$ 的速度,从而证明:

$$
\lim_{x \to 0^{+}} x^{a} \ln x = 0
$$

继续阅读“峰图 | 任意正次幂 $x^{a}$ 趋于 $0$ 的速度快于 $\ln ⁡x$ 趋于 $- \infty$ 的速度”