Допустим, автобус выходит из А в 6 утра и приходит в В в 10. Следующий выходит в 7, потом в 8, в 9, в 10, в 11, в 12, в 13. Придя в 10 утра в В, он разворачивается и едет обратно. В А он возвращается в 14. Автобус, который вышел из А в 7, к 10 часам проедет 3/4 дороги. А в 10:30 он проедет 3/4 + 1/8 = 7/8 и встретит первый автобус, который в 10 вышел из В. Автобус, который вышел в 8, к 10 часам проедет 1/2 дороги. А в 10:30 он проедет 1/2 + 1/8 = 5/8 дороги. И ровно в 11 он проедет 3/4 дороги и встретит первый автобус. И дальше все точно также. Таким образом, если я увидел встречный автобус, то следующий я увижу через полчаса.
Обозначим cлагаемые за Х,У,Z
(X+Y+Z)/3>=1
Согласно неравенству о среднем арифметическом и среднем геометрическом достаточно доказать :
ХУZ>=1
Вернемся к исходным обозначениям
8abc>=(a+b)(b+c)(a+c)
Снова согласно неравенству о среднем арифметическом и среднем геометрическом видим
a+b>=2sqrt(ab) b+c>=2sqrt(сb) (a+c)>=2sqrt(ac)
поэтому можим заменить сомножители справа на произведение
2sqrt(ab)*2sqrt(aс)*2sqrt(сb)=8abc, что и доказывает неравенство.
Равенство достигается только при а=с=b
Следующий выходит в 7, потом в 8, в 9, в 10, в 11, в 12, в 13.
Придя в 10 утра в В, он разворачивается и едет обратно.
В А он возвращается в 14.
Автобус, который вышел из А в 7, к 10 часам проедет 3/4 дороги.
А в 10:30 он проедет 3/4 + 1/8 = 7/8 и встретит первый автобус,
который в 10 вышел из В.
Автобус, который вышел в 8, к 10 часам проедет 1/2 дороги.
А в 10:30 он проедет 1/2 + 1/8 = 5/8 дороги.
И ровно в 11 он проедет 3/4 дороги и встретит первый автобус.
И дальше все точно также.
Таким образом, если я увидел встречный автобус, то следующий я увижу через полчаса.