# 四元数、矩阵与切线放缩

[[MCS/day3/00 学习指南|day3 学习指南]] · [[MCS/00 MCS学习总览|十一天总览]] · [[MCS/day3/阅读核验与疑问|阅读核验与疑问]] · 下一篇：[[MCS/day3/02 向量、矩阵与 NumPy|向量、矩阵与 NumPy]]

> 来源：[[MCS/day3NumPy数组 + 向量 + 矩阵|day3NumPy数组 + 向量 + 矩阵]]。用途：补充。原有推导、追问与解答保留；阅读时请结合本日核验说明。

## 四元数的形式与乘法

哈密顿
复数：a+bi 描述平面
三维呢？a+bi+cj+dk
**1. 第一行：四元数的基本形式**  
四元数：a+bi+cj+dk  
这是四元数的标准代数表示形式。它由一个实数（标量）和三个虚数（向量）组成。  
a 是实部（标量部分）。  
b, c, d 是实数系数。  
i, j, k 是三个虚数单位。

**2. 第二行：虚数单位的运算规则**  

正确写法应该是带有平方（上标 2）：i^2 = j^2 = k^2 = ijk = -1  
意思解释：  
i^2 = -1, j^2 = -1, k^2 = -1：每个虚数单位自己乘自己都等于 -1。  
ijk = -1：这是四元数特有的规则，三个虚数单位相乘等于 -1。

由基本规则推导出的交叉乘法关系（注意不满足乘法交换律）：  
ij = k, ji = -k  
jk = i, kj = -i  
ki = j, ik = -j

3d 游戏角色旋转、计算机图形学、机器人、航天器姿态控制
## 矩阵与非交换性

凯莱
1858《矩阵论》

矩阵加法、矩阵乘法、单位矩阵、逆矩阵
为什么不满足乘法分配律？
矩阵代表变换
四元数的虚数单位集合 $\{1,-1,i,-i,j,-j,k,-k\}$ 在乘法下构成一个著名的非阿贝尔群，称为**四元数群（Quaternion Group，记作 $Q_8$）**。  
因为 $ij=k$，而 $ji=-k$，所以 $ij\ne ji$。这就直接证明了四元数乘法不满足交换律。

## 2. 运算的定义：乘法表的非对称性

在离散数学中，有限群的运算可以通过**运算表（Cayley Table，凯莱表）**来定义。凯莱表是一个二维表格，行和列分别代表集合中的元素，交叉点代表它们的运算结果。

如果运算是可交换的（阿贝尔群），那么凯莱表一定是**沿主对角线对称**的（即第 $i$ 行第 $j$ 列的值等于第 $j$ 行第 $i$ 列的值）。  
但在四元数群 $Q_8$ 中，凯莱表是不对称的：

- 行 $i$ 列 $j$ 的结果是 $k$
    
- 行 $j$ 列 $i$ 的结果是 $-k$  
    因为表格不对称，所以 $AB\ne BA$。

## 放缩与夹逼

放缩——不等式的传递性

A\<C?
中间量 B
A\<B 且 B\<C 
夹逼法：
阿基米德：内外多边形夹逼圆周率

又叫迫敛性
同样，夹逼准则可以引申到微积分

## 切线放缩的底层来源是泰勒展开的一阶近似

**1. 什么是切线放缩？**  
在导数大题中，我们经常使用一些经典的不等式来对函数进行“放缩”，这些不等式通常被称为“切线不等式”。它们的几何意义是：用函数在某一点处的**切线**来近似代替原函数（在切点附近）。

**2. 底层来源：泰勒一阶展开**  
这些切线不等式，本质上都来源于泰勒公式在 $x=0$（或某一点）处的**一阶展开**（即只保留常数项和一次项，忽略高阶无穷小）。

**3. 经典例子解析（纠正语音中的口误）：**

- **指数函数 $e^x$：**
    
    - 泰勒一阶展开：$e^x\approx1+x$
        
    - 由于 $e^x$ 是凹函数（二阶导数大于 0），所以切线在函数图像下方，得到经典不等式：  
        **$e^x\ge x+1$** （当且仅当 $x=0$ 时取等号）
        
- **对数函数 $\ln x$：**
    
    - 注意：$\ln x$ 在 $x=1$ 处展开更方便（因为 $\ln1=0$）。
        
    - 在 $x=1$ 处的泰勒一阶展开：$\ln x\approx x-1$
        
    - 由于 $\ln x$ 是凸函数，切线在函数图像上方，得到经典不等式：  
        **$\ln x\le x-1$** （当且仅当 $x=1$ 时取等号）
        
    
        
- **三角函数 $\sin x$：**
    
    - 在 $x=0$ 处的泰勒一阶展开：$\sin x\approx x$
        
    - 由于 $\sin x$ 在 $0$ 附近的图像在切线 $y=x$ 的下方，得到经典不等式：  
        **$\sin x\le x$** （当 $x\ge0$ 时成立）
        
    - 进一步还有 $\sin x\ge x-x^3/6$ 等更高阶的放缩。
        

**总结：**  
语音中提到的“X ln X sin X 它的泰勒一阶”，指的就是这些基本初等函数在特定点（通常是 $x=0$ 或 $x=1$）的泰勒展开第一项。掌握了这个底层逻辑，就能理解为什么这些切线不等式会成立，并且可以根据需要自己推导出更高阶的放缩不等式。