y=1x2y = \sqrt{1 - x^2}

Graph of y=1x2y = \sqrt{1 - x^2} (Upper Semicircle)

y=1x2y = \sqrt{1 - x^2} is the irrational function describing the upper half of the circle of radius 11 centred at the origin1. Squaring both sides produces the equation of the unit circle.

x2+y2=1x^2 + y^2 = 1

The full circle is not a function, since a single xx would have two values of yy. Taking only the positive square root carves out the upper half, and that is this function.

Domain and range

  • The domain is 1x1-1 \leq x \leq 1
  • The range is 0y10 \leq y \leq 1
  • Even function
  • The domain is a closed bounded interval

The radicand must be non-negative, and that is what confines the domain. A closed interval like this is unusual among the functions met so far.

Monotonicity and the top

The derivative is y=x1x2y' = \dfrac{-x}{\sqrt{1 - x^2}}. It is positive for x<0x < 0 and negative for x>0x > 0, so the function rises to a maximum of 11 at the origin, the top of the semicircle, where the tangent is horizontal.

The endpoints

As xx approaches ±1\pm 1 the denominator tends to 00, so y|y'| \to \infty: the tangents at (1,0)(-1, 0) and (1,0)(1, 0) stand vertical and the function is not differentiable there. Recalling that the tangent to a circle is perpendicular to the radius, this is exactly what one expects. The curve runs into the xx-axis at right angles and stops.

Notable points

xxyy
0011
±12\pm\dfrac{1}{2}32\dfrac{\sqrt{3}}{2}
±22\pm\dfrac{\sqrt{2}}{2}22\dfrac{\sqrt{2}}{2}
±1\pm 100

Every point of the curve is at distance 11 from the origin, and the curvature is the same everywhere. Unlike a parabola, the bending never varies along the curve.

Other ways to write it

The parametrisation x=cosθx = \cos\theta, y=sinθy = \sin\theta with 0θπ0 \leq \theta \leq \pi traces the same arc. The lower half is y=1x2y = -\sqrt{1 - x^2}, and together they make the whole circle. For radius rr the function becomes y=r2x2y = \sqrt{r^2 - x^2}.

Integration and π\pi

The area between this curve and the xx-axis is the area of a semicircle.

111x2dx=π2\int_{-1}^{1} \sqrt{1 - x^2}\,dx = \frac{\pi}{2}

It is a classic and beautiful way to extract π\pi from an integral. Integrals containing 1x2\sqrt{1 - x^2} are also the standard setting for the trigonometric substitution x=sinθx = \sin\theta.

  1. Circle, Wikipedia