展开 狄利克雷函数的间断点证明