利用上一步的 f(a)>1/af(a)>1/af(a)>1/a 与 f(b)>1/bf(b)>1/bf(b)>1/b,由 AM–GM 得 af(b)+bf(a)>a/b+b/a≥2af(b)+bf(a)>a/b+b/a\ge2af(b)+bf(a)>a/b+b/a≥2,这与 aaa、bbb 互为友数的假设 af(b)+bf(a)≤2af(b)+bf(a)\le2af(b)+bf(a)≤2 矛盾。因此没有两个不同的数能互为友数,故每个 x∈R+x\in\mathbb{R}^+x∈R+ 都是自己唯一的友数。