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