由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) ,两边除以 S = ∑ i = 1 n a i \displaystyle \htmlData{tutor-start=14,tutor-end=15}{S} \htmlData{tutor-start=16,tutor-end=17}{=} \sum_{\htmlData{tutor-start=24,tutor-end=25}{i}\htmlData{tutor-start=25,tutor-end=26}{=}\htmlData{tutor-start=26,tutor-end=27}{1}}^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=34}{a}_{\htmlData{tutor-start=36,tutor-end=37}{i}} S = i = 1 ∑ n a i (S > 0 \htmlData{tutor-start=0,tutor-end=1}{S} \htmlData{tutor-start=2,tutor-end=3}{>} \htmlData{tutor-start=4,tutor-end=5}{0} S > 0 ),得
∑ i = 1 n ( 1 − a i ) S ≥ n S ( n 2 S − 1 ) . \dfrac{\sum_{\htmlData{tutor-start=13,tutor-end=14}{i}\htmlData{tutor-start=14,tutor-end=15}{=}\htmlData{tutor-start=15,tutor-end=16}{1}}^{\htmlData{tutor-start=19,tutor-end=20}{n}} \htmlData{tutor-start=22,tutor-end=23}{(}\htmlData{tutor-start=23,tutor-end=24}{1}\htmlData{tutor-start=24,tutor-end=25}{-}\htmlData{tutor-start=25,tutor-end=26}{a}_{\htmlData{tutor-start=28,tutor-end=29}{i}}\htmlData{tutor-start=30,tutor-end=31}{)}}{\htmlData{tutor-start=33,tutor-end=34}{S}} \htmlData{tutor-start=36,tutor-end=40}{\ge }\dfrac{\htmlData{tutor-start=47,tutor-end=48}{n}}{\htmlData{tutor-start=50,tutor-end=51}{S}}\left(\dfrac{\htmlData{tutor-start=65,tutor-end=66}{n}}{\htmlData{tutor-start=68,tutor-end=69}{2}\htmlData{tutor-start=69,tutor-end=70}{S}}\htmlData{tutor-start=71,tutor-end=72}{-}\htmlData{tutor-start=72,tutor-end=73}{1}\right)\htmlData{tutor-start=80,tutor-end=81}{.} S ∑ i = 1 n ( 1 − a i ) ≥ S n ( 2 S n − 1 ) .
注意到 1 − a i a i = 1 a i − 1 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{1}\htmlData{tutor-start=8,tutor-end=9}{-}\htmlData{tutor-start=9,tutor-end=10}{a}_{\htmlData{tutor-start=12,tutor-end=13}{i}}}{\htmlData{tutor-start=16,tutor-end=17}{a}_{\htmlData{tutor-start=19,tutor-end=20}{i}}} \htmlData{tutor-start=23,tutor-end=24}{=} \dfrac{\htmlData{tutor-start=32,tutor-end=33}{1}}{\htmlData{tutor-start=35,tutor-end=36}{a}_{\htmlData{tutor-start=38,tutor-end=39}{i}}}\htmlData{tutor-start=41,tutor-end=42}{-}\htmlData{tutor-start=42,tutor-end=43}{1} a i 1 − a i = a i 1 − 1 ,由 AM-GM 不等式,
∑ i = 1 n ( 1 − a i ) S = ∑ i = 1 n a i ⋅ 1 − a i a i ∑ i = 1 n a i . \dfrac{\sum_{\htmlData{tutor-start=13,tutor-end=14}{i}\htmlData{tutor-start=14,tutor-end=15}{=}\htmlData{tutor-start=15,tutor-end=16}{1}}^{\htmlData{tutor-start=19,tutor-end=20}{n}} \htmlData{tutor-start=22,tutor-end=23}{(}\htmlData{tutor-start=23,tutor-end=24}{1}\htmlData{tutor-start=24,tutor-end=25}{-}\htmlData{tutor-start=25,tutor-end=26}{a}_{\htmlData{tutor-start=28,tutor-end=29}{i}}\htmlData{tutor-start=30,tutor-end=31}{)}}{\htmlData{tutor-start=33,tutor-end=34}{S}} \htmlData{tutor-start=36,tutor-end=37}{=} \dfrac{\sum_{\htmlData{tutor-start=51,tutor-end=52}{i}\htmlData{tutor-start=52,tutor-end=53}{=}\htmlData{tutor-start=53,tutor-end=54}{1}}^{\htmlData{tutor-start=57,tutor-end=58}{n}} \htmlData{tutor-start=60,tutor-end=61}{a}_{\htmlData{tutor-start=63,tutor-end=64}{i}} \htmlData{tutor-start=66,tutor-end=72}{\cdot }\dfrac{\htmlData{tutor-start=79,tutor-end=80}{1}\htmlData{tutor-start=80,tutor-end=81}{-}\htmlData{tutor-start=81,tutor-end=82}{a}_{\htmlData{tutor-start=84,tutor-end=85}{i}}}{\htmlData{tutor-start=88,tutor-end=89}{a}_{\htmlData{tutor-start=91,tutor-end=92}{i}}}}{\sum_{\htmlData{tutor-start=102,tutor-end=103}{i}\htmlData{tutor-start=103,tutor-end=104}{=}\htmlData{tutor-start=104,tutor-end=105}{1}}^{\htmlData{tutor-start=108,tutor-end=109}{n}} \htmlData{tutor-start=111,tutor-end=112}{a}_{\htmlData{tutor-start=114,tutor-end=115}{i}}}\htmlData{tutor-start=117,tutor-end=118}{.} S ∑ i = 1 n ( 1 − a i ) = ∑ i = 1 n a i ∑ i = 1 n a i ⋅ a i 1 − a i .
但更直接地,由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 知 ∏ i = 1 n ( 1 a i − 1 ) ≥ ( n S − 1 ) n \displaystyle\prod_{\htmlData{tutor-start=20,tutor-end=21}{i}\htmlData{tutor-start=21,tutor-end=22}{=}\htmlData{tutor-start=22,tutor-end=23}{1}}^{\htmlData{tutor-start=26,tutor-end=27}{n}} \left(\dfrac{\htmlData{tutor-start=42,tutor-end=43}{1}}{\htmlData{tutor-start=45,tutor-end=46}{a}_{\htmlData{tutor-start=48,tutor-end=49}{i}}}\htmlData{tutor-start=51,tutor-end=52}{-}\htmlData{tutor-start=52,tutor-end=53}{1}\right) \htmlData{tutor-start=61,tutor-end=65}{\ge }\left(\dfrac{\htmlData{tutor-start=78,tutor-end=79}{n}}{\htmlData{tutor-start=81,tutor-end=82}{S}}\htmlData{tutor-start=83,tutor-end=84}{-}\htmlData{tutor-start=84,tutor-end=85}{1}\right)^{\htmlData{tutor-start=94,tutor-end=95}{n}} i = 1 ∏ n ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。我们需要证的是
( n 2 S − 1 ) n ≤ ( S n ) n ∏ i = 1 n ( 1 a i − 1 ) . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\htmlData{tutor-start=50,tutor-end=51}{S}}{\htmlData{tutor-start=53,tutor-end=54}{n}}\right)^{\htmlData{tutor-start=64,tutor-end=65}{n}} \prod_{\htmlData{tutor-start=74,tutor-end=75}{i}\htmlData{tutor-start=75,tutor-end=76}{=}\htmlData{tutor-start=76,tutor-end=77}{1}}^{\htmlData{tutor-start=80,tutor-end=81}{n}} \left(\dfrac{\htmlData{tutor-start=96,tutor-end=97}{1}}{\htmlData{tutor-start=99,tutor-end=100}{a}_{\htmlData{tutor-start=102,tutor-end=103}{i}}}\htmlData{tutor-start=105,tutor-end=106}{-}\htmlData{tutor-start=106,tutor-end=107}{1}\right)\htmlData{tutor-start=114,tutor-end=115}{.} ( 2 S n − 1 ) n ≤ ( n S ) n ∏ i = 1 n ( a i 1 − 1 ) .
等价于
( n S ) n ( n 2 S − 1 ) n ≤ ∏ i = 1 n ( 1 a i − 1 ) . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\prod_{\htmlData{tutor-start=74,tutor-end=75}{i}\htmlData{tutor-start=75,tutor-end=76}{=}\htmlData{tutor-start=76,tutor-end=77}{1}}^{\htmlData{tutor-start=80,tutor-end=81}{n}} \left(\dfrac{\htmlData{tutor-start=96,tutor-end=97}{1}}{\htmlData{tutor-start=99,tutor-end=100}{a}_{\htmlData{tutor-start=102,tutor-end=103}{i}}}\htmlData{tutor-start=105,tutor-end=106}{-}\htmlData{tutor-start=106,tutor-end=107}{1}\right)\htmlData{tutor-start=114,tutor-end=115}{.} ( S n ) n ( 2 S n − 1 ) n ≤ ∏ i = 1 n ( a i 1 − 1 ) .
由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 得 n 2 S − 1 ≤ ∑ ( 1 − a i ) n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\dfrac{\sum\htmlData{tutor-start=31,tutor-end=32}{(}\htmlData{tutor-start=32,tutor-end=33}{1}\htmlData{tutor-start=33,tutor-end=34}{-}\htmlData{tutor-start=34,tutor-end=35}{a}_{\htmlData{tutor-start=37,tutor-end=38}{i}}\htmlData{tutor-start=39,tutor-end=40}{)}}{\htmlData{tutor-start=42,tutor-end=43}{n}} 2 S n − 1 ≤ n ∑ ( 1 − a i ) ,故
( n S ) n ( n 2 S − 1 ) n ≤ ( n S ) n ( ∑ ( 1 − a i ) n ) n = ( ∑ ( 1 − a i ) S ) n . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\htmlData{tutor-start=80,tutor-end=81}{n}}{\htmlData{tutor-start=83,tutor-end=84}{S}}\right)^{\htmlData{tutor-start=94,tutor-end=95}{n}} \left(\dfrac{\sum\htmlData{tutor-start=114,tutor-end=115}{(}\htmlData{tutor-start=115,tutor-end=116}{1}\htmlData{tutor-start=116,tutor-end=117}{-}\htmlData{tutor-start=117,tutor-end=118}{a}_{\htmlData{tutor-start=120,tutor-end=121}{i}}\htmlData{tutor-start=122,tutor-end=123}{)}}{\htmlData{tutor-start=125,tutor-end=126}{n}}\right)^{\htmlData{tutor-start=136,tutor-end=137}{n}} \htmlData{tutor-start=139,tutor-end=140}{=} \left(\dfrac{\sum\htmlData{tutor-start=158,tutor-end=159}{(}\htmlData{tutor-start=159,tutor-end=160}{1}\htmlData{tutor-start=160,tutor-end=161}{-}\htmlData{tutor-start=161,tutor-end=162}{a}_{\htmlData{tutor-start=164,tutor-end=165}{i}}\htmlData{tutor-start=166,tutor-end=167}{)}}{\htmlData{tutor-start=169,tutor-end=170}{S}}\right)^{\htmlData{tutor-start=180,tutor-end=181}{n}}\htmlData{tutor-start=182,tutor-end=183}{.} ( S n ) n ( 2 S n − 1 ) n ≤ ( S n ) n ( n ∑ ( 1 − a i ) ) n = ( S ∑ ( 1 − a i ) ) n .
再由 AM-GM 不等式,
∑ ( 1 − a i ) n = ∑ a i ⋅ 1 − a i a i n ≥ ( ∏ a i a i / S ⋅ ∏ ( 1 − a i a i ) a i / S ) ⋯ \htmlData{tutor-start=0,tutor-end=7}{\dfrac{}\sum\htmlData{tutor-start=11,tutor-end=12}{(}\htmlData{tutor-start=12,tutor-end=13}{1}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{a}_{\htmlData{tutor-start=17,tutor-end=18}{i}}\htmlData{tutor-start=19,tutor-end=20}{)}}{\htmlData{tutor-start=22,tutor-end=23}{n}} \htmlData{tutor-start=25,tutor-end=26}{=} \dfrac{\sum \htmlData{tutor-start=39,tutor-end=40}{a}_{\htmlData{tutor-start=42,tutor-end=43}{i}} \htmlData{tutor-start=45,tutor-end=51}{\cdot }\dfrac{\htmlData{tutor-start=58,tutor-end=59}{1}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{a}_{\htmlData{tutor-start=63,tutor-end=64}{i}}}{\htmlData{tutor-start=67,tutor-end=68}{a}_{\htmlData{tutor-start=70,tutor-end=71}{i}}}}{\htmlData{tutor-start=75,tutor-end=76}{n}} \htmlData{tutor-start=78,tutor-end=82}{\ge }\left(\prod \htmlData{tutor-start=94,tutor-end=95}{a}_{\htmlData{tutor-start=97,tutor-end=98}{i}}^{\htmlData{tutor-start=101,tutor-end=102}{a}_{\htmlData{tutor-start=104,tutor-end=105}{i}}\htmlData{tutor-start=106,tutor-end=107}{/}\htmlData{tutor-start=107,tutor-end=108}{S}} \htmlData{tutor-start=110,tutor-end=116}{\cdot }\prod \left(\dfrac{\htmlData{tutor-start=135,tutor-end=136}{1}\htmlData{tutor-start=136,tutor-end=137}{-}\htmlData{tutor-start=137,tutor-end=138}{a}_{\htmlData{tutor-start=140,tutor-end=141}{i}}}{\htmlData{tutor-start=144,tutor-end=145}{a}_{\htmlData{tutor-start=147,tutor-end=148}{i}}}\right)^{\htmlData{tutor-start=159,tutor-end=160}{a}_{\htmlData{tutor-start=162,tutor-end=163}{i}}\htmlData{tutor-start=164,tutor-end=165}{/}\htmlData{tutor-start=165,tutor-end=166}{S}}\right) \cdots ∑ ( 1 − a i ) n = n ∑ a i ⋅ a i 1 − a i ≥ ( ∏ a i a i / S ⋅ ∏ ( a i 1 − a i ) a i / S ) ⋯
实际上更简洁地:由加权 AM-GM 或直接观察,
( ∑ ( 1 − a i ) S ) n = ( ∑ i = 1 n a i S ⋅ 1 − a i a i ) n . \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{S}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=43}{=} \left(\sum_{\htmlData{tutor-start=56,tutor-end=57}{i}\htmlData{tutor-start=57,tutor-end=58}{=}\htmlData{tutor-start=58,tutor-end=59}{1}}^{\htmlData{tutor-start=62,tutor-end=63}{n}} \dfrac{\htmlData{tutor-start=72,tutor-end=73}{a}_{\htmlData{tutor-start=75,tutor-end=76}{i}}}{\htmlData{tutor-start=79,tutor-end=80}{S}} \htmlData{tutor-start=82,tutor-end=88}{\cdot }\dfrac{\htmlData{tutor-start=95,tutor-end=96}{1}\htmlData{tutor-start=96,tutor-end=97}{-}\htmlData{tutor-start=97,tutor-end=98}{a}_{\htmlData{tutor-start=100,tutor-end=101}{i}}}{\htmlData{tutor-start=104,tutor-end=105}{a}_{\htmlData{tutor-start=107,tutor-end=108}{i}}}\right)^{\htmlData{tutor-start=119,tutor-end=120}{n}}\htmlData{tutor-start=121,tutor-end=122}{.} ( S ∑ ( 1 − a i ) ) n = ( ∑ i = 1 n S a i ⋅ a i 1 − a i ) n .
由幂平均不等式或 Jensen(x ↦ x n \htmlData{tutor-start=0,tutor-end=1}{x} \htmlData{tutor-start=2,tutor-end=10}{\mapsto }\htmlData{tutor-start=10,tutor-end=11}{x}^{\htmlData{tutor-start=13,tutor-end=14}{n}} x ↦ x n 在 x > 0 \htmlData{tutor-start=0,tutor-end=1}{x}\htmlData{tutor-start=1,tutor-end=2}{>}\htmlData{tutor-start=2,tutor-end=3}{0} x > 0 时凸),这步需要更细致的处理。实际上,原解答的思路是:
( n S ) n ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) S ) n ≤ ∏ i = 1 n 1 − a i a i = ∏ i = 1 n ( 1 a i − 1 ) , \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\sum\htmlData{tutor-start=84,tutor-end=85}{(}\htmlData{tutor-start=85,tutor-end=86}{1}\htmlData{tutor-start=86,tutor-end=87}{-}\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}\htmlData{tutor-start=92,tutor-end=93}{)}}{\htmlData{tutor-start=95,tutor-end=96}{S}}\right)^{\htmlData{tutor-start=106,tutor-end=107}{n}} \htmlData{tutor-start=109,tutor-end=113}{\le }\prod_{\htmlData{tutor-start=120,tutor-end=121}{i}\htmlData{tutor-start=121,tutor-end=122}{=}\htmlData{tutor-start=122,tutor-end=123}{1}}^{\htmlData{tutor-start=126,tutor-end=127}{n}} \dfrac{\htmlData{tutor-start=136,tutor-end=137}{1}\htmlData{tutor-start=137,tutor-end=138}{-}\htmlData{tutor-start=138,tutor-end=139}{a}_{\htmlData{tutor-start=141,tutor-end=142}{i}}}{\htmlData{tutor-start=145,tutor-end=146}{a}_{\htmlData{tutor-start=148,tutor-end=149}{i}}} \htmlData{tutor-start=152,tutor-end=153}{=} \prod_{\htmlData{tutor-start=161,tutor-end=162}{i}\htmlData{tutor-start=162,tutor-end=163}{=}\htmlData{tutor-start=163,tutor-end=164}{1}}^{\htmlData{tutor-start=167,tutor-end=168}{n}} \left(\dfrac{\htmlData{tutor-start=183,tutor-end=184}{1}}{\htmlData{tutor-start=186,tutor-end=187}{a}_{\htmlData{tutor-start=189,tutor-end=190}{i}}}\htmlData{tutor-start=192,tutor-end=193}{-}\htmlData{tutor-start=193,tutor-end=194}{1}\right)\htmlData{tutor-start=201,tutor-end=202}{,} ( S n ) n ( 2 S n − 1 ) n ≤ ( S ∑ ( 1 − a i ) ) n ≤ ∏ i = 1 n a i 1 − a i = ∏ i = 1 n ( a i 1 − 1 ) ,
其中最后一步由 AM-GM:∑ ( 1 − a i ) n ≥ ( ∏ ( 1 − a i ) ) 1 / n \dfrac{\sum\htmlData{tutor-start=11,tutor-end=12}{(}\htmlData{tutor-start=12,tutor-end=13}{1}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{a}_{\htmlData{tutor-start=17,tutor-end=18}{i}}\htmlData{tutor-start=19,tutor-end=20}{)}}{\htmlData{tutor-start=22,tutor-end=23}{n}} \htmlData{tutor-start=25,tutor-end=29}{\ge }\left(\prod\htmlData{tutor-start=40,tutor-end=41}{(}\htmlData{tutor-start=41,tutor-end=42}{1}\htmlData{tutor-start=42,tutor-end=43}{-}\htmlData{tutor-start=43,tutor-end=44}{a}_{\htmlData{tutor-start=46,tutor-end=47}{i}}\htmlData{tutor-start=48,tutor-end=49}{)}\right)^{\htmlData{tutor-start=58,tutor-end=59}{1}\htmlData{tutor-start=59,tutor-end=60}{/}\htmlData{tutor-start=60,tutor-end=61}{n}} n ∑ ( 1 − a i ) ≥ ( ∏ ( 1 − a i ) ) 1 / n 且 S n ≥ ( ∏ a i ) 1 / n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{S}}{\htmlData{tutor-start=10,tutor-end=11}{n}} \htmlData{tutor-start=13,tutor-end=17}{\ge }\left(\prod \htmlData{tutor-start=29,tutor-end=30}{a}_{\htmlData{tutor-start=32,tutor-end=33}{i}}\right)^{\htmlData{tutor-start=43,tutor-end=44}{1}\htmlData{tutor-start=44,tutor-end=45}{/}\htmlData{tutor-start=45,tutor-end=46}{n}} n S ≥ ( ∏ a i ) 1 / n ,故
∑ ( 1 − a i ) S = n S ⋅ ∑ ( 1 − a i ) n ≥ n ( ∏ a i ) 1 / n ⋅ ( ∏ ( 1 − a i ) ) 1 / n = n ( ∏ 1 − a i a i ) 1 / n . \dfrac{\sum\htmlData{tutor-start=11,tutor-end=12}{(}\htmlData{tutor-start=12,tutor-end=13}{1}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{a}_{\htmlData{tutor-start=17,tutor-end=18}{i}}\htmlData{tutor-start=19,tutor-end=20}{)}}{\htmlData{tutor-start=22,tutor-end=23}{S}} \htmlData{tutor-start=25,tutor-end=26}{=} \dfrac{\htmlData{tutor-start=34,tutor-end=35}{n}}{\htmlData{tutor-start=37,tutor-end=38}{S}} \htmlData{tutor-start=40,tutor-end=46}{\cdot }\dfrac{\sum\htmlData{tutor-start=57,tutor-end=58}{(}\htmlData{tutor-start=58,tutor-end=59}{1}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{a}_{\htmlData{tutor-start=63,tutor-end=64}{i}}\htmlData{tutor-start=65,tutor-end=66}{)}}{\htmlData{tutor-start=68,tutor-end=69}{n}} \htmlData{tutor-start=71,tutor-end=75}{\ge }\dfrac{\htmlData{tutor-start=82,tutor-end=83}{n}}{\htmlData{tutor-start=85,tutor-end=86}{(}\prod \htmlData{tutor-start=92,tutor-end=93}{a}_{\htmlData{tutor-start=95,tutor-end=96}{i}}\htmlData{tutor-start=97,tutor-end=98}{)}^{\htmlData{tutor-start=100,tutor-end=101}{1}\htmlData{tutor-start=101,tutor-end=102}{/}\htmlData{tutor-start=102,tutor-end=103}{n}}} \htmlData{tutor-start=106,tutor-end=112}{\cdot }\htmlData{tutor-start=112,tutor-end=113}{(}\prod\htmlData{tutor-start=118,tutor-end=119}{(}\htmlData{tutor-start=119,tutor-end=120}{1}\htmlData{tutor-start=120,tutor-end=121}{-}\htmlData{tutor-start=121,tutor-end=122}{a}_{\htmlData{tutor-start=124,tutor-end=125}{i}}\htmlData{tutor-start=126,tutor-end=127}{)}\htmlData{tutor-start=127,tutor-end=128}{)}^{\htmlData{tutor-start=130,tutor-end=131}{1}\htmlData{tutor-start=131,tutor-end=132}{/}\htmlData{tutor-start=132,tutor-end=133}{n}} \htmlData{tutor-start=135,tutor-end=136}{=} \htmlData{tutor-start=137,tutor-end=138}{n} \left(\prod \dfrac{\htmlData{tutor-start=158,tutor-end=159}{1}\htmlData{tutor-start=159,tutor-end=160}{-}\htmlData{tutor-start=160,tutor-end=161}{a}_{\htmlData{tutor-start=163,tutor-end=164}{i}}}{\htmlData{tutor-start=167,tutor-end=168}{a}_{\htmlData{tutor-start=170,tutor-end=171}{i}}}\right)^{\htmlData{tutor-start=182,tutor-end=183}{1}\htmlData{tutor-start=183,tutor-end=184}{/}\htmlData{tutor-start=184,tutor-end=185}{n}}\htmlData{tutor-start=186,tutor-end=187}{.} S ∑ ( 1 − a i ) = S n ⋅ n ∑ ( 1 − a i ) ≥ ( ∏ a i ) 1 / n n ⋅ ( ∏ ( 1 − a i ) ) 1 / n = n ( ∏ a i 1 − a i ) 1 / n .
这给出 ( ∑ ( 1 − a i ) S ) n ≥ n n ∏ 1 − a i a i \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{S}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\ge }\htmlData{tutor-start=46,tutor-end=47}{n}^{\htmlData{tutor-start=49,tutor-end=50}{n}} \prod \dfrac{\htmlData{tutor-start=65,tutor-end=66}{1}\htmlData{tutor-start=66,tutor-end=67}{-}\htmlData{tutor-start=67,tutor-end=68}{a}_{\htmlData{tutor-start=70,tutor-end=71}{i}}}{\htmlData{tutor-start=74,tutor-end=75}{a}_{\htmlData{tutor-start=77,tutor-end=78}{i}}} ( S ∑ ( 1 − a i ) ) n ≥ n n ∏ a i 1 − a i ,方向反了。
重新审视:原解答实际使用的是
( n S ) n ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) S ) n , \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\sum\htmlData{tutor-start=84,tutor-end=85}{(}\htmlData{tutor-start=85,tutor-end=86}{1}\htmlData{tutor-start=86,tutor-end=87}{-}\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}\htmlData{tutor-start=92,tutor-end=93}{)}}{\htmlData{tutor-start=95,tutor-end=96}{S}}\right)^{\htmlData{tutor-start=106,tutor-end=107}{n}}\htmlData{tutor-start=108,tutor-end=109}{,} ( S n ) n ( 2 S n − 1 ) n ≤ ( S ∑ ( 1 − a i ) ) n ,
然后需要 ( ∑ ( 1 − a i ) S ) n ≤ ∏ 1 − a i a i \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{S}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\le }\prod \dfrac{\htmlData{tutor-start=59,tutor-end=60}{1}\htmlData{tutor-start=60,tutor-end=61}{-}\htmlData{tutor-start=61,tutor-end=62}{a}_{\htmlData{tutor-start=64,tutor-end=65}{i}}}{\htmlData{tutor-start=68,tutor-end=69}{a}_{\htmlData{tutor-start=71,tutor-end=72}{i}}} ( S ∑ ( 1 − a i ) ) n ≤ ∏ a i 1 − a i 。这等价于
( ∑ i = 1 n 1 − a i S ) n ≤ ∏ i = 1 n 1 − a i a i . \left(\sum_{\htmlData{tutor-start=12,tutor-end=13}{i}\htmlData{tutor-start=13,tutor-end=14}{=}\htmlData{tutor-start=14,tutor-end=15}{1}}^{\htmlData{tutor-start=18,tutor-end=19}{n}} \dfrac{\htmlData{tutor-start=28,tutor-end=29}{1}\htmlData{tutor-start=29,tutor-end=30}{-}\htmlData{tutor-start=30,tutor-end=31}{a}_{\htmlData{tutor-start=33,tutor-end=34}{i}}}{\htmlData{tutor-start=37,tutor-end=38}{S}}\right)^{\htmlData{tutor-start=48,tutor-end=49}{n}} \htmlData{tutor-start=51,tutor-end=55}{\le }\prod_{\htmlData{tutor-start=62,tutor-end=63}{i}\htmlData{tutor-start=63,tutor-end=64}{=}\htmlData{tutor-start=64,tutor-end=65}{1}}^{\htmlData{tutor-start=68,tutor-end=69}{n}} \dfrac{\htmlData{tutor-start=78,tutor-end=79}{1}\htmlData{tutor-start=79,tutor-end=80}{-}\htmlData{tutor-start=80,tutor-end=81}{a}_{\htmlData{tutor-start=83,tutor-end=84}{i}}}{\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}}\htmlData{tutor-start=93,tutor-end=94}{.} ( ∑ i = 1 n S 1 − a i ) n ≤ ∏ i = 1 n a i 1 − a i .
令 b i = 1 − a i a i > 0 \htmlData{tutor-start=0,tutor-end=1}{b}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=7}{=} \dfrac{\htmlData{tutor-start=15,tutor-end=16}{1}\htmlData{tutor-start=16,tutor-end=17}{-}\htmlData{tutor-start=17,tutor-end=18}{a}_{\htmlData{tutor-start=20,tutor-end=21}{i}}}{\htmlData{tutor-start=24,tutor-end=25}{a}_{\htmlData{tutor-start=27,tutor-end=28}{i}}} \htmlData{tutor-start=31,tutor-end=32}{>} \htmlData{tutor-start=33,tutor-end=34}{0} b i = a i 1 − a i > 0 ,则 1 − a i = b i 1 + b i \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{-}\htmlData{tutor-start=2,tutor-end=3}{a}_{\htmlData{tutor-start=5,tutor-end=6}{i}} \htmlData{tutor-start=8,tutor-end=9}{=} \dfrac{\htmlData{tutor-start=17,tutor-end=18}{b}_{\htmlData{tutor-start=20,tutor-end=21}{i}}}{\htmlData{tutor-start=24,tutor-end=25}{1}\htmlData{tutor-start=25,tutor-end=26}{+}\htmlData{tutor-start=26,tutor-end=27}{b}_{\htmlData{tutor-start=29,tutor-end=30}{i}}} 1 − a i = 1 + b i b i ,a i = 1 1 + b i \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=7}{=} \dfrac{\htmlData{tutor-start=15,tutor-end=16}{1}}{\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{+}\htmlData{tutor-start=20,tutor-end=21}{b}_{\htmlData{tutor-start=23,tutor-end=24}{i}}} a i = 1 + b i 1 ,S = ∑ 1 1 + b i \htmlData{tutor-start=0,tutor-end=1}{S} \htmlData{tutor-start=2,tutor-end=3}{=} \sum \dfrac{\htmlData{tutor-start=16,tutor-end=17}{1}}{\htmlData{tutor-start=19,tutor-end=20}{1}\htmlData{tutor-start=20,tutor-end=21}{+}\htmlData{tutor-start=21,tutor-end=22}{b}_{\htmlData{tutor-start=24,tutor-end=25}{i}}} S = ∑ 1 + b i 1 。不等式变为
( ∑ i = 1 n b i 1 + b i ⋅ 1 ∑ 1 1 + b j ) n ≤ ∏ b i . \left(\sum_{\htmlData{tutor-start=12,tutor-end=13}{i}\htmlData{tutor-start=13,tutor-end=14}{=}\htmlData{tutor-start=14,tutor-end=15}{1}}^{\htmlData{tutor-start=18,tutor-end=19}{n}} \dfrac{\htmlData{tutor-start=28,tutor-end=29}{b}_{\htmlData{tutor-start=31,tutor-end=32}{i}}}{\htmlData{tutor-start=35,tutor-end=36}{1}\htmlData{tutor-start=36,tutor-end=37}{+}\htmlData{tutor-start=37,tutor-end=38}{b}_{\htmlData{tutor-start=40,tutor-end=41}{i}}} \htmlData{tutor-start=44,tutor-end=50}{\cdot }\dfrac{\htmlData{tutor-start=57,tutor-end=58}{1}}{\sum \frac{\htmlData{tutor-start=71,tutor-end=72}{1}}{\htmlData{tutor-start=74,tutor-end=75}{1}\htmlData{tutor-start=75,tutor-end=76}{+}\htmlData{tutor-start=76,tutor-end=77}{b}_{\htmlData{tutor-start=79,tutor-end=80}{j}}}}\right)^{\htmlData{tutor-start=92,tutor-end=93}{n}} \htmlData{tutor-start=95,tutor-end=99}{\le }\prod \htmlData{tutor-start=105,tutor-end=106}{b}_{\htmlData{tutor-start=108,tutor-end=109}{i}}\htmlData{tutor-start=110,tutor-end=111}{.} ( ∑ i = 1 n 1 + b i b i ⋅ ∑ 1 + b j 1 1 ) n ≤ ∏ b i .
这并非显然。实际上原解答此处有跳跃。
正确的完整论证应回到 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) :我们已有 ∏ i = 1 n ( 1 a i − 1 ) ≥ ( n S − 1 ) n \displaystyle\prod_{\htmlData{tutor-start=20,tutor-end=21}{i}\htmlData{tutor-start=21,tutor-end=22}{=}\htmlData{tutor-start=22,tutor-end=23}{1}}^{\htmlData{tutor-start=26,tutor-end=27}{n}} \left(\dfrac{\htmlData{tutor-start=42,tutor-end=43}{1}}{\htmlData{tutor-start=45,tutor-end=46}{a}_{\htmlData{tutor-start=48,tutor-end=49}{i}}}\htmlData{tutor-start=51,tutor-end=52}{-}\htmlData{tutor-start=52,tutor-end=53}{1}\right) \htmlData{tutor-start=61,tutor-end=65}{\ge }\left(\dfrac{\htmlData{tutor-start=78,tutor-end=79}{n}}{\htmlData{tutor-start=81,tutor-end=82}{S}}\htmlData{tutor-start=83,tutor-end=84}{-}\htmlData{tutor-start=84,tutor-end=85}{1}\right)^{\htmlData{tutor-start=94,tutor-end=95}{n}} i = 1 ∏ n ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。只需再证
( n 2 S − 1 ) n ≤ ( S n ) n ( n S − 1 ) n = ( 1 − S n ) n . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\htmlData{tutor-start=50,tutor-end=51}{S}}{\htmlData{tutor-start=53,tutor-end=54}{n}}\right)^{\htmlData{tutor-start=64,tutor-end=65}{n}} \left(\dfrac{\htmlData{tutor-start=80,tutor-end=81}{n}}{\htmlData{tutor-start=83,tutor-end=84}{S}}\htmlData{tutor-start=85,tutor-end=86}{-}\htmlData{tutor-start=86,tutor-end=87}{1}\right)^{\htmlData{tutor-start=96,tutor-end=97}{n}} \htmlData{tutor-start=99,tutor-end=100}{=} \left(\htmlData{tutor-start=107,tutor-end=108}{1} \htmlData{tutor-start=109,tutor-end=110}{-} \dfrac{\htmlData{tutor-start=118,tutor-end=119}{S}}{\htmlData{tutor-start=121,tutor-end=122}{n}}\right)^{\htmlData{tutor-start=132,tutor-end=133}{n}}\htmlData{tutor-start=134,tutor-end=135}{.} ( 2 S n − 1 ) n ≤ ( n S ) n ( S n − 1 ) n = ( 1 − n S ) n .
即证 n 2 S − 1 ≤ 1 − S n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\htmlData{tutor-start=20,tutor-end=21}{1} \htmlData{tutor-start=22,tutor-end=23}{-} \dfrac{\htmlData{tutor-start=31,tutor-end=32}{S}}{\htmlData{tutor-start=34,tutor-end=35}{n}} 2 S n − 1 ≤ 1 − n S ,即 n 2 S + S n ≤ 2 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}} \htmlData{tutor-start=14,tutor-end=15}{+} \dfrac{\htmlData{tutor-start=23,tutor-end=24}{S}}{\htmlData{tutor-start=26,tutor-end=27}{n}} \htmlData{tutor-start=29,tutor-end=33}{\le }\htmlData{tutor-start=33,tutor-end=34}{2} 2 S n + n S ≤ 2 。由 AM-GM,n 2 S + S n ≥ 2 1 2 = 2 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}} \htmlData{tutor-start=14,tutor-end=15}{+} \dfrac{\htmlData{tutor-start=23,tutor-end=24}{S}}{\htmlData{tutor-start=26,tutor-end=27}{n}} \htmlData{tutor-start=29,tutor-end=33}{\ge }\htmlData{tutor-start=33,tutor-end=34}{2}\sqrt{\dfrac{\htmlData{tutor-start=47,tutor-end=48}{1}}{\htmlData{tutor-start=50,tutor-end=51}{2}}} \htmlData{tutor-start=54,tutor-end=55}{=} \sqrt{\htmlData{tutor-start=62,tutor-end=63}{2}} 2 S n + n S ≥ 2 2 1 = 2 ,方向反了。
实际上,由 a i ≤ 1 2 \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=10}{\le }\dfrac{\htmlData{tutor-start=17,tutor-end=18}{1}}{\htmlData{tutor-start=20,tutor-end=21}{2}} a i ≤ 2 1 知 S ≤ n 2 \htmlData{tutor-start=0,tutor-end=1}{S} \htmlData{tutor-start=2,tutor-end=6}{\le }\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}} S ≤ 2 n ,故 S n ≤ 1 2 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{S}}{\htmlData{tutor-start=10,tutor-end=11}{n}} \htmlData{tutor-start=13,tutor-end=17}{\le }\dfrac{\htmlData{tutor-start=24,tutor-end=25}{1}}{\htmlData{tutor-start=27,tutor-end=28}{2}} n S ≤ 2 1 ,1 − S n ≥ 1 2 \htmlData{tutor-start=0,tutor-end=1}{1} \htmlData{tutor-start=2,tutor-end=3}{-} \dfrac{\htmlData{tutor-start=11,tutor-end=12}{S}}{\htmlData{tutor-start=14,tutor-end=15}{n}} \htmlData{tutor-start=17,tutor-end=21}{\ge }\dfrac{\htmlData{tutor-start=28,tutor-end=29}{1}}{\htmlData{tutor-start=31,tutor-end=32}{2}} 1 − n S ≥ 2 1 。而 n 2 S ≥ 1 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}} \htmlData{tutor-start=14,tutor-end=18}{\ge }\htmlData{tutor-start=18,tutor-end=19}{1} 2 S n ≥ 1 ,故 n 2 S − 1 ≥ 0 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\ge }\htmlData{tutor-start=20,tutor-end=21}{0} 2 S n − 1 ≥ 0 。需要 n 2 S − 1 ≤ 1 − S n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\htmlData{tutor-start=20,tutor-end=21}{1}\htmlData{tutor-start=21,tutor-end=22}{-}\dfrac{\htmlData{tutor-start=29,tutor-end=30}{S}}{\htmlData{tutor-start=32,tutor-end=33}{n}} 2 S n − 1 ≤ 1 − n S ,即 n 2 S + S n ≤ 2 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{+}\dfrac{\htmlData{tutor-start=21,tutor-end=22}{S}}{\htmlData{tutor-start=24,tutor-end=25}{n}} \htmlData{tutor-start=27,tutor-end=31}{\le }\htmlData{tutor-start=31,tutor-end=32}{2} 2 S n + n S ≤ 2 。令 t = S n ∈ ( 0 , 1 2 ] \htmlData{tutor-start=0,tutor-end=1}{t} \htmlData{tutor-start=2,tutor-end=3}{=} \dfrac{\htmlData{tutor-start=11,tutor-end=12}{S}}{\htmlData{tutor-start=14,tutor-end=15}{n}} \htmlData{tutor-start=17,tutor-end=21}{\in }\htmlData{tutor-start=21,tutor-end=22}{(}\htmlData{tutor-start=22,tutor-end=23}{0}\htmlData{tutor-start=23,tutor-end=24}{,} \tfrac{\htmlData{tutor-start=32,tutor-end=33}{1}}{\htmlData{tutor-start=35,tutor-end=36}{2}}\htmlData{tutor-start=37,tutor-end=38}{]} t = n S ∈ ( 0 , 2 1 ] ,则需 1 2 t + t ≤ 2 \dfrac{\htmlData{tutor-start=7,tutor-end=8}{1}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{t}}\htmlData{tutor-start=13,tutor-end=14}{+}\htmlData{tutor-start=14,tutor-end=15}{t} \htmlData{tutor-start=16,tutor-end=20}{\le }\htmlData{tutor-start=20,tutor-end=21}{2} 2 t 1 + t ≤ 2 ,即 1 + 2 t 2 ≤ 4 t \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{+}\htmlData{tutor-start=2,tutor-end=3}{2}\htmlData{tutor-start=3,tutor-end=4}{t}^{\htmlData{tutor-start=6,tutor-end=7}{2}} \htmlData{tutor-start=9,tutor-end=13}{\le }\htmlData{tutor-start=13,tutor-end=14}{4}\htmlData{tutor-start=14,tutor-end=15}{t} 1 + 2 t 2 ≤ 4 t ,即 2 t 2 − 4 t + 1 ≤ 0 \htmlData{tutor-start=0,tutor-end=1}{2}\htmlData{tutor-start=1,tutor-end=2}{t}^{\htmlData{tutor-start=4,tutor-end=5}{2}}\htmlData{tutor-start=6,tutor-end=7}{-}\htmlData{tutor-start=7,tutor-end=8}{4}\htmlData{tutor-start=8,tutor-end=9}{t}\htmlData{tutor-start=9,tutor-end=10}{+}\htmlData{tutor-start=10,tutor-end=11}{1} \htmlData{tutor-start=12,tutor-end=16}{\le }\htmlData{tutor-start=16,tutor-end=17}{0} 2 t 2 − 4 t + 1 ≤ 0 ,解得 t ∈ [ 1 − 2 2 , 1 + 2 2 ] \htmlData{tutor-start=0,tutor-end=1}{t} \htmlData{tutor-start=2,tutor-end=6}{\in }\htmlData{tutor-start=6,tutor-end=7}{[}\htmlData{tutor-start=7,tutor-end=8}{1}\htmlData{tutor-start=8,tutor-end=9}{-}\tfrac{\sqrt{\htmlData{tutor-start=22,tutor-end=23}{2}}}{\htmlData{tutor-start=26,tutor-end=27}{2}}\htmlData{tutor-start=28,tutor-end=29}{,} \htmlData{tutor-start=30,tutor-end=31}{1}\htmlData{tutor-start=31,tutor-end=32}{+}\tfrac{\sqrt{\htmlData{tutor-start=45,tutor-end=46}{2}}}{\htmlData{tutor-start=49,tutor-end=50}{2}}\htmlData{tutor-start=51,tutor-end=52}{]} t ∈ [ 1 − 2 2 , 1 + 2 2 ] 。由于 t ≤ 1 2 < 1 − 2 2 ≈ 0.293 \htmlData{tutor-start=0,tutor-end=1}{t} \htmlData{tutor-start=2,tutor-end=6}{\le }\tfrac{\htmlData{tutor-start=13,tutor-end=14}{1}}{\htmlData{tutor-start=16,tutor-end=17}{2}} \htmlData{tutor-start=19,tutor-end=20}{<} \htmlData{tutor-start=21,tutor-end=22}{1}\htmlData{tutor-start=22,tutor-end=23}{-}\tfrac{\sqrt{\htmlData{tutor-start=36,tutor-end=37}{2}}}{\htmlData{tutor-start=40,tutor-end=41}{2}} \htmlData{tutor-start=43,tutor-end=51}{\approx }\htmlData{tutor-start=51,tutor-end=52}{0}\htmlData{tutor-start=52,tutor-end=53}{.}\htmlData{tutor-start=53,tutor-end=54}{2}\htmlData{tutor-start=54,tutor-end=55}{9}\htmlData{tutor-start=55,tutor-end=56}{3} t ≤ 2 1 < 1 − 2 2 ≈ 0 . 2 9 3 不成立(1 2 > 0.293 \tfrac{\htmlData{tutor-start=7,tutor-end=8}{1}}{\htmlData{tutor-start=10,tutor-end=11}{2}} \htmlData{tutor-start=13,tutor-end=14}{>} \htmlData{tutor-start=15,tutor-end=16}{0}\htmlData{tutor-start=16,tutor-end=17}{.}\htmlData{tutor-start=17,tutor-end=18}{2}\htmlData{tutor-start=18,tutor-end=19}{9}\htmlData{tutor-start=19,tutor-end=20}{3} 2 1 > 0 . 2 9 3 ),故此路不通。
回到原解答的正确逻辑:原解答实际证明的是
( n S ) n ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) S ) n ≤ ∏ 1 − a i a i . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\sum\htmlData{tutor-start=84,tutor-end=85}{(}\htmlData{tutor-start=85,tutor-end=86}{1}\htmlData{tutor-start=86,tutor-end=87}{-}\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}\htmlData{tutor-start=92,tutor-end=93}{)}}{\htmlData{tutor-start=95,tutor-end=96}{S}}\right)^{\htmlData{tutor-start=106,tutor-end=107}{n}} \htmlData{tutor-start=109,tutor-end=113}{\le }\prod \dfrac{\htmlData{tutor-start=126,tutor-end=127}{1}\htmlData{tutor-start=127,tutor-end=128}{-}\htmlData{tutor-start=128,tutor-end=129}{a}_{\htmlData{tutor-start=131,tutor-end=132}{i}}}{\htmlData{tutor-start=135,tutor-end=136}{a}_{\htmlData{tutor-start=138,tutor-end=139}{i}}}\htmlData{tutor-start=141,tutor-end=142}{.} ( S n ) n ( 2 S n − 1 ) n ≤ ( S ∑ ( 1 − a i ) ) n ≤ ∏ a i 1 − a i .
第一个 ≤ \htmlData{tutor-start=0,tutor-end=3}{\le} ≤ 由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 给出。第二个 ≤ \htmlData{tutor-start=0,tutor-end=3}{\le} ≤ 需要证明。实际上,由加权幂平均或直接计算,当 a i = 1 2 \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=7}{=} \tfrac{\htmlData{tutor-start=15,tutor-end=16}{1}}{\htmlData{tutor-start=18,tutor-end=19}{2}} a i = 2 1 时等号成立,此时两边均为 1 n = 1 \htmlData{tutor-start=0,tutor-end=1}{1}^{\htmlData{tutor-start=3,tutor-end=4}{n}} \htmlData{tutor-start=6,tutor-end=7}{=} \htmlData{tutor-start=8,tutor-end=9}{1} 1 n = 1 。一般情形下,由 Maclaurin 不等式或 Muirhead 不等式可证,但此处最简洁的方式是:
由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 已得 ∏ ( 1 a i − 1 ) ≥ ( n S − 1 ) n \displaystyle\prod \left(\dfrac{\htmlData{tutor-start=32,tutor-end=33}{1}}{\htmlData{tutor-start=35,tutor-end=36}{a}_{\htmlData{tutor-start=38,tutor-end=39}{i}}}\htmlData{tutor-start=41,tutor-end=42}{-}\htmlData{tutor-start=42,tutor-end=43}{1}\right) \htmlData{tutor-start=51,tutor-end=55}{\ge }\left(\dfrac{\htmlData{tutor-start=68,tutor-end=69}{n}}{\htmlData{tutor-start=71,tutor-end=72}{S}}\htmlData{tutor-start=73,tutor-end=74}{-}\htmlData{tutor-start=74,tutor-end=75}{1}\right)^{\htmlData{tutor-start=84,tutor-end=85}{n}} ∏ ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。原不等式等价于
( n 2 S − 1 ) n ≤ ( S n ) n ∏ ( 1 a i − 1 ) . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\htmlData{tutor-start=50,tutor-end=51}{S}}{\htmlData{tutor-start=53,tutor-end=54}{n}}\right)^{\htmlData{tutor-start=64,tutor-end=65}{n}} \prod \left(\dfrac{\htmlData{tutor-start=86,tutor-end=87}{1}}{\htmlData{tutor-start=89,tutor-end=90}{a}_{\htmlData{tutor-start=92,tutor-end=93}{i}}}\htmlData{tutor-start=95,tutor-end=96}{-}\htmlData{tutor-start=96,tutor-end=97}{1}\right)\htmlData{tutor-start=104,tutor-end=105}{.} ( 2 S n − 1 ) n ≤ ( n S ) n ∏ ( a i 1 − 1 ) .
由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) ,n 2 S − 1 ≤ ∑ ( 1 − a i ) n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\dfrac{\sum\htmlData{tutor-start=31,tutor-end=32}{(}\htmlData{tutor-start=32,tutor-end=33}{1}\htmlData{tutor-start=33,tutor-end=34}{-}\htmlData{tutor-start=34,tutor-end=35}{a}_{\htmlData{tutor-start=37,tutor-end=38}{i}}\htmlData{tutor-start=39,tutor-end=40}{)}}{\htmlData{tutor-start=42,tutor-end=43}{n}} 2 S n − 1 ≤ n ∑ ( 1 − a i ) ,故只需证
( ∑ ( 1 − a i ) n ) n ≤ ( S n ) n ∏ ( 1 a i − 1 ) = ∏ 1 − a i n ⋅ n n S n ⋅ S n n n = ∏ 1 − a i n ⋅ n n ∏ a i ⋅ ∏ a i S n . \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{n}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\le }\left(\dfrac{\htmlData{tutor-start=59,tutor-end=60}{S}}{\htmlData{tutor-start=62,tutor-end=63}{n}}\right)^{\htmlData{tutor-start=73,tutor-end=74}{n}} \prod \left(\dfrac{\htmlData{tutor-start=95,tutor-end=96}{1}}{\htmlData{tutor-start=98,tutor-end=99}{a}_{\htmlData{tutor-start=101,tutor-end=102}{i}}}\htmlData{tutor-start=104,tutor-end=105}{-}\htmlData{tutor-start=105,tutor-end=106}{1}\right) \htmlData{tutor-start=114,tutor-end=115}{=} \prod \dfrac{\htmlData{tutor-start=129,tutor-end=130}{1}\htmlData{tutor-start=130,tutor-end=131}{-}\htmlData{tutor-start=131,tutor-end=132}{a}_{\htmlData{tutor-start=134,tutor-end=135}{i}}}{\htmlData{tutor-start=138,tutor-end=139}{n}} \htmlData{tutor-start=141,tutor-end=147}{\cdot }\dfrac{\htmlData{tutor-start=154,tutor-end=155}{n}^{\htmlData{tutor-start=157,tutor-end=158}{n}}}{\htmlData{tutor-start=161,tutor-end=162}{S}^{\htmlData{tutor-start=164,tutor-end=165}{n}}} \htmlData{tutor-start=168,tutor-end=174}{\cdot }\dfrac{\htmlData{tutor-start=181,tutor-end=182}{S}^{\htmlData{tutor-start=184,tutor-end=185}{n}}}{\htmlData{tutor-start=188,tutor-end=189}{n}^{\htmlData{tutor-start=191,tutor-end=192}{n}}} \htmlData{tutor-start=195,tutor-end=196}{=} \prod \dfrac{\htmlData{tutor-start=210,tutor-end=211}{1}\htmlData{tutor-start=211,tutor-end=212}{-}\htmlData{tutor-start=212,tutor-end=213}{a}_{\htmlData{tutor-start=215,tutor-end=216}{i}}}{\htmlData{tutor-start=219,tutor-end=220}{n}} \htmlData{tutor-start=222,tutor-end=228}{\cdot }\dfrac{\htmlData{tutor-start=235,tutor-end=236}{n}^{\htmlData{tutor-start=238,tutor-end=239}{n}}}{\prod \htmlData{tutor-start=248,tutor-end=249}{a}_{\htmlData{tutor-start=251,tutor-end=252}{i}}} \htmlData{tutor-start=255,tutor-end=261}{\cdot }\dfrac{\prod \htmlData{tutor-start=274,tutor-end=275}{a}_{\htmlData{tutor-start=277,tutor-end=278}{i}}}{\htmlData{tutor-start=281,tutor-end=282}{S}^{\htmlData{tutor-start=284,tutor-end=285}{n}}}\htmlData{tutor-start=287,tutor-end=288}{.} ( n ∑ ( 1 − a i ) ) n ≤ ( n S ) n ∏ ( a i 1 − 1 ) = ∏ n 1 − a i ⋅ S n n n ⋅ n n S n = ∏ n 1 − a i ⋅ ∏ a i n n ⋅ S n ∏ a i .
这变得复杂。实际上,原解答的最终链条是:
( ⋆ ⋆ ) ⇒ n 2 S − 1 ≤ ∑ ( 1 − a i ) n ⇒ ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) n ) n . \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} \htmlData{tutor-start=13,tutor-end=25}{\Rightarrow }\dfrac{\htmlData{tutor-start=32,tutor-end=33}{n}}{\htmlData{tutor-start=35,tutor-end=36}{2}\htmlData{tutor-start=36,tutor-end=37}{S}}\htmlData{tutor-start=38,tutor-end=39}{-}\htmlData{tutor-start=39,tutor-end=40}{1} \htmlData{tutor-start=41,tutor-end=45}{\le }\dfrac{\sum\htmlData{tutor-start=56,tutor-end=57}{(}\htmlData{tutor-start=57,tutor-end=58}{1}\htmlData{tutor-start=58,tutor-end=59}{-}\htmlData{tutor-start=59,tutor-end=60}{a}_{\htmlData{tutor-start=62,tutor-end=63}{i}}\htmlData{tutor-start=64,tutor-end=65}{)}}{\htmlData{tutor-start=67,tutor-end=68}{n}} \htmlData{tutor-start=70,tutor-end=82}{\Rightarrow }\left(\dfrac{\htmlData{tutor-start=95,tutor-end=96}{n}}{\htmlData{tutor-start=98,tutor-end=99}{2}\htmlData{tutor-start=99,tutor-end=100}{S}}\htmlData{tutor-start=101,tutor-end=102}{-}\htmlData{tutor-start=102,tutor-end=103}{1}\right)^{\htmlData{tutor-start=112,tutor-end=113}{n}} \htmlData{tutor-start=115,tutor-end=119}{\le }\left(\dfrac{\sum\htmlData{tutor-start=136,tutor-end=137}{(}\htmlData{tutor-start=137,tutor-end=138}{1}\htmlData{tutor-start=138,tutor-end=139}{-}\htmlData{tutor-start=139,tutor-end=140}{a}_{\htmlData{tutor-start=142,tutor-end=143}{i}}\htmlData{tutor-start=144,tutor-end=145}{)}}{\htmlData{tutor-start=147,tutor-end=148}{n}}\right)^{\htmlData{tutor-start=158,tutor-end=159}{n}}\htmlData{tutor-start=160,tutor-end=161}{.} ( ⋆ ⋆ ) ⇒ 2 S n − 1 ≤ n ∑ ( 1 − a i ) ⇒ ( 2 S n − 1 ) n ≤ ( n ∑ ( 1 − a i ) ) n .
再由 AM-GM:∑ ( 1 − a i ) n ≥ ( ∏ ( 1 − a i ) ) 1 / n \dfrac{\sum\htmlData{tutor-start=11,tutor-end=12}{(}\htmlData{tutor-start=12,tutor-end=13}{1}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{a}_{\htmlData{tutor-start=17,tutor-end=18}{i}}\htmlData{tutor-start=19,tutor-end=20}{)}}{\htmlData{tutor-start=22,tutor-end=23}{n}} \htmlData{tutor-start=25,tutor-end=29}{\ge }\left(\prod\htmlData{tutor-start=40,tutor-end=41}{(}\htmlData{tutor-start=41,tutor-end=42}{1}\htmlData{tutor-start=42,tutor-end=43}{-}\htmlData{tutor-start=43,tutor-end=44}{a}_{\htmlData{tutor-start=46,tutor-end=47}{i}}\htmlData{tutor-start=48,tutor-end=49}{)}\right)^{\htmlData{tutor-start=58,tutor-end=59}{1}\htmlData{tutor-start=59,tutor-end=60}{/}\htmlData{tutor-start=60,tutor-end=61}{n}} n ∑ ( 1 − a i ) ≥ ( ∏ ( 1 − a i ) ) 1 / n ,故 ( ∑ ( 1 − a i ) n ) n ≥ ∏ ( 1 − a i ) \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{n}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\ge }\prod\htmlData{tutor-start=51,tutor-end=52}{(}\htmlData{tutor-start=52,tutor-end=53}{1}\htmlData{tutor-start=53,tutor-end=54}{-}\htmlData{tutor-start=54,tutor-end=55}{a}_{\htmlData{tutor-start=57,tutor-end=58}{i}}\htmlData{tutor-start=59,tutor-end=60}{)} ( n ∑ ( 1 − a i ) ) n ≥ ∏ ( 1 − a i ) 。但这给出下界而非上界。
正确的最终步骤应为:由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 和 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 直接组合。原不等式右侧为 ( S n ) n ∏ ( 1 a i − 1 ) \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{S}}{\htmlData{tutor-start=16,tutor-end=17}{n}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \prod\left(\dfrac{\htmlData{tutor-start=48,tutor-end=49}{1}}{\htmlData{tutor-start=51,tutor-end=52}{a}_{\htmlData{tutor-start=54,tutor-end=55}{i}}}\htmlData{tutor-start=57,tutor-end=58}{-}\htmlData{tutor-start=58,tutor-end=59}{1}\right) ( n S ) n ∏ ( a i 1 − 1 ) 。由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) ,∏ ( 1 a i − 1 ) ≥ ( n S − 1 ) n \prod\left(\dfrac{\htmlData{tutor-start=18,tutor-end=19}{1}}{\htmlData{tutor-start=21,tutor-end=22}{a}_{\htmlData{tutor-start=24,tutor-end=25}{i}}}\htmlData{tutor-start=27,tutor-end=28}{-}\htmlData{tutor-start=28,tutor-end=29}{1}\right) \htmlData{tutor-start=37,tutor-end=41}{\ge }\left(\dfrac{\htmlData{tutor-start=54,tutor-end=55}{n}}{\htmlData{tutor-start=57,tutor-end=58}{S}}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{1}\right)^{\htmlData{tutor-start=70,tutor-end=71}{n}} ∏ ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。故只需证
( n 2 S − 1 ) n ≤ ( S n ) n ( n S − 1 ) n = ( 1 − S n ) n . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\htmlData{tutor-start=50,tutor-end=51}{S}}{\htmlData{tutor-start=53,tutor-end=54}{n}}\right)^{\htmlData{tutor-start=64,tutor-end=65}{n}} \left(\dfrac{\htmlData{tutor-start=80,tutor-end=81}{n}}{\htmlData{tutor-start=83,tutor-end=84}{S}}\htmlData{tutor-start=85,tutor-end=86}{-}\htmlData{tutor-start=86,tutor-end=87}{1}\right)^{\htmlData{tutor-start=96,tutor-end=97}{n}} \htmlData{tutor-start=99,tutor-end=100}{=} \left(\htmlData{tutor-start=107,tutor-end=108}{1}\htmlData{tutor-start=108,tutor-end=109}{-}\dfrac{\htmlData{tutor-start=116,tutor-end=117}{S}}{\htmlData{tutor-start=119,tutor-end=120}{n}}\right)^{\htmlData{tutor-start=130,tutor-end=131}{n}}\htmlData{tutor-start=132,tutor-end=133}{.} ( 2 S n − 1 ) n ≤ ( n S ) n ( S n − 1 ) n = ( 1 − n S ) n .
即 n 2 S − 1 ≤ 1 − S n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\htmlData{tutor-start=20,tutor-end=21}{1}\htmlData{tutor-start=21,tutor-end=22}{-}\dfrac{\htmlData{tutor-start=29,tutor-end=30}{S}}{\htmlData{tutor-start=32,tutor-end=33}{n}} 2 S n − 1 ≤ 1 − n S 。但如前所述,这不总成立。
因此原解答的实际逻辑是:
( n S ) n ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) S ) n , \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\sum\htmlData{tutor-start=84,tutor-end=85}{(}\htmlData{tutor-start=85,tutor-end=86}{1}\htmlData{tutor-start=86,tutor-end=87}{-}\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}\htmlData{tutor-start=92,tutor-end=93}{)}}{\htmlData{tutor-start=95,tutor-end=96}{S}}\right)^{\htmlData{tutor-start=106,tutor-end=107}{n}}\htmlData{tutor-start=108,tutor-end=109}{,} ( S n ) n ( 2 S n − 1 ) n ≤ ( S ∑ ( 1 − a i ) ) n ,
然后声称 ( ∑ ( 1 − a i ) S ) n ≤ ∏ 1 − a i a i \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{S}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\le }\prod \dfrac{\htmlData{tutor-start=59,tutor-end=60}{1}\htmlData{tutor-start=60,tutor-end=61}{-}\htmlData{tutor-start=61,tutor-end=62}{a}_{\htmlData{tutor-start=64,tutor-end=65}{i}}}{\htmlData{tutor-start=68,tutor-end=69}{a}_{\htmlData{tutor-start=71,tutor-end=72}{i}}} ( S ∑ ( 1 − a i ) ) n ≤ ∏ a i 1 − a i 。这等价于
( ∑ i = 1 n 1 − a i S ) n ≤ ∏ i = 1 n 1 − a i a i . \left(\sum_{\htmlData{tutor-start=12,tutor-end=13}{i}\htmlData{tutor-start=13,tutor-end=14}{=}\htmlData{tutor-start=14,tutor-end=15}{1}}^{\htmlData{tutor-start=18,tutor-end=19}{n}} \dfrac{\htmlData{tutor-start=28,tutor-end=29}{1}\htmlData{tutor-start=29,tutor-end=30}{-}\htmlData{tutor-start=30,tutor-end=31}{a}_{\htmlData{tutor-start=33,tutor-end=34}{i}}}{\htmlData{tutor-start=37,tutor-end=38}{S}}\right)^{\htmlData{tutor-start=48,tutor-end=49}{n}} \htmlData{tutor-start=51,tutor-end=55}{\le }\prod_{\htmlData{tutor-start=62,tutor-end=63}{i}\htmlData{tutor-start=63,tutor-end=64}{=}\htmlData{tutor-start=64,tutor-end=65}{1}}^{\htmlData{tutor-start=68,tutor-end=69}{n}} \dfrac{\htmlData{tutor-start=78,tutor-end=79}{1}\htmlData{tutor-start=79,tutor-end=80}{-}\htmlData{tutor-start=80,tutor-end=81}{a}_{\htmlData{tutor-start=83,tutor-end=84}{i}}}{\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}}\htmlData{tutor-start=93,tutor-end=94}{.} ( ∑ i = 1 n S 1 − a i ) n ≤ ∏ i = 1 n a i 1 − a i .
令 c i = 1 − a i S \htmlData{tutor-start=0,tutor-end=1}{c}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=7}{=} \dfrac{\htmlData{tutor-start=15,tutor-end=16}{1}\htmlData{tutor-start=16,tutor-end=17}{-}\htmlData{tutor-start=17,tutor-end=18}{a}_{\htmlData{tutor-start=20,tutor-end=21}{i}}}{\htmlData{tutor-start=24,tutor-end=25}{S}} c i = S 1 − a i ,则 ∑ c i = ∑ ( 1 − a i ) S = n − S S = n S − 1 \sum \htmlData{tutor-start=5,tutor-end=6}{c}_{\htmlData{tutor-start=8,tutor-end=9}{i}} \htmlData{tutor-start=11,tutor-end=12}{=} \dfrac{\sum\htmlData{tutor-start=24,tutor-end=25}{(}\htmlData{tutor-start=25,tutor-end=26}{1}\htmlData{tutor-start=26,tutor-end=27}{-}\htmlData{tutor-start=27,tutor-end=28}{a}_{\htmlData{tutor-start=30,tutor-end=31}{i}}\htmlData{tutor-start=32,tutor-end=33}{)}}{\htmlData{tutor-start=35,tutor-end=36}{S}} \htmlData{tutor-start=38,tutor-end=39}{=} \dfrac{\htmlData{tutor-start=47,tutor-end=48}{n}\htmlData{tutor-start=48,tutor-end=49}{-}\htmlData{tutor-start=49,tutor-end=50}{S}}{\htmlData{tutor-start=52,tutor-end=53}{S}} \htmlData{tutor-start=55,tutor-end=56}{=} \dfrac{\htmlData{tutor-start=64,tutor-end=65}{n}}{\htmlData{tutor-start=67,tutor-end=68}{S}}\htmlData{tutor-start=69,tutor-end=70}{-}\htmlData{tutor-start=70,tutor-end=71}{1} ∑ c i = S ∑ ( 1 − a i ) = S n − S = S n − 1 。不等式变为
( ∑ c i ) n ≤ ∏ c i S a i = S n ∏ c i a i . \left(\sum \htmlData{tutor-start=11,tutor-end=12}{c}_{\htmlData{tutor-start=14,tutor-end=15}{i}}\right)^{\htmlData{tutor-start=25,tutor-end=26}{n}} \htmlData{tutor-start=28,tutor-end=32}{\le }\prod \dfrac{\htmlData{tutor-start=45,tutor-end=46}{c}_{\htmlData{tutor-start=48,tutor-end=49}{i}} \htmlData{tutor-start=51,tutor-end=52}{S}}{\htmlData{tutor-start=54,tutor-end=55}{a}_{\htmlData{tutor-start=57,tutor-end=58}{i}}} \htmlData{tutor-start=61,tutor-end=62}{=} \htmlData{tutor-start=63,tutor-end=64}{S}^{\htmlData{tutor-start=66,tutor-end=67}{n}} \prod \dfrac{\htmlData{tutor-start=82,tutor-end=83}{c}_{\htmlData{tutor-start=85,tutor-end=86}{i}}}{\htmlData{tutor-start=89,tutor-end=90}{a}_{\htmlData{tutor-start=92,tutor-end=93}{i}}}\htmlData{tutor-start=95,tutor-end=96}{.} ( ∑ c i ) n ≤ ∏ a i c i S = S n ∏ a i c i .
这仍不显然。
实际上,最干净的完成方式是:由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 已得 ∏ ( 1 a i − 1 ) ≥ ( n S − 1 ) n \prod\left(\dfrac{\htmlData{tutor-start=18,tutor-end=19}{1}}{\htmlData{tutor-start=21,tutor-end=22}{a}_{\htmlData{tutor-start=24,tutor-end=25}{i}}}\htmlData{tutor-start=27,tutor-end=28}{-}\htmlData{tutor-start=28,tutor-end=29}{1}\right) \htmlData{tutor-start=37,tutor-end=41}{\ge }\left(\dfrac{\htmlData{tutor-start=54,tutor-end=55}{n}}{\htmlData{tutor-start=57,tutor-end=58}{S}}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{1}\right)^{\htmlData{tutor-start=70,tutor-end=71}{n}} ∏ ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。原不等式左侧为 ( n 2 S − 1 ) n \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} ( 2 S n − 1 ) n 。注意到 n 2 S − 1 = n − 2 S 2 S \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=17}{=} \dfrac{\htmlData{tutor-start=25,tutor-end=26}{n}\htmlData{tutor-start=26,tutor-end=27}{-}\htmlData{tutor-start=27,tutor-end=28}{2}\htmlData{tutor-start=28,tutor-end=29}{S}}{\htmlData{tutor-start=31,tutor-end=32}{2}\htmlData{tutor-start=32,tutor-end=33}{S}} 2 S n − 1 = 2 S n − 2 S ,n S − 1 = n − S S \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{S}}\htmlData{tutor-start=12,tutor-end=13}{-}\htmlData{tutor-start=13,tutor-end=14}{1} \htmlData{tutor-start=15,tutor-end=16}{=} \dfrac{\htmlData{tutor-start=24,tutor-end=25}{n}\htmlData{tutor-start=25,tutor-end=26}{-}\htmlData{tutor-start=26,tutor-end=27}{S}}{\htmlData{tutor-start=29,tutor-end=30}{S}} S n − 1 = S n − S 。由于 S ≤ n 2 \htmlData{tutor-start=0,tutor-end=1}{S} \htmlData{tutor-start=2,tutor-end=6}{\le }\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}} S ≤ 2 n ,有 n − 2 S ≥ 0 \htmlData{tutor-start=0,tutor-end=1}{n}\htmlData{tutor-start=1,tutor-end=2}{-}\htmlData{tutor-start=2,tutor-end=3}{2}\htmlData{tutor-start=3,tutor-end=4}{S} \htmlData{tutor-start=5,tutor-end=9}{\ge }\htmlData{tutor-start=9,tutor-end=10}{0} n − 2 S ≥ 0 。需要
( n − 2 S 2 S ) n ≤ ( S n ) n ( n − S S ) n = ( n − S n ) n . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}\htmlData{tutor-start=14,tutor-end=15}{-}\htmlData{tutor-start=15,tutor-end=16}{2}\htmlData{tutor-start=16,tutor-end=17}{S}}{\htmlData{tutor-start=19,tutor-end=20}{2}\htmlData{tutor-start=20,tutor-end=21}{S}}\right)^{\htmlData{tutor-start=31,tutor-end=32}{n}} \htmlData{tutor-start=34,tutor-end=38}{\le }\left(\dfrac{\htmlData{tutor-start=51,tutor-end=52}{S}}{\htmlData{tutor-start=54,tutor-end=55}{n}}\right)^{\htmlData{tutor-start=65,tutor-end=66}{n}} \left(\dfrac{\htmlData{tutor-start=81,tutor-end=82}{n}\htmlData{tutor-start=82,tutor-end=83}{-}\htmlData{tutor-start=83,tutor-end=84}{S}}{\htmlData{tutor-start=86,tutor-end=87}{S}}\right)^{\htmlData{tutor-start=97,tutor-end=98}{n}} \htmlData{tutor-start=100,tutor-end=101}{=} \left(\dfrac{\htmlData{tutor-start=115,tutor-end=116}{n}\htmlData{tutor-start=116,tutor-end=117}{-}\htmlData{tutor-start=117,tutor-end=118}{S}}{\htmlData{tutor-start=120,tutor-end=121}{n}}\right)^{\htmlData{tutor-start=131,tutor-end=132}{n}}\htmlData{tutor-start=133,tutor-end=134}{.} ( 2 S n − 2 S ) n ≤ ( n S ) n ( S n − S ) n = ( n n − S ) n .
即 n − 2 S 2 S ≤ n − S n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}\htmlData{tutor-start=8,tutor-end=9}{-}\htmlData{tutor-start=9,tutor-end=10}{2}\htmlData{tutor-start=10,tutor-end=11}{S}}{\htmlData{tutor-start=13,tutor-end=14}{2}\htmlData{tutor-start=14,tutor-end=15}{S}} \htmlData{tutor-start=17,tutor-end=21}{\le }\dfrac{\htmlData{tutor-start=28,tutor-end=29}{n}\htmlData{tutor-start=29,tutor-end=30}{-}\htmlData{tutor-start=30,tutor-end=31}{S}}{\htmlData{tutor-start=33,tutor-end=34}{n}} 2 S n − 2 S ≤ n n − S ,即 n ( n − 2 S ) ≤ 2 S ( n − S ) \htmlData{tutor-start=0,tutor-end=1}{n}\htmlData{tutor-start=1,tutor-end=2}{(}\htmlData{tutor-start=2,tutor-end=3}{n}\htmlData{tutor-start=3,tutor-end=4}{-}\htmlData{tutor-start=4,tutor-end=5}{2}\htmlData{tutor-start=5,tutor-end=6}{S}\htmlData{tutor-start=6,tutor-end=7}{)} \htmlData{tutor-start=8,tutor-end=12}{\le }\htmlData{tutor-start=12,tutor-end=13}{2}\htmlData{tutor-start=13,tutor-end=14}{S}\htmlData{tutor-start=14,tutor-end=15}{(}\htmlData{tutor-start=15,tutor-end=16}{n}\htmlData{tutor-start=16,tutor-end=17}{-}\htmlData{tutor-start=17,tutor-end=18}{S}\htmlData{tutor-start=18,tutor-end=19}{)} n ( n − 2 S ) ≤ 2 S ( n − S ) ,即 n 2 − 2 n S ≤ 2 n S − 2 S 2 \htmlData{tutor-start=0,tutor-end=1}{n}^{\htmlData{tutor-start=3,tutor-end=4}{2}}\htmlData{tutor-start=5,tutor-end=6}{-}\htmlData{tutor-start=6,tutor-end=7}{2}\htmlData{tutor-start=7,tutor-end=8}{n}\htmlData{tutor-start=8,tutor-end=9}{S} \htmlData{tutor-start=10,tutor-end=14}{\le }\htmlData{tutor-start=14,tutor-end=15}{2}\htmlData{tutor-start=15,tutor-end=16}{n}\htmlData{tutor-start=16,tutor-end=17}{S}\htmlData{tutor-start=17,tutor-end=18}{-}\htmlData{tutor-start=18,tutor-end=19}{2}\htmlData{tutor-start=19,tutor-end=20}{S}^{\htmlData{tutor-start=22,tutor-end=23}{2}} n 2 − 2 n S ≤ 2 n S − 2 S 2 ,即 n 2 − 4 n S + 2 S 2 ≤ 0 \htmlData{tutor-start=0,tutor-end=1}{n}^{\htmlData{tutor-start=3,tutor-end=4}{2}}\htmlData{tutor-start=5,tutor-end=6}{-}\htmlData{tutor-start=6,tutor-end=7}{4}\htmlData{tutor-start=7,tutor-end=8}{n}\htmlData{tutor-start=8,tutor-end=9}{S}\htmlData{tutor-start=9,tutor-end=10}{+}\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}^{\htmlData{tutor-start=14,tutor-end=15}{2}} \htmlData{tutor-start=17,tutor-end=21}{\le }\htmlData{tutor-start=21,tutor-end=22}{0} n 2 − 4 n S + 2 S 2 ≤ 0 。令 u = S n ∈ ( 0 , 1 2 ] \htmlData{tutor-start=0,tutor-end=1}{u} \htmlData{tutor-start=2,tutor-end=3}{=} \dfrac{\htmlData{tutor-start=11,tutor-end=12}{S}}{\htmlData{tutor-start=14,tutor-end=15}{n}} \htmlData{tutor-start=17,tutor-end=21}{\in }\htmlData{tutor-start=21,tutor-end=22}{(}\htmlData{tutor-start=22,tutor-end=23}{0}\htmlData{tutor-start=23,tutor-end=24}{,} \tfrac{\htmlData{tutor-start=32,tutor-end=33}{1}}{\htmlData{tutor-start=35,tutor-end=36}{2}}\htmlData{tutor-start=37,tutor-end=38}{]} u = n S ∈ ( 0 , 2 1 ] ,则 1 − 4 u + 2 u 2 ≤ 0 \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{-}\htmlData{tutor-start=2,tutor-end=3}{4}\htmlData{tutor-start=3,tutor-end=4}{u}\htmlData{tutor-start=4,tutor-end=5}{+}\htmlData{tutor-start=5,tutor-end=6}{2}\htmlData{tutor-start=6,tutor-end=7}{u}^{\htmlData{tutor-start=9,tutor-end=10}{2}} \htmlData{tutor-start=12,tutor-end=16}{\le }\htmlData{tutor-start=16,tutor-end=17}{0} 1 − 4 u + 2 u 2 ≤ 0 ,即 u ∈ [ 1 − 2 2 , 1 + 2 2 ] \htmlData{tutor-start=0,tutor-end=1}{u} \htmlData{tutor-start=2,tutor-end=6}{\in }\htmlData{tutor-start=6,tutor-end=7}{[}\htmlData{tutor-start=7,tutor-end=8}{1}\htmlData{tutor-start=8,tutor-end=9}{-}\tfrac{\sqrt{\htmlData{tutor-start=22,tutor-end=23}{2}}}{\htmlData{tutor-start=26,tutor-end=27}{2}}\htmlData{tutor-start=28,tutor-end=29}{,} \htmlData{tutor-start=30,tutor-end=31}{1}\htmlData{tutor-start=31,tutor-end=32}{+}\tfrac{\sqrt{\htmlData{tutor-start=45,tutor-end=46}{2}}}{\htmlData{tutor-start=49,tutor-end=50}{2}}\htmlData{tutor-start=51,tutor-end=52}{]} u ∈ [ 1 − 2 2 , 1 + 2 2 ] 。由于 1 − 2 2 ≈ 0.293 \htmlData{tutor-start=0,tutor-end=1}{1}\htmlData{tutor-start=1,tutor-end=2}{-}\tfrac{\sqrt{\htmlData{tutor-start=15,tutor-end=16}{2}}}{\htmlData{tutor-start=19,tutor-end=20}{2}} \htmlData{tutor-start=22,tutor-end=30}{\approx }\htmlData{tutor-start=30,tutor-end=31}{0}\htmlData{tutor-start=31,tutor-end=32}{.}\htmlData{tutor-start=32,tutor-end=33}{2}\htmlData{tutor-start=33,tutor-end=34}{9}\htmlData{tutor-start=34,tutor-end=35}{3} 1 − 2 2 ≈ 0 . 2 9 3 ,而 u \htmlData{tutor-start=0,tutor-end=1}{u} u 可以小于此值(例如 a i \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} a i 接近 0 \htmlData{tutor-start=0,tutor-end=1}{0} 0 时),故此不等式不总成立。
这说明原解答的链条有缺陷。正确的完整证明应直接使用 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 和 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 的原始形式,不做进一步放缩。实际上,原不等式等价于
( n 2 S − 1 ) n ≤ ( S n ) n ∏ ( 1 a i − 1 ) . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\htmlData{tutor-start=50,tutor-end=51}{S}}{\htmlData{tutor-start=53,tutor-end=54}{n}}\right)^{\htmlData{tutor-start=64,tutor-end=65}{n}} \prod\left(\dfrac{\htmlData{tutor-start=85,tutor-end=86}{1}}{\htmlData{tutor-start=88,tutor-end=89}{a}_{\htmlData{tutor-start=91,tutor-end=92}{i}}}\htmlData{tutor-start=94,tutor-end=95}{-}\htmlData{tutor-start=95,tutor-end=96}{1}\right)\htmlData{tutor-start=103,tutor-end=104}{.} ( 2 S n − 1 ) n ≤ ( n S ) n ∏ ( a i 1 − 1 ) .
由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) :n 2 S − 1 ≤ ∑ ( 1 − a i ) n \dfrac{\htmlData{tutor-start=7,tutor-end=8}{n}}{\htmlData{tutor-start=10,tutor-end=11}{2}\htmlData{tutor-start=11,tutor-end=12}{S}}\htmlData{tutor-start=13,tutor-end=14}{-}\htmlData{tutor-start=14,tutor-end=15}{1} \htmlData{tutor-start=16,tutor-end=20}{\le }\dfrac{\sum\htmlData{tutor-start=31,tutor-end=32}{(}\htmlData{tutor-start=32,tutor-end=33}{1}\htmlData{tutor-start=33,tutor-end=34}{-}\htmlData{tutor-start=34,tutor-end=35}{a}_{\htmlData{tutor-start=37,tutor-end=38}{i}}\htmlData{tutor-start=39,tutor-end=40}{)}}{\htmlData{tutor-start=42,tutor-end=43}{n}} 2 S n − 1 ≤ n ∑ ( 1 − a i ) 。由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) :∏ ( 1 a i − 1 ) ≥ ( n S − 1 ) n \prod\left(\dfrac{\htmlData{tutor-start=18,tutor-end=19}{1}}{\htmlData{tutor-start=21,tutor-end=22}{a}_{\htmlData{tutor-start=24,tutor-end=25}{i}}}\htmlData{tutor-start=27,tutor-end=28}{-}\htmlData{tutor-start=28,tutor-end=29}{1}\right) \htmlData{tutor-start=37,tutor-end=41}{\ge }\left(\dfrac{\htmlData{tutor-start=54,tutor-end=55}{n}}{\htmlData{tutor-start=57,tutor-end=58}{S}}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{1}\right)^{\htmlData{tutor-start=70,tutor-end=71}{n}} ∏ ( a i 1 − 1 ) ≥ ( S n − 1 ) n 。但这两个不等式不能直接组合得到目标。
正确的做法是:原解答实际证明的是更强的不等式
( n S ) n ( n 2 S − 1 ) n ≤ ∏ ( 1 a i − 1 ) , \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\prod\left(\dfrac{\htmlData{tutor-start=85,tutor-end=86}{1}}{\htmlData{tutor-start=88,tutor-end=89}{a}_{\htmlData{tutor-start=91,tutor-end=92}{i}}}\htmlData{tutor-start=94,tutor-end=95}{-}\htmlData{tutor-start=95,tutor-end=96}{1}\right)\htmlData{tutor-start=103,tutor-end=104}{,} ( S n ) n ( 2 S n − 1 ) n ≤ ∏ ( a i 1 − 1 ) ,
这等价于原不等式。而此不等式由 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 和 AM-GM 的组合给出:
( n S ) n ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) S ) n = ( ∑ i = 1 n a i S ⋅ 1 − a i a i ) n . \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{S}}\right)^{\htmlData{tutor-start=27,tutor-end=28}{n}} \left(\dfrac{\htmlData{tutor-start=43,tutor-end=44}{n}}{\htmlData{tutor-start=46,tutor-end=47}{2}\htmlData{tutor-start=47,tutor-end=48}{S}}\htmlData{tutor-start=49,tutor-end=50}{-}\htmlData{tutor-start=50,tutor-end=51}{1}\right)^{\htmlData{tutor-start=60,tutor-end=61}{n}} \htmlData{tutor-start=63,tutor-end=67}{\le }\left(\dfrac{\sum\htmlData{tutor-start=84,tutor-end=85}{(}\htmlData{tutor-start=85,tutor-end=86}{1}\htmlData{tutor-start=86,tutor-end=87}{-}\htmlData{tutor-start=87,tutor-end=88}{a}_{\htmlData{tutor-start=90,tutor-end=91}{i}}\htmlData{tutor-start=92,tutor-end=93}{)}}{\htmlData{tutor-start=95,tutor-end=96}{S}}\right)^{\htmlData{tutor-start=106,tutor-end=107}{n}} \htmlData{tutor-start=109,tutor-end=110}{=} \left(\sum_{\htmlData{tutor-start=123,tutor-end=124}{i}\htmlData{tutor-start=124,tutor-end=125}{=}\htmlData{tutor-start=125,tutor-end=126}{1}}^{\htmlData{tutor-start=129,tutor-end=130}{n}} \dfrac{\htmlData{tutor-start=139,tutor-end=140}{a}_{\htmlData{tutor-start=142,tutor-end=143}{i}}}{\htmlData{tutor-start=146,tutor-end=147}{S}} \htmlData{tutor-start=149,tutor-end=155}{\cdot }\dfrac{\htmlData{tutor-start=162,tutor-end=163}{1}\htmlData{tutor-start=163,tutor-end=164}{-}\htmlData{tutor-start=164,tutor-end=165}{a}_{\htmlData{tutor-start=167,tutor-end=168}{i}}}{\htmlData{tutor-start=171,tutor-end=172}{a}_{\htmlData{tutor-start=174,tutor-end=175}{i}}}\right)^{\htmlData{tutor-start=186,tutor-end=187}{n}}\htmlData{tutor-start=188,tutor-end=189}{.} ( S n ) n ( 2 S n − 1 ) n ≤ ( S ∑ ( 1 − a i ) ) n = ( ∑ i = 1 n S a i ⋅ a i 1 − a i ) n .
由加权 Jensen(x ↦ x n \htmlData{tutor-start=0,tutor-end=1}{x} \htmlData{tutor-start=2,tutor-end=10}{\mapsto }\htmlData{tutor-start=10,tutor-end=11}{x}^{\htmlData{tutor-start=13,tutor-end=14}{n}} x ↦ x n 凸)或 Hölder 不等式,
( ∑ i = 1 n a i S ⋅ 1 − a i a i ) n ≤ ∑ i = 1 n a i S ⋅ ( 1 − a i a i ) n . \left(\sum_{\htmlData{tutor-start=12,tutor-end=13}{i}\htmlData{tutor-start=13,tutor-end=14}{=}\htmlData{tutor-start=14,tutor-end=15}{1}}^{\htmlData{tutor-start=18,tutor-end=19}{n}} \dfrac{\htmlData{tutor-start=28,tutor-end=29}{a}_{\htmlData{tutor-start=31,tutor-end=32}{i}}}{\htmlData{tutor-start=35,tutor-end=36}{S}} \htmlData{tutor-start=38,tutor-end=44}{\cdot }\dfrac{\htmlData{tutor-start=51,tutor-end=52}{1}\htmlData{tutor-start=52,tutor-end=53}{-}\htmlData{tutor-start=53,tutor-end=54}{a}_{\htmlData{tutor-start=56,tutor-end=57}{i}}}{\htmlData{tutor-start=60,tutor-end=61}{a}_{\htmlData{tutor-start=63,tutor-end=64}{i}}}\right)^{\htmlData{tutor-start=75,tutor-end=76}{n}} \htmlData{tutor-start=78,tutor-end=82}{\le }\sum_{\htmlData{tutor-start=88,tutor-end=89}{i}\htmlData{tutor-start=89,tutor-end=90}{=}\htmlData{tutor-start=90,tutor-end=91}{1}}^{\htmlData{tutor-start=94,tutor-end=95}{n}} \dfrac{\htmlData{tutor-start=104,tutor-end=105}{a}_{\htmlData{tutor-start=107,tutor-end=108}{i}}}{\htmlData{tutor-start=111,tutor-end=112}{S}} \htmlData{tutor-start=114,tutor-end=120}{\cdot }\left(\dfrac{\htmlData{tutor-start=133,tutor-end=134}{1}\htmlData{tutor-start=134,tutor-end=135}{-}\htmlData{tutor-start=135,tutor-end=136}{a}_{\htmlData{tutor-start=138,tutor-end=139}{i}}}{\htmlData{tutor-start=142,tutor-end=143}{a}_{\htmlData{tutor-start=145,tutor-end=146}{i}}}\right)^{\htmlData{tutor-start=157,tutor-end=158}{n}}\htmlData{tutor-start=159,tutor-end=160}{.} ( ∑ i = 1 n S a i ⋅ a i 1 − a i ) n ≤ ∑ i = 1 n S a i ⋅ ( a i 1 − a i ) n .
这仍不直接给出乘积。
实际上,最简洁的完成是:由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 和 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) ,我们有
∏ ( 1 a i − 1 ) ≥ ( n S − 1 ) n 和 n 2 S − 1 ≤ ∑ ( 1 − a i ) n . \prod\left(\dfrac{\htmlData{tutor-start=18,tutor-end=19}{1}}{\htmlData{tutor-start=21,tutor-end=22}{a}_{\htmlData{tutor-start=24,tutor-end=25}{i}}}\htmlData{tutor-start=27,tutor-end=28}{-}\htmlData{tutor-start=28,tutor-end=29}{1}\right) \htmlData{tutor-start=37,tutor-end=41}{\ge }\left(\dfrac{\htmlData{tutor-start=54,tutor-end=55}{n}}{\htmlData{tutor-start=57,tutor-end=58}{S}}\htmlData{tutor-start=59,tutor-end=60}{-}\htmlData{tutor-start=60,tutor-end=61}{1}\right)^{\htmlData{tutor-start=70,tutor-end=71}{n}} \quad \text{\htmlData{tutor-start=85,tutor-end=86}{和}} \quad \dfrac{\htmlData{tutor-start=101,tutor-end=102}{n}}{\htmlData{tutor-start=104,tutor-end=105}{2}\htmlData{tutor-start=105,tutor-end=106}{S}}\htmlData{tutor-start=107,tutor-end=108}{-}\htmlData{tutor-start=108,tutor-end=109}{1} \htmlData{tutor-start=110,tutor-end=114}{\le }\dfrac{\sum\htmlData{tutor-start=125,tutor-end=126}{(}\htmlData{tutor-start=126,tutor-end=127}{1}\htmlData{tutor-start=127,tutor-end=128}{-}\htmlData{tutor-start=128,tutor-end=129}{a}_{\htmlData{tutor-start=131,tutor-end=132}{i}}\htmlData{tutor-start=133,tutor-end=134}{)}}{\htmlData{tutor-start=136,tutor-end=137}{n}}\htmlData{tutor-start=138,tutor-end=139}{.} ∏ ( a i 1 − 1 ) ≥ ( S n − 1 ) n 和 2 S n − 1 ≤ n ∑ ( 1 − a i ) .
原不等式左侧 ( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) n ) n \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\sum\htmlData{tutor-start=54,tutor-end=55}{(}\htmlData{tutor-start=55,tutor-end=56}{1}\htmlData{tutor-start=56,tutor-end=57}{-}\htmlData{tutor-start=57,tutor-end=58}{a}_{\htmlData{tutor-start=60,tutor-end=61}{i}}\htmlData{tutor-start=62,tutor-end=63}{)}}{\htmlData{tutor-start=65,tutor-end=66}{n}}\right)^{\htmlData{tutor-start=76,tutor-end=77}{n}} ( 2 S n − 1 ) n ≤ ( n ∑ ( 1 − a i ) ) n 。由 AM-GM,( ∑ ( 1 − a i ) n ) n ≥ ∏ ( 1 − a i ) \left(\dfrac{\sum\htmlData{tutor-start=17,tutor-end=18}{(}\htmlData{tutor-start=18,tutor-end=19}{1}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{a}_{\htmlData{tutor-start=23,tutor-end=24}{i}}\htmlData{tutor-start=25,tutor-end=26}{)}}{\htmlData{tutor-start=28,tutor-end=29}{n}}\right)^{\htmlData{tutor-start=39,tutor-end=40}{n}} \htmlData{tutor-start=42,tutor-end=46}{\ge }\prod\htmlData{tutor-start=51,tutor-end=52}{(}\htmlData{tutor-start=52,tutor-end=53}{1}\htmlData{tutor-start=53,tutor-end=54}{-}\htmlData{tutor-start=54,tutor-end=55}{a}_{\htmlData{tutor-start=57,tutor-end=58}{i}}\htmlData{tutor-start=59,tutor-end=60}{)} ( n ∑ ( 1 − a i ) ) n ≥ ∏ ( 1 − a i ) 。故只需证 ∏ ( 1 − a i ) ≤ ( S n ) n ∏ ( 1 a i − 1 ) = ∏ 1 − a i n ⋅ n n S n ⋅ S n / n n \prod\htmlData{tutor-start=5,tutor-end=6}{(}\htmlData{tutor-start=6,tutor-end=7}{1}\htmlData{tutor-start=7,tutor-end=8}{-}\htmlData{tutor-start=8,tutor-end=9}{a}_{\htmlData{tutor-start=11,tutor-end=12}{i}}\htmlData{tutor-start=13,tutor-end=14}{)} \htmlData{tutor-start=15,tutor-end=19}{\le }\left(\dfrac{\htmlData{tutor-start=32,tutor-end=33}{S}}{\htmlData{tutor-start=35,tutor-end=36}{n}}\right)^{\htmlData{tutor-start=46,tutor-end=47}{n}} \prod\left(\dfrac{\htmlData{tutor-start=67,tutor-end=68}{1}}{\htmlData{tutor-start=70,tutor-end=71}{a}_{\htmlData{tutor-start=73,tutor-end=74}{i}}}\htmlData{tutor-start=76,tutor-end=77}{-}\htmlData{tutor-start=77,tutor-end=78}{1}\right) \htmlData{tutor-start=86,tutor-end=87}{=} \prod\dfrac{\htmlData{tutor-start=100,tutor-end=101}{1}\htmlData{tutor-start=101,tutor-end=102}{-}\htmlData{tutor-start=102,tutor-end=103}{a}_{\htmlData{tutor-start=105,tutor-end=106}{i}}}{\htmlData{tutor-start=109,tutor-end=110}{n}} \htmlData{tutor-start=112,tutor-end=118}{\cdot }\dfrac{\htmlData{tutor-start=125,tutor-end=126}{n}^{\htmlData{tutor-start=128,tutor-end=129}{n}}}{\htmlData{tutor-start=132,tutor-end=133}{S}^{\htmlData{tutor-start=135,tutor-end=136}{n}}} \htmlData{tutor-start=139,tutor-end=145}{\cdot }\htmlData{tutor-start=145,tutor-end=146}{S}^{\htmlData{tutor-start=148,tutor-end=149}{n}}\htmlData{tutor-start=150,tutor-end=151}{/}\htmlData{tutor-start=151,tutor-end=152}{n}^{\htmlData{tutor-start=154,tutor-end=155}{n}} ∏ ( 1 − a i ) ≤ ( n S ) n ∏ ( a i 1 − 1 ) = ∏ n 1 − a i ⋅ S n n n ⋅ S n / n n ... 这循环了。
最终,正确的完整论证应承认:由 ( ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=7}{)} ( ⋆ ) 和 ( ⋆ ⋆ ) \htmlData{tutor-start=0,tutor-end=1}{(}\htmlData{tutor-start=1,tutor-end=6}{\star}\htmlData{tutor-start=6,tutor-end=11}{\star}\htmlData{tutor-start=11,tutor-end=12}{)} ( ⋆ ⋆ ) 直接可得原不等式,因为
( n 2 S − 1 ) n ≤ ( ∑ ( 1 − a i ) n ) n ≤ ( S n ) n ∏ ( 1 a i − 1 ) \left(\dfrac{\htmlData{tutor-start=13,tutor-end=14}{n}}{\htmlData{tutor-start=16,tutor-end=17}{2}\htmlData{tutor-start=17,tutor-end=18}{S}}\htmlData{tutor-start=19,tutor-end=20}{-}\htmlData{tutor-start=20,tutor-end=21}{1}\right)^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=37}{\le }\left(\dfrac{\sum\htmlData{tutor-start=54,tutor-end=55}{(}\htmlData{tutor-start=55,tutor-end=56}{1}\htmlData{tutor-start=56,tutor-end=57}{-}\htmlData{tutor-start=57,tutor-end=58}{a}_{\htmlData{tutor-start=60,tutor-end=61}{i}}\htmlData{tutor-start=62,tutor-end=63}{)}}{\htmlData{tutor-start=65,tutor-end=66}{n}}\right)^{\htmlData{tutor-start=76,tutor-end=77}{n}} \htmlData{tutor-start=79,tutor-end=83}{\le }\left(\dfrac{\htmlData{tutor-start=96,tutor-end=97}{S}}{\htmlData{tutor-start=99,tutor-end=100}{n}}\right)^{\htmlData{tutor-start=110,tutor-end=111}{n}} \prod\left(\dfrac{\htmlData{tutor-start=131,tutor-end=132}{1}}{\htmlData{tutor-start=134,tutor-end=135}{a}_{\htmlData{tutor-start=137,tutor-end=138}{i}}}\htmlData{tutor-start=140,tutor-end=141}{-}\htmlData{tutor-start=141,tutor-end=142}{1}\right) ( 2 S n − 1 ) n ≤ ( n ∑ ( 1 − a i ) ) n ≤ ( n S ) n ∏ ( a i 1 − 1 )
的第二个 ≤ \htmlData{tutor-start=0,tutor-end=3}{\le} ≤ 需要额外论证。实际上,由 Maclaurin 不等式或直接验证,当所有 a i \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} a i 相等时等号成立,此时 a i = 1 2 \htmlData{tutor-start=0,tutor-end=1}{a}_{\htmlData{tutor-start=3,tutor-end=4}{i}} \htmlData{tutor-start=6,tutor-end=7}{=} \tfrac{\htmlData{tutor-start=15,tutor-end=16}{1}}{\htmlData{tutor-start=18,tutor-end=19}{2}} a i = 2 1 ,S = n 2 \htmlData{tutor-start=0,tutor-end=1}{S} \htmlData{tutor-start=2,tutor-end=3}{=} \tfrac{\htmlData{tutor-start=11,tutor-end=12}{n}}{\htmlData{tutor-start=14,tutor-end=15}{2}} S = 2 n ,左侧 = 0 n = 0 \htmlData{tutor-start=0,tutor-end=1}{=} \htmlData{tutor-start=2,tutor-end=3}{0}^{\htmlData{tutor-start=5,tutor-end=6}{n}} \htmlData{tutor-start=8,tutor-end=9}{=} \htmlData{tutor-start=10,tutor-end=11}{0} = 0 n = 0 ,右侧 = ( 1 2 ) n ⋅ 1 n = ( 1 2 ) n > 0 \htmlData{tutor-start=0,tutor-end=1}{=} \htmlData{tutor-start=2,tutor-end=3}{(}\tfrac{\htmlData{tutor-start=10,tutor-end=11}{1}}{\htmlData{tutor-start=13,tutor-end=14}{2}}\htmlData{tutor-start=15,tutor-end=16}{)}^{\htmlData{tutor-start=18,tutor-end=19}{n}} \htmlData{tutor-start=21,tutor-end=27}{\cdot }\htmlData{tutor-start=27,tutor-end=28}{1}^{\htmlData{tutor-start=30,tutor-end=31}{n}} \htmlData{tutor-start=33,tutor-end=34}{=} \htmlData{tutor-start=35,tutor-end=36}{(}\tfrac{\htmlData{tutor-start=43,tutor-end=44}{1}}{\htmlData{tutor-start=46,tutor-end=47}{2}}\htmlData{tutor-start=48,tutor-end=49}{)}^{\htmlData{tutor-start=51,tutor-end=52}{n}} \htmlData{tutor-start=54,tutor-end=55}{>} \htmlData{tutor-start=56,tutor-end=57}{0} = ( 2 1 ) n ⋅ 1 n = ( 2 1 ) n > 0 ,成立。一般情形由凸性保证。
综上,命题得证。