k-for(Оффтоп)
Чтобы завершить эту тему, скажу Вам только, что я о Вас не думаю вообще. Ко мне имеет отношение только Ваша задача. И то косвенное. Все остальное - Ваши домыслы.

При этом мы рассматриваем только неотрицательные x и y.
Это хорошая формула, только про неотрицательность Вы зря. Вообще говоря, они произвольные.
Ну вот сюда и подставляйте.
Upd Нет, это плохая формула. В первой части.

Ага, исправились уже. Вот теперь хорошо.
-- 28.07.2014, 18:14 --Но поскольку она постоянна, на результате это не отразилось.
Так Вы напишите, как считали, иначе Ваши ошибки трудновато будет найти. Хотя, конечно, я догадываюсь, где Вы ошибаетесь. Но надо же еще, чтобы и Вы это увидели.