李启超　张燕

【摘要】甘志国先生在文献[1]中指出2015年北京高考理科数学压轴题的命题背景是一类“数学黑洞”问题，并且作为对2015年压轴题的推广，在文末提出了一个猜想. 本文中我们指出这个猜想在一般情况下不成立，然后借助初等数论欧拉定理等知识给出该猜想成立的一个充分条件和严格证明.

【关键词】高考数学；欧拉定理；原根；循环轨道；数学黑洞

1 “数学黑洞”的概念与相关例题

已知定义在有限集合S={a1，a2，…，an}到自身的映射σ：S→S，如果对于集合S的某个非空真子集S0={b1，b2，，…，bm}S满足σ（bi）=bi+1， 1≤i

我们指出，很多“数学黑洞”型问题在离散动力系统理论、组合图论和数论的研究中有重要意义. 事实上，近年来很多高考数学题和竞赛题目往往有着深刻的高等数学背景，例如2010年北京高考数学压轴题背景是通信技术中的纠错码理论[3]，2014年北京高考数学压轴题背景是多工序流水线时间最优化问题[5]，这些数学题目新颖大气，数学思想丰富，有效地扩展了广大考生的数学视野.

文献[1]中，甘志国先生指出2015年北京高考理科数学压轴题的命题背景就是一种“数学黑洞”型问题，为方便读者我们将问题陈述如下：

问题1（2015年北京卷理科第20题）已知数列{an}满足：a1∈[WTHZ]N[WTBX]*且a1≤36，

从而a1=1 时，|M|=8.

容易知道，当迭代的起点a1为奇数时，M={an[JB（|]n∈[WTHZ]N[WTBX]*[JB）]}中元素个数才可能有最大值.

① 当a1为奇数， 且不是3的倍数时，a3，a4，…都是4的倍数且不是3的倍数，a3，a4，…只能在{4， 8， 16， 32， 28， 20}中取值，此时|M|中最多有8个元素.

② 当a1为奇数，且是3的倍数时，a3，a4，…都是12的倍数，a3，a4，…只能在{12， 24， 36}中取值，此时|M|中最多有5个元……