三线共点是指三条非平行的直线在同一个点上相交。

要证明三线共点，可以采用以下两种方法：方法一：使用向量推导法将三条直线的方程分别表示为一般式：ax + by + c = 0，得到它们的法向量。设三条直线的法向量分别为n1、n2、n3，则可以得到以下方程组：n1·(x,y) + d1 = 0n2·(x,y) + d2 = 0n3·(x,y) + d3 = 0其中n1、n2、n3分别表示三条直线的法向量，(x,y)表示平面直角坐标系中的一个点，d1、d2、d3表示三条直线的常数项。将上述方程组改写为矩阵形式A*X = B，其中A是矩阵 [n1, n2, n3]，X是矩阵 [x, y, 1]T，B是矩阵 [-d1, -d2, -d3]T。如果A的秩rank(A)为2，则方程组有无穷多组解，即三条直线共点。方法二：使用叉积法设三条直线分别为AB、CD、EF，其中AB和CD交于点G，BC和DE交于点H，GH和EF交于点I，要证明三线共点，可以通过证明向量GI和向量GH的叉积为0来完成。即：(GI)x(GH) = 0，则可以得到以下等式：(GF + FI) x (GE + EH) = 0GFxGE + GFxEH + FInH + FExGE + FIxEH + FIxGH = 0因为三线不共点，所以GFxGE、FExGE、FIxGH都为0，因此上式化简为：GFxEH + FInH + FIxEH = 0因为假设三线不共点，所以点F、I、H三点不共线，因此向量FI和向量IH不共线，所以可以得到：GFxEH = -FIxEH因此，上式可以进一步简化为：-FIxEH + FInH = 0FI和nH不共线，因此只有当FI与nH共线时，以上等式才能成立，也就是说，GI和GH的叉积为0，证明了三线共点。综上所述，通过以上两个方法，可以证明三线共点的几何性质。