文章参考计算机视觉life

前备知识

概念

几何关系：

上图中：
极平面（Epipolar plane）：点c₀, c₁, p三点确定的平面；
极点（Epipoles）： c₀ c₁ 连线与两个平面的交点
基线（Baseline）：c₀ c₁的连线
极线（Epipolar line）：极平面与两像平面的交线
旋转矩阵：R
平移矩阵：t
旋转平移矩阵：T
内参：焦距，归一化坐标
外参：旋转、平移矩阵

向量叉乘和点乘的概念：

叉乘只在三维空间中有定义，比如两个向量 a和b 的叉乘写作 a x b，它是与向量 a, b都垂直的向量，其方向通过右手定则决定。

点乘：
a * b = ||a||* ||b|| *cos(θ)
因此如果两个互相垂直的向量点乘，cos(θ) = 0，点乘结果也为0。

极约束推理

上图表示的是一个运动的相机在两个不同位置的成像，其中：

左右两个平行四边形分别是相机在不同位置的成像平面C₀, C₁分别是两个位置中相机的光心，也就是针孔相机模型中的针孔P是空间中的一个三维点，p₀, p₁分别是P点在不同成像平面上对应的像素点。

如果将点P沿着C₀-P₀所在的直线移动，你会发现P在左边相机的成像一直不变，都是P₀，这时候P在右边相机的成像点p1是一直在变化的

现在我们把极平面中C₀-C₁-P₀-P₁单拎出来，看下面的图，由于C₀-C₁-P-P₀-P₁都是共面的，所以得到结论一：

也就是说 一个同时垂直于C₀C₁与C₁P₁的向量也垂直于C₀P₀。
p₀, p₁都是图像上的二维点，不过，这里我们会把它变成三维的方向向量来考虑我们假设一个归一化的图像平面，该平面上焦距f =1 ，因此我们可以定义在以C₀为原点的坐标系下

而在以C₁为原点的坐标系下

事实上，你在C₀-C₁-p₀-p₁组成的极平面上，保证的方向不变，在极平面上随便移动，结论1中等式都成立。同样的道理，在极平面上，保证

方向不变，在极平面上随便移动，结论1中等式仍然都成立。

p₀在以C₀为原点的参考坐标系，p₁在以C₁为原点的参考坐标系，所以我们还是需要转换坐标系。这里我们把所有点的坐标都转换到以C₀为原点的坐标系。前面说过这些向量都是方向向量和向量起始位置无关，所以这里坐标系变换只考虑旋转就可以。我们记 R 为从C₁坐标系到C₀坐标系的旋转矩阵

小白：那么 RP₁ 就是P₁在以C₀为原点的C₀坐标系了,所以在C₀坐标系下结论一可以改写为：

已知：p₀^TEP₁ = 0
根据上一节知识点：
从世界坐标系到相机坐标系的公式为：

那么z=1时从相机坐标系到图像坐标系的公式就为, p₀ = k^-1p₀’, p₁ = k^-1p₁’

p₀^TEP₁ = 0 ----> p₀’^T k^-TEk^-1p₁’ = p₀’^T(k^-TEk^-1)p₁’ = p₀’^TFp₁’

这里的F即为基本矩阵 ，E即为本质矩阵，所以本质矩阵和基本矩阵的区别在于，本质矩阵是使用归一化相机坐标系下的点表示极线约束，基本矩阵是使用图像坐标系下的点表示极线约束的。