对极几何基础

这里主要讲与对极几何相关的，极线、对极点、二次曲线的极线和极点等问题。

本质矩阵对极几何

$\rm {\bm x}_{2}^{T}{\bm E}_{21}{\bm x}_1 = {\bm 0}$x2T​E21​x1​=0
其中，${\bm E}_{21} = {{\bm t}_{2}^{12}}^{\land}{\bm R}_{21}$E21​=t212​∧R21​ 是本质矩阵，${\bm x}_{2}$x2​ 是图2中的一个图像点对应的方向向量，${\bm x}_1$x1​是图1中的一个图像点对应的方向向量，这两个图像点是匹配点，指向同一个三维目标点$\bm X$X。

本质矩阵的性质

极线

这里假设${\bm x}_{1}$x1​和${\bm x}_{2}$x2​表示图像点对应的落在归一化平面上的方向向量，即${\bm x}_{1}=[x_1, y_1, 1]^{\rm T}$x1​=[x1​,y1​,1]T，${\bm x}_{2}=[x_2, y_2, 1]^{\rm T}$x2​=[x2​,y2​,1]T。取${\bm x}_{2}^{\rm T}{\bm E}_{21}=[l_{11}, l_{12}, l_{13}]$x2T​E21​=[l11​,l12​,l13​]，那么这里有
$l_{11}x_1 + l_{12}y_1 + l_{13} = 0$l11​x1​+l12​y1​+l13​=0
这是一条在图1归一化平面上面的二维直线，称为极线。对于图2上的极线来说同理。

对极点

这里取向量${{\bm t}_{2}^{12}}$t212​与图2的归一化平面交点为${\bm e}_2$e2​，则${\bm e}_2^{\rm T}{\bm E}_{21}={\bm e}_2^{\rm T}{{\bm t}_{2}^{12}}^{\land}{\bm R}_{21} =[{\bm e}_2 \times {\bm t}_{2}^{12}]^{\rm T} {\bm R}_{21}=\bm 0$e2T​E21​=e2T​t212​∧R21​=[e2​×t212​]TR21​=0
因此不论图1上哪个点与之点乘都得到零。${\bm e}_2$e2​被称为图2上的对极点，同理${\bm e}_1$e1​是图1上的对极点。

对极点的性质

图2上任一点的极线都会经过图1上的对极点，同理图1上任一点的极线都会经过图2上的对极点。
一个三维点相对于图1的深度越大，在图2上对应的极线上，对应的位置越偏离对极点。

纯平移运动

纯平移运动中，两张图的对极点相对于各自的相机坐标系的坐标是相同的。

二次曲线

二次曲线在中学学习时被称为圆锥曲线，实际上，中学里学过的圆、椭圆、双曲线、抛物线都属于二次曲线，但二次曲线不都是圆锥曲线。本部分引用了知乎答案。
【解析几何】什么是极线，好吃吗? - Dylaaan的文章 - 知乎
https://zhuanlan.zhihu.com/p/33873965
以下所有内容均为二维二次曲线的内容，三维二次曲线对各个方阵、向量扩展z轴即可。

二次曲线的矩阵表达

一般来说，平面上的二维二次曲线都可以表达成
$\left[ \begin{array}{ccc} x & y & 1 \end{array} \right] \left[ \begin{array}{ccc} A & B & C \\ B & D & E \\ C & E & F \end{array} \right] \left[ \begin{array}{c} x \\ y \\ 1 \end{array} \right] = \bm 0$[x​y​1​]⎣⎡​ABC​BDE​CEF​⎦⎤​⎣⎡​xy1​⎦⎤​=0
例如，圆的表达式为
$\left[ \begin{array}{ccc} x & y & 1 \end{array} \right] \left[ \begin{array}{ccc} 1 & 0 & -a \\ 0 & 1 & -b \\ -a & -b & r^2-a^2-b^2 \end{array} \right] \left[ \begin{array}{c} x \\ y \\ 1 \end{array} \right] = \bm 0$[x​y​1​]⎣⎡​10−a​01−b​−a−br2−a2−b2​⎦⎤​⎣⎡​xy1​⎦⎤​=0

