張華民，梅 紅

(蚌埠學(xué)院 數(shù)學(xué)與物理系，安徽 蚌埠 233030)

柯西不等式的一個注記

張華民，梅 紅

(蚌埠學(xué)院 數(shù)學(xué)與物理系，安徽 蚌埠 233030)

利用向量的勾股定理證明了線性代數(shù)中的柯西不等式和三角不等式，探討了這兩個不等式的聯(lián)系，并用三角不等式證明了柯西不等式，指出了該不等式名稱中一個易被忽視的細節(jié)。

勾股定理；柯西不等式；三角不等式

線性代數(shù)是理工科大學(xué)生的一門重要課程，學(xué)好這門課對理工科大學(xué)生后繼課程的學(xué)習(xí)具有重要意義。如何上好這門課，人們已做了許多工作[1-3]，筆者也進行了有益的嘗試[4-5]。本文主要探討了向量的勾股定理，并用它證明柯西不等式和三角不等式，建立這兩個不等式間的聯(lián)系，并指出柯西不等式名稱中一個易忽略的細節(jié)。

1 向量內(nèi)積的幾何意義

內(nèi)積是線性代數(shù)中的一個重要概念，歐氏空間中的許多概念和方法都與內(nèi)積相關(guān)。下面給出內(nèi)積的定義與幾何意義。由于諸多文獻中對內(nèi)積的記號表示不盡相同[6-10]，例如文獻[6]是用圓括號(小括號)，文獻[7]是用方括號(中括號)，文獻[8-9]是用尖括號，文獻[10]是用實心點表示的。本文記號以文獻[6]為準(zhǔn)。先給出內(nèi)積的定義。

定義1 設(shè)V是實數(shù)域R上的一個線性空間，在V上定義了一個二元實函數(shù)，稱為內(nèi)積，記作(α,β)，它具有以下的性質(zhì)：

(1)(α,β)=(β,α);

(2)(kα,β)=k(α,β);

(3)(α+β,γ)=(α,γ)+(β,γ);

(4)(α,α)≥0,當(dāng)且僅當(dāng)α=0時, (α,α)=0。

其中α,β,γ∈V,k∈R。規(guī)定當(dāng)且僅當(dāng)兩向量的內(nèi)積為零時，稱兩向量是正交的。

定義內(nèi)積的二元實函數(shù)有很多種，通常的定義有下面兩種，一是在向量空間Rn中，取α=(a1,a2,…,an)T,β=(b1,b2,…,bn)T, 則向量α和β的內(nèi)積(有的文獻也稱為點積、數(shù)量積[10])定義為(α,β)=a1b1+a2b2+…+anbn，若引入求和符號∑、向量和矩陣來表示，記n階單位矩陣為I, 則上式又可寫為

βTα=αTIβ=βTIα。

‖α‖≥0,‖kα‖=|k|‖α‖ 。

若 ‖α‖=1則稱其為單位向量，記為αe。

由內(nèi)積的性質(zhì)，化簡得到

(1)

即向量β與α內(nèi)積的幾何意義。更進一步，若取α為單位向量，即有‖α‖=1=(α,α)，此時記

α=αe，則上式可寫為

即向量β與單位向量αe的內(nèi)積(β,αe) 為向量β在單位向量αe的方向上正投影的數(shù)量積[10]。

2 兩個重要不等式的證明

柯西不等式

|(α,β)|≤‖α‖ ‖β‖

(2)

和三角不等式

‖α+β‖≤‖α‖+ ‖β‖

(3)

是兩個著名的不等式。一般線性代數(shù)或高等代數(shù)教材通常是利用向量α,β的線性組合α+tβ來構(gòu)造內(nèi)積，由內(nèi)積(α+tβ,α+tβ)的非負性，證得不等式(2)；利用內(nèi)積的定義將恒等式‖α+β‖2=(α+β,α+β) 展開，然后利用不等式(2)證得三角不等式(3)。這樣證明過程簡潔明了，但容易給人造成誤解，感覺是柯西不等式強于三角不等式。實際上這兩個不等式間雖有上述的聯(lián)系，但彼此互相獨立，它們都可直接由向量的勾股定理得到。下面直接用向量勾股定理來證明這兩個著名的不等式。

(4)

證明 由(1)式有

(5)

化簡得

進一步化簡得|(α,β)|≤‖α‖‖β‖

這樣就證明了著名的柯西不等式。

注1 不等式(2)是歷史上有名的不等式，該不等式的離散形式為[11]

注2 在不同的文獻上不等式(2)的名稱也不盡相同。例如在文獻[6]中稱為柯西-布涅柯夫斯基不等式，在文獻[7]中稱為施瓦茲不等式，在文獻[2,13]中稱為施瓦茨不等式。這里需要對施瓦茲或施瓦茨說明一下， Laurent Moise Schwartz (1915.03.05-2002.07.04) 是法國人, 因在分布理論、泛函分析、概率論方面的卓越貢獻獲得1950年的菲爾茲獎[13]，另一位是Hermann Amandus Schwarz (1843.01.25-1921.11.30)，他是德國數(shù)學(xué)家，魏爾斯特拉斯的學(xué)生，研究并發(fā)現(xiàn)了施瓦茲極小曲面，柯西-施瓦茲不等式就是以他的名字命名的[14](除引用別的文獻中名稱外，本文均將Schwarz譯為施瓦茲)。把這兩個人弄混淆并非只發(fā)生在漢語文獻里，在Gene H. Golub和 Charles F. Van Loan[15]經(jīng)典著作的正文和索引里都把這個不等式稱為Cauchy-Schwartz-inequality[15]，而在對應(yīng)的中國科學(xué)院袁亞湘翻譯的漢譯本矩陣計算[16]的正文中仍稱為Cauchy-Schwartz不等式，而在索引中則稱為Cauchy-Schwarz不等式。

