07-Snevily猜测和一道全国联赛加试题.pdfVIP

2015年第 1期 7 医圃 Snevily猜测和一道全国联赛加试题 瞿 振 华 (华东师范大学数学系，200241) 中图分类号：O156 文献标识码：A 文章编号：1005—6416(2015)ol一0007—03 1999年 HunterS．Snevily在 《美国数学 本文介绍N．Alon关于猜测 (1)当n=P 月刊》上刊登了若干与拉丁方有关的猜测， 时的证明，以及猜测 (2)在 =n的特殊情形 其中有两个猜测可用数论的语言描述为如下 下的证明． 形式． Alon的证明基于下面的组合零点定理． Snevily猜测 (1)设 n为正奇数 ，整数 组合零点定理 设F为一个域 ， l，2，…， 模n互不同余，整数Yl，Y2，…，Y ∈F[1，2，…， ] 模 凡互不同余，则存在一一对应 为域 F上的一个 n元多项式．假设 ．厂有一个 ： {1，2，…， } {Yl，Yz，…，Y}， 最高次项 … ：，系数非零，则对任意 使得 + )(1≤i≤后)模n互不同余； SI，s2，…，S F，ISId(1≤i≤n)，存在 (2)设n为正偶数，整数 ， ，…， 模 5∈S，使得 s1，s2，…，s)≠O． n互不同余，整数 Y。，Y，…，Y模 n互不同 先解释一下组合零点定理的意义． 余，则存在一一对应 所谓域是指一个集合对加减乘除运算封 ， l l l l ：1 l，2，… ， } {Yl，Y2，… ，Yk}， 闭，并且满足通常的算术运算规律，常见的域 使得 + )(1≤i≤ )模2互不同余． 有复数域 C，实数域R，有理数域 Q，以及模 对于 Snevily猜测 (1)，N．Alon于 1999年 素数P的素域F。． 证明了 =P为奇素数 的情形．S．Dasgupta 在本文中，读者只需将 F理解为 以上 四 等人在 2003年证明了所有奇数 的情形． 种情形． B．Arsovski在 2011年又证 明了在奇数阶有 假设F：R．将 限加法群中的推广形式．至此，猜测 (1)已经 f=2+ 一 +x3y3一2)，4∈R[，Y]， 获得了完满的解决． 看作定义在平面R 上的函数． 但是，对于Snevily猜测(2)，至今未有任 由于 有最高次项x3y，系数非零，组合 何实质性的进展． 零点定理表 明，在任意四条平行于Y轴的直 2014年全 国高中数学联合竞赛加试第 线和任意四条平行于 轴的直线所交的 16 四题即以Snevily猜测为背景 ，是猜测 (2)中 个点中，必有一点．厂的值非零． k=n=2014的特殊情形．标准解答可适用于 当然，还有一个最高次项 ，系数非 所有 =n三2(mod4)的