……
【第一題(45分)】
【設n為正整數,a?,a?,…,a_n為實數,滿足∑_{i=1}^n a_i = 0且∑_{i=1}^n a_i2 = 1。證明:對任意實數x,有∑_{i=1}^n (a_i - x)2 ≥ n/(n-1)。】
江辰看完題幹,腦子裡瞬間跳出三種解法。
解法一:直接用柯西不等式+均值不等式,三步搞定。
解法二:轉化成二次函式最值問題,用判別式。
解法三:用拉格朗日乘數法(雖然超綱,但簡潔)。
他選了第一種,提筆就寫。
“由條件∑a_i=0,∑a_i2=1,則∑(a_i-x)2=∑a_i2 - 2x∑a_i + nx2 = 1 + nx2。”
“需證1+nx2 ≥ n/(n-1),即nx2 ≥ 1/(n-1)。”
“由柯西不等式:(∑a_i2)(∑12) ≥ (∑a_i)2,即n≥0,恆成立。但需另尋不等式……”
“考慮∑(a_i - ā)2 = ∑a_i2 - nā2 = 1,其中ā=0,故∑a_i2=1已給出。”
“實際上,直接由∑(a_i-x)2 = ∑a_i2 - 2x∑a_i + nx2 = 1 + nx2,當x=0時取最小值1,而需證1 ≥ n/(n-1)?不對,當n>1時1 < n/(n-1),故需調整思路……”
江辰停筆,重新看題。
哦,看錯了。
不是證∑(a_i-x)2 ≥ n/(n-1),而是要證∑(a_i-x)2 ≥ n/(n-1)對任意x成立。
那更簡單了。
“設f(x)=∑(a_i-x)2 = nx2 - 2(∑a_i)x + ∑a_i2 = nx2 + 1(因為∑a_i=0)。”
“這是關於x的二次函式,開口向上,最小值為1(當x=0時)。”
“需證f(x) ≥ n/(n-1)對任意x成立,即證最小值1 ≥ n/(n-1)?等等,1 ≥ n/(n-1)當且僅當n≤2……”
江辰皺了皺眉。
這題……有問題?
他仔細再讀一遍題幹。
然後他明白了。
“原來如此,是我理解錯了。條件∑a_i=0,∑a_i2=1,但a_i是實數,可正可負。”
“要證的是∑(a_i-x)2 ≥ n/(n-1),即nx2 + 1 ≥ n/(n-1),也就是nx2 ≥ 1/(n-1)。”
“這不是恆成立的,因為x可以取0。所以……題目隱含了x的取值範圍?不對,題目說‘對任意實數x’,那這不等式就不成立。”
江辰陷入沉思。
。來過應反他,後秒三
”。了路套人題出被,“
”。值大最的C求後然,立}i_a{的件條足滿意任和x意任對C ≥ 2)x-i_a(∑得使,C數常的關無}i_a{與個某在存是的證要:是解理確正的題這“
”。)1-n(/n是就值大最的C而“
”。立號等使x和}i_a{組一在存即,的是界下個這證是二;立x的定特個某和}i_a{的件條足滿有所對)1-n(/n ≥ 2)x-i_a(∑證是一:步兩分明證以所“
。了笑辰江,點一這了通想
”。戲遊字文玩還,啊西東點有人題出“
:寫新重,筆提他
”。論結需所到得接直法無式等不此但,立恆,1。n ≤ 0即,2i_a n^}1=i{_∑n ≤ 2)i_a n^}1=i{_∑(,式等不西柯由:證“
”。化大最界下使}i_a{整調慮考需故,)時2>n當()1-n(/n於小能可1但。)時0=x當(1為值小最,1+2xn=2)x-i_a(∑=)x(f令,}i_a{定固慮考“
”。)得0=2)i_a∑(開展(2/1- = j_a i_a }j≠i{_∑得可,1=2i_a∑,0=i_a∑件條由,上際實“
”……是不也?2)x-i_a(∑ }i_a{_x x_n求,中}i_a{的件條足滿有所在是該應,對不?值小最的2xn + 1求於價等,大最界下其使要,2xn + 1 = 2)x-i_a(∑則“
。頭搖了搖辰江
”。煩麻的象想我比題這,的媽“
。”難“是不,”煩麻“是只也過不
。路思個了換他
”。呢他管但,綱超然雖,吧法數乘日朗格拉用接直“
”。界下的2)x-i_a(∑ }i_a{_x x_n求,1=2i_a∑,0=i_a∑定給:題問化佳最慮考“
”……值大最的下束約在2)x-i_a(∑ }i_a{_x求,x定固“
”……)μ2+2(/)λ-x2(=i_a得解,0=i_aμ2+λ+)x-i_a(2得導偏求,)1-2i_a∑(μ + i_a∑λ + 2)x-i_a(∑=L式函日朗格拉由“
”……)1-n(/n = 2)x-i_a(∑下況壞最得後最,μ,λ解束約代“
。頁整一了寫麻麻,鐘分三
。氣口了鬆辰江,完寫
”。定搞“
。34:9:間時眼了看他
……
。辰江著盯在直一月劉師老考監,上臺講
。了來出瞪快都子珠眼,題一第完寫就鐘分三辰江到看
”?能可麼怎這……這“
。後辰江到走,視巡裝假,臺講下走住不忍
。案答的辰江了到看後然
……解求整完法數乘日朗格拉用到再,析分新重到,解理誤錯的初最從
。晰清輯邏,謹嚴驟步
。對全……且而
。擊衝了到觀界世的己自覺月劉
!啊題一第試二是可這








