Ta có:
\(A=\frac{\left(1^4+4\right)\left(2^4+4\right)...\left(2021^4+4\right)}{2}\)
\(=\frac{\left(1^4+4\right)\left(2^4+4\right)}{2}\cdot\left(3^4+4\right)\left(4^4+4\right)...\left(2021^4+4\right)\)
\(=5^2\cdot\left[2\cdot\left(3^4+4\right)\left(4^4+4\right)...\left(2021^4+4\right)\right]\)
Đặt \(2\cdot\left(3^4+4\right)\left(4^4+4\right)...\left(2021^4+4\right)=c\)
Từ công thức: \(a^x\cdot b^x=\left(ab\right)^x\left(a,b,x\inℤ\right)\Rightarrow a^2\cdot b^2=\left(ab\right)^2\)
\(\Rightarrow\)Nếu \(c\) là số chính phương thì \(5^2\cdot\left[2\cdot\left(3^4+4\right)\left(4^4+4\right)...\left(2021^4+4\right)\right]\) là số chính phương.
Có thể thấy các thừa số của tích \(c\) mà có dạng \(\left(2d\right)^4+4\left(d\inℕ\right)\) thì chia hết cho \(2^2\).
Phân tích các thừa số của tích \(c\) ra thừa số nguyên tố. Ta có:
\(c=2\cdot\left(...\right)\left(2^2\cdot5\cdot13\right)\left(...\right)\left(2^2\cdot5^2\cdot13\right)...\left(2020^4+4=2^2\cdot...\right)\left(2021^4+4=...\cdot...\right)\)
Gộp các thừa số \(2^2\) lại thành tích ta có:
\(c=\left(2^2\right)^{\frac{\left(2021-3+1\right)-1}{2}}\cdot2\cdot e\)
\(=\left(2^2\right)^{1009}\cdot2\cdot e\)
\(=\left(2^{1009}\right)^2\cdot2\cdot e\) (trong đó ký hiệu \(e\) là tích của các thừa số nguyên tố còn lại trong dãy \(\left(3^4+4\right)\left(4^4+4\right)...\left(2021^4+4\right)\) sau khi 1009 thừa số \(2^2\) bị tách ra.
Có thể thấy tích \(e\) gồm các thừa số nguyên tố lớn hơn 2\(\Rightarrow2e\) không thể là số chính phương.
\(\Rightarrow\left(2^{1009}\right)^2\cdot2\cdot e\) không phải là số chính phương\(\Rightarrow c\) không phải là số chính phương.
\(\Rightarrow A\) không phải là số chính phương (đpcm).
