Петя, Вася и Коля бежали по кольцевой дорожке с постоянными скоростями в одном направлении. Они стартовали одновременно и из одной точки. Петя впервые обогнал Васю на своем четвертом круге (то есть пробежав больше трех кругов, но еще не закончив четвертый), а Колю — на своем седьмом круге. Докажите, что Коля впервые обогнал Васю раньше, чем пробежал десять кругов.
Ответы
Доказательство:
Введем общие обозначения:
- скорость Пети;
- скорость Васи;
- скорость Коли;
- длина круга.
1. Сначала рассмотрим то, что нам нужно доказать.
Пусть - это время, через которое Коля впервые обгонит Васю. Утверждается, что Коля к этому моменту пробежит меньше 10 кругов, то есть:
Выразим отсюда это время:
И запишем, какое расстояние пробежит Вася за это время:
Поскольку утверждается, что Коля пробежал меньше 10 кругов и при этом обогнал Васю, то Вася пробежал меньше 9 кругов:
Упростим и преобразуем:
Именно это неравенство для отношения скоростей Васи и Коли мы будем доказывать.
2. Рассмотрим момент, когда Петя впервые обогнал Васю. Заметим, что чем позже наступает этот момент, тем ближе отношение скоростей к единице.
Так, например, если бы обгон произошел ровно в тот момент, когда Петя пробежал 3 круга, это бы обозначало, что Вася пробежал 2 круга, а отношение их скоростей записывалось бы в виде:
Аналогично, если бы обгон состоялся тогда, когда Петя пробежал ровно 4 круга, а Вася соответственно 3 круга, то это отношение имело бы вид:
Но в нашей ситуации Петя обогнал Васю когда он бежал свой 4-ый круг, а значит настоящее отношение скоростей лежит в промежутке между двумя указанными выше значениями:
3. Рассуждая аналогично предыдущему пункту, можно записать соотношение для скоростей Коли и Пети:
Для дальнейших рассуждений удобно записать оценку для обратного выражения:
4. Перемножим почленно итоговые оценки в пунктах 2 и 3:
Как видно, мы получили некую оценку для отношения скоростей Васи и Коли. В 1 пункте мы отметили, что хотим доказать, что такое отношение скоростей меньше 9/10. Собственно, это и доказано, попутно мы нашли и оценку снизу для этого отношения.