Đặt x=tant. Suy ra
1+x41+x2=1+tan4t1+tan2t=1+tan4t1cos2t=cos2t(1+tan4t)=cos2t+sin4tcos2t
=cos2t+(1−cos2t)2cos2t=cos2t+1−2cos2t+cos4tcos2t=2cos2t+1cos2t−2
Aps dụng BĐT Cô-si:
1+x41+x2≥2√2cos2t.1cos2t−2=2√2−2>12.
BĐT 1+x41+x2≤1 sai vì cho x=2 thì
1+x41+x2=175>1.