我们先来复述一下这个问题。

    一天，鬼谷子随意从2-99中选取了两个数。他把这两个数的和告诉了庞涓，把这两个数的乘积告诉了孙膑。但孙膑和庞涓彼此不知到对方得到的数。第二天，庞涓很有自信的对孙膑说：虽然我不知到这两个数是什麽，但我知道你一定也不知道。随后，孙膑说：那我知道了。庞涓说：那我也知道了。

 总体而言就是说庞涓根据手上的信息判断出来孙膑不知道，孙膑根据庞涓判断自己不知道的信息加上手中的两数之积得到这两个数字，庞涓根据孙膑得到了这两个数字的这个信息得到自己的两个数字。

    体来说就是庞涓说“我不知道，你不知道”，孙膑用庞涓的“你不知道”而知道，庞涓利用孙膑的“知道”而知道。引号中是信息流的内容。
这里最重要的就是庞涓的那句话，我们来仔细分析。

    庞涓说“虽然我不知到这两个数是什麽，但我知道你一定也不知道。”庞涓手中的数字是两个数之和，他不知道是很正常的，但是第二个信息就很重要，庞涓何以肯定孙膑不知道?也就是说庞涓手中的这个和数的任意可能拆分所构造出来的两个数字绝对不是孙膑手中的乘积的唯一分解，换句话说这两个数所构造的乘积绝对不是只能展开成这两个数的乘积。我们要仔细考虑这个信息。

第一点，众所周知，庞涓手上的数必定不能化成两个素数之和，一旦庞涓手上的和数可以（注意，是可以）化成两个素数之和的话，庞涓就无法肯定孙膑一定不知道这两个数，因为素数的乘积只能唯一的分解成这两个素数，举个例子，比如说庞涓手上得到的和数是20,20=13+7（一种可能性），一旦孙膑手上的两数之积是13*7=91，那么孙膑看一眼瞬间就可以知道这两个数是什么数了，那么庞涓自然就无法肯定孙膑不知道。由此我们就得到本段开头的结论（2是素数，自然一切可以拆分成2+素数形式的和也不会出现在庞涓手上）。但是我们知道哥德巴赫猜想中有任意大于6的偶数都可以化成两个素数之和（有同学说这个猜想还没有被证明，但是至少200以内的偶数是可以穷尽的，所以这个猜想对于我们现在的这个问题是适用的），但是因为除了2以外的素数都是奇数，奇数之和是偶数，所以我们排除了庞涓手上的和数是一个偶数的可能性，并且这个和数减去2不能是一个素数，这是庞涓第一句话的第一个信息。

第二点，很重要！！但是很难想到！！的一点如下。这两个数都是在2-99这样的区间内取的，这个区间和庞涓的第一句话在一起就是一个极其强有力的限制！！我们瞬间就排除了庞涓手上的数大于53（53是乘以2最接近100的素数）的可能性。这是为什么呢？假如庞涓手上的数是100以上的一个数，那么我们必然可以把这个数拆成97和某个数之和（134=97+37/166=97+69），一旦我们做成这样的拆分，庞涓的话就不成立了，因为庞涓肯定孙膑不知道，那么庞涓手上的数不可拆成两个相乘唯一分解数。用刚才的例子，166虽然不能拆成两个小于99的素数之和，但是166=97+69（可能），一旦孙膑手上得到的数是97*69的话，孙膑就会立刻得到这两个数了，因为97是素数，所以97*69一定不能变成另外两个小于99的数之积（不相信的话可以去试一试，69可以分解成3*23，不管把3还是23和97相组合都明显超出99的范畴了）。于是庞涓手上一定不是一个大于100的数。如果是小于100大于53的数，那么这个数一定能被拆分成53和另外一个数之和，因为刚才一样的原因，这两个数的乘积只能被拆分成这两个数（小于99）相乘。所以现在我们得到结论，庞涓手上的必须是小于等于53的数字！！！！！（很神奇~~）

庞涓的信息我们已经梳理完了，概括为以下三点，庞涓手上的和数必须是1、一个小于等于53的数字 2、必须是奇数 3、这个数不能拆成两个素数之和（因为我们有2嘛）。

2到53总共有52个数，奇数的话只剩下26个数，除去所有的（素数+2）（在2到53之中，共16个素数，除去2和53），又排除掉14个数，还剩下12个数，去掉3，也就是说庞涓手上的数只有11种可能性，如下：

