对实数a², b² ≤ 1，有：
64*a^6-128*a^5*b+64*a^4*(2*b^2-1)-16*a^3*b*(4*b^2-5)-16*a^2*(2*b^2-1)+16*a*b*(b^2-1)+1>=0、
8*a^6*(6*b^2-5)+8*a^5*b-2*a^4*(40*b^2-39)+16*a^3*b*(b^2-1)+a^2*(49*b^2-50)-2*a*b*(5*b^2-4)
+3
*(b^2-2)^2-2*b^2>=0、
8*a^7*b-4*a^6*(4*b^2+1)+2*a^5*b*(4*b^2+3)-a^4*(2*b^2-7)+2*a^3*b*(b^2-9)-a^2*(b^2+1)*(2*b^2-9)-6*a*b+b^2>=0．
⚠尽管这几个均为关于b的3或4次多项式，但是！！！能否不用判别式法（或“拉乘”）而是直接一行式地精确配平方和（且尽量不分类讨论，例如⒈＝(1-4*a*b)^2*(1-b^2)+(4*a*((1-a^2)-(a-b)^2)-b)^2≥0）？

楼上Uncompress后的几个式子跟原题的关系还没看懂３楼就又被吞了，🈶🈚️译码大神再出手指点一下迷津