ディリクレのディオファントス近似定理