디리클레의 디오판토스 근사형식 - 제 2형식: a > 0 인 무리수 a에 대해 | x - ya | 보여야 할 것이 총 3가지로 어떤 해 x, y가 | x - ya | x, y가 무한히 많이 나오는가? x, y가 양의 정수인가?x, y가 | x - ya | 적당히 큰 수 Y에 대해0a, 1a, ..., Ya를 정수부 N, 소수부 F로 나눠보자단, N >= 0, 0 0a = N0 + F0 1a = N1 + F1 ... Ya = NY + FY이떄 비둘기를 F로 두자. -> Y+1개그리고 0~1을 Y등분한 구간을 비둘기 집으로 두면 -> Y개비둘기 집의 원리에 의해 적어도 2개의 비둘기가 같은 집에 있다.즉, Fm, Fn이 같은 구간에 들어있다.즉, | Fm - F..