Với mọi a;b dương ta có:
\(a^4+b^4\ge\dfrac{1}{2}\left(a^2+b^2\right)^2=\dfrac{1}{2}\left(a^2+b^2\right).\left(a^2+b^2\right)\ge\dfrac{1}{2}.2ab.\left(a^2+b^2\right)=ab\left(a^2+b^2\right)\)
Và: \(a^3+b^3=\left(a+b\right)\left(a^2+b^2-ab\right)\ge\left(a+b\right)\left(2ab-ab\right)=ab\left(a+b\right)\)
Do đó:
\(A\le\sum\dfrac{ab}{ab\left(a^2+b^2\right)+ab}+2020=\sum\dfrac{1}{a^2+b^2+1}+2020\)
Đặt \(\left(a^2;b^2;c^2\right)=\left(x^3;y^3;z^3\right)\Rightarrow xyz=1\)
\(\Rightarrow A\le\sum\dfrac{1}{x^3+y^3+1}+2020\le\sum\dfrac{1}{xy\left(x+y\right)+1}+2020\)
\(A\le\sum\dfrac{xyz}{xy\left(x+y\right)+xyz}+2020=\sum\dfrac{z}{x+y+z}+2020=1+2020=2021\)
Dấu "=" xảy ra khi \(a=b=c=1\)