本帖最后由 hbghlyj 于 2020-8-15 22:48 编辑
我们知道,过一个不在二次曲线上的定点的直线与这条曲线的两个交点A,B可以定义一个对合f,即f(A)=B↔f(B)=A,所以对合其实就是取“剩下的根”的操作
如果换作三次曲线,我们固定一个根,另外两个根也有取“剩下的根”的操作,也就是说,过一个在三次曲线上的定点的直线与三次曲线的另外两个交点之间定义一个对合.
对合可视为一元缺席函数:n元函数$f(x_1,\ldots,x_n)$若满足
①$f(x_1,\ldots,x_i,\ldots,x_j,\ldots,x_n)=f(x_1,\ldots,x_j,\ldots,x_i,\ldots,x_n)$
②$f(x_1,\cdots,x_n)=x_{n+1}$→$f(x_1,\cdots,x_{n+1})=x_n$
则称$f(x_1,\ldots,x_n)$为缺席函数.f将它的定义域的每n个元素分成一组,每组的元素的地位是对称的,每次输出缺席的那一个.
曲线上两点A,B的直线与三次曲线的第三个交点为C,则函数f(A,B)=C为二元缺席函数
对于平面上的点可以定义三元缺席函数,由于性质①,这个函数是三角形的正规心.已知的有$X_{4},X_{15/16},X_{74},X_{175/176},X_{1138}$.特别是垂心,有"垂心组"的概念,也如连环点$X_{175}$和$X_{176}$(见梁绍鸿的著作的附录453页),有"连环形"的概念.
另外,$X_{15/16},X_{175/176}$是无法区分的互相纠缠的两个点.比如在某些三角形中满足$X_{15}BC$的$X_{15}$是A,在某些三角形中满足$X_{15}BC$的$X_{16}$是A,具体如何区分情况有待研究!! |