Voici:
(a+1/a)² + (b+1/b )² >= 25/2 <==> a²+1/a² + 2 + b²+ 1/b² + 2 >= 25/2 <==> a²+1/a²+ b²+ 1/b² >= 17/2 <==>
(a²+b²)(1+1/(a²b²) ) >= 17/2
On a d'après IAG : a+b >= 2 Vab ==> ab=< 1/4 ==>1+1/(a²b²) >= 17
et : a²+b²>= 1/2 (a+b)² = 1/2
En multipliant, on obtient le résultat voulu.
Sauf erreur.