完全数では前提ではないと?
では完全数のかわりに
R(p, n, a, b)=(p^n+…+1)a/(2・p^n・b)=1
R(q, m, a', b')=(q^m+…+1)a'/(2・q^m・b')=1
となるだけです