Пусть

,

,

- ускорения, скорости и высоты двух ракет (

) относительно точки старта,

- модуль ускорения свободного падения,

- время удара второй ракеты о дно,

- время выключения двигателей обеих ракет.
Введём характеристику

.
Тогда

.
Интегрируем равенство:

.
Пусть

модуль реактивного ускорения.
Выпишем ускорения ракет в предположении

:


Если

и

сразу после старта, то

. Отсюда следует

если

. Неравенство становится строгим, если где-то

.
Если

, то

,

. Отсюда следует

если

.
Следовательно

, если

. Неравенство становится строгим, если где-то есть ненулевое реактивное ускорение.
Из неравенств для производных следует неравенство для интегралов:

.
Характеристики

неизменны в свободном полёте. Апогеям соответствуют нулевые скорости. Тогда из

следует

для высот апогеев.
Замечания:
1. Аналогичный, более простой анализ делается если

.
2. Последний переход от характеристик к апогеям верен, только если скорости в момент выключения двигателей направлены вверх. Если это не так (очень слабые двигатели), то апогеи достигаются до выключения двигателей. В этом случае анализ сложнее, но тоже приводит к выводу что вторая ракета оказывается выше.
3. В этом выводе нет энергий и мощностей, чтобы не смущать интуицию. Но если вы умножите

на массу то получите энергию, а после дифференцирования - мощность.
4. Динамика ракеты не имеет отношения к решению задачи. При любой функции

вы получите один и тот же результат.