Massimo comun divisore

I numeri naturali a e b sono tali per cui ((a+1)/b)+((b+1)/a) è intero. Se d è il massimo comun divisore tra a e b, dimostrate che d ≤ √(a+b).

   

   

Problema tratto dalla Olimpiada Matemática Española (1996).