一个常见不等式的别证

题设a>0,b>0,a b=1,求证: (a 1/a)~2 (b 1/b)~2≥25/2 该题在不少数学参考书上都有出现,但其证法繁杂,现给出以下两种证法,供读者参考。