For a given real number $c\ge0$, we want to solve the following optimization problem: \begin{align} \min_{x,y}\ &x+y\\ \text{subject to}\ \ \ &\sqrt{x}+\sqrt{y}\ge c\\ &x,y\ge 0 \end{align}
To solve it, I first want to show that in an optimal solution we must have $\sqrt{x}+\sqrt{y} = c$. I am not sure if this step is required to solve this optimization problem. Although it seems to be obvious, I could not prove this property! To prove it by contradiction, I tried to show that the following sets of constraints cannot be true at the same time: \begin{align} &\sqrt{x}+\sqrt{y} > \sqrt{a}+\sqrt{b}\\ &x+y < a + b\\ &x,y, a , b\ge 0 \end{align}
I also tried to use the inequality $\sqrt{xy}\le\frac{x+y}{2}$ but it did not work. I am not sure what is wrong!
$$x+y\geq\frac{1}{2}(\sqrt{x}+\sqrt{y})^2\geq\frac{c^2}{2}$$
Equality when $x=y=\frac{c^2}{4}$
To show the first inequality you can just open the brackets and apply AM-GM