Erdoes的三角形不等式的向量分析证明.pdf

Erd6s的三角形不等式的向量分析证明 AkiraSakurai 摘要 我们定义一个新概念 平“面向量的 1／2幂”，并用它来提供 Erd6s(爱尔迪 希)关于三角形的一个不等式的另一个证明． 1．引言 令AABC是一个三角形，0是其中的一点．令0到顶点A，B，C的距离分别是P，q，r， 到边 BC，CA，AB的距离分别是U，V，W．那么Erd6s关于三角形的不等式断言 P+q+r 2(u++ )， 等号成立，当且仅当此三角形是等边三角形，并且 0是其中心． 一 些作者利用不同的工具给出了这个不等式的证明．Kazarinoff的证明[3]利用Pappus (帕普斯)定理，Avez(阿韦)的证明 [2】需要Ptolemy(托勒密)定理．然而，Alsina和 Nelsen 的一篇论文 [1】提供了一个简单、初等的证明．最值得注意的，Kusco4【】在完成其短证时 只需要用到三角函数．最近我们利用我们首创的概念 平“面向量的1／2幂”提供了这个不 等式的一个证明 [5】． [5]中我们关于等号条件的检验是不充分的，并且 [5]是 日文的．因而，在采用了 T．Kambayashi对定理后一部分修改的论证后，我们在这里提出我们的证明． 2．记号 本文中令 a= (al，a2)，b= (bl，b2)表示平面向量．我们把它们视为 。中的向量 a=(al，a2，0)，b=(bl，b2，0)．对于任意的a=(al，a2，0)=(aCOS0。，asin0。，0)，定义 a ／：=(a1／2cos(0。／2)，al／。sin(0。／2)，0)， (1) 对 b=(bCOS0b，bsinOb，0)也同样定义b ／2．我们从两个引理开始． 引理 2．1 (a)al／·al／。=a=la1． (b)a×b=2(a／·b／。)(a／×b ／)． (C)Ia—bl 21a／。×b ／1，等号成立，当且仅当laI=lb1． 证明 (a)的证明是显然的． 译自：TheAmer．Math．Monthly，Vo1．119(2012)，No．8，p．682-684，VectorAnalysisProofof Erd6s’InequalityforTriangles，AkiraSakurai．Copyright⑥2012theMathematicalAssociationof America．Reprintedwithpermission．Allrightsreserved．美国数学协会授予译文出版许可． AkiraSakurai的邮箱地址是 sakurai@cck．dendai．ac．Jp． ． 382 ． (b)令 ：= 6一 。．贝0有 a×b=0(，。，。6sin)=(0，。，2。6sn兰c。s兰)， a1／2．bl／2： n1／2bl／2COS ， 2(a12／×b／)：(，0，0 2／612／sin昙1， 因而第2个标量积乘以第 3个向量积等于 axb． (C)因为 la—bl。：a。+6一2abcos0 2ab(1一cos0)：4absin。0／2)=4]a／xbI／I。， 即得 Ia—bl 2a／。b／。Isin(0／2)1．此不等式从 a。+b 2ab而来，并且后一不等式变为 等式，当且仅当a=b．这样，我们就得到 (c)． ● 引理 2．2 令 a≠b是两个不为0的向量．令 0是原点，AOPQ是一个三角形，使 得 a= ，b=。OQ．则从 0到直线 PQ的距离 h满足下述关系： (d)=告 Jal厂25·12／l，并且等号成立，当且仅当]al=Ib1． 我们注意到，人们只是把 h叫做 从“ 0到a—b的距离”． 证明 由a和b张成的平行四边形的面积为 la×bl，它等于 la—bl·h．因而要证的 等式是清楚的．其次，由引理 2．1的 (b)和 (c)，我们有 h=2la／2．b ／2IIa／2×