Skrytý text:-----------------------------------------------------------------------------------------------------------------------------
the condition

is for real

equivalent to

-----------------------------------------------------------------------------------------------------------------------------
how to come to that; if rewritten as

it lures to try substitute

which turns out to 'solve' the equation,
meaning that (E1) can be factorized by

by factoring (E1) we get

so we are looking for solutions of

now. We can go as
adding same expression for perfect square around

to both sides gives

from where finally

At this point it is obvious that to avoid complex roots both sides must be equal to

,
which means that

and that is not of our interest as we want positive

.
---------------------------------------------------------------
SO NOW WE HAVE THE CONSTRAINTS for positive

---------------------------------------------------------------


which means that all four variables are locked within interval

---------------------------------------------------------------------------------------------
Now to get the answer we need to find minimum value of the function

---------------------------------------------------------------------------------------------
for given constraints (C1) and (C2) and

, where

By substituting the constraints (C1), (C2) into function we get the new function of two variables

in the form

, where

Now few important observations.
1) Functions

are independent on each other meaning they can be minimized separately
2) Each of functions

is symmetric over interval

, and both parts of each

are preserving their hyperbolic monotonic shapes,
meaning left part grows in value dominantly going towards

, while the same
goes for its right part where it grows in value dominantly getting towards

.
(could be shown more rigorously than by words of course :) )
The obvious minimum for

is therefore in the middle of the interval

, giving backwards that

reaches minimum value of

at

.