[tex](2)\Leftrightarrow \begin{cases} 0<(x^2-3y)\le1 \\ 1-x\ge1-2\sqrt{x^2-3y} \end{cases}
\Leftrightarrow \begin{cases} 0<(x^2-3y)\le1 \\ x\le2\sqrt{x^2-3y} \end{cases}
\Leftrightarrow \begin{cases} 0<(x^2-3y)\le1 \\ x^2\le4(x^2-12y) \end{cases}
\Leftrightarrow \begin{cases} 0<(x^2-3y)\le1 \\ x^2-3y\ge y \end{cases}
\Leftrightarrow \begin{cases} 0<a^2+c^2-ac\le1 \\ a^2+c^2-ac\ge ac \end{cases}
\Leftrightarrow \begin{cases} 0<a^2+c^2-ac\le1 \\ (a-c)^2\ge 0 \end{cases}
\Leftrightarrow \begin{cases} 0<AC\le1 \\ (AO-CO)^2\ge 0 \end{cases}[/tex]
И двете решения обхващат всички неотрицателни дължини за [tex]AC[/tex] и [tex]BD[/tex], т.е. исканото условие е доказано.
П.П. Решението на [tex]\sqrt{m}+\sqrt{m+n}>1[/tex] оставям на вас.