對Garfunkel-Bankoff不等式的探究

董 林

(山東省高青縣教學研究室 256300)

1983年，Jack Garfunkel在《Crux Mathematicorum》上提出如下猜想：

命題1在銳角△ABC中，有

①

事實上，不等式①對于任意三角形都成立.1984年，Leon Bankoff[1]指出它等價于O.Kooi于1958年發現的：[2]

命題2在△ABC中，若s，R，r分別表示其半周長、外接圓半徑和內切圓半徑，則有

2s2(2R-r)≤R(4R+r)2.

②

上世紀80年代末，浙江寧波大學陳計和王振兩位老師把它介紹到國內，引發了高度關注.陳計、王振、黃漢生、王文正、簡超、湯茂林等老師給出過這個不等式的不同證明方法[3]-[7].

1991年，陶平生老師給出了不等式①的如下等價形式：[8]

命題3在△ABC中，有

③

2019年，安振平老師給出了Garfunkel-Bankoff不等式的一個類似：[9]

命題4在△ABC中，R，r分別表示其外接圓半徑和內切圓半徑，則有

④

考慮到熟知的三角形恒等式

事實上不等式①和④分別等價于：

命題5在△ABC中，R，r分別表示其外接圓半徑和內切圓半徑，則有

⑤

受不等式⑤啟發，本文給出：

命題6在△ABC中，若s，R，r分別表示其半周長、外接圓半徑和內切圓半徑，則有

⑥

證明由于有熟知的三角形恒等式

所以，要證明等式⑥，只要證明

⑦

即可.

同理

得

又(b+c-a)(c+a-b)(a+b-c)

=(b+c+a)(c+a-b)(a+b-c)-2a(c+a-b)·(a+b-c)

=(b+c+a)[a2-(b-c)2]-2a[a2-(b-c)2]

=(b+c+a)(a2-b2-c2+2bc)-2a[a2-(b-c)2]

=(b+c+a)(-a2-b2-c2+2bc+2ca+2ab) -2a[a2-(b-c)2]+(b+c+a)(2a2-2ca-2ab)

=(b+c+a)(-a2-b2-c2+2bc+2ca+2ab)+2a[(b+c+a)(a-b-c)-a2+(b-c)2]

=(b+c+a)(-a2-b2-c2+2bc+2ca+2ab) +2a[a2-(b+c)2-a2+(b-c)2]

=(b+c+a)(-a2-b2-c2+2bc+2ca+2ab)-

8abc，則有

所以等式⑦成立，從而等式⑥成立，證畢.

由等式⑥和不等式⑤的左邊立知不等式①等價于不等式②.

由等式⑥和不等式⑤的右邊知不等式④等價于

⑧

2017年，郭要紅、劉其右老師給出了[10]

命題7在△ABC中，若s，R，r分別表示其半周長、外接圓半徑和內切圓半徑，則有

⑨

由等式⑥和不等式⑨可以得到：

命題8在△ABC中，R，r分別表示其外接圓半徑和內切圓半徑，則有

即可.

?R(4R+r)≤2(2R-r)(R+r)

?0≤(R-2r)r.

由著名的Euler不等式R≥2r知不等式顯然成立，從而不等式成立，亦即不等式強于不等式⑤.

命題9在△ABC中，R，r分別表示其外接圓半徑……