Thabit's Rule

Theorem
Let $n$ be a positive integer such that:

are all prime.

Then:
 * $\tuple {2^n a b, 2^n c}$

forms an amicable pair.

Proof
Let $r = 2^n a b, s = 2^n c$.

Let $\map \sigma k$ denote the sigma function on an integer $k$.

From Sigma Function of Power of 2:
 * $\map \sigma {2^n} = 2^{n + 1} - 1$

From Sigma Function of Prime Number:

From Sigma Function is Multiplicative:

and:

Thus it is seen that:
 * $\map \sigma r = \map \sigma s$

Now we have:

and so it is seen that:
 * $r + s = \map \sigma r = \map \sigma s$

Hence the result, by definition of amicable pair.

Also see

 * Definition:Thabit Pair