Em xin được giải thế này ạ:
Cho $a$ là số nguyên dương cho trước. Một số $b >a$ thỏa mãn $\frac{a^{2}+b^{2}}{2}$ là số chính phương thì $b \geq \left \lfloor 2\sqrt{2a+2} \right \rfloor+2+a$
Thật vậy nếu đặt $b=a+d$ (d chẵn) thì $\frac{b^{2}+a^{2}}{2}=\frac{a^{2}+\left ( a+d \right )^{2}}{2}=a^{2}+ad+\frac{d^{2}}{2}$.
Mà $a^{2}+ad+\frac{d^{2}}{2} \geq (a+\frac{d}{2}+1)^{2} \Leftrightarrow d \geq \left \lfloor 2\sqrt{2a+2} \right \rfloor+2$
Ta có $a_1 \geq 1$
Giả sử $a_i \geq 2i^{2}-1$ với $i \geq 1$.
Dựa theo điều chứng minh ở trên ta có $a_{i+1} \geq \left \lfloor 2\sqrt{2a_i +2} \right \rfloor +a_i +2=2(i+1)^{2} - 1$
Do đó theo quy nạp ta có $a_n \geq 2n^{2}-1$
Suy ra $m \geq 2n^2 - 1$
Với $m = 2n^2 - 1$ ta chọn $a_i = 2i^{2} - 1$.
Từ đó có đpcm
bạn giải thích kí hiệu này cho mình đc ko