下面用(1)式來證明三角不等式。

證明 記γ=α+β, 則有

‖α‖+‖β‖。

若(α,γ)與(β,γ)同號，則第一個不等號中等號成立，若(α,γ)與(β,γ)異號則小于號成立，第二個不等號用到了(5)式中的結(jié)論。

一般文獻中多用柯西不等式來證明三角不等式，下面反過來用三角不等式來證明柯西不等式。

證明 由三角不等式‖α+β‖≤‖α‖+‖β‖兩邊平方，并進一步化簡有

(‖α+β‖)2≤(‖α‖+‖β‖)2，(α+β,α+β)≤(α,α)+2‖α‖‖β‖+(β,β)，

(α,β)≤‖α‖‖β‖

(6)

在上面的證明過程中β用-β代替，化簡得到

-(α,β)≤‖α‖‖β‖

(7)

將(6)、(7)兩式結(jié)合，即證得(2)式成立。

由上面的證明可看出柯西不等式與三角不等式是源于勾股定理的兩個相互獨立的不等式。

3 結(jié)束語

根據(jù)向量的勾股定量，證明了著名的柯西不等式和三角不等式，討論了這兩個著名不等式間的聯(lián)系，用三角不等式證明了柯西不等式，理清了柯西不等式命名中一個易被忽視的細節(jié)。

[1] 李尚志. 從問題出發(fā)引入線性代數(shù)概念[J]. 高等數(shù)學(xué)研究, 2006, 9(5): 6-9.

[2] 陳建龍, 張小向. 深化教學(xué)方法改革培養(yǎng)學(xué)生創(chuàng)新能力[J]. 大學(xué)數(shù)學(xué), 2010, 26(1): 34-36.

[3]D. C. Lay. Linear Algebra and Its Applications [M]. 3rd. Boston: Addison Wesley, 2005: 379.

[4] 張華民, 殷紅彩. 范德蒙行列式的幾種證法[J]. 蚌埠學(xué)院學(xué)報, 2013, 2(3): 15-18.

[5] 張華民, 殷紅彩. 高等代數(shù)教學(xué)中的幾點思考[J]. 安慶師范學(xué)院學(xué)報(自然科學(xué)版), 2014， 20(1)：90-93.

[6] 王萼芳, 石生明. 高等代數(shù)[M]. 3版. 北京：高等教育出版社，2007: 359-360.

[7] 同濟大學(xué)數(shù)學(xué)系. 線性代數(shù)[M]. 5版. 北京：高等教育出版社，2007: 111-112.

[8] S. K. Jain, A. D. Gunawardena. Linear Slgebra: An Interactive Approach [M]. Beijing: China Machine Press, 2004: 188-189.

[9] 張賢達. 矩陣分析與應(yīng)用[M]. 北京：清華大學(xué)出版社，2004: 18-19.

[10] 呂林根, 許子道. 解析幾何[M]. 4版. 北京：高等教育出版社，2006: 37-38.

[11] G. H. Hardy, J. E. Littlewood, G. Pòl(fā)ya. Inequalities[M]. Beijing: Posts & Telecom Press, 2008: 12.

[12] 王卿文. 線性代數(shù)核心思想及應(yīng)用[M]. 北京: 科學(xué)出版社, 2012: 403.

[13] 李文林. 數(shù)學(xué)史概論[M]. 3版. 北京: 高等教育出版社, 2011: 285.

[14]A. G. Catherine. The Facts on File Geometry Handbook [M]. Beijing: Guangming Daily Press, 2004: 218.

[15] G. H. Golub, C. F.V.Loan. Matrix Computations [M]. 3rd. Beijing: Posts & Telecom Press, 1996: 153.

[16] G. H. Golub, C. F.V.Loan. 矩陣計算[M]. 袁亞湘, 譯. 北京: 科學(xué)出版社, 2001: 59.

Note of the Cauchy Inequality

ZHANG Hua-min，MEI Hong

( Department of Mathematics and Physics, Bengbu University, Bengbu 233030, China)

By using the Pythagorean theorem of vectors, the Cauchy inequality and the triangle inequality are proved and the relationship of these two inequalities are discussed. The Cauchy inequality is proved by using the triangle inequality. Moreover, an ignored detail in the name of the Cauchy inequality is pointed out.

pythagorean theorem, Cauchy inequality, triangle inequality

2015-04-27

2013省級質(zhì)量工程項目(2012GXK106)，2013教學(xué)團隊(jxtd02)，省級質(zhì)量工程(2014zy141)和院級項目 (2015ZR10)。

張華民，男，安徽蚌埠人，博士，蚌埠學(xué)院數(shù)理系副教授，主要從事線性代數(shù)的教學(xué)和研究。

時間：2016-1-5 13:01 網(wǎng)絡(luò)出版地址：http://www.cnki.net/kcms/detail/34.1150.N.20160105.1301.031.html

O151.2

A

1007-4260(2015)04-0123-03

10.13757/j.cnki.cn34-1150/n.2015.04.031