二次曲线的极点和极线

对于任意一个点${\bm P}$P，做两条直线${\bm A}{\bm B}$AB,${\bm C}{\bm D}$CD，均与二次曲线有两个交点，分别是${\bm A},{\bm B},{\bm C},{\bm D}$A,B,C,D。取${\bm A}{\bm C}$AC与${\bm B}{\bm D}$BD的交点为${\bm R}$R，${\bm A}{\bm D}$AD与${\bm B}{\bm C}$BC的交点为${\bm Q}$Q，定义${\bm Q}{\bm R}$QR为极点${\bm P}$P的极线。

二次曲线的极点和极线的矩阵表达

对于一个二维点 ${\bm P}=\left[ \begin{array}{ccc} x_0 & y_0 & 1\end{array} \right] ^{\rm T}$P=[x0​​y0​​1​]T （此处坐标为齐次坐标）和一个二次曲线，直线
$\left[ \begin{array}{ccc} x_0 & y_0 & 1 \end{array} \right] \left[ \begin{array}{ccc} A & B & C \\ B & D & E \\ C & E & F \end{array} \right] \left[ \begin{array}{c} x \\ y \\ 1 \end{array} \right] = \bm 0$[x0​​y0​​1​]⎣⎡​ABC​BDE​CEF​⎦⎤​⎣⎡​xy1​⎦⎤​=0
被称为二次曲线在极点${\bm P}$P处的极线。

二次曲线极线和极点性质举例

椭圆

当极点在椭圆上，极线为椭圆在极点处的切线；
当极点在椭圆外，极线与椭圆的两个交点与极点之间的两条连线分别为椭圆在两个交点处的切线；
当极点在椭圆内，过极点做一条直线与椭圆相交于两点，这两点处椭圆的切线的交点一定在极线上。

对极几何中的二次曲线

对于一个基本矩阵${\bm E}$E，我们将其分解为一个对称矩阵${\bm E_s}$Es​和一个反对称矩阵${\bm E_a}$Ea​：${\bm E} = {\bm E_s} + {\bm E_a}$E=Es​+Ea​，有
${\bm E_s}=\frac{{\bm E} + {\bm E}^{\rm T}}{2}, {\bm E_a}=\frac{{\bm E} - {\bm E}^{\rm T}}{2}$Es​=2E+ET​,Ea​=2E−ET​
反对称矩阵等价于一个三维向量的叉乘矩阵，所以我们取${\bm E_a}={\bm x_a}^{\land}$Ea​=xa​∧，且对于任意三维向量${\bm x}$x都有${\bm x}^{\rm T}{\bm E_a}{\bm x}=\bm 0$xTEa​x=0。
此时，二次曲线${\bm E_{21s}}$E21s​在极点${\bm x_{21a}}$x21a​处的极线为对极点${\bm e_1}$e1​和${\bm e_2}$e2​的连线。

基础矩阵转化为二次曲线矩阵的作用

首先定义同视点。同视点是在两帧图像中，具有相同坐标的点。对于同视点，有
${\bm x}^{\rm T}{\bm E_{21}}{\bm x} = {\bm x}^{\rm T}{\bm E_{21s}}{\bm x} + {\bm x}^{\rm T}{\bm E_{21a}}{\bm x} \\ = {\bm x}^{\rm T}{\bm E_{21s}}{\bm x} =\bm 0$xTE21​x=xTE21s​x+xTE21a​x=xTE21s​x=0
因此，这些同视点构成一个二次曲线。

相关性质

当我们要求二次曲线${\bm E_{21s}}$E21s​在极点$\bm x$x处的极线时，可以将对极点${\bm e_1}$e1​与$\bm x$x相连得到二次曲线和该直线的另一个交点$\bm x_c$xc​，将$\bm x_c$xc​与对极点${\bm e_2}$e2​相连即为极点$\bm x$x的极线。