Mark M. answered 02/05/21
Retired Math prof with teaching and tutoring experience in trig.
√(a2 - x2) = √(a2 - a2sin2θ) = √[a2(1 - sin2θ)] = √[a2cos2θ] = lal lcosθl
We know that a > 0 and, since -π/2 < θ < π/2, θ lies in quadrant 1 or 4. So, cosθ > 0.
Therefore, lal lcosθl = acosθ.
