[数字图像处理] 对仿射变换的理解

151220129 南京大学 计科 吴政亿

数字图像处理老师提出了两个思考题
1. 证明几个仿射变换矩阵相乘后还是仿射变换矩阵
2. 证明仿射变换后保持共线性与距离比例不变

第一题

首先，先贴上仿射变换矩阵的定义：

仿射变换的功能是从二维坐标到二维坐标之间的线性变换，且保持二维图形的“平直性”和“平行性”。仿射变换可以通过一系列的原子变换的复合来实现，包括平移，缩放，翻转，旋转和剪切。
这类变换可以用一个3*3的矩阵M来表示，其最后一行为（0，0，1）。该变换矩阵将原坐标为（x,y)变换为新坐标（x’,y’)，
即

$$\left[ \begin{matrix} u\\ v \\ 1 \end{matrix} \right]= \left[ \begin{matrix} a & b & c \\ d & e & f \\ 0 & 0 & 1 \end{matrix} \right] * \left[ \begin{matrix} x\\ y \\ 1 \end{matrix} \right]$$
上式可等价写为矩阵形式，T是满秩矩阵(仿射变换矩阵)
$$q=Tp$$

下面证明：
假设一系列仿射变换的矩阵分别为 $T_1,T_2...T_n$，那么得到的矩阵$q$为

$$q = T_n*...*T_2*T_1*p$$
由于$T_n*...*T_2*T_1=T'$，其中$T'$的形式也符合仿射矩阵的形式，例如

$$T_1= \left[ \begin{matrix} a_1 & b_1 & c_1 \\ d_1 & e_1 & f_1 \\ 0 & 0 & 1 \end{matrix} \right] , T_2= \left[ \begin{matrix} a_2 & b_2 & c_2 \\ d_2 & e_2 & f_2 \\ 0 & 0 & 1 \end{matrix} \right]$$
则有
$$T_2*T_1= \left[ \begin{matrix} a_1a_2+b_1d_2 & a_1b_2+b_1e_2 & a_1c_2+b_1f_2+c_1 \\ d_1a_2+e_1d_2 & d_1b_2+e_1e_2 & d_1c_2+e_1f_2+f_1 \\ 0 & 0 & 1 \end{matrix} \right]$$
仍然符格仿射变换矩阵的形式，递归得 $T_n*...*T_2*T_1=T'$也是仿射变换矩阵，因此 任意组合的仿射变换还是仿射变换，即几个仿射变换矩阵相乘后还是仿射变换矩阵。

第二题

保持共线性

设$A,B,C$三个点在仿射变换T下新坐标为$A',B',C'$则有

$$\left[ \begin{matrix} x_a' & x_b' & x_c' \\ y_a' & y_b' & y_c' \\ 1& 1 & 1 \end{matrix} \right]=T* \left[ \begin{matrix} x_a & x_b & x_c \\ y_a & y_b & y_c \\ 1& 1 & 1 \end{matrix} \right]$$
两边取行列式得：
$$\left| \begin{matrix} x_a' & x_b' & x_c' \\ y_a' & y_b' & y_c' \\ 1& 1 & 1 \end{matrix} \right| = |T|* \left| \begin{matrix} x_a & x_b & x_c \\ y_a & y_b & y_c \\ 1& 1 & 1 \end{matrix} \right|$$
由于T是仿射变换矩阵，故 $T$ 满秩，即 $|T| \neq 0$，又因为
$$当且仅当 \left| \begin{matrix} x_a' & x_b' & x_c' \\ y_a' & y_b' & y_c' \\ 1& 1 & 1 \end{matrix} \right|=0 时，X,Y,Z三点共线$$
因此 仿射变换后保持共线性。

保持距离比例

设点$p_1,p_2,p_3$共线且$p_1-p_2 = \lambda(p_2-p_3),\lambda \neq 0$
假设仿射变换为$T$，只需证:

$$T*p_1-T*p_2 = \lambda(T*p_2-T*p_3),\lambda \neq 0$$
下证：

$$T*p_1-T*p_2 = T*(p_1-p_2)=\lambda T*(p_2-p_3)= \lambda(T*p_2-T*p_3),\lambda \neq 0$$
问题得证故 仿射变换后保持距离比例。
另外，在查阅资料中，我发现这个性质可以再进一步的普适化为：
在仿射变换下, 平行线段的长度比是不变的, 但两个不平行长度的比值不满足。

参考:
1. https://math.stackexchange.com/questions/1289536/prove-that-the-ratio-of-lengths-of-parallel-segments-is-invariant-under-affine-t
2. https://www.cnblogs.com/dupuleng/articles/4055020.html
3. http://web.mnstate.edu/peil/geometry/C3Transform/2model.htm