不等式への招待　第７章

>>387
等号成立は
a=(3+√17)/2,
b=c=±√{(19+5√17)/2},
abc=(71+17√17)/2,
のとき。