You may use the following alternative method, such that:
`(arcsin x+ arccos x)' = (pi/2)' => 1/(sqrt(1 - x^2)) - 1/(sqrt(1 - x^2)) = 0 => 0 = 0`
Hence, if derivative of the function y` = arcsin x+ arccos x` is zero, thus, the function is constant.
Once proven that the function `y = arcsin x+ arccos x` is a constant, you only need to prove that the constant is `pi/2` .
You need to evaluate the function at several values of `x in [-1,1]` , such that:
`x = -1 => arcsin (-1)+ arccos (-1) = -pi/2 + pi = pi/2`
`x = 0 => arcsin 0 + arccos 0 = 0 + pi/2 = pi/2`
`x = 1 => arcsin 1 + arccos 1 = pi/2 + 0 = pi/2`
Hence, testing if the expression `arcsin x+ arccos x = pi/2` if `x in [-pi/2,pi/2]` , using the property of derivative of constant function, yields that `arcsin x+ arccos x = pi/2` is valid.