Giả sử không có 2 số nào bằng nhau. Coi \(a_1>a_2>a_3>...>a_{2016}>a_{2017}\)
Do \(a_1;a_2;...;a_{2017}\in Z_+\)
\(\Rightarrow\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_{2017}}\le\frac{1}{1}+\frac{1}{2}+\frac{1}{3}+...+\frac{1}{2017}< 1+\frac{1}{2}+\frac{1}{2}+...+\frac{1}{2}=1009\)( Vô lý)
Do đó có ít nhất 2 số bằng nhau.