展开 可去间断点的性质