Porisma

Worked solution

Check the radical domain before reading or squaring the inequality

Solve x>16−x2x>\sqrt{16-x^2}.

CJC · Lecture · Example 7

Start with the real domain

The square root requires 16−x²≥0, so −4≤x≤4. The right side is nonnegative; any solution of the strict comparison must also have x>0.

How did this part go?

Method 1: graph the difference

Sketch y=x−16−x2y=x-\sqrt{16-x^2} on its real domain. Its endpoints are (−4,−4) and (4,4), with y-intercept −4. The source labels its zero x≈2.83 and reads 2.83<x≤4. This is a rounded graphical boundary; the exact zero is 2√2, giving 22<x≤42\sqrt2<x\le4.

How did this part go?

Method 2: compare the line and the semicircle

Sketch y=x and y=16−x2y=\sqrt{16-x^2}, the upper semicircle of radius 4. The source labels height 4, endpoints (−4,0),(4,0), and the intersection input≈2.83. Select the line above the semicircle, retaining the allowed right endpoint: 22<x≤42\sqrt2<x\le4. The left endpoint is not a solution.

How did this part go?

Analytical check: square only after the sign and domain checks

Because x>0 and the radical is nonnegative, squaring is equivalent here: x2>16−x2x^2>16-x^2, so x²>8. Combine the positive-input condition with −4≤x≤4 to obtain 22<x≤42\sqrt2<x\le4. The strict crossing is excluded, but x=4 gives 4>0 and is included.

How did this part go?

Compare your sketch

Expand diagram

Use the scrollbars or arrow keys to inspect details.

The difference graph retains source endpoint labels (−4,−4),(4,4), y-intercept −4 and zero approximately 2.83. The equal-scale comparison retains the entire upper semicircle, both endpoints, height 4, line y=x and intersection at 2√2. Exact solution 2√2<x≤4 qualifies the printed rounded boundary.
The difference graph retains source endpoint labels (−4,−4),(4,4), y-intercept −4 and zero approximately 2.83. The equal-scale comparison retains the entire upper semicircle, both endpoints, height 4, line y=x and intersection at 2√2. Exact solution 2√2<x≤4 qualifies the printed rounded boundary.
The difference graph retains source endpoint labels (−4,−4),(4,4), y-intercept −4 and zero approximately 2.83. The equal-scale comparison retains the entire upper semicircle, both endpoints, height 4, line y=x and intersection at 2√2. Exact solution 2√2<x≤4 qualifies the printed rounded boundary.

Common mistakes

Squaring without x>0 would falsely admit negative inputs. Keep x≤4 from the radical domain, and do not treat 2.83 as an exact strict endpoint.

Solution notes

The source’s 2.83 is a rounded crossing; the exact lower boundary is 2√2.

Read the hint