wrestЕсть такой приём - "проверка решения на крайних случаях".
Он работает в обе стороны.
1. В одну сторону. Решаем некую задачу. Получили какой-то ответ.
А теперь проверим этот ответ на каких-то простых задачах:
а) для которых ответ (или некоторый вывод) получается (почти) устно.
б) и которые являются частным случаем нашей задачи.
На примере задач в этой теме. "Задачей" является "обобщенная" задача. А проверочным "крайним случаем" - задача из стартового поста, по которой делаются выводы как у Вас.
2. В другую сторону. Тут несколько сложнее.
Рассматривая некоторые крайние и частные случаи иногда (не всегда) можно вывести функциональную зависимость из "общих соображений".
Тут верно подмечено уважаемым
drzewo. Это просто, если знать ответ (тогда это пункт 1), и сложнее и требует сообразительности, если ответ заранее неизвестен.
-- 01.10.2024, 20:51 --Но если б кто-нибудь не поленился и проверил, было бы неплохо.
Вот это
путем замены переменной сводится к

А как исследовать на устойчивость я "не знал, да забыл" (FGJ, знал когда-то давно, но действительно забыл

)
-- 01.10.2024, 20:57 --ИМХО, вроде бы
1. При

всё устойчиво.
2. А при

начинаются всякие чудеса. Но в этому случае не выполняется условие "горох падает на оба ската крыши".
-- 01.10.2024, 21:19 --UPD:
2. А при

начинаются всякие чудеса. Но в этому случае не выполняется условие "горох падает на оба ската крыши".

- соответствует установившейся скорости.
Тогда, должны существовать такие

, что горох падает на оба ската крыши (и записанный диффур справедлив).