用点对称法证明反余弦函数的一条性质

对于任意x∈[-1，1]，有arccos(-x)=π-arccosx，这是反余弦函数的一条重要性质，它在反三角函数的运算中发挥着重要作用，这条性质的证明，教材采用了比较迂回的方法，实践发现学生接受的效果较差，若考虑采用下面证法，教学效果会更好一些。