已知
a
、
b
、
c
a、b、c
a、b、c 为正实数,满足
a
2
+
b
2
+
c
2
+
a
b
c
=
4.
a^2+b^2+c^2+abc=4.
a2+b2+c2+abc=4.
证明:
a + b + c ≤ 3. a+b+c\leq3. a+b+c≤3.
\qquad 证明 \qquad 显然, a 、 b 、 c a、b、c a、b、c 在区间 [ 0 , 2 ] [0,2] [0,2] 上.
\qquad 设 a = 2 cos α , b = 2 cos β ( α 、 β ∈ [ 0 , π 2 ] ) . a=2\cos\alpha,b=2\cos\beta(\alpha、\beta\in[0,\frac\pi2]). a=2cosα,b=2cosβ(α、β∈[0,2π]).
\qquad 当 c c c 为正数时, a 2 + b 2 + c 2 + a b c a^2+b^2+c^2+abc a2+b2+c2+abc 为增函数 . 因此,对任意的正实数 a 、 b a、b a、b 至多有一个正实数 c c c 满足
a 2 + b 2 + c 2 + a b c = 4. a^2+b^2+c^2+abc=4. a2+b2+c2+abc=4.
\qquad 先证明: c = 2 cos ( π − α − β ) = − 2 cos ( α + β ) c=2\cos (\pi-\alpha-\beta)=-2\cos(\alpha+\beta) c=2cos(π−α−β)=−2cos(α+β) 满足条件.
\qquad 事实上,
\qquad cos 2 α + cos 2 β + cos 2 ( α + β ) − 2 cos α ⋅ cos β ⋅ cos ( α + β ) \cos^2\alpha+\cos^2\beta+\cos^2(\alpha+\beta)-2\cos\alpha\cdot\cos\beta\cdot\cos(\alpha+\beta) cos2α+cos2β+cos2(α+β)−2cosα⋅cosβ⋅cos(α+β)
\qquad = cos 2 α + cos 2 β + cos 2 α ⋅ cos 2 β + sin 2 α ⋅ sin 2 β − 2 cos α ⋅ cos β ⋅ sin α ⋅ sin β − 2 cos 2 α ⋅ cos 2 β + 2 cos α ⋅ cos β ⋅ sin α ⋅ sin β =\cos^2\alpha+\cos^2\beta+\cos^2\alpha\cdot\cos^2\beta+\sin^2\alpha\cdot\sin^2\beta-2\cos\alpha\cdot\cos\beta\cdot\sin\alpha\cdot\sin\beta-2\cos^2\alpha\cdot\cos^2\beta+2\cos\alpha\cdot\cos\beta\cdot\sin\alpha\cdot\sin\beta =cos2α+cos2β+cos2α⋅cos2β+sin2α⋅sin2β−2cosα⋅cosβ⋅sinα⋅sinβ−2cos2α⋅cos2β+2cosα⋅cosβ⋅sinα⋅sinβ
= cos 2 α + cos 2 β − cos 2 α ⋅ cos 2 β + sin 2 α ⋅ sin 2 β =\cos^2\alpha+\cos^2\beta-\cos^2\alpha\cdot\cos^2\beta+\sin^2\alpha\cdot\sin^2\beta =cos2α+cos2β−cos2α⋅cos2β+sin2α⋅sin2β
=
cos
2
α
⋅
sin
2
β
+
1
−
cos
2
α
⋅
sin
2
β
=\cos^2\alpha\cdot\sin^2\beta+1-\cos^2\alpha\cdot\sin^2\beta
=cos2α⋅sin2β+1−cos2α⋅sin2β
=
1
=1
=1
⇒ a 2 + b 2 + c 2 + a b c = 4. \Rightarrow a^2+b^2+c^2+abc=4. ⇒a2+b2+c2+abc=4.
若 α + β > 9 0 ∘ \alpha+\beta>90^\circ α+β>90∘,则 − 2 cos ( α + β ) > 0 -2\cos(\alpha+\beta)>0 −2cos(α+β)>0 是 c c c 满足条件的唯一值.
再证明:若 α + β < 9 0 ∘ \alpha+\beta<90^\circ α+β<90∘,则不存在满足条件的 c c c.
假设 c 1 、 c 2 c_1、c_2 c1、c2 是 c 2 + ( a cos α ⋅ cos β ) c + 4 ( cos 2 α + cos 2 β − 1 ) = 0 c^2+(a\cos\alpha\cdot\cos\beta)c+4(\cos^2\alpha+\cos^2\beta-1)=0 c2+(acosα⋅cosβ)c+4(cos2α+cos2β−1)=0 的两个根.则
c 1 + c 2 = − 4 cos α ⋅ cos β ≤ 0 , c 1 c 2 = 4 ( cos 2 α + cos 2 β − 1 ) > 0. c_1+c_2=-4\cos\alpha\cdot\cos\beta\leq0,c_1c_2=4(\cos^2\alpha+\cos^2\beta-1)>0. c1+c2=−4cosα⋅cosβ≤0,c1c2=4(cos2α+cos2β−1)>0.
所以, c 1 < 0 , c 2 < 0. c_1<0,c_2<0. c1<0,c2<0.
故 c c c 无解.因此, a = 2 cos α , b = 2 cos β , c = 2 cos γ a=2\cos\alpha,b=2\cos\beta,c=2\cos\gamma a=2cosα,b=2cosβ,c=2cosγ,
其中, α 、 β 、 γ \alpha、\beta、\gamma α、β、γ 是一个锐角三角形的内角.
故 a + b + c = 2 ( cos α + cos β + cos γ ) . a+b+c=2(\cos\alpha+\cos\beta+\cos\gamma). a+b+c=2(cosα+cosβ+cosγ).
注意到, cos x \cos x cosx 在 [ 0 , π 2 ] [0,\dfrac\pi2] [0,2π] 上是上凸函数,所以,
cos α + cos β + cos γ ≤ 3 cos ( α + β + γ 3 ) = 3 2 . \cos\alpha+\cos\beta+\cos\gamma\leq3\cos(\frac{\alpha+\beta+\gamma}3)=\frac32. cosα+cosβ+cosγ≤3cos(3α+β+γ)=23.