Higher mathematics proves the identity 2arcsinx arccos (1-2x ^ 2) = 0 0 < x < 1

Higher mathematics proves the identity 2arcsinx arccos (1-2x ^ 2) = 0 0 < x < 1

Let f (x) = 2arcsinx arccos (1-2x ^ 2)
Then the derivative of F (x) is 2 (1 / (1-x ^ 2) ^ 0.5) - (- 1 / (1 - (1-2x ^ 2) ^ 2) 0.5) * (- 4x). After simplification, the derivative of F (x) is equal to zero, so f (x) is equal to a constant, and f (0) = 0, so f (x) is zero. So the identity is established!