I'm doing IVT proofs and I'm trying to prove there's f(x)=0 for cosx=arcosx. I thought for sure it would equal f(x)=cos(cosx)-x. I get this by first by cosx=arcosx, cos(cosx)=x, cos(cosx)-x=0. I'm not sue though.... Is cosx=arcosx really just cosx-arcosx=0?? This is my first post!! Thanks.