狄利克雷原理证明