Задача из журнала «Квант» (1991)
Условие
Пусть I — центр вписанной окружности в треугольнике ABC, R — радиус описанной окружности. Докажите, что R3≥IA⋅IB⋅IC.
Иллюстрация к задаче

Решение
Пусть α,β,γ — углы треугольника, x,y,z — отрезки, на которые точки касания с вписанной окружностью разбивают его стороны. Поскольку радиус R равен половине отношения стороны к синусу к синусу противоположного угла (теорема синусов), а отрезки IA,IB,IC выражаются через x,y,z и углы из прямоугольных треугольников , требуемое неравенство можно переписать так: (x+y)(y+z)(z+x)8sinα⋅sinβ⋅sinγ≥xyzcos(α/2)cos(β/2)cos(γ/2) или (x+y)(y+z)(z+x)≥64xyzsin(α/2)sin(β/2)sin(γ/2)
С другой стороны, пользуясь теоремой косинусов, получаем sin2(α/2)=12(1−b2+c2−a22bc)=(p−b)(p−c)bc=yz(x+y)(x+z).
Аналогично, sin2(β/2)=xz(x+y)(y+z), sin2(β/2)=xy(x+z)(y+z), тогда sin(α/2)sin(β/2)sin(γ/2)=xyz(x+y)(x+z)(y+z) и неравенство имеет вид (x+y)(x+z)(y+z)≥8xyz, для доказательства которого достаточно перемножить три очевидных неравенства:
- x+y≥2√xy.
- y+z≥2√yz.
- x+z≥√xz.
Еще одно решение задачи можно получить, используя равенства:
- IA=rsin(α/2).
- IB=rsin(β/2).
- IC=rsin(γ/2).
r=4Rsin(α/2)sin(β/2)sin(γ/2). Имеем: R2≥4r2, т. е. R≥2r.
Это хорошо известное неравенство можно доказать чисто геометрически (например, опираясь на то, что радиус окружности, проходящей через середины сторон треугольника ABC, равный R/2, не меньше r).
Н. Васильев. В. Сендеров. А.Соловьев