a2+b2+c2+abc-4
故a2+b2+c2+abc≥4.
再证右不等式
a2+b2+c2+abc≤9.
只要证明
a2+b2+c2+6abc≤9,
这等价于
(a2+b2+c2)(a+b+c)+18abc≤(a+b+c)3,
等价于
a3+b3+c3+(a2b+b2c+c2a)
+(ab2+bc2+ca2)+18abc
≤a3+b3+c3+3(a2b+b2c+c2a)
+3(ab2+bc2+ca2)+6abc,
等价于
(a2b+b2c+c2a)+(ab2+bc2+ca2)≥6abc,
这用6元均值不等式知显然成立,
即有a2+b2+c2+abc≤9.
综上,便有4≤a2+b2+c2+abc≤9.
2477求证:在(a+b)n(n∈N*)的展开式中有2s(n)个系数为奇数.其中s(n)是n在二进制表示中的数字和.
(湖北省谷城县第三中学 贺 斌 龚为民 441700)
证明设n的二进制表示为
n=(al,al-1,…,a1,a0),
即n=al×2l+al-1×2l-1+…+a1×2+a0,
则易知n!中2的次数为
α=(al,al-1,…,a1)+(al,al-1,…,a2)+…+(al)
=al×(2l-1+2l-2+…+1)+al-1
×(2l-2+2l-3+…+1)+…+a1
=al×(2l-1)+al-1×(2l-1-1)
+…+a1×(21-1)
=n-s(n).
![](https://img.fx361.cc/images/2023/0218/628356504e1d20b7b9dca2fdceff34326d1d8886.webp)
n-s(n)-(k-s(k))-(n-k-s(n-k))
=s(k)+s(n-k)-s(n).
![](https://img.fx361.cc/images/2023/0218/14d6ae4e60e68ddac31cd5b001c7f0e6bf5d88c3.webp)
![](https://img.fx361.cc/images/2023/0218/8b8b09ed2aa16d0a4e8bfc0453c2b2fcf056f77b.webp)
![](https://img.fx361.cc/images/2023/0218/8b8b09ed2aa16d0a4e8bfc0453c2b2fcf056f77b.webp)
2478已知如图1,五边形ABCDE内接于⊙O,且BC=DE,∠EAB=120°. 求证:
AC·AD≤(AB+AE)2.
(北京市芳草地国际学校富力分校 郭文征 郭璋 100121)
![](https://img.fx361.cc/images/2023/0218/9ffa94fffd951158ee898cf5422227007e5f49be.webp)
图1
![](https://img.fx361.cc/images/2023/0218/54f0d481dca51013e140e8ad59cbedd1f231ced4.webp)
图2
证明如图2,连接CE,连接BE交AD于点G.
因为BC=DE,
![](https://img.fx361.cc/images/2023/0218/b661a643c19d307d0f54864b68aad43fc77b43fc.webp)
所以∠EAC=∠BAG.
因为E、A、B、C四点共圆,
所以∠ECA=∠ABE,
所以△ACE∽△ABG,
![](https://img.fx361.cc/images/2023/0218/f9378dd61c82fdc24821dafab68ed817a0f2d58c.webp)
⟹AB·AE=AC·AG
=AC·(AD-DG)
=AC·AD-AC·DG.
⟹AC·AD
=AB·AE+AC·DG.
①
因为A、C、D、E四点共圆,
所以∠EDA=∠ECA.
![](https://img.fx361.cc/images/2023/0218/9bbc84797bb066bef7fbdb9542a727ac42e09253.webp)
所以∠DEB=∠EAC.
从而△DEG∽△CAE.
![](https://img.fx361.cc/images/2023/0218/3842186e45b758ff6d348738391fce0197dec516.webp)
⟹AC·DG=DE·CE
⟹AC·DG=BC·CE.
②
由①、②两式可得
AC·AD=AB·AE+BC·CE.
③
在△ECB中,由余弦定理得
BE2=BC2+CE2-2BC·CE·cos ∠ECB
⟹BE2=BC2+CE2-2BC·CE·cos 60°
⟹BE2=BC2+CE2-BC·CE
⟹BE2≥2BC·CE-BC·CE
⟹BE2≥BC·CE.
④
在△EAB中,由余弦理得
BE2=AB2+AE2-2AB·AE·cos ∠EAB
⟹BE2=AB2+AE2-2AB·AE·cos 120°
⟹BE2=AB2+AE2+AB·AE.
⑤
由④、⑤两式得
BC·CE≤AB2+AE2+AB·AE.
⑥
由③、⑥两式得
AC·AD≤AB2+AE2+2AB·AE,
所以AC·AD≤(AB+AE)2.
由∠EAD=∠BAC可知AC、AD为∠EAB的内等角线,当且仅当∠EAB的内等角线AC、AD重合为∠EAB的平分线时,不等式中的等号成立.
![](https://img.fx361.cc/images/2023/0218/bbe3d5d1548b05c858a2bb143d746874d9d649ca.webp)
(浙江省海盐县元济高级中学 张艳宗 314300;北京航空航天大学图书馆 宋庆 100191)
证明
![](https://img.fx361.cc/images/2023/0218/23f6ab85ee3946e2f028423031e6f6ca05b594e0.webp)
![](https://img.fx361.cc/images/2023/0218/8c4c87a50dfadee2177dbb7145dd1c066efe8af4.webp)
![](https://img.fx361.cc/images/2023/0218/18ab1e36c754ee68a3bbdd4b49bcf0a8e37323ed.webp)
![](https://img.fx361.cc/images/2023/0218/85f7d7cfb10e253cf7e9a66718bc1eaa10076e9c.webp)
(浙江省慈溪市慈溪实验中学 华漫天 315300)
![](https://img.fx361.cc/images/2023/0218/cee52be47e6f6b2188353876c19f3e952acd32ec.webp)
证明设E(acosα,bsinα),F(acosβ,bsinβ),
则直线EF解析式为
![](https://img.fx361.cc/images/2023/0218/9385170ad1d7e0e5087583f3827f3eb5860d34ee.webp)
得直线OP解析式为
同时直线AE解析式为
![](https://img.fx361.cc/images/2023/0218/f5dbeb5517bb2477e57ead03e0abaddbb9dfe91f.webp)
同理可得
显然,欲证OG=OH,只须证xH=-xG
![](https://img.fx361.cc/images/2023/0218/abf8fd03ed5cf5f0cf08a28bfec66f9882cce626.webp)
⟺sin2α-sinαsinβ-sinαcosβsin(α-β)
=sinβcosαsin(α-β)-sinβsinα+sin2β
⟺sin2α-sin2β=sinβcosαsin(α-β)+sinαcosβsin(α-β)
![](https://img.fx361.cc/images/2023/0218/6ae0e7ba6cab4646d39b4940e2034f6f7da0c375.webp)
显然成立,得证.
2019年5月号问题(来稿请注明出处——编者)
2481设a,b,c>0,证明
(安徽省六安第二中学 陶兴红 237005)
![](https://img.fx361.cc/images/2023/0218/0e692cca8a3f2ec290b279f5135023ed699f30e0.webp)
(安徽省枞阳县宏实中学 江保兵 246700)
![](https://img.fx361.cc/images/2023/0218/2bc186298c4de0072603614123ab52bfbbe4a194.webp)
2483在△ABC中,求证:
(四川成都金牛西林巷18号晨曦数学工作室 宿晓阳 610031)
![](https://img.fx361.cc/images/2023/0218/034e2d585108dc1f614d00e7029ee9d84bdf46a4.webp)
(河南省方城县教研室 邵明宪 473200)
2485在△ABC中,设a,b,c,ha,hb,hc,R分别为三边长、三个高线长及外接圆半径,指数p为正数,求证