ディオファントス近似
ディリクレのディオファントス近似定理(-きんじていり)はディリクレが証明した実数の有理数による近似についての定理で、単にディリクレの定理と呼ばれることもある。