When the root is on the greater side, A(x)>B(x)\sqrt{A(x)}>B(x), the solution is the union of two cases.

Property — A(x)>B(x)\sqrt{A(x)}>B(x)

The inequality A(x)>B(x)\sqrt{A(x)}>B(x) is equivalent to the union of two cases:

  • Case (a): B(x)<0B(x)<0. The first member (the root) is 0\ge 0 whenever it exists, so it is automatically greater than a negative number. It is always true, provided the root exists: {A(x)0B(x)<0\begin{cases}A(x)\ge 0 \\ B(x) < 0\end{cases}
  • Case (b): B(x)0B(x)\ge 0. Both members are non-negative, so one can square while keeping the direction: {B(x)0A(x)>B2(x)\begin{cases}B(x)\ge 0 \\ A(x) > B^2(x)\end{cases} (The condition A(x)0A(x)\ge 0 is not needed explicitly: it is implied by A(x)>B2(x)0A(x)>B^2(x)\ge 0.)

The final solution is SaSbS_a\cup S_b.

The two-branch scheme of Type I: the two cases are solved and their solutions are united.

Example

x1>x3\sqrt{x-1} > x-3.

Case (a): {x10x3<0    1x<3\begin{cases}x-1\ge 0 \\ x-3 < 0\end{cases} \iff 1\le x<3. Solution zone [1;3)[1;\,3).

Case (b): {x30x1>(x3)2\begin{cases}x-3\ge 0 \\ x-1 > (x-3)^2\end{cases}. The second: x1>x26x+9    x27x+10<0    2<x<5x-1 > x^2-6x+9 \iff x^2-7x+10 < 0 \iff 2<x<5. Intersecting with x3x\ge 3: 3x<53\le x<5.

Union: 1x<5\boxed{1\le x < 5}.

Topics: Radicals
Concepts: Conditions of existence · Irrational inequality
Methods: Irrational inequality case analysis · Irrational equation squaring
Skills: Reasoning by cases · Solving inequalities