d là ước dương của a và b suy ra: \(\hept{\begin{cases}a=d.a^'\\b=d.b^'\end{cases}}\)
có \(\frac{a+1}{b}+\frac{b+1}{a}\)nguyên dương suy ra \(\frac{a^2+b^2+a+b}{ab}\)nguyên dương\(\Rightarrow a^2+b^2+a+b\)chia hết cho a.b
có \(a.b=d.a^'.d.b^'=a^'.b^'d^2\Rightarrow a^2+b^2+a+b\)chia hết cho \(d^2\)
ta có: \(a^2+b^2+a+b=d^2.\left(a^'\right)^2+d^2\left(b^'\right)^2+d.a^'+d.b^'\)
\(=d\left(d\left(a^'\right)^2+d\left(b^'\right)^2+a^'+b^'\right)\)chia hết cho \(d^2\)
suy ra \(d\left(a^'\right)^2+d\left(b^'\right)^2+a^'+b^'=d\left(a^'+b^'\right)+a^'+b^'\)chia hết cho d \(\Rightarrow a^'+b^'\)chia hết cho d.\(\Rightarrow a^'+b^'\ge d\Leftrightarrow d.a^'+d.b^'\ge d^2\Leftrightarrow a+b\ge d^2\Leftrightarrow d\le\sqrt{a+b}\)
