因为a+b=1
所以a*a+b*b+2*a*b=1 即a*a+b*b=1-2*a*b
因为a*a+b*b>=2*a*b
所以1-2*a*b>=2*a*b
所以4*a*b