展开 狄利克雷函数的极限形式的证明