已知:二维平面的两点X(x1,y1),Y(x2,y2),证明X,Y两点的齐次式叉乘为过XY的直线的系数.
证明: 叉乘的定义为已知向量a = (a1,a2,a3), b=(b1,b2,b3), a叉乘b=(a2b3-a3b2, a3b1-a1b3, a1b2-a2b1)
因为XY的齐次式为(x1,y1,1)和(x2,y2,1),代入叉乘的定义得(y1-y2, x2-x1, x1y2-y1x2)
定义直线的表达式为y=kx + b,将XY代入得:
y1 = kx1 + b
y2 = kx2 + b
化简后得:
k = (y2-y1)/(x2-x1)
b = y1 - ((y2-y1)/(x2-x1) ) * x1
将y = kx + b 转化为 ax + by + c = 0的形式得 (a b c) = (-k,1, -b) 化简后等于(y1-y2, x2-x1, x1y2-y1x2)