右边Var(x)=(n2-1)12,代入右边表达式。
经过紧张而快速的演算,他发现当C=1时,等差数列恰好使得取等号成立!
“所以,最优常数C很可能就是1!”苏白眼中精光一闪。
接下来就是证明对于任意n个实数,不等式∑?<?(x?-x?)2≥(n3-n)12*Var(x)成立,并且常数1是最优的。
证明过程需要巧妙的代数恒等变形和不等式放缩技巧。
他利用方差的定义和平方和公式,将左边拆解:
∑?<?(x?-x?)2=n∑?x?2-(∑?x?)2
而右边(n3-n)12*Var(x)=(n3-n)12*[(1n)∑x?2-μ2]=(n2-1)12*[∑x?2-nμ2]
通过一系列变换,最终将原不等式转化为证明一个显然成立的平方非负形式,从而漂亮地完成了证明!
最后补充说明等差数列取等,故常数1最优。
当最后一个证毕符号写下时,交卷的铃声骤然响起!
苏白几乎是耗尽了最后一丝精力,放下了笔。
手臂微微发酸,大脑因高速运转而微微发热,但心中却充满了前所未有的成就感和畅!
两天的激烈角逐,终于落下帷幕。
他环顾西周,看到的是各种如释重负、疲惫不堪、甚至茫然若失的脸庞。
陈浩趴在桌上,仿佛虚脱。
张伟仰头望着穹顶,眼神放空。
赵辰还在下意识地擦着额头的汗。
孙宇和周雨薇互相看了一眼,都从对方眼中看到了疲惫和一丝后怕。
领队和教练们迅速涌入考场,没有多问,只是关切地引导队员们离场。
走出压抑的礼堂,外面阳光正好,但许多选手却仿佛不适应般眯起了眼。
“终于……结束了……”陈浩长长地吁了一口气,声音都有些沙哑。
“第六题,常数是1?”张伟突然看向苏白,问道。
苏白点了点头:“嗯,用等差数列取等。”
张伟沉默了一下,叹了口气:“我猜到可能是1,但证明没写完……”
“我也一样……”陈浩苦笑道:“最后时间太。”
苏白拍了拍两人的肩膀:“都过去了,我们己经尽力了。”
接下来,便是等待。
等待阅卷结果,等待最终的成绩和排名。
对于所有参赛者来说,这将是漫长而煎熬的几天。