点击全文阅读

《脑力竞赛王》的节目录制现场。
我作为一名十八线开外的小糊咖，撑着下巴坐在角落里看戏。
介绍完比赛的主持人，开始按流程cue我身旁坐着的当红小花白婉溪。
“白婉溪，咱们这道题目的设计，依托于一道很简单的高中数学问题。”
白板上的幕布打开，题目亮进了摄像头内。
“3^x+4^x=5^x，求x?”
小花端坐，举起了手，朝镜头甜甜一笑。
“我知道！很简单！答案是2！”
她这么一回答，立马赢来弹幕一波粉丝打call。
“哇撒，女神好厉害！我题目都没反应过来！”
“那当然，女神可是正儿八经留学生，A国名校的。”
“哪像某些娱乐圈明星，加减乘除都不会……”
我坐在一旁，差点都憋不住笑。
最基础的勾股定理，居然也能被粉丝捧成这样。
只是我没有笑多久，舞台的灯突然照到了我身上。
主持人转向了我。
“那么林舟舟同学，你可以来证明看看x=2，是这道题目的唯一解么？”

这是突发状况，因为我的台本里根本没用这项内容。

而我抬头，看着主持人揶揄的目光，以及现场一片嘘声，我就明白了。
我又被给搬出来当当红小花的背景板。
因为我穿到的这个糊咖，当年可是因为高考二百五十分上过热搜的。
无数的目光汇在我身上，都在等着我出丑。
就在这时，我脑子里突然响起一道声音。
“这个不是很简单吗？变换一下就是1=(5/3) ^x–(4/3)^x，换言之就是函数y=(5/3) ^x–(4/3) ^x，当y=1时，x的值。”
“这个函数就是两个指数函数的差值，不用画图就知道两个指数函数只有一个交点。”
“……”
我都忘了，我们穿进来之前，可是遭受高考重压下的高中生。
这种题目，或许多年后看见会眉头一皱，但现在看，简直小菜一碟……
是的，我带着我整个班的人，穿进了这个娱乐圈小糊咖身上。
身体虽然由我控制，但我的脑海里能不断听见他们的声音。
数学课代表发言完，搞计算机竞赛的同学就插了进来。
“其实也可以用计算机的方法啊——”
“首先粗略绘图：
fun = @(x) 3^x+4^x-5^x;
ezplot(fun,【0,3】);
grid on
得到零点大致在1.5到2.5之间，于是设置fslove所需初值参数x0 = 1.5。
然后用fsolve函数求解：
x0 = 1.5;
fun = @(x) 3^x+4^x-5^x;
options = optimset('TolFun', 1e-6);
x = fsolve(fun,x0,options)
得到精度在1e-6的情况下x的解为2.000000”
“……”
他俩答完了，我略沉吟，走到舞台上。
拿起白板上的记号笔，就开始写。
“由勾股定理3²+4²=5²，所以2是方程一个解
假设存在一个非2的实数解x使方程成立
则联立3^x+4^x=5^x与3²+4²=5²有
3²×3^(x-2)+4²×4^(x-2)=(3²+4²)×5^(x-2)
移项整理有   3²(3^(x-2)-5^(x-2))=4²(5^(x-2)-4^(x-2))
显然，当x＜2时，等式左边为正，右边为负
当x＞2时，等式左边为负，右边为正
上述两种情况均不能使等式成立
所以x只能为2。”
写完，我朝目瞪口呆的主持人一笑。
“这个答案可以吗？”
“不可以的话，其实我还有另外两种解法……”
现在是在后台准备下半场的录制拍摄。
而此时的我还不知道，我的名字正迅速地登上热搜。
#林舟舟数学原来这么好
这个词条，正在不断地上攀。
我现在根本没空看手机，因为此时，我的大脑里正吵的不可开交。
文艺委员快气哭了：
“我一直这么喜欢的白婉溪居然是这样的人！她分明就想拉踩我们！”
数学课代表叹了口气：
“那群粉丝怎么这么爱吹，勾股定理都不认识吗？”
我揉了揉脑袋，想让他们别吵了，这时候，小花白婉溪突然来到了我面前。
其实曾经我只在电视里看过她几眼，她确实生的很漂亮，而且咖位比我穿的这个人大得多了。
可此时，她这种居高临下略显轻蔑的眼神，还是让我有些不舒服。
“呵，证明出来唯一的解有什么用？”
“你非得显摆一下么？”

她插着腰，看我的眼神如同看着地上的垃圾。

我抬头，盯着她问她。
“你知道欧拉猜想么？”
她明显被我问地一愣。
“欧拉猜想：x^4+y^4+z^4=w^4，不存在整数解。”
“这个问题，在两百多年来没有人能证明它是对的，或者是错的。”
我朝她解释。
她朝我翻了个白眼。
“所以呢……”
“但是后来，有人真的找到了一个解：”
“2682440^4+15365639^4+18796760^4=20615673^4.”
“至此，欧拉猜想才被证明是错误的。”
我站起身，拍了拍他的肩膀。
“这，就是在无穷大范围内证明定理的意义。”
她好像被我一大串数字震惊到了，然后回过神，朝我轻蔑一笑。
“所以这些5678的对我有作用吗？”
“不好意思，我的咖位就是比你大，资源比你多。”
“这里是娱乐圈，不是你的数学课堂——”
“我想要你给我做陪衬，你就得乖乖做陪衬。”