什么是狄立克雷函数?怎么证明它是偶函数和周期函数?