Đáp án chính thức:
Xét $ A = \frac{ 5ab(a^2 +b^2 - 2)}{ 5ab-1} = \frac{ a^2 (5ab-1) +b^2 (5ab-1) + a^2 +b^2 - 2ab}{ 5ab-1} = a^2 + b^2 + \frac{(a-b)^2}{ 5ab-1}$
Do đó : $ A = \frac{ 5ab(a^2 +b^2 - 2)}{ 5ab-1}$ là số nguyên dương khi và chỉ khi $\frac{(a-b)^2}{ 5ab-1}$ là số nguyên không âm $(*)$
Xét phương trình : $ \frac{(a-b)^2}{ 5ab-1} =k$ với $k$ là $1$ hằng số nguyên không âm $(1)$
Do vai trò $a \ ; \ b$ là như nhau nên từ nay, không mất tính tổng quát, ta chỉ cần xét đến trường hợp $ a \geq b$
$ (1)$ tương đương với: $ a^2 - (5bk + 2b) a + b^2 +k =0$ $(2)$
Coi $(2)$ là phương trình bậc $2$ ẩn $a$, $b$ là tham số.
Theo giải thiết bài toán, thì do tồn tại cặp số $(a; b)$ thỏa $(2)$ nên theo nguyên lý cực hạn, ta có thể chọn ra bộ số $(a_0 ; b_0)$ thỏa $(2)$ sao cho tổng $ a_0 + b_0 $ đạt giá trị nhỏ nhất có thể. $(3)$
Theo định lý Viette thì ngoài nghiệm $a_0$, $(2)$ sẽ còn có nghiệm $a_1$ thỏa mãn: $\left\{\begin{matrix} a_1 = 5b_0 k +2b_0 -a_0 \\ a_1 = \frac{b_0^{2}+k}{a_0} \end{matrix}\right.$
Mà từ đây ta dễ thấy $a_1$ cũng phải là số nguyên dương.
Theo đó, dễ thấy cặp số nguyên dương $(a_1; b_0)$ cũng thỏa $(2)$ và từ cách chọn ra bộ số $(a_0 ; b_0)$ thì hiển nhiên:
$ a_1 + b_0 \geq a_0 + b_0 $
$ \implies a_1 \geq a_0 \implies \frac{b_0^{2}+k}{a_0} \geq a_0 \implies k \geq a^{2}_0 - b^{2}_0$
$\implies \frac{(a_0 -b_0)^2}{ 5a_0 b_0-1} \geq a^{2}_0 - b^{2}_0$ $(4)$
Đến đây, ta thấy là không thể xảy ra trường hợp $a_0 > b_0$ vì nếu $ a_0 > b_0$ thì từ $(4)$ suy ra:
$ \frac{a_0 -b_0}{ 5a_0 b_0-1} \geq a_0 + b_0 \implies a_0 -b_0 \geq (a_0 + b_0) ( 5a_0 b_0-1)$
Điều này không thể xảy ra do $ (a_0 + b_0) ( 5a_0 b_0-1) \geq 4 (a_0 + b_0) > a_0 - b_0$
Do đó, chỉ có thể xảy ra trường hợp $a_0 = b_0$. Suy ra: $k=0$.
Tức là $ k= \frac{(a-b)^2}{ 5ab-1}$ là số nguyên không âm khi và chỉ khi $ a=b$ $(**)$
Từ $ (*); (**)$, ta kết luận:
$ A = \frac{ 5ab(a^2 +b^2 - 2)}{ 5ab-1}$ là số nguyên dương khi và chỉ khi $a=b$ (đpcm)
Chấm điểm:
1. trantiennguyen: Bài làm ý tưởng chứng minh đúng, mạch lạc, ngắn gọn. Tuy nhiên chữ viết quá xấu, vừa mờ, vừa khó đọc, đạt $9$ điểm.
2. habcy12345: Bài giải đầu tiên nộp bị sai nên tất nhiên không xét đến bài giải bổ sung, đạt $0$ điểm
3. mathproo: Bài giải bị sai ngay đoạn $\Rightarrow k=\frac{5b_{0}^2+m-2}{5a_{0}}>a_{0}>b_{0}$, đạt $0$ điểm.
4. Nguyen Bao Khánh: Bài giải tốt, sạch, đẹp, đạt $ 10$ điểm
5: bahieupbc: Lời giải tốt, điểm trừ Latex sai dẫn đến vài đoạn giám khảo khó đọc, đạt $9.5$ điểm
6: qminhdls: Lời giải viết không tốt, lúc thì $H$, lúc thì $T$ lung tung lẫn lộn. Ngoài ra cũng không chỉ ra rằng vai trò của $A;B$ như nhau nên chỉ cần xét $ A \geq B$.
Nếu không có giải thiết $ A \geq B$ thì bất đẳng thức : $ \frac{ (A-B)^2}{ 5AB -1} \geq A- B$ là đúng chứ không sai.
Đạt $4$ điểm
7 huytran08: Lời giải sai, $0$ điểm
8 duc3290: lời giải ý tưởng đúng tuy nhiên ký hiệu $ \rightarrow$ là sai, chỉ có ký hiệu $ \implies$ hoặc $ \Leftrightarrow$ mà thôi, $8$ điểm . Lỗi trình bày này quá cơ bản và không đáng mắc phải.
Các thành viên nhận giải : Nguyen Bao Khanh, Tran Tien Nguyen, baohieupbc vui lòng xác minh thông tin (thẻ học sinh, sổ liên lạc, giấy khai sinh...) với giảm khảo hxthanh để chứng minh bản thân là học sinh THCS để nhận giải.
Các bạn lưu ý:
Có $2$ cách trình bày:
cách $1$: chứng minh không thể xảy ra trường hợp $ a > b$ , cũng không thể xảy ra trường hợp $ a<b$ , sau đó kết luận $a =b$ (như trantiennguyen trình bày)
Cách $2$: nhận xét đầy đủ: " Vai trò của $a; b $ là như nhau nên không mất tính tổng quát, ta chỉ cần xét trường hợp: $ a \geq b$ " (như Nguyen Bao Khanh trình bày) , sau đó đi chứng minh không thể xảy ra $ a >b$ rồi kết luận chỉ có thể xảy ra trường hợp $a =b$.
Nếu không nêu rõ vai trò $a; b $ như nhau mà giả sử ngay $ a \geq b$ thì sẽ không được tối đa điểm.