赞
踩
线的表示:A,BA,B是直线上的点,P,QP,Q是过直线的平面
X,LX,L联合确定的平面:π=L∗Xπ=L∗X,L,πL,π相交确定的点X=LπX=Lπ
直线坐标:l={l12,l13,l14,l23,l42,l34}l={l12,l13,l14,l23,l42,l34},因为detL=0detL=0,满足l12l34+l13l42+l14l23=0l12l34+l13l42+l14l23=0
l,l^l,l^分别过A,BA,B和A^,B^A^,B^。则相交⟺det[A,B,A^,B^]=0⟺det[A,B,A^,B^]=0。而
l,l^l,l^分别是平面P,QP,Q和P^,Q^P^,Q^的交线。则相交⟺det[P,Q,P^,Q^]=0⟺det[P,Q,P^,Q^]=0。而
ll是平面P,QP,Q的交线,l^l^是过A,BA,B的连线,那么相交⟺(PTA)(QTB)−(QTA)(PTB)=0⟺(PTA)(QTB)−(QTA)(PTB)=0
无穷远平面π∞π∞是不动平面⟺⟺HH是一个仿射变换
度量性质,dd是3维矢量:
所有圆交Ω∞Ω∞于2点。圆所在平面是ππ,那么ππ交π∞π∞于一条直线,而该直线交Ω∞Ω∞于两点。这两点就是ππ的虚原点
d1Ω∞d2=0d1Ω∞d2=0,则d1,d2d1,d2垂直。dTΩ∞l=0dTΩ∞l=0,其中dd是平面的法向量,ll是该平面和无穷远平面的交线
绝对对偶二次曲面Q∗∞Q∞∗:绝对二次曲线的对偶
Q∗∞Q∞∗不动⟺⟺HH是相似变换
π∞π∞是Q∗∞Q∞∗的零矢量
平面夹角: