Espandendo la somma abbiamo (a²+b²+a+b)/ab. Essendo d il mcd di a e b, per definizione ab è un multiplo di d², come anche a² e b². Ma perché quell'espressione sia intera occorrerà che a+b sia un multiplo di d², quindi maggiore o uguale a d², da cui segue immediatamente la tesi.
Questo è il classico problema che sembra complicato ma si risolve molto facilmente!