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