用综合法证明,设a>0,b>0且a+b=1则(a+1/a)^2+(b+1/b)^2>=25/2