证明arccos(-x)=π-arccosx