Giả sử trong 50 số tự nhiên nói trên tồn tại 5 số khác nhau, không mất tính tổng quát, giả sử \(a>b>c>d>e\)
Do 4 số bất kì đều lập thành 1 tỉ lệ thức, nên ta có các điều sau:
\(ad=bc\) (1); \(ae=bc\) (2)
Từ (1); (2) \(\Rightarrow d=e\) trái giả thiết \(d>e\)
Vậy điều giả sử là sai hay trong 50 số nói trên chỉ tồn tại nhiều nhất 4 số bằng nhau
Theo nguyên lý Dirichlet thì có ít nhất \(\left[\frac{50}{4}\right]+1=13\) số bằng nhau