Đặt
X
=
a
+
1
b
+
b
+
1
a
=
a
2
+
b
2
+
a
+
b
a
b
Vì X là số tự nhiên =>
a
2
+
b
2
+
a
+
b
⋮
a
b
Vì d=UCLN(a,b) =>
a
⋮
d
và
b
⋮
d
=>
a
b
⋮
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
≥
d
2
(đpcm)