Arccos
In mathematics, the arccos function, denoted as \arccos(x) or \cos^{-1}(x), is the inverse function of the cosine. It returns the angle \theta such that \cos(\theta) = x, where \theta is in the principal range of [0, \pi] radians (or $0^\circ to $180^\circ). The domain of arccos is the closed interval [-1, 1], as these are the possible values of the cosine function for real angles. Arccos is a decreasing function, continuous on its domain, and is widely used in trigonometry, calculus, and various applications in physics and engineering to solve for angles given cosine values.Definition
Mathematical Definition
The arccosine function, denoted \arccos(x) or \cos^{-1}(x), is the inverse of the cosine function, defined such that \cos(\arccos(x)) = x for all x in its domain. This inverse exists because the cosine function, when restricted to the interval [0, \pi], is bijective, mapping continuously and monotonically from 1 to -1.[1][2] The restriction to [0, \pi] is necessary for invertibility, as the unrestricted cosine function over all real numbers is neither one-to-one nor onto a single interval, repeating values periodically with period $2\pi and exhibiting even symmetry around multiples of $2\pi. In this interval, cosine decreases strictly from \cos(0) = 1 to \cos(\pi) = -1, ensuring a unique angle \theta \in [0, \pi] for each x \in [-1, 1].[1][3] The functional equation \arccos(\cos(\theta)) = \theta holds precisely when \theta lies in the principal interval [0, \pi]. For \theta outside this range, the output is the principal value in [0, \pi] sharing the same cosine, which can be expressed as the minimal non-negative angle equivalent modulo $2\pi, adjusted via the even periodicity of cosine—effectively, \arccos(\cos(\theta)) folds \theta into [0, \pi] by reflecting across the boundaries.[2][3]Geometric Interpretation
The arccosine function, \arccos(x), can be geometrically interpreted using a right triangle where the hypotenuse is normalized to 1 and the side adjacent to the angle \theta is x, with |x| \leq 1. In this setup, \cos \theta = \frac{x}{1} = x, so \theta = \arccos(x), and the side opposite to \theta has length \sqrt{1 - x^2}. This configuration directly illustrates how \arccos(x) recovers the angle \theta from the cosine ratio, providing a visual foundation for the inverse relationship in the context of right-triangle trigonometry.[2][4] On the unit circle, \arccos(x) represents the radian measure of the angle from the positive x-axis to the point (x, y) on the circle, where y = \sqrt{1 - x^2} \geq 0, ensuring the point lies in the upper half-plane (first or second quadrant). This angle \theta satisfies \cos \theta = x and ranges from 0 to \pi, capturing the principal value that aligns with the geometric progression from the positive x-axis. The unit circle visualization emphasizes the periodic nature of cosine while restricting to the principal branch for invertibility.[2][4] For example, consider x = 0.5: \arccos(0.5) = \pi/3 radians (or 60°). In a right triangle with hypotenuse 1 and adjacent side 0.5, the opposite side is \sqrt{1 - (0.5)^2} = \sqrt{3}/2 \approx 0.866, forming a 30-60-90 triangle where \theta = 60^\circ is adjacent to the side of length 0.5. On the unit circle, this corresponds to the point (0.5, \sqrt{3}/2), with the angle \pi/3 measured counterclockwise from the positive x-axis. This example highlights the precise geometric correspondence between the input ratio and the output angle.[2][5]Notation and Principal Value
Common Notations
The arccosine function is commonly denoted by several symbols in mathematical literature, with \arccos(x) serving as the primary notation in modern textbooks and reference works, reflecting its role as the inverse of the cosine function restricted to its principal branch. An alternative notation, \cos^{-1}(x), was introduced by John Herschel in 1813 and is also widely used, particularly in educational contexts to emphasize the inverse relationship.[6] Historical precursors include abbreviated forms like "A cos" proposed by Leonhard Euler in 1737, analogous to his "A sin" for arcsine, though these early symbols were not standardized until the 19th century.[6] The notation \cos^{-1}(x) can lead to ambiguity, as it may be misinterpreted as the reciprocal (\cos x)^{-1} = \sec x, especially without parentheses to clarify the exponent's scope; for this reason, \arccos(x) is recommended in contemporary mathematical writing to avoid confusion with reciprocal functions.[7] This distinction aligns with the principal value convention, where \arccos(x) outputs angles in [0, \pi]. In practical applications, notation varies by context: textbooks and theoretical mathematics favor \arccos(x) or \cos^{-1}(x) for clarity and tradition, while programming languages and calculators typically use the abbreviatedacos(x) function, as seen in the C standard library and tools like Microsoft Excel, to facilitate computational efficiency.[8][9]