>>236
なるほど、了解

ちなみにこういう式は、複素数の偏角考えて
(n+i)(n+1-i) = n^2+n+1 + i
(p+i)(p+q-i) = p^2+pq+1 + iq
とかでも証明できる

マチンの公式は 5+i と 239+i のガウス素数への分解
5+i = (1+i)(3-2i)
239+i = -(1-i)(3-2i)^4
を見ると成立する理由がわかる