is the irrational function describing the upper half of the circle of radius centred at the origin1. Squaring both sides produces the equation of the unit circle.
The full circle is not a function, since a single would have two values of . Taking only the positive square root carves out the upper half, and that is this function.
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.
The derivative is . It is positive for and negative for , so the function rises to a maximum of at the origin, the top of the semicircle, where the tangent is horizontal.
As approaches the denominator tends to , so : the tangents at and 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 -axis at right angles and stops.
Every point of the curve is at distance from the origin, and the curvature is the same everywhere. Unlike a parabola, the bending never varies along the curve.
The parametrisation , with traces the same arc. The lower half is , and together they make the whole circle. For radius the function becomes .
The area between this curve and the -axis is the area of a semicircle.
It is a classic and beautiful way to extract from an integral. Integrals containing are also the standard setting for the trigonometric substitution .