11 17 23 27 29 35 37 41 47 51 53

我们称这11个数为11数集合，这些具体的数我们暂且不考虑，我们只利用上面给出的一些条件。

现在我们要考虑孙膑说的话了，孙膑说“我知道了。”孙膑作为一个旁观者和我们一样，一听到庞涓的吹嘘立刻心算如上的步骤，就得到和我们一样的三点结论。结合自己手中的两个数之积，孙膑恍然大悟。那么孙膑知道了对这两个数的限制什么呢？如下因为庞涓手上的数是个奇数，必然可以变成奇数和一个偶数之和，那么孙膑手上的这个两数之积必然是一个偶数（偶数乘以奇数）。我们可以对这个乘积做一个分解变成（2^n*奇数）的形式，如果这个奇数是一个奇合数的话，那么孙膑不可能立刻得到这两个数，因为比如4*27=36*3，也就是说孙膑手里的分解不唯一了，我们必须舍弃这个奇数是合数的可能性，那么孙膑手中的两个数之积一定是（2^n*奇素数）的形式（我们暂且这么肯定的说）。

庞涓紧接着说“我也知道了”，他知道了孙膑手中的两个数之积一定是（2^n*奇素数）的形式，为了让庞涓也立刻知道，也就是说这个（2^n*奇素数）的形式必须是唯一化的。但是我们还需要考虑到孙膑手中的两数之积有的时候是分解成（2^n*奇合数）的形式，我们上面说这种形式需要排除掉，但是实际上孙膑手上的这个积的话分解的两个数有很多情况下都是两数之和不属于11数集合，这时候孙膑就可以唯一的确定了，但是庞涓却不能唯一确定，于是这些可能性都要去掉。

现在我们可以来考虑刚才给的那11个数了。

11=4+7=3+8 23=16+7=4+19 27=16+7=4+23 35=32+3=4+31 37=32+5=8+29 47=4+43=16+31 51=8+43=32+19

剩下的只有四组可能性了

17=4+13 4*13=52
29=16+13 16*13=208
41=4+37 4*37=148
53=16+37 16*37=592

现在我们再依次整理这些数，从大到小

首先来举个例子，53=16+37=6+47,6*47=2*3*47=3*84，3+84=87，这个87不属于11数集合，那么孙膑就能唯一的确定这两个数是6和47，但是庞涓此时就不知道到底是16和37还是6和47了，53要除去。

41=4+37=14+31 ，14*31=2*7*31=7*62 ，62+7=69不属于11数集合，但是孙膑依然能唯一确定这两个数是14和31，但是庞涓此时就不知道到底是4和37还是14和31了。

29=16+13=27+2,2*27=2*3*3*3=6*9=18*3，但是因为6+9=15,18+3=21。15和21都不属于11数集合，所以孙膑能依然确定，庞涓还是不能依然确定。

只要有一种可能性，这个数立刻就被排除了，但是要证明一个数是完美符合的，我们就得遍历所有的可能加法。
17=4+13=3+14=2+15=5+12=6+11=7+10=8+9

仔细考虑：4和13是两人都能唯一确定的。

3*14=3*2*7=6*7=21*2，因为21+2=23属于11数集合，所以如果分解成3和14的话孙膑就不能唯一确定了，故不能分解成3和14.
2*15=2*3*5=6*5=10*3，因为6+5=11属于11数集合，故不能分解成5和6.
5*12=5*3*4=20*3=15*4，因为20+3=23属于11数集合，故不能分解成5和12.
6*11=2*3*11=2*33=22*3，因为2+33=35属于11数集合，故不能分解成6和11.
7*10=7*2*5=14*5=7*10，因为7+10=17属于11数集合，故不能分解成7和10.
8*9=2*2*2*3*3=6*12=4*18=36*2=24*3，因为24+3=27属于11数集合，故不能分解成8和9.

所以这个和数只能是17，只能分解成4+13，乘积是52.

那么鬼谷子选了4和13，给了庞涓17，给了孙膑52.

由此可见庞涓肚子里有点货，但是爱吹嘘，吹嘘泄露天机，明显孙膑本事大，孙膑不知道庞涓不知道，孙膑知道了庞涓才知道。

思考：当鬼谷子取的数的范围是2到多少的时候，这个解都是唯一的？
哈哈哈·~算累死了·~~
共同作者：胖哥，春春