展开 狄利克雷函数的连续性证明