Đặt \(X=\frac{a+1}{b}+\frac{b+1}{a}=\frac{a^2+b^2+a+b}{ab}\)
Vì X là số tự nhiên => \(a^2+b^2+a+b⋮ab\)
Vì d=UCLN(a,b) => \(a⋮d\) và \(b⋮d\)=> \(ab⋮d^2\)
=> \(a^2+b^2+a+b⋮d^2\)
Lại vì \(a⋮d\) và \(b⋮d\) => \(a^2⋮d^2\) và \(b^2⋮d^2\) => \(a^2+b^2⋮d^2\)
=> \(a+b⋮d^2\)
=> \(a+b\ge d^2\) (đpcm)