展开 证明狄利克雷函数不存在极