A complete derivation of a proof of the existence of a root

By writing a structured answer (assumptions, calculations, conclusion), show that the equation cos(x) = x has a unique solution on the interval [0, π/2]. You should specify the auxiliary function used, the continuity property invoked, the calculation of the values at the endpoints, and the argument of strict monotonicity.