回復 59# anyway13 的帖子
證明第一題
我越俎代庖,說明一下細節...
Claim : a1 , a2 , ..... , a2020 這2020個數中,必有兩數除以2019的餘數相同
pf :
令 B = { a1 , a2 , ..... , a2019 }
(1) 若 B 中有兩個元素除以2019的餘數相同,則得證.
(2) 若 B 中元素除以2019的餘數皆不同,
表示 B 中元素除以2019 餘0 , 餘1 , 餘2 , ..... , 餘2018 者, 各有一個.
設 a2020 除以2019的餘數為 n , 其中 0 ≤ n ≤ 2018
則 餘n 共有兩個,得證.