Để chứng minh $c=a+b$ thì có lẽ đơn giản hơn nhiều!
Ta có: $[na]+[nb]=[nc]\Rightarrow n(a+b)-\left \{ na \right \}-\left \{ nb \right \}=nc-\left \{ nc \right \}\Rightarrow \left \{ nc \right \}-\left \{ na \right \}-\left \{ nb \right \}=n(c-a-b)$
Giả sử $c\neq a+b$. Do $1>\left \{ nc \right \}-\left \{ na \right \}-\left \{ nb \right \}>-2$ mà $a,b,c$ cố định nên chọn $n$ đủ lớn ta suy ra $\left | n(c-a-b) \right |>\left | \left \{ nc \right \}-\left \{ nb \right \}-\left \{ na \right \} \right |$ (mâu thuẫn) $\Rightarrow c=a+b$
Từ đó suy ra $c=a+b$
Như vậy ta có $[na]+[nb]=[na+nb]$
Mà theo một tính chất của phần nguyên thì $[x+y] \ge [x]+[y] \forall x,y \in \mathbb{R}$
Dấu bằng xảy ra khi ${x}={y}=0$ (kí hiệu ${a}$ là phần lẻ của $a$)
Từ đó suy ra $na,nb$ là số nguyên
Nếu $a,b$ không nguyên thì ta có $n(a+b)=nc$ là số nguyên suy ra $c$ là số nguyên. Còn nếu $a,b$ đều là số nguyên thì ta có đpcm
Chỗ này chắc không ổn lắm, làm sao kết luận luôn $\left \{ x \right \}=\left \{ y \right \}=0$ được nhỉ?
Theo mình đây mới là điểm khó của bài